Author Info
Name
Affiliation
Papers
JEAN CHRISTOPHE MADRE
BULL Corp. Res. Center, Louveciennes, France|c|
5
Collaborators
Citations 
PageRank 
4
367
44.92
Referers 
Referees 
References 
646
26
27
Search Limit
100646
Title
Citations
PageRank
Year
Towards a symbolic logic minimization algorithm53.481993
Implicit and incremental computation of primes and essential primes of Boolean functions729.271992
New ideas on symbolic manipulations of finite state machines325.891990
A unified framework for the formal verification of sequential circuits19519.671990
Automating the diagnosis and the rectification of design errors with PRIAM636.621989