×
Author ID: vuillemin.jean-e Recent zbMATH articles by "Vuillemin, Jean E."
Published as: Vuillemin, Jean; Vuillemin, J.; Vuillemin, Jean E.

Publications by Year

Citations contained in zbMATH Open

29 Publications have been cited 405 times in 357 Documents Cited by Year
A unifying look at data structures. Zbl 0434.68047
Vuillemin, Jean
63
1980
A data structure for manipulating priority queues. Zbl 0371.68011
Vuillemin, Jean
60
1978
On recognizing graph properties from adjacency matrices. Zbl 0358.68079
Rivest, Ronald L.; Vuillemin, Jean
50
1977
The number of registers required for evaluating arithmetic expressions. Zbl 0407.68057
Flajolet, P.; Raoult, J. C.; Vuillemin, J.
36
1979
Inductive methods for proving properties of programs. Zbl 0278.68019
Manna, Zohar; Ness, Stephen; Vuillemin, Jean
28
1973
Sequence of operations analysis for dynamic data structures. Zbl 0445.68036
Flajolet, P.; Francon, J.; Vuillemin, J.
24
1980
Algorithmes d’équivalence et de reduction à des expressions minimales dans une classe d’équations recursive simples. Zbl 0285.68022
Courcelle, B.; Kahn, G.; Vuillemin, J.
17
1974
Fixpoint approach to the theory of computation. Zbl 0245.68011
Manna, Zohar; Vuillemin, Jean
17
1972
Syntaxe, semantique et axiomatique d’un langage de programmation simple. Zbl 0327.68006
Vuillemin, Jean
14
1975
Operational and semantic equivalence between recursive programs. Zbl 0447.68004
Raoult, Jean-Claude; Vuillemin, Jean
14
1980
Completeness results for the equivalence of recursive schemas. Zbl 0342.68008
Courcelle, Bruno; Vuillemin, Jean
12
1976
A generalization and proof the Aanderaa-Rosenberg conjecture. Zbl 0357.68058
Rivest, Ronald L.; Vuillemin, Jean
12
1975
The analysis of simple list structures. Zbl 0581.68021
Flajolet, Philippe; Puech, Claude; Vuillemin, Jean
8
1986
Area-time optimal VLSI networks for multiplying matrices. Zbl 0445.94045
Preparata, Franco P.; Vuillemin, Jean E.
8
1980
Correct and optimal implementations of recursion in a simple programming language. Zbl 0305.68013
Vuillemin, Jean
6
1973
On circuits and numbers. Zbl 1066.68506
Vuillemin, Jean E.
6
1994
Compact normal form for regular languages as XOR automata. Zbl 1248.68314
Vuillemin, Jean; Gama, Nicolas
5
2009
Finite digital synchronous circuits are characterized by 2-algebraic truth tables. Zbl 0987.94049
Vuillemin, Jean
4
2000
Digital algebra and circuits. Zbl 1274.94164
Vuillemin, Jean
4
2003
Semantics and axiomatics of a simple recursive language. Zbl 0358.68015
Courcelle, B.; Vuillemin, J.
3
1974
An efficient algorithm for computing optimal disk merge patterns. (Extended abstract). Zbl 0361.68064
Hyafil, L.; Prusker, F.; Vuillemin, J.
3
1974
Comment verifier l’associativite d’une table de groupe. Zbl 0361.20045
Vuillemin, Jean
2
1977
Area-time optimal VLSI circuits for convolution. Zbl 0513.94030
Baudet, Gerard M.; Preparata, Franco P.; Vuillemin, Jean E.
2
1983
Operational and semantic equivalence between recursive programs. Zbl 1282.68165
Raoult, Jean-Claude; Vuillemin, Jean
2
1978
Completude d’un système formel pour prouver l’équivalence de certains schemas recursifs monadiques. Zbl 0302.68095
Courcelle, B.; Vuillemin, J.
1
1974
Design of optimal merge on direct access devices. Zbl 0296.68063
Hyafil, L.; Prusker, F.; Vuillemin, J.
1
1974
On the time required to recognize properties of graphs from their adjacency matrices. Zbl 0358.68078
Rivest, Ronald L.; Vuillemin, Jean
1
1976
Optimal disk merge patterns. Zbl 0273.68029
Schlumberger, Maurice; Vuillemin, Jean
1
1973
Fixpoint approach to the theory of computation. Zbl 0279.68021
Manna, Zohar; Vuillemin, Jean
1
1973
Compact normal form for regular languages as XOR automata. Zbl 1248.68314
Vuillemin, Jean; Gama, Nicolas
5
2009
Digital algebra and circuits. Zbl 1274.94164
Vuillemin, Jean
4
2003
Finite digital synchronous circuits are characterized by 2-algebraic truth tables. Zbl 0987.94049
Vuillemin, Jean
4
2000
On circuits and numbers. Zbl 1066.68506
Vuillemin, Jean E.
6
1994
The analysis of simple list structures. Zbl 0581.68021
Flajolet, Philippe; Puech, Claude; Vuillemin, Jean
8
1986
Area-time optimal VLSI circuits for convolution. Zbl 0513.94030
Baudet, Gerard M.; Preparata, Franco P.; Vuillemin, Jean E.
2
1983
A unifying look at data structures. Zbl 0434.68047
Vuillemin, Jean
63
1980
Sequence of operations analysis for dynamic data structures. Zbl 0445.68036
Flajolet, P.; Francon, J.; Vuillemin, J.
24
1980
Operational and semantic equivalence between recursive programs. Zbl 0447.68004
Raoult, Jean-Claude; Vuillemin, Jean
14
1980
Area-time optimal VLSI networks for multiplying matrices. Zbl 0445.94045
Preparata, Franco P.; Vuillemin, Jean E.
8
1980
The number of registers required for evaluating arithmetic expressions. Zbl 0407.68057
Flajolet, P.; Raoult, J. C.; Vuillemin, J.
36
1979
A data structure for manipulating priority queues. Zbl 0371.68011
Vuillemin, Jean
60
1978
Operational and semantic equivalence between recursive programs. Zbl 1282.68165
Raoult, Jean-Claude; Vuillemin, Jean
2
1978
On recognizing graph properties from adjacency matrices. Zbl 0358.68079
Rivest, Ronald L.; Vuillemin, Jean
50
1977
Comment verifier l’associativite d’une table de groupe. Zbl 0361.20045
Vuillemin, Jean
2
1977
Completeness results for the equivalence of recursive schemas. Zbl 0342.68008
Courcelle, Bruno; Vuillemin, Jean
12
1976
On the time required to recognize properties of graphs from their adjacency matrices. Zbl 0358.68078
Rivest, Ronald L.; Vuillemin, Jean
1
1976
Syntaxe, semantique et axiomatique d’un langage de programmation simple. Zbl 0327.68006
Vuillemin, Jean
14
1975
A generalization and proof the Aanderaa-Rosenberg conjecture. Zbl 0357.68058
Rivest, Ronald L.; Vuillemin, Jean
12
1975
Algorithmes d’équivalence et de reduction à des expressions minimales dans une classe d’équations recursive simples. Zbl 0285.68022
Courcelle, B.; Kahn, G.; Vuillemin, J.
17
1974
Semantics and axiomatics of a simple recursive language. Zbl 0358.68015
Courcelle, B.; Vuillemin, J.
3
1974
An efficient algorithm for computing optimal disk merge patterns. (Extended abstract). Zbl 0361.68064
Hyafil, L.; Prusker, F.; Vuillemin, J.
3
1974
Completude d’un système formel pour prouver l’équivalence de certains schemas recursifs monadiques. Zbl 0302.68095
Courcelle, B.; Vuillemin, J.
1
1974
Design of optimal merge on direct access devices. Zbl 0296.68063
Hyafil, L.; Prusker, F.; Vuillemin, J.
1
1974
Inductive methods for proving properties of programs. Zbl 0278.68019
Manna, Zohar; Ness, Stephen; Vuillemin, Jean
28
1973
Correct and optimal implementations of recursion in a simple programming language. Zbl 0305.68013
Vuillemin, Jean
6
1973
Optimal disk merge patterns. Zbl 0273.68029
Schlumberger, Maurice; Vuillemin, Jean
1
1973
Fixpoint approach to the theory of computation. Zbl 0279.68021
Manna, Zohar; Vuillemin, Jean
1
1973
Fixpoint approach to the theory of computation. Zbl 0245.68011
Manna, Zohar; Vuillemin, Jean
17
1972
all top 5

Cited by 523 Authors

13 Elmasry, Amr
12 Courcelle, Bruno
11 Katajainen, Jyrki
10 Flajolet, Philippe
8 Prodinger, Helmut
8 Stølting Brodal, Gerth
6 Navarro, Gonzalo
5 Davoodi, Pooya
5 Louchard, Guy
4 Anashin, Vladimir Sergeevich
4 Devroye, Luc P. J. A.
4 Edelkamp, Stefan
4 Iacono, John
4 Raman, Rajeev
4 Raman, Venkatesh
4 Roth, Marc
4 Schmitt, Johannes
4 Sun, Xiaoming
4 van Zijl, Lynette
3 Carlsson, Svante
3 Chen, Jingsen
3 Codenotti, Bruno
3 Ehrhard, Thomas
3 Gao, Suixiang
3 Inverardi, Paola
3 Jensen, Claus
3 Kemp, Rainer
3 Kirschenhofer, Peter
3 Lavault, Christian
3 Lewenstein, Moshe
3 Marais, Laurette
3 Nardelli, Enrico
3 Rao, Satti Srinivasa
3 Saks, Michael E.
3 Satti, Srinivasa Rao
3 Schmid, Ulrich
3 Schott, René
3 Trakhtenbrot, Mark B.
3 Viennot, Xavier Gérard
2 Bentley, Jon Louis
2 Bilò, Davide
2 Blieberger, Johann
2 Chan, Timothy Moon-Yew
2 Coppersmith, Don
2 de Bakker, Jacobus W.
2 Dershowitz, Nachum
2 Ding, Yuzheng
2 Dörfler, Julian
2 Engelfriet, Joost
2 Erlebach, Thomas
2 Ésik, Zoltán
2 Francon, Jean
2 Fredman, Michael L.
2 Gallier, Jean H.
2 Gambosi, Giorgio
2 Gawrychowski, Paweł
2 Goyal, Dishant
2 Grabner, Peter J.
2 Guessarian, Irène
2 Hackl, Benjamin
2 He, Meng
2 Heuberger, Clemens
2 Hu, Xiaodong
2 Ja’Ja’, Joseph F.
2 Jayapaul, Varunkumar
2 Jo, Seungbum
2 Kahn, Jeff D.
2 Kleitman, Daniel J.
2 Kott, Laurent
2 Kovchegov, Yevgeniy V.
2 Kozma, Laszlo
2 Kruszewski, Paul
2 Landau, Gad M.
2 Lisper, Björn
2 Lotti, Grazia
2 Meseguer Guaita, José
2 Mihalák, Matúš
2 Nesi, Monica
2 Nicholson, Patrick K.
2 Paredes, Rodrigo
2 Park, Kunsoo
2 Penaud, Jean-Guy
2 Plotkin, Gordon D.
2 Pnueli, Amir
2 Proietti, Guido
2 Randrianarimanana, B.
2 Rosen, Barry K.
2 Savage, John E.
2 Schmidt, Erik Meineche
2 Shi, Qingmin
2 Staples, John
2 Talamo, Maurizio
2 Tarjan, Robert Endre
2 Tichy, Robert Franz
2 Triesch, Eberhard
2 Vuillemin, Jean E.
2 Weiss, Mark Allen
2 Wellnitz, Philip
2 Widmayer, Peter
2 Wu, Weili
...and 423 more Authors
all top 5

Cited in 89 Serials

71 Theoretical Computer Science
24 Information Processing Letters
20 Journal of Computer and System Sciences
15 Algorithmica
11 Acta Informatica
11 Discrete Applied Mathematics
9 RAIRO, Informatique Théorique
8 Information and Computation
7 Combinatorica
6 International Journal of Foundations of Computer Science
5 Discrete Mathematics
5 Cybernetics
5 RAIRO. Informatique Théorique et Applications
4 Calcolo
4 Information Sciences
4 Mathematical Systems Theory
4 Journal of Discrete Algorithms
3 BIT
3 Journal of Combinatorial Theory. Series B
3 SIAM Journal on Computing
3 Journal of Symbolic Computation
3 Discrete & Computational Geometry
3 Theory of Computing Systems
3 Mathematics in Computer Science
2 Computing
2 Journal of Soviet Mathematics
2 European Journal of Combinatorics
2 Journal of Complexity
2 Journal of Automated Reasoning
2 Journal of Functional Programming
2 The Journal of Logic and Algebraic Programming
2 Discrete Mathematics, Algorithms and Applications
2 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications
2 Computer Science Review
2 Enumerative Combinatorics and Applications
1 ACM Computing Surveys
1 Artificial Intelligence
1 Israel Journal of Mathematics
1 Journal of Computational Physics
1 Journal of Mathematical Biology
1 Journal of Statistical Physics
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Physica A
1 Algebra Universalis
1 Archiv der Mathematik
1 International Journal of Computer & Information Sciences
1 Journal of Combinatorial Theory. Series A
1 Journal of Graph Theory
1 Journal of Pure and Applied Algebra
1 Journal of Statistical Planning and Inference
1 Mathematika
1 Proceedings of the American Mathematical Society
1 Semigroup Forum
1 Transactions of the American Mathematical Society
1 Operations Research Letters
1 Annals of Pure and Applied Logic
1 Acta Mathematicae Applicatae Sinica. English Series
1 Journal of Computer Science and Technology
1 New Generation Computing
1 Computers & Operations Research
1 Journal of Parallel and Distributed Computing
1 Random Structures & Algorithms
1 The Annals of Applied Probability
1 Computational Geometry
1 Discrete Mathematics and Applications
1 Aequationes Mathematicae
1 International Journal of Computer Mathematics
1 Applicable Algebra in Engineering, Communication and Computing
1 Computational Complexity
1 Advances in Applied Clifford Algebras
1 Finite Fields and their Applications
1 The Electronic Journal of Combinatorics
1 Integral Transforms and Special Functions
1 Electronic Journal of Probability
1 Journal of Combinatorial Optimization
1 Annals of Combinatorics
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Journal of Integer Sequences
1 Natural Computing
1 Journal of Applied Logic
1 Discrete Optimization
1 Logical Methods in Computer Science
1 Probability Surveys
1 RAIRO. Theoretical Informatics and Applications
1 ACM Transactions on Algorithms
1 EURO Journal on Computational Optimization
1 Electronic Journal of Graph Theory and Applications
1 Journal of Logical and Algebraic Methods in Programming
1 Graduate Journal of Mathematics

Citations by Year