Carl-Johan H. Seger

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A two-level formal verification methodology using HOL and COSMOS	2024-04-29	Paper
Symbolic trajectory evaluation for word-level verification: theory and implementation Formal Methods in System Design	2017-05-15	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
scientific article; zbMATH DE number 1979544 (Why is no real title available?)	2003-09-14	Paper
Model checking lattices: using and reasoning about information orders for abstraction Logic Journal of the IGPL	2000-02-15	Paper
Generalized ternary simulation of sequential circuits RAIRO - Theoretical Informatics and Applications	1997-10-30	Paper
scientific article; zbMATH DE number 177501 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 177244 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 8771 (Why is no real title available?)	1992-06-25	Paper
scientific article; zbMATH DE number 8785 (Why is no real title available?)	1992-06-25	Paper
On the existence of speed-independent circuits Theoretical Computer Science	1991-01-01	Paper
A unified framework for race analysis of asynchronous networks Journal of the ACM	1989-01-01	Paper
An optimistic ternary simulation of gate races Theoretical Computer Science	1988-01-01	Paper
A Characterization of Ternary Simulation of Gate Networks IEEE Transactions on Computers	1987-01-01	Paper
scientific article; zbMATH DE number 3956984 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: Carl-Johan H. Seger