Edit Profile (opens in new tab) David, Rene Co-Author Distance Author ID: david.rene Published as: David, René; David, Rene; David, R. more...less Documents Indexed: 68 Publications since 1974, including 4 Books and 2 Additional arXiv Preprints 2 Contributions as Editor Co-Authors: 21 Co-Authors with 38 Joint Publications 389 Co-Co-Authors all top 5 Co-Authors 25 single-authored 11 Nour, Karim 7 Alla, Hassane 4 Thevenod-Fosse, Pascale 4 Zaionc, Marek 3 Raffalli, Christophe 2 Dallery, Yves 2 Deneux, Hugues 2 Guillaume, Bruno 2 Lescanne, Pierre 2 Xie, Xiaolan 1 Blanchet, Gerard 1 Charnomordic, Brigitte 1 Dochain, Denis 1 Fernández-García, Soledad 1 Fosse, Pascale 1 Friedman, Sy-David 1 Gardy, Danièle 1 Grygiel, Katarzyna 1 Hilgert, Nadine 1 Hyvernat, Pierre 1 Isabel, Miguel 1 Kozik, Jakub 1 Le Bail, Jean 1 Mitrani, E. 1 Moalla, Mohamed 1 Moreno-Lopez, David 1 Mounier, G. 1 Mouret, J.-R. 1 Muñoz, Sánchez 1 Py, Walter 1 Rebollo, Chacón 1 Richard, Jean-Paul 1 Sablayrolles, Jean-Marie 1 Soledad 1 Tellez-Giron, R. 1 Theyssier, Guillaume 1 Thuel, J. all top 5 Serials 6 IEEE Transactions on Computers 6 RAIRO, Automatique, Systems Analysis and Control 6 Theoretical Computer Science 5 The Journal of Symbolic Logic 3 Annals of Mathematical Logic 3 Digital Processes 2 Annals of Pure and Applied Logic 2 Discrete Event Dynamic Systems 2 Comptes Rendus de l’Académie des Sciences. Série I 2 Fundamenta Informaticae 2 Logical Methods in Computer Science 1 Israel Journal of Mathematics 1 Advances in Mathematics 1 Automatica 1 IEEE Transactions on Automatic Control 1 IMA Journal of Mathematics Applied in Business and Industry 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Dynamic Systems, Measurement and Control 1 Archive for Mathematical Logic 1 Journal of Functional Programming 1 Mathematical and Computer Modelling of Dynamical Systems 1 Journal of Applied Logic 1 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Série A 1 Electronic Notes in Theoretical Computer Science 1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Jaune 1 Discrete Mathematics & Theoretical Computer Science. Proceedings 1 Références Sciences all top 5 Fields 34 Mathematical logic and foundations (03-XX) 32 Computer science (68-XX) 16 Information and communication theory, circuits (94-XX) 7 Systems theory; control (93-XX) 3 General and overarching topics; collections (00-XX) 2 Statistics (62-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 38 Publications have been cited 230 times in 202 Documents Cited by ▼ Year ▼ Approximate analysis of transfer lines with unreliable machines and finite buffers. Zbl 0689.68118 Dallery, Yves; David, René; Xie, Xiao-Lan 32 1989 Petri nets and Grafcet. Tools for modelling discrete event systems. Translated from the French. Zbl 0810.68014 David, René; Alla, Hassane 27 1992 Discrete, continuous, and hybrid Petri nets. With a foreword by Manuel Silva. Zbl 1074.93002 David, René; Alla, Hassane 20 2005 On hybrid Petri nets. Zbl 0969.93024 David, René; Alla, Hassane 14 2001 Asymptotically almost all \(\lambda \)-terms are strongly normalizing. Zbl 1278.03034 David, René; Grygiel, Katarzyna; Kozik, Jakub; Raffalli, Christophe; Theyssier, Guillaume; Zaionc, Marek 14 2013 \(\lambda\mu\)-calculus and Böhm’s theorem. Zbl 0981.03019 David, René; Py, Walter 13 2001 A short proof of the strong normalization of classical natural deduction with disjunction. Zbl 1066.03056 David, René; Nour, Karim 12 2003 A \(\lambda\)-calculus with explicit weakening and explicit substitution. Zbl 0972.68028 David, René; Guillaume, Bruno 11 2001 Petri nets for modeling of dynamic systems – a survey. Zbl 0800.93022 David, René; Alla, Hassane 11 1994 Normalization without reducibility. Zbl 0966.03015 David, René 9 2001 A very absolute \(\Pi_ 2^ 1\) real singleton. Zbl 0519.03038 David, Rene 8 1982 Some applications of Jensen’s coding theorem. Zbl 0489.03021 David, R. 7 1982 Asymptotic continuous Petri nets. Zbl 0769.93010 Le Bail, Jean; Alla, Hassane; David, René 6 1993 \(\Delta_ 3^ 1\) reals. Zbl 0519.03039 David, Rene 5 1982 A simple proof of basic results in \(\lambda\) calculus. (Une preuve simple de résultats classiques en \(\lambda\) calcul.) Zbl 0830.03003 David, René 5 1995 On the asymptotic behaviour of primitive recursive algorithms. Zbl 0989.68061 David, R. 5 2001 A primitive recursive algorithm for the Inf function. (Un algorithme primitif récursif pour la fonction Inf.) Zbl 0803.68051 David, René 5 1993 Storage operators and directed lambda-calculus. Zbl 0852.03007 David, René; Nour, Karim 4 1995 Arithmetical proofs of strong normalization results for the symmetric \(\lambda \mu\)-calculus. Zbl 1112.03309 David, René; Nour, Karim 4 2005 Counting proofs in propositional logic. Zbl 1168.03005 David, René; Zaionc, Marek 4 2009 Some results on higher Suslin trees. Zbl 0715.03020 David, R. 4 1990 Why the usual candidates of reducibility do not work for the symmetric \(\lambda\mu\)-calculus. Zbl 1272.68082 David, René; Nour, Karim 4 2005 Arithmetical proofs of strong normalization results for symmetric \(\lambda\)-calculi. Zbl 1122.03008 David, René; Nour, Karim 3 2007 From Grafcet to Petri nets. 2ème éd. (Du Grafcet aux réseaux de Petri.) Zbl 0865.68083 David, René; Alla, Hassane 3 1992 Properties of continuous models of transfer lines with unreliable machines and finite buffers. Zbl 0718.90040 David, René; Xie, Xiaolan; Dallery, Yves 3 1990 A functorial \(\pi ^ 1_ 2\) singleton. Zbl 0683.03031 David, R. 2 1989 Every unsolvable \(\lambda\) term has a decoration. Zbl 0931.03020 David, René 2 1999 The Inf function in the system \(F\). Zbl 0829.68072 David, R. 2 1994 A direct proof of the confluence of combinatory strong reduction. Zbl 1187.68125 David, René 2 2009 An arithmetical proof of the strong normalization for the \(\lambda \)-calculus with recursive equations on types. Zbl 1215.03022 David, René; Nour, Karim 2 2007 An intuitionistic \(\lambda\)-calculus with exceptions. Zbl 1063.68030 David, R.; Mounier, G. 2 2005 Testing by feedback shift register. Zbl 0436.94045 David, Rene 2 1980 Two modelling approaches of winemaking: first principle and metabolic engineering. Zbl 1206.93004 Charnomordic, B.; David, R.; Dochain, D.; Hilgert, N.; Mouret, J.-R.; Sablayrolles, J.-M.; Vande Wouwer, A. 1 2010 A syntactical proof of the operational equivalence of two \(\lambda\)-terms. Zbl 0896.03015 David, René; Nour, Karim 1 1997 Computing with Böhm trees. Zbl 0993.03009 David, René 1 2001 Signature analysis for multiple-output circuits. Zbl 0597.94028 David, René 1 1986 A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\). Zbl 0404.03038 David, Rene 1 1978 Minimal detecting transition sequences: Application to random testing. Zbl 0436.94046 David, Rene; Thevenod-Fosse, Pascale 1 1980 Asymptotically almost all \(\lambda \)-terms are strongly normalizing. Zbl 1278.03034 David, René; Grygiel, Katarzyna; Kozik, Jakub; Raffalli, Christophe; Theyssier, Guillaume; Zaionc, Marek 14 2013 Two modelling approaches of winemaking: first principle and metabolic engineering. Zbl 1206.93004 Charnomordic, B.; David, R.; Dochain, D.; Hilgert, N.; Mouret, J.-R.; Sablayrolles, J.-M.; Vande Wouwer, A. 1 2010 Counting proofs in propositional logic. Zbl 1168.03005 David, René; Zaionc, Marek 4 2009 A direct proof of the confluence of combinatory strong reduction. Zbl 1187.68125 David, René 2 2009 Arithmetical proofs of strong normalization results for symmetric \(\lambda\)-calculi. Zbl 1122.03008 David, René; Nour, Karim 3 2007 An arithmetical proof of the strong normalization for the \(\lambda \)-calculus with recursive equations on types. Zbl 1215.03022 David, René; Nour, Karim 2 2007 Discrete, continuous, and hybrid Petri nets. With a foreword by Manuel Silva. Zbl 1074.93002 David, René; Alla, Hassane 20 2005 Arithmetical proofs of strong normalization results for the symmetric \(\lambda \mu\)-calculus. Zbl 1112.03309 David, René; Nour, Karim 4 2005 Why the usual candidates of reducibility do not work for the symmetric \(\lambda\mu\)-calculus. Zbl 1272.68082 David, René; Nour, Karim 4 2005 An intuitionistic \(\lambda\)-calculus with exceptions. Zbl 1063.68030 David, R.; Mounier, G. 2 2005 A short proof of the strong normalization of classical natural deduction with disjunction. Zbl 1066.03056 David, René; Nour, Karim 12 2003 On hybrid Petri nets. Zbl 0969.93024 David, René; Alla, Hassane 14 2001 \(\lambda\mu\)-calculus and Böhm’s theorem. Zbl 0981.03019 David, René; Py, Walter 13 2001 A \(\lambda\)-calculus with explicit weakening and explicit substitution. Zbl 0972.68028 David, René; Guillaume, Bruno 11 2001 Normalization without reducibility. Zbl 0966.03015 David, René 9 2001 On the asymptotic behaviour of primitive recursive algorithms. Zbl 0989.68061 David, R. 5 2001 Computing with Böhm trees. Zbl 0993.03009 David, René 1 2001 Every unsolvable \(\lambda\) term has a decoration. Zbl 0931.03020 David, René 2 1999 A syntactical proof of the operational equivalence of two \(\lambda\)-terms. Zbl 0896.03015 David, René; Nour, Karim 1 1997 A simple proof of basic results in \(\lambda\) calculus. (Une preuve simple de résultats classiques en \(\lambda\) calcul.) Zbl 0830.03003 David, René 5 1995 Storage operators and directed lambda-calculus. Zbl 0852.03007 David, René; Nour, Karim 4 1995 Petri nets for modeling of dynamic systems – a survey. Zbl 0800.93022 David, René; Alla, Hassane 11 1994 The Inf function in the system \(F\). Zbl 0829.68072 David, R. 2 1994 Asymptotic continuous Petri nets. Zbl 0769.93010 Le Bail, Jean; Alla, Hassane; David, René 6 1993 A primitive recursive algorithm for the Inf function. (Un algorithme primitif récursif pour la fonction Inf.) Zbl 0803.68051 David, René 5 1993 Petri nets and Grafcet. Tools for modelling discrete event systems. Translated from the French. Zbl 0810.68014 David, René; Alla, Hassane 27 1992 From Grafcet to Petri nets. 2ème éd. (Du Grafcet aux réseaux de Petri.) Zbl 0865.68083 David, René; Alla, Hassane 3 1992 Some results on higher Suslin trees. Zbl 0715.03020 David, R. 4 1990 Properties of continuous models of transfer lines with unreliable machines and finite buffers. Zbl 0718.90040 David, René; Xie, Xiaolan; Dallery, Yves 3 1990 Approximate analysis of transfer lines with unreliable machines and finite buffers. Zbl 0689.68118 Dallery, Yves; David, René; Xie, Xiao-Lan 32 1989 A functorial \(\pi ^ 1_ 2\) singleton. Zbl 0683.03031 David, R. 2 1989 Signature analysis for multiple-output circuits. Zbl 0597.94028 David, René 1 1986 A very absolute \(\Pi_ 2^ 1\) real singleton. Zbl 0519.03038 David, Rene 8 1982 Some applications of Jensen’s coding theorem. Zbl 0489.03021 David, R. 7 1982 \(\Delta_ 3^ 1\) reals. Zbl 0519.03039 David, Rene 5 1982 Testing by feedback shift register. Zbl 0436.94045 David, Rene 2 1980 Minimal detecting transition sequences: Application to random testing. Zbl 0436.94046 David, Rene; Thevenod-Fosse, Pascale 1 1980 A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\). Zbl 0404.03038 David, Rene 1 1978 all cited Publications top 5 cited Publications all top 5 Cited by 306 Authors 11 Nour, Karim 9 Lefebvre, Dimitri 8 David, Rene 4 Alla, Hassane 4 Ariola, Zena M. 4 Friedman, Sy-David 4 Giua, Alessandro 4 Kesner, Delia 4 Nakazawa, Koji 4 Silva, Manuel 3 Battyányi, Péter 3 Bendkowski, Maciej 3 Boimond, Jean-Louis 3 Dallery, Yves 3 Gittenberger, Bernhard 3 Herbelin, Hugo 3 Lahaye, Sébastien 3 Lescanne, Pierre 3 Little, Scott 3 Matthes, Ralph 3 Myers, Chris J. 3 Tarau, Paul 3 Walter, David 2 Adan, Ivo J. B. F. 2 Al-Ahmari, Abdulrahman M. 2 Asada, Kazuyuki 2 Azgomi, Mohammad Abdollahi 2 Berline, Chantal 2 Bierbooms, Remco 2 Bodini, Olivier 2 Chen, Xiaoliang 2 de Carvalho, Daniel 2 de’Liguoro, Ugo 2 Demongodin, Isabel 2 Downen, Paul 2 El-Tamimi, Abdulaziz Mohammed 2 Espírito Santo, José Carlos 2 Fantuzzi, Cesare 2 Fernández, Maribel 2 Fischer, Vera 2 Fredholm, Daniel 2 Gebennini, Elisa 2 Gershwin, Stanley B. 2 Gołȩbiewski, Zbigniew 2 Grassi, Andrea 2 Grygiel, Katarzyna 2 Heiner, Monika 2 Helber, Stefan 2 Hiraishi, Kunihiko 2 Hoffelner, Stefan 2 Johnson-Freyd, Philip 2 Kamareddine, Fairouz D. 2 Kobayashi, Naoki 2 Komenda, Jan 2 Leclercq, Edouard 2 Lengrand, Stéphane Jean Eric 2 Li, Jingshan 2 Liu, Gaiyun 2 Minari, Pierluigi 2 Motallebi, Hassan 2 Nadathur, Gopalan 2 Nasr, Emad S. Abouel 2 Nishida, Taishin Yasunobu 2 Pinto, Luís F. 2 Recalde, Laura 2 Saber, Khelifa 2 Schindler, Ralf-Dieter 2 Seatzu, Carla 2 Sin’ya, Ryoma 2 Tatsuta, Makoto 2 Tsukada, Takeshi 2 van Vuuren, Marcel 2 Vial, Pierre 2 Wagler, Annegret Katrin 1 Abdul-Kader, Walid 1 Abdurahiman, Vakulathil 1 Alaouchiche, Yasmine 1 Altenkirch, Thorsten 1 Altiok, Tayfur 1 Amari, Said 1 Andrade, V. M. B. 1 Aschieri, Federico 1 Atluri, Vijayalakshmi 1 Ayala-Rincón, Mauricio 1 Aziz, Anwarul 1 Bagaria, Joan 1 Bain, Michael E. 1 Baldan, Paolo 1 Barbanera, Franco 1 Barbosa, A. V. 1 Barkaoui, Kamel 1 Basile, Francesco 1 Berger, Ulrich 1 Bernot, Gilles 1 Bhatt, Sandeep N. 1 Biernacki, Dariusz 1 Blom, Henk A. P. 1 Bloo, Roel 1 Bonelli, Eduardo 1 Bose, Supratik ...and 206 more Authors all top 5 Cited in 70 Serials 20 Theoretical Computer Science 16 Annals of Pure and Applied Logic 14 Discrete Event Dynamic Systems 9 International Journal of Production Research 6 European Journal of Operational Research 6 Logical Methods in Computer Science 6 Nonlinear Analysis. Hybrid Systems 5 The Journal of Symbolic Logic 5 Natural Computing 4 Information and Computation 4 MSCS. Mathematical Structures in Computer Science 4 Journal of Functional Programming 4 European Journal of Control 3 Computers & Operations Research 3 Queueing Systems 3 Annals of Operations Research 3 Archive for Mathematical Logic 3 Mathematical Problems in Engineering 2 International Journal of Systems Science 2 Information Sciences 2 Cybernetics and Systems 2 Journal of Automated Reasoning 2 Mathematical and Computer Modelling 2 Higher-Order and Symbolic Computation 2 Stochastic Models 2 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 Discrete Applied Mathematics 1 International Journal of Control 1 International Journal of General Systems 1 Information Processing Letters 1 Advances in Mathematics 1 Automatica 1 BIT 1 INFOR 1 Journal of Computer and System Sciences 1 Memoirs of the American Mathematical Society 1 Studia Logica 1 Transactions of the American Mathematical Society 1 Optimal Control Applications & Methods 1 Journal of Computer Science and Technology 1 Algorithmica 1 International Journal of Intelligent Systems 1 MCSS. Mathematics of Control, Signals, and Systems 1 Machine Learning 1 International Journal of Foundations of Computer Science 1 Applications of Mathematics 1 Pattern Recognition 1 RAIRO. Informatique Théorique et Applications 1 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Applied Non-Classical Logics 1 The Electronic Journal of Combinatorics 1 Soft Computing 1 Mathematical Methods of Operations Research 1 Annals of Combinatorics 1 Mathematical and Computer Modelling of Dynamical Systems 1 Journal of Mathematical Logic 1 Fundamenta Informaticae 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 Journal of Applied Mathematics 1 Sādhanā 1 Journal of Industrial and Management Optimization 1 Engineering Optimization 1 Stochastics 1 Algorithms 1 Operations Research and Decisions 1 Asian Journal of Control 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming 1 AIMS Mathematics all top 5 Cited in 15 Fields 95 Computer science (68-XX) 72 Mathematical logic and foundations (03-XX) 48 Operations research, mathematical programming (90-XX) 41 Systems theory; control (93-XX) 11 Probability theory and stochastic processes (60-XX) 8 Combinatorics (05-XX) 8 Biology and other natural sciences (92-XX) 8 Information and communication theory, circuits (94-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year