Carl-Johan H. Seger

Available identifiers

zbMath Open seger.carl-johan-hMaRDI QIDQ526774

List of research outcomes

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	2017-05-15	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4427896	2003-09-14	Paper
Model checking lattices: using and reasoning about information orders for abstraction	2000-02-15	Paper
Generalized ternary simulation of sequential circuits	1997-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q4037095	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037372	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3971259	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3971274	1992-06-25	Paper
On the existence of speed-independent circuits	1991-01-01	Paper
A unified framework for race analysis of asynchronous networks	1989-01-01	Paper
An optimistic ternary simulation of gate races	1988-01-01	Paper
A Characterization of Ternary Simulation of Gate Networks	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3726020	1986-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: Carl-Johan H. Seger