Ivan Jeukens

According to our database¹, Ivan Jeukens authored at least 2 papers between 2000 and 2003.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2003

Exploring Models of Computation through Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2003

2000

On the Choice of Models of Computation for Writing Executable Specifications of System Level Designs.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual Symposium on Integrated Circuits and Systems Design, 2000