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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jean E. Vuillemin