dblp.uni-trier.dewww.uni-trier.de

Jean Vuillemin Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
53EEJean Vuillemin, Nicolas Gama: Compact Normal Form for Regular Languages as Xor Automata. CIAA 2009: 24-33
2006
52EEJean-Baptiste Note, Mark Shand, Jean Vuillemin: Real-Time Video Pixel Matching. FPL 2006: 1-6
2004
51EEJean Vuillemin, Frédéric Béal: On the BDD of a Random Boolean Function. ASIAN 2004: 483-493
2003
50EEJean Vuillemin: Digital Algebra and Circuits. Verification: Theory and Practice 2003: 733-746
2000
49EEJean Vuillemin: Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables. ASIAN 2000: 1-12
1999
48EEAlan Marshall, Tony Stansfield, Igor Kostarnov, Jean Vuillemin, Brad L. Hutchings: A Reconfigurable Arithmetic Array for Multimedia Application. FPGA 1999: 135-143
1998
47 Jean Vuillemin: Reconfigurable Systems: Past and Next 10 Years. VECPAR 1998: 334-354
1996
46EEJean 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)
45EELaurent 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
44EELaurent Moll, Jean Vuillemin, Philippe Boucard: High-Energy Physics on DECPeRLe-1 Programmable Active Memory. FPGA 1995: 47-52
1994
43 Marc Daumas, Jean-Michel Muller, Jean Vuillemin: Implementing On Line Arithmetic on PAM. FPL 1994: 196-207
42EEJean Vuillemin: On Computing Power. Programming Languages and System Architectures 1994: 69-86
41 Jean Vuillemin: On Circuits and Numbers. IEEE Trans. Computers 43(8): 868-879 (1994)
1993
40EEMark Shand, Jean Vuillemin: Fast implementations of RSA cryptography. IEEE Symposium on Computer Arithmetic 1993: 252-259
1992
39 Patrice Bertin, Didier Roncin, Jean Vuillemin: Programmable Active Memories: A Performance Assessment. Heinz Nixdorf Symposium 1992: 119-130
1990
38EEMark Shand, Patrice Bertin, Jean Vuillemin: Hardware Speedups in Long Integer Multiplication. SPAA 1990: 138-145
37 Franco P. Preparata, Jean Vuillemin: Practical Cellular Dividers. IEEE Trans. Computers 39(5): 605-614 (1990)
36 Jean Vuillemin: Exact Real Computer Arithmetic with Continued Fractions. IEEE Trans. Computers 39(8): 1087-1105 (1990)
1988
35EEJean Vuillemin: Exact Real Computer Arithmetic with Continued Fractions. LISP and Functional Programming 1988: 14-27
1986
34EEPhilippe Flajolet, Claude Puech, Jean Vuillemin: The analysis of simple list structures. Inf. Sci. 38(2): 121-146 (1986)
1983
33 Jean Vuillemin: A Combinatorial Limit to the Computing Power of VLSI Circuits. IEEE Trans. Computers 32(3): 294-300 (1983)
32 Gérard M. Baudet, Franco P. Preparata, Jean Vuillemin: Area-Time Optimal VLSI Circuits for Convolution. IEEE Trans. Computers 32(7): 684-688 (1983)
1981
31EEFranco P. Preparata, Jean Vuillemin: Area-Time Optimal VLSI Networks for Computing Integer Multiplications and Discrete Fourier Transform. ICALP 1981: 29-40
30 Franco P. Preparata, Jean Vuillemin: The Cube-Connected Cycles: A Versatile Network for Parallel Computation. Commun. ACM 24(5): 300-309 (1981)
1980
29 Jean Vuillemin: A Combinatorial Limit to the Computing Power of V.L.S.I. Circuits (Extended Abstract) FOCS 1980: 294-300
28EEJean-Claude Raoult, Jean Vuillemin: Optimal Unbounded Search Strategies. ICALP 1980: 512-530
27 Jean Vuillemin: A Unifying Look at Data Structures. Commun. ACM 23(4): 229-239 (1980)
26 Franco P. Preparata, Jean Vuillemin: Area-Time Optimal VLSI Networks for Multiplying Matrices. Inf. Process. Lett. 11(2): 77-80 (1980)
25EEJean-Claude Raoult, Jean Vuillemin: Operational and Semantic Equivalence Between Recursive Programs. J. ACM 27(4): 772-796 (1980)
24 Philippe Flajolet, Jean Françon, Jean Vuillemin: Sequence of Operations Analysis for Dynamic Data Structures. J. Algorithms 1(2): 111-141 (1980)
1979
23 Franco P. Preparata, Jean Vuillemin: The Cube-Connected-Cycles: A Versatile Network for Parallel Computation (Extended Abstract) FOCS 1979: 140-147
22 Philippe Flajolet, Jean Françon, Jean Vuillemin: Towards Analysing Sequences of Operations for Dynamic Data Structures (Preliminary Version) FOCS 1979: 183-195
21 Philippe Flajolet, Jean Françon, Jean Vuillemin: Computing Integrated Costs of Sequences of Operations with Application to Dictionaries STOC 1979: 49-61
20 Philippe Flajolet, Jean-Claude Raoult, Jean Vuillemin: The Number of Registers Required for Evaluating Arithmetic Expressions. Theor. Comput. Sci. 9: 99-125 (1979)
1978
19 Jean Françon, G. Viennot, Jean Vuillemin: Description and Analysis of an Efficient Priority Queue Representation FOCS 1978: 1-7
18 Jean-Claude Raoult, Jean Vuillemin: Operational and Semantic Equivalence between Recursive Programs STOC 1978: 75-85
17 Jean Vuillemin: A Data Structure for Manipulating Priority Queues. Commun. ACM 21(4): 309-315 (1978)
1977
16 Philippe Flajolet, Jean-Claude Raoult, Jean Vuillemin: On the Average Number of Registers Required for Evaluating Arithmetic Expressions FOCS 1977: 196-205
15 Jean Vuillemin: Comment Verifier l'Associativite d'une Table de Groupe. Theor. Comput. Sci. 4(1): 77-82 (1977)
1976
14 Bruno Courcelle, Jean Vuillemin: Completeness Results for the Equivalence of Recursive Schemas. J. Comput. Syst. Sci. 12(2): 179-197 (1976)
13 Ronald L. Rivest, Jean Vuillemin: On Recognizing Graph Properties from Adjacency Matrices. Theor. Comput. Sci. 3(3): 371-384 (1976)
1975
12 Ronald L. Rivest, Jean Vuillemin: A Generalization and Proof of the Aanderaa-Rosenberg Conjecture STOC 1975: 6-11
1974
11EEBruno 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
10 Laurent Hyafil, F. Prusker, Jean Vuillemin: Design of Optimal Merge on Direct Access Devices. IFIP Congress 1974: 979-982
9 Bruno Courcelle, Jean Vuillemin: Semantics and Axiomatics of a Simple Recursive Language STOC 1974: 13-26
8 Laurent Hyafil, F. Prusker, Jean Vuillemin: An Efficient Algorithm for Computing Optimal Desk Merge Patterns (Extended Abstract) STOC 1974: 216-229
7 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
6 Jean Vuillemin: Correct and Optimal Implementations of Recursion in a Simple Programming Language. J. Comput. Syst. Sci. 9(3): 332-354 (1974)
1973
5 Jean Vuillemin: Correct and Optimal Implementations of Recursion in a Simple Programming Language STOC 1973: 224-239
4 Maurice Schlumberger, Jean Vuillemin: Optimal Disk Merge Patterns Acta Inf. 3: 25-35 (1973)
3 Zohar Manna, Stephen Nes, Jean Vuillemin: Inductive Methods for Proving Properties of Programs. Commun. ACM 16(8): 491-502 (1973)
1972
2 Zohar Manna, Jean Vuillemin: Fixpoint Approach to the Theory of Computation. ICALP 1972: 273-291
1 Zohar Manna, Jean Vuillemin: Fix Point Approach to the Theory of Computation. Commun. ACM 15(7): 528-536 (1972)

Coauthor Index

1Gérard M. Baudet [32]
2Frédéric Béal [51]
3Patrice Bertin [38] [39] [46]
4Philippe Boucard [44] [45] [46]
5Bruno Courcelle [7] [9] [11] [14]
6Marc Daumas [43]
7Philippe Flajolet [16] [20] [21] [22] [24] [34]
8Jean Françon [19] [21] [22] [24]
9Nicolas Gama [53]
10Brad L. Hutchings [48]
11Laurent Hyafil [8] [10]
12Gilles Kahn [11]
13Igor Kostarnov [48]
14Lars Lundheim [45]
15Zohar Manna [1] [2] [3]
16Alan Marshall [48]
17Laurent Moll [44] [45]
18Jean-Michel Muller [43]
19Stephen Nes [3]
20Jean-Baptiste Note [52]
21Franco P. Preparata [23] [26] [30] [31] [32] [37]
22F. Prusker [8] [10]
23Claude Puech [34]
24Jean-Claude Raoult [16] [18] [20] [25] [28]
25Ronald L. Rivest [12] [13]
26Didier Roncin [39] [46]
27Maurice Schlumberger [4]
28Mark Shand [38] [40] [46] [52]
29Tony Stansfield [48]
30H. H. Touati [46]
31G. Viennot [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)