Gourinath Banda, Roskilde University, Denmark
Read more »
Doctoral dissertations
Modelling and analysis of real time systems with Logic Programming and Constraints
Logic and Abstraction, Verification and Falsification
Jan-Georg Smaus
Albert-Ludwigs-Universit¨at Freiburg, Germany
Read more »
Symbolic Analysis as a Basis for Program Comprehension
Erkki Laitila
Jyväskylä Universit, Finland
Communicated by: Enrico Pontelli
Read more »
Semantic Web Language Layering with Ontologies, Rules, and Meta-Modeling
Jos de Bruijn
Free University of Bozen-Bolzano, Italy
Communicated by: Enrico Pontelli
Read more »
