Edit Profile (opens in new tab) Pinto, Luís F. Co-Author Distance Author ID: pinto.luis-f Published as: Pinto, Luís; Pinto, Luis; Pinto, Luís F. more...less Documents Indexed: 30 Publications since 1995 2 Contributions as Editor Co-Authors: 17 Co-Authors with 32 Joint Publications 341 Co-Co-Authors all top 5 Co-Authors 0 single-authored 15 Espírito Santo, José Carlos 9 Matthes, Ralph 5 Dyckhoff, Roy 5 Uustalu, Tarmo 4 Ferreira, José Augusto 2 Dybjer, Peter 2 Nakazawa, Koji 2 Sousa, Ercília 1 Antunes do Carmo, José Simão 1 Barbeiro, Sílvia 1 Bardeji, Somayeh Gh. 1 Barthe, Gilles 1 Espírito, Santo José 1 Frade, Maria João 1 Lemos, João Miranda 1 Oliveira, Paula 1 Saraiva, João Tomé all top 5 Serials 2 MSCS. Mathematical Structures in Computer Science 2 Communications in Nonlinear Science and Numerical Simulation 2 Journal of Logical and Algebraic Methods in Programming 1 Mathematical Methods in the Applied Sciences 1 Wave Motion 1 Numerische Mathematik 1 Studia Logica 1 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 Journal of Logic and Computation 1 SIAM Journal on Applied Mathematics 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic 1 Lecture Notes in Computer Science 1 Logical Methods in Computer Science 1 LIPIcs – Leibniz International Proceedings in Informatics 1 IEEE Control Systems all top 5 Fields 22 Mathematical logic and foundations (03-XX) 14 Computer science (68-XX) 4 Partial differential equations (35-XX) 3 Numerical analysis (65-XX) 3 Fluid mechanics (76-XX) 2 General and overarching topics; collections (00-XX) 2 Integral equations (45-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Mechanics of deformable solids (74-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Geophysics (86-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 25 Publications have been cited 84 times in 68 Documents Cited by ▼ Year ▼ Permutability of proofs in intuitionistic sequent calculi. Zbl 0913.68110Dyckhoff, Roy; Pinto, Luís 11 1999 Cut-elimination and a permutation-free sequent calculus for intuitionistic logic. Zbl 0954.03062Dyckhoff, Roy; Pinto, Luis 10 1998 Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents. Zbl 1260.03105Pinto, Luís; Uustalu, Tarmo 10 2009 Numerical solution of a time-space fractional Fokker Planck equation with variable force field and diffusion. Zbl 1510.82031Pinto, Luís; Sousa, Ercília 10 2017 Loop-free construction of counter-models for intuitionistic propositional logic. Zbl 0848.03002Pinto, Luis; Dyckhoff, Roy 8 1995 Non-Fickian convection-diffusion models in porous media. Zbl 1448.65150Barbeiro, Sílvia; Bardeji, Somayeh Gh.; Ferreira, José A.; Pinto, Luís 8 2018 Permutative conversions in intuitionistic multiary sequent calculi with cuts. Zbl 1041.03040Espírito Santo, José; Pinto, Luís 3 2003 Relating sequent calculi for bi-intuitionistic propositional logic. Zbl 1456.03022Pinto, Luís; Uustalu, Tarmo 3 2011 Modal embeddings and calling paradigms. Zbl 07559284Espírito, Santo José; Pinto, Luís; Uustalu, Tarmo 2 2019 Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1167.03012Espírito Santo, José; Matthes, Ralph; Pinto, Luís 2 2007 Proof search in constructive logics. Zbl 0939.03062Dyckhoff, Roy; Pinto, Luís 2 1999 An integro-differential model for non-Fickian tracer transport in porous media: validation and numerical simulation. Zbl 1398.76216Ferreira, José A.; Pinto, Luís 2 2016 Confluence and strong normalisation of the generalised multiary \(\lambda\)-calculus. Zbl 1100.03513Espírito Santo, José; Pinto, Luís 1 2004 Applied semantics. International summer school, APPSEM 2000, Caminha, Portugal, September 9–15, 2000. Advanced lectures. Zbl 0993.00046 1 2002 Sequent calculi for the normal terms of the \(\lambda\Pi\) and \(\lambda\Pi\Sigma\) calculi. Zbl 0917.68198Pinto, Luis; Dyckhoff, Roy 1 1998 Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1168.03008Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2009 Monadic translation of intuitionistic sequent calculus. Zbl 1246.03027Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2009 On the accurate simulation of nearshore and dam break problems involving dispersive breaking waves. Zbl 07215322Antunes do Carmo, José S.; Ferreira, José A.; Pinto, Luís 1 2019 A coinductive approach to proof search. Zbl 1469.03041Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2013 Decidability of several concepts of finiteness for simple types. Zbl 1446.03036Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2019 Plotkin’s call-by-value \(\lambda\)-calculus as a modal calculus. Zbl 07531442Santo, José Espírito; Pinto, Luís; Uustalu, Tarmo 1 2022 A calculus of multiary sequent terms. Zbl 1352.03063Espírito Santo, José; Pinto, Luís 1 2011 Distributed linear-quadratic control of serially chained systems: application to a water delivery canal. Zbl 1395.93347Lemos, João M.; Pinto, Luís F. 1 2012 Aging effect on iontophoretic transdermal drug delivery. Zbl 1447.35332Ferreira, José A.; de Oliveira, Paula; Pinto, Luís 1 2020 Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search. Zbl 1456.03024Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2019 Plotkin’s call-by-value \(\lambda\)-calculus as a modal calculus. Zbl 07531442Santo, José Espírito; Pinto, Luís; Uustalu, Tarmo 1 2022 Aging effect on iontophoretic transdermal drug delivery. Zbl 1447.35332Ferreira, José A.; de Oliveira, Paula; Pinto, Luís 1 2020 Modal embeddings and calling paradigms. Zbl 07559284Espírito, Santo José; Pinto, Luís; Uustalu, Tarmo 2 2019 On the accurate simulation of nearshore and dam break problems involving dispersive breaking waves. Zbl 07215322Antunes do Carmo, José S.; Ferreira, José A.; Pinto, Luís 1 2019 Decidability of several concepts of finiteness for simple types. Zbl 1446.03036Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2019 Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search. Zbl 1456.03024Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2019 Non-Fickian convection-diffusion models in porous media. Zbl 1448.65150Barbeiro, Sílvia; Bardeji, Somayeh Gh.; Ferreira, José A.; Pinto, Luís 8 2018 Numerical solution of a time-space fractional Fokker Planck equation with variable force field and diffusion. Zbl 1510.82031Pinto, Luís; Sousa, Ercília 10 2017 An integro-differential model for non-Fickian tracer transport in porous media: validation and numerical simulation. Zbl 1398.76216Ferreira, José A.; Pinto, Luís 2 2016 A coinductive approach to proof search. Zbl 1469.03041Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2013 Distributed linear-quadratic control of serially chained systems: application to a water delivery canal. Zbl 1395.93347Lemos, João M.; Pinto, Luís F. 1 2012 Relating sequent calculi for bi-intuitionistic propositional logic. Zbl 1456.03022Pinto, Luís; Uustalu, Tarmo 3 2011 A calculus of multiary sequent terms. Zbl 1352.03063Espírito Santo, José; Pinto, Luís 1 2011 Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents. Zbl 1260.03105Pinto, Luís; Uustalu, Tarmo 10 2009 Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1168.03008Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2009 Monadic translation of intuitionistic sequent calculus. Zbl 1246.03027Espírito Santo, José; Matthes, Ralph; Pinto, Luís 1 2009 Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1167.03012Espírito Santo, José; Matthes, Ralph; Pinto, Luís 2 2007 Confluence and strong normalisation of the generalised multiary \(\lambda\)-calculus. Zbl 1100.03513Espírito Santo, José; Pinto, Luís 1 2004 Permutative conversions in intuitionistic multiary sequent calculi with cuts. Zbl 1041.03040Espírito Santo, José; Pinto, Luís 3 2003 Applied semantics. International summer school, APPSEM 2000, Caminha, Portugal, September 9–15, 2000. Advanced lectures. Zbl 0993.00046 1 2002 Permutability of proofs in intuitionistic sequent calculi. Zbl 0913.68110Dyckhoff, Roy; Pinto, Luís 11 1999 Proof search in constructive logics. Zbl 0939.03062Dyckhoff, Roy; Pinto, Luís 2 1999 Cut-elimination and a permutation-free sequent calculus for intuitionistic logic. Zbl 0954.03062Dyckhoff, Roy; Pinto, Luis 10 1998 Sequent calculi for the normal terms of the \(\lambda\Pi\) and \(\lambda\Pi\Sigma\) calculi. Zbl 0917.68198Pinto, Luis; Dyckhoff, Roy 1 1998 Loop-free construction of counter-models for intuitionistic propositional logic. Zbl 0848.03002Pinto, Luis; Dyckhoff, Roy 8 1995 all cited Publications top 5 cited Publications all top 5 Cited by 114 Authors 8 Ferreira, José Augusto 7 Pinto, Luís F. 6 Espírito Santo, José Carlos 4 Ferrari, Mauro 4 Fiorentini, Camillo 4 Pinto, Linu 3 Dyckhoff, Roy 3 Galmiche, Didier 3 Matthes, Ralph 3 Negri, Sara 2 Chaudhuri, Kaustuv 2 Fiorino, Guido 2 Gómez, H. P. 2 Méry, Daniel 2 Reis, Giselle 2 Romanazzi, Giuseppe 1 Ábrahám, Erika 1 Adams, Andrew A. 1 Aminataei, Azim 1 Avron, Arnon 1 Baaz, Matthias 1 Barbeiro, Sílvia 1 Barbosa, Luís Soares 1 Bardeji, Somayeh Gh. 1 Belfo, João P. 1 Borges, J. Sá 1 Bucciarelli, Antonio 1 Campos, G. C. M. 1 Chen, Fen 1 Choi, Yongho 1 Cui, Mingrong 1 Dalmonte, Tiziano 1 de Barros Santos, Jefferson 1 Deng, Weihua 1 Eades, Harley III 1 Faggian, Claudia 1 Frade, Maria João 1 French, Rohan 1 Ghilezan, Silvia 1 Grabe, Immo 1 Grellois, Charles 1 Grüner, Andreas 1 Guerrieri, Giulio 1 Gui, Hailian 1 Haeusler, Edward Hermann 1 Hendy, Ahmed S. 1 Henriques, Pedro Rangel 1 Heydari, Mohammad Hossien 1 Hosseininia, Masoumeh 1 Howe, Jacob M. 1 Iemhoff, Rosalie 1 Ivetić, Jelena 1 Janičić, Predrag 1 Jeong, Darae 1 Jesus, Carla 1 Jordão, Daniela 1 Kesner, Delia 1 Kikuchi, Kentaro 1 Kim, Junseok 1 Kocsis, Zoltan A. 1 Korn, Daniel S. 1 Kowalski, Tomasz 1 Kreitz, Christoph 1 Kushida, Hirohiko 1 Lahav, Ori 1 Le, Kim-Ngan 1 Lee, Chaeyoung 1 Lemos, João Miranda 1 Lengrand, Stéphane Jean Eric 1 Li, Dongyang 1 Li, Yibao 1 Lopes Vieira, Bruno 1 Macías-Díaz, Jorge Eduardo 1 Martínez, Romeo 1 Mccleeary, Ryan 1 McLean, William 1 Nakazawa, Koji 1 Narboux, Julien 1 Oliveira, José Nuno 1 Oliveira, Paula 1 Olivetti, Nicola 1 Ono, Hiroakira 1 Parsons, Charles D. 1 Peterson, Clayton 1 Pinto, Jorge Sousa 1 Pitt, Jordan P. A. 1 Postniece, Linda 1 Pym, David J. 1 Razzaghi, Mohsen 1 Ríos, Alejandro 1 Ripley, David 1 Roberts, Stephen Gwyn 1 Rui, Weiguo 1 Sarboland, Maryam 1 Sarnat, Jeffrey 1 Schürmann, Carsten 1 Schwichtenberg, Helmut 1 Sousa, Ercília 1 Steffen, Martin 1 Stump, Aaron ...and 14 more Authors all top 5 Cited in 33 Serials 5 Journal of Automated Reasoning 4 Computers & Mathematics with Applications 4 Theoretical Computer Science 3 Applied Mathematics and Computation 2 Journal of Computational and Applied Mathematics 2 Annals of Pure and Applied Logic 2 Applied Numerical Mathematics 2 International Journal of Computer Mathematics 2 The Review of Symbolic Logic 2 Journal of Logical and Algebraic Methods in Programming 1 Physica A 1 Wave Motion 1 BIT 1 Journal of Philosophical Logic 1 The Journal of Symbolic Logic 1 Numerische Mathematik 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Applied Mathematical Modelling 1 SIAM Journal on Applied Mathematics 1 Archive for Mathematical Logic 1 Journal of Applied Non-Classical Logics 1 The Bulletin of Symbolic Logic 1 Mathematical Problems in Engineering 1 Theory of Computing Systems 1 LMS Journal of Computation and Mathematics 1 The Journal of Logic and Algebraic Programming 1 Communications on Pure and Applied Analysis 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 Logica Universalis 1 Logical Methods in Computer Science 1 Mathematical Modelling of Natural Phenomena all top 5 Cited in 20 Fields 37 Mathematical logic and foundations (03-XX) 21 Computer science (68-XX) 17 Partial differential equations (35-XX) 17 Numerical analysis (65-XX) 8 Biology and other natural sciences (92-XX) 5 Fluid mechanics (76-XX) 4 Statistical mechanics, structure of matter (82-XX) 3 Real functions (26-XX) 2 Integral equations (45-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Mechanics of deformable solids (74-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Ordinary differential equations (34-XX) 1 Approximations and expansions (41-XX) 1 General topology (54-XX) 1 Optics, electromagnetic theory (78-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Systems theory; control (93-XX) Citations by Year