Jean E. Vuillemin

Available identifiers

zbMath Open vuillemin.jean-eMaRDI QIDQ1145671

List of research outcomes

Publication	Date of Publication	Type
Operational and semantic equivalence between recursive programs.	2014-03-14	Paper
Verification: Theory and Practice	2010-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q3400629	2010-02-05	Paper
Compact Normal Form for Regular Languages as Xor Automata	2009-07-09	Paper
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q2766510	2002-01-28	Paper
Contribution à la résolution numérique des équations de Laplace et de la chaleur	1994-02-01	Paper
On circuits and numbers	1994-01-01	Paper
The analysis of simple list structures	1986-01-01	Paper
Area—Time Optimal VLSI Circuits for Convolution	1983-01-01	Paper
Area-time optimal VLSI networks for multiplying matrices	1980-01-01	Paper
A unifying look at data structures	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3888540	1980-01-01	Paper
Sequence of operations analysis for dynamic data structures	1980-01-01	Paper
Operational and Semantic Equivalence Between Recursive Programs	1980-01-01	Paper
The number of registers required for evaluating arithmetic expressions	1979-01-01	Paper
A data structure for manipulating priority queues	1978-01-01	Paper
On recognizing graph properties from adjacency matrices	1977-01-01	Paper
Comment verifier l'associativite d'une table de groupe	1977-01-01	Paper
Completeness results for the equivalence of recursive schemas	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4131017	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4092932	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133137	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4050160	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4057634	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4130957	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4134964	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4772711	1974-01-01	Paper
Optimal disk merge patterns	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4061934	1973-01-01	Paper
Inductive methods for proving properties of programs	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4766020	1973-01-01	Paper
Fixpoint approach to the theory of computation	1972-01-01	Paper

Research outcomes over time

This page was built for person: Jean E. Vuillemin