Jean Vuillemin Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
2009
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: Efficient Data Structure and Algorithms for Sparse Integers, Sets and Predicates. IEEE Symposium on Computer Arithmetic 2009: 7-14
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin, Nicolas Gama: Compact Normal Form for Regular Languages as Xor Automata. CIAA 2009: 24-33
2006
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Baptiste Note, Mark Shand, Jean Vuillemin: Real-Time Video Pixel Matching. FPL 2006: 1-6
2004
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin, Frédéric Béal: On the BDD of a Random Boolean Function. ASIAN 2004: 483-493
2003
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: Digital Algebra and Circuits. Verification: Theory and Practice 2003: 733-746
2000
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables. ASIAN 2000: 1-12
1999
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Marshall, Tony Stansfield, Igor Kostarnov, Jean Vuillemin, Brad L. Hutchings: A Reconfigurable Arithmetic Array for Multimedia Application. FPGA 1999: 135-143
1998
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: Reconfigurable Systems: Past and Next 10 Years. VECPAR 1998: 334-354
1996
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin, Patrice Bertin, Didier Roncin, Mark Shand, H. H. Touati, Philippe Boucard: Programmable active memories: reconfigurable systems come of age. IEEE Trans. VLSI Syst. 4(1): 56-69 (1996)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Laurent Moll, Jean Vuillemin, Philippe Boucard, Lars Lundheim: Real-time high-energy physics applications on DECPeRLe-1 programmable active memory. VLSI Signal Processing 12(1): 21-33 (1996)
1995
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Laurent Moll, Jean Vuillemin, Philippe Boucard: High-Energy Physics on DECPeRLe-1 Programmable Active Memory. FPGA 1995: 47-52
1994
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: On Circuits and Numbers. IEEE Trans. Computers 43(8): 868-879 (1994)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Daumas, Jean-Michel Muller, Jean Vuillemin: Implementing On Line Arithmetic on PAM. FPL 1994: 196-207
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: On Computing Power. Programming Languages and System Architectures 1994: 69-86
1993
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mark Shand, Jean Vuillemin: Fast implementations of RSA cryptography. IEEE Symposium on Computer Arithmetic 1993: 252-259
1992
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrice Bertin, Didier Roncin, Jean Vuillemin: Programmable Active Memories: A Performance Assessment. Heinz Nixdorf Symposium 1992: 119-130
1991
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: Constant time arbitrary length synchronous binary counters. IEEE Symposium on Computer Arithmetic 1991: 180-183
1990
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Franco P. Preparata, Jean Vuillemin: Practical Cellular Dividers. IEEE Trans. Computers 39(5): 605-614 (1990)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: Exact Real Computer Arithmetic with Continued Fractions. IEEE Trans. Computers 39(8): 1087-1105 (1990)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mark Shand, Patrice Bertin, Jean Vuillemin: Hardware Speedups in Long Integer Multiplication. SPAA 1990: 138-145
1988
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: Exact Real Computer Arithmetic with Continued Fractions. LISP and Functional Programming 1988: 14-27
1986
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philippe Flajolet, Claude Puech, Jean Vuillemin: The analysis of simple list structures. Inf. Sci. 38(2): 121-146 (1986)
1983
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: A Combinatorial Limit to the Computing Power of VLSI Circuits. IEEE Trans. Computers 32(3): 294-300 (1983)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard M. Baudet, Franco P. Preparata, Jean Vuillemin: Area-Time Optimal VLSI Circuits for Convolution. IEEE Trans. Computers 32(7): 684-688 (1983)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leonidas J. Guibas, Jean Vuillemin: On fast binary addition in MDS Technologies. IEEE Symposium on Computer Arithmetic 1983: 22
1981
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Franco P. Preparata, Jean Vuillemin: The Cube-Connected Cycles: A Versatile Network for Parallel Computation. Commun. ACM 24(5): 300-309 (1981)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Franco P. Preparata, Jean Vuillemin: Area-Time Optimal VLSI Networks for Computing Integer Multiplications and Discrete Fourier Transform. ICALP 1981: 29-40
1980
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: A Unifying Look at Data Structures. Commun. ACM 23(4): 229-239 (1980)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Franco P. Preparata, Jean Vuillemin: Area-Time Optimal VLSI Networks for Multiplying Matrices. Inf. Process. Lett. 11(2): 77-80 (1980)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Claude Raoult, Jean Vuillemin: Operational and Semantic Equivalence Between Recursive Programs. J. ACM 27(4): 772-796 (1980)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philippe Flajolet, Jean Françon, Jean Vuillemin: Sequence of Operations Analysis for Dynamic Data Structures. J. Algorithms 1(2): 111-141 (1980)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: A Combinatorial Limit to the Computing Power of V.L.S.I. Circuits (Extended Abstract). FOCS 1980: 294-300
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Claude Raoult, Jean Vuillemin: Optimal Unbounded Search Strategies. ICALP 1980: 512-530
1979
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philippe Flajolet, Jean-Claude Raoult, Jean Vuillemin: The Number of Registers Required for Evaluating Arithmetic Expressions. Theor. Comput. Sci. 9: 99-125 (1979)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Franco P. Preparata, Jean Vuillemin: The Cube-Connected-Cycles: A Versatile Network for Parallel Computation (Extended Abstract). FOCS 1979: 140-147
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philippe Flajolet, Jean Françon, Jean Vuillemin: Towards Analysing Sequences of Operations for Dynamic Data Structures (Preliminary Version). FOCS 1979: 183-195
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philippe Flajolet, Jean Françon, Jean Vuillemin: Computing Integrated Costs of Sequences of Operations with Application to Dictionaries. STOC 1979: 49-61
1978
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: A Data Structure for Manipulating Priority Queues. Commun. ACM 21(4): 309-315 (1978)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Françon, G. Viennot, Jean Vuillemin: Description and Analysis of an Efficient Priority Queue Representation. FOCS 1978: 1-7
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Claude Raoult, Jean Vuillemin: Operational and Semantic Equivalence between Recursive Programs. STOC 1978: 75-85
1977
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: Comment Verifier l'Associativite d'une Table de Groupe. Theor. Comput. Sci. 4(1): 77-82 (1977)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philippe Flajolet, Jean-Claude Raoult, Jean Vuillemin: On the Average Number of Registers Required for Evaluating Arithmetic Expressions. FOCS 1977: 196-205
1976
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bruno Courcelle, Jean Vuillemin: Completeness Results for the Equivalence of Recursive Schemas. J. Comput. Syst. Sci. 12(2): 179-197 (1976)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ronald L. Rivest, Jean Vuillemin: On Recognizing Graph Properties from Adjacency Matrices. Theor. Comput. Sci. 3(3): 371-384 (1976)
1975
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ronald L. Rivest, Jean Vuillemin: A Generalization and Proof of the Aanderaa-Rosenberg Conjecture. STOC 1975: 6-11
1974
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: Correct and Optimal Implementations of Recursion in a Simple Programming Language. J. Comput. Syst. Sci. 9(3): 332-354 (1974)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bruno Courcelle, Gilles Kahn, Jean Vuillemin: Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples. ICALP 1974: 200-213
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Laurent Hyafil, F. Prusker, Jean Vuillemin: Design of Optimal Merge on Direct Access Devices. IFIP Congress 1974: 979-982
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bruno Courcelle, Jean Vuillemin: Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques. Symposium on Programming 1974: 234-252
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bruno Courcelle, Jean Vuillemin: Semantics and Axiomatics of a Simple Recursive Language. STOC 1974: 13-26
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Laurent Hyafil, F. Prusker, Jean Vuillemin: An Efficient Algorithm for Computing Optimal Desk Merge Patterns (Extended Abstract). STOC 1974: 216-229
1973
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maurice Schlumberger, Jean Vuillemin: Optimal Disk Merge Patterns. Acta Inf. 3: 25-35 (1973)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zohar Manna, Stephen Nes, Jean Vuillemin: Inductive Methods for Proving Properties of Programs. Commun. ACM 16(8): 491-502 (1973)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Vuillemin: Correct and Optimal Implementations of Recursion in a Simple Programming Language. STOC 1973: 224-239
1972
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zohar Manna, Jean Vuillemin: Fix Point Approach to the Theory of Computation. Commun. ACM 15(7): 528-536 (1972)
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zohar Manna, Jean Vuillemin: Fixpoint Approach to the Theory of Computation. ICALP 1972: 273-291

Coauthor Index

1Guilherme Ozari de Almeida
[c35] [i1]
2Gérard M. Baudet
[j15]
3Patrice Bertin
[j22] [c22] [c20]
4Philippe Boucard
[j22] [j21] [c26]
5Eric Brier
[c35] [i1]
6Frédéric Béal
[c31]
7Bruno Courcelle
[j6] [c7] [c5] [c4]
8Marc Daumas
[c25]
9Philippe Flajolet
[j17] [j10] [j9] [c13] [c12] [c9]
10Quentin Fortier
[c35] [i1]
11Jean Françon
[j10] [c13] [c12] [c11]
12Nicolas Gama
[c33]
13Leonidas J. Guibas
[c18]
14Brad L. Hutchings
[c28]
15Laurent Hyafil
[c6] [c3]
16Gilles Kahn
[c7]
17Roman Korkikian
[c35] [i1]
18Igor Kostarnov
[c28]
19Lars Lundheim
[j21]
20K. W. Magld
[c35] [i1]
21Zohar Manna
[j2] [j1] [c1]
22Alan Marshall
[c28]
23Laurent Moll
[j21] [c26]
24Jean-Michel Muller
[c25]
25David Naccache (Deh Cac Can)
[c35] [i1]
26Stephen Nes
[j2]
27Jean-Baptiste Note
[c32]
28Adrien Pommellet
[c35] [i1]
29Franco P. Preparata
[j19] [j15] [j14] [c17] [j12] [c14]
30F. Prusker
[c6] [c3]
31Claude Puech
[j17]
32A. H. Ragab
[c35] [i1]
33Jean-Claude Raoult
[j11] [c15] [j9] [c10] [c9]
34Ronald L. Rivest
[j5] [c8]
35Didier Roncin
[j22] [c22]
36Maurice Schlumberger
[j3]
37Mark Shand
[c32] [j22] [c23] [c20]
38Tony Stansfield
[c28]
39H. H. Touati
[j22]
40G. Viennot
[c11]

Colors in the list of coauthors

Last update Fri May 24 17:50:26 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page