×
Author ID: david.rene Recent zbMATH articles by "David, Rene"
Published as: David, René; David, Rene; David, R.

Publications by Year

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 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

Citations by Year