MNV72 Z. Manna, S. Ness and J. Vuillemin. Inductive methods for proving properties of programs, Proceedings
of an ACM Conf. on Proving Assertions about Programs, Las Cruces, Mexico,
27-50, 1972.
MV72b Z. Manna and J. Vuillemin. Fixed
point approach to the theory of computation, Automata, Languages and
Programming, edited by M. NIVAT, North-Holland, 273-292, 1972.
Vui73a J. Vuillemin. Correct
and optimal implementation of recursion in a simple programming language,
Theory of Computing, Austin, Texas, 224-239, 1973.
CV74a B. Courcelle
and J. Vuillemin. Complétude d'un système pour prouver
l'équivalence des schémas récursifs libres, Lecture
Notes in Computer Science, Springer Verlag, Colloque
sur la programmation, Paris, 19:234-252, 1974.
CKV74 B. Courcelle,
G. Kahn and J. Vuillemin. Algorithmes d'équivalence et de
réduction à des expressions minimales dans une classe
d'équations récursives simples, Lecture Notes in Computer
Science, Springer Verlag, Automata,
Languages and Programming, Saarbrucken, 14:200-213, 1974.
HPV74b L. Hyafil,
F. Prusker and J. Vuillemin. An
efficient algorithm for computing optimal disk merge patterns, 6th Annual ACM Symposium on Theory of Computing, Seattle, Washington,
216-229, 1974.
CV74b B. Courcelle
and J. Vuillemin. Semantics and axiomatics of a
simple recursive language, 6th Annual ACM Symposium on Theory of
Computing, Seattle, Washington, 13-26, 1974.
RV75 R.L. Rivest and J. Vuillemin. A
generalization and proof of the Aanderaa-Rosenberg
conjecture, 7th Annual ACM Symposium on Theory of Computing, Albuquerque,
New Mexico, 6-12, 1975.
FRV77 P. Flajolet,
J.C. Raoult and J. Vuillemin. On the average number of registers required for evaluating arithmetic
expressions, 18th ACM Symposium on Foundations of Computer Science,
Providence, Rhode Island, 196-205, 1977.
FVV78 G. Viennot,
J. Francon and J. Vuillemin. Description and analysis of an efficient priority queue representation,
19th ACM Symposium on Foundations of Computer Science, Ann Arbor, Michigan,
1-7, 1978.
RV78 J.C. Raoult and J. Vuillemin. Operational and semantic equivalence of recursive
programs, 10th Annual ACM Symposium on Theory of Computing, San Diego,
California, 75-85, 1978.
FFV78 P. Flajolet,
J. Francon and J. Vuillemin. Computing integrated costs of sequences
of operations with application to dictionaries, 11th
Annual ACM Symposium on Theory of Computing, Atlanta, Georgia, 49-61, 1978.
Vui79a J. Vuillemin. A
unifying look at data structures, IEEE International Symposium on
Information Theory, Grigano, Italie,
27-36, 1979.
Vui79b J. Vuillemin. A representation of linear lists with good average time
performance, International Symposium on Circuits and Systems, Tokyo, Japan,
1979.
FFV79 P. Flajolet,
J. Francon and J. Vuillemin. Sequence
of operations analysis for dynamic data structures, 20th
IEEE Symposium of Foundations of Computer Science, Puerto Rico, 183-195, 1979.
Vui79c J. Vuillemin. A
geometric view of algorithms, Symposium Al-Khowarizmi
on Algorithms in Modern Mathematics and Computer Science, Urgench,
Khorezm, URSS, 1979.
PV79 F.P. Preparata and J. Vuillemin. The cube connected cycles: a versatile
network for parallel computation, 20th IEEE Symposium on Foundations of
Computer Science, Puerto Rico, 140-147, 1979.
CFF+80 L. Cheno, P.
Flajolet, J. Francon, C. Puech and J. Vuillemin. Dynamic
data structures : finite files, limiting profiles and
variance analysis, 18th Conference on Communication, Control and Computing,
Allerton, Illinois, 223-232, 1980.
RV80b J.C. Raoult and J. Vuillemin. Unbounded optimal search strategies, 7th
Colloquium on Automata, Noordwijkerhout, Pays-Bas,
1980.
PV80c F.P. Preparata and J. Vuillemin. Area-time optimal VLSI networks for parallel matrix multiplication, 14th Annual Conference on Information Science and System, Princeton, Mars
1980.
PV80d F.P. Preparata and J. Vuillemin. Optimal integrated circuit
implementation of triangular matrix inversion,
International Conference on Parallel Processing, Boyne, Mich., 211-216, Aug.
1980.
Vui80b J. Vuillemin. A
combinatorial limit to the computing power of VLSI circuits, 21st IEEE
Symposium on Theory of Computing, Syracuse, 294-301, 1980.
PV81b F.P. Preparata and J. Vuillemin. Area-time optimal VLSI networks for computing integer multiplication and
Discrete Fourier Transform, Proceedings of I.C.A.L.P (Springer-Verlag), Haifa, Israel, Jul. 1981.
GV82
L. Guibas and J. Vuillemin. On fast binary addition in n-MOS technologies,
Proceedings of IEEE Conference, New York ICCC 1982, 147-151.
Vui83c
J. Vuillemin. La révolution informatique dans la conception et la
fabrication des circuits électroniques, 5èmes Journées
Francophones sur l'Informatique, Genève, 1983.
LV83 W.K. Luk and J. Vuillemin. Recursive implementations of fast VLSI multipliers, Proceedings of
the IFIP TC 10/WG 10.5 International Conference on VLSI, Trondheim, Norway,
155-170, August 1983.
Vui83d J. Vuillemin. A
fast addition algorithm for VLSI MOS integrated circuits, Proceedings of
the 2nd Franco-Southeast Asian Mathematics Conference, Manila, June 1982, SEA
BULL MATH 7:96-111, 1983.
Vui84a J. Vuillemin. Nouvelles structures d'ordinateurs,
Proceedings of the International Worshop on Parallel
Computing and VLSI, Amalfi, Italy, 137-152, May 1984.
Vui84c
J. Vuillemin. Maîtrise informatique de la complexité
informatique, "Affronter la complexité", Proceedings de la Semaine des Sciences du Cent
cinquantenaire de l'Université Libre de Bruxelles, 1984.
MV85 L. Monier and J. Vuillemin. Using
Silicon Assemblers, Proceedings of the IFIP TC 10/WG 10.5 International
Conference on Very Large Scale Integration, Tokyo, Japan, 309-318, Aug. 1985.
Vui88 J. Vuillemin. Exact real arithmetic with continued fractions, 1988 ACM
Conference on Lisp and Functional Programming, Snowbird, Utah, 1988.
BRV89a P. Bertin,
D. Roncin and J. Vuillemin. Introduction to Programmable Active Memories, Systolic
Array Processors, Prentice Hall, 300-309, 1989.
SBV90 P. Bertin, M. Shand and J.
Vuillemin. Hardware speedups in long integer
multiplication, 2nd Annual ACM Symposium on Parallel Algorithms and
Architectures, 138-145, 1990.
Vui91 J. Vuillemin. Constant
time arbitrary length synchronous binary counters, 10-th IEEE Symposium on
Computer Arithmetic, 301-309, 1991.
BRV92 P. Bertin, D. Roncin and J. Vuillemin. Programmable
Active Memories: a performance assessment, Lecture Notes in Computer
Science, Springer Verlag, Parallel Architectures and
Their Efficient Use, Paderborn, 678:119-130, Nov. 1992. This paper has also
appeared in Symposium on Integrated Systems, MIT Press, University of
Washington, Seattle, March 1993.
KLS+93 R.A. Keaney,
C.H. Lee, D.J. Skellern, M. Shand and J. Vuillemin. Implementation
of long constraint length viterbi decoders using
Programmable Active Memories, Proceedings of the 11th Australian
Microelectronics Conference, Sydney, Australia, 52-57, Oct. 1993.
SV93 M. Shand and J. Vuillemin. Fast implementation of RSA cryptography, 11-th IEEE
Symposium on Computer Arithmetic, Windsor, Ontario, Canada, 1993.
KSV+93 S. Katsanevas, M. Shand, J.
Vuillemin, DecPeRLe-1 Implementation Of NESTOR's First Level Trigger,
Proc. 3rd NESTOR International Workshop, Pylos-Greece,
Edited by L.K. Resvanis, Universtity
of Athens, Dept of Physics, 19-21, Oct. 1993.
Vui94a J.Vuillemin. On computing power, Lecture Notes in Computer Science, Springer-Verlag, International Conference on Programming Languages
and System Architectures, Zurich, Switzerland, 782:69-86, March 1994.
Vui94b J.Vuillemin. Fast linear Hough transform, The
International Conference on Application-Specific Array Processors, IEEE press,
1-9, 1994.
DMV94 M. Daumas, J.-M. Muller and J. Vuillemin. Implementing
on line arithmetic on PAM, Fourth International Workshop on
Field Programmable Logic Applications, Prague, Czech Republic, Sept. 1994.
MVB95 L. Moll, J. Vuillemin and P. Boucard. High-Energy Physics on DECPeRLe-1 Programmable Active Memory,
Proceedings of the 1995 ACM/SIGDA Symposium on FPGAs, Monterey (CA), Feb. 1995.
J. Vuillemin. Digital
Algebra and Circuits. Verification: Theory & Practice, LLNCS,
vol. 2772, 2004.
J. Vuillemin, F. Béal. On the BDD of a random boolean
function. ASIAN04, LLNCS, vol. 2992, 2005.
J.B. Note, M. Shand, J. Vuillemin. Realtime video pixel matching.
Int.
Conf. on FPGA, 2006.
J.B. Note, J. Vuillemin. Compiling
efficient FPGA hardware. Design and Functional Languages, 2007.
J. Vuillemin. Efficient Data Structure and Algorithms for Sparse
Integers, Sets and Predicates, ARITH
2009.
J. Vuillemin, N. Gama. Compact normal form for regular languages as XOR
automata, Springer LLNCS,
2009.