| Publication | Date of Publication | Type |
|---|
| An approach to post mortem diagnosability analysis for interacting finite state systems | 2013-10-07 | Paper |
| A logic based asynchronous multi-agent system | 2013-08-20 | Paper |
| scientific article; zbMATH DE number 1863180 (Why is no real title available?) | 2003-02-03 | Paper |
Static perfect fluid cylinders
Journal of Mathematical Physics | 2002-12-08 | Paper |
Anisotropic universes with isotropic cosmic microwave background radiation
Classical and Quantum Gravity | 2002-04-29 | Paper |
| scientific article; zbMATH DE number 1696809 (Why is no real title available?) | 2002-04-28 | Paper |
The state space and physical interpretation of self-similar spherically symmetric perfect-fluid models
Classical and Quantum Gravity | 2002-01-30 | Paper |
Isotropization of two-component fluids
Journal of Mathematical Physics | 2001-08-30 | Paper |
General relativistic stars: Polytropic equations of state
Annals of Physics | 2001-07-22 | Paper |
General relativistic stars: Linear equations of state
Annals of Physics | 2001-07-22 | Paper |
A dynamical systems approach to geodesics in Bianchi cosmologies
General Relativity and Gravitation | 2001-05-02 | Paper |
| scientific article; zbMATH DE number 1574644 (Why is no real title available?) | 2001-03-12 | Paper |
A dynamical systems approach to geodesics in Bianchi cosmologies
General Relativity and Gravitation | 2001-02-11 | Paper |
Timelike self-similar spherically symmetric perfect-fluid models
Classical and Quantum Gravity | 1999-11-18 | Paper |
Spatially self-similar spherically symmetric perfect-fluid models
Classical and Quantum Gravity | 1999-03-18 | Paper |
Rigidly rotating stationary cylindrically symmetric perfect fluid models
Classical and Quantum Gravity | 1998-05-25 | Paper |
Hypersurface homogeneous and hypersurface self-similar models
Classical and Quantum Gravity | 1998-01-26 | Paper |
Stationary Bianchi type II perfect fluid models
Journal of Mathematical Physics | 1998-01-08 | Paper |
Abstract interpretation: a kind of magic
Theoretical Computer Science | 1997-02-28 | Paper |
Spatially self-similar locally rotationally symmetric perfect fluid models
Classical and Quantum Gravity | 1996-07-23 | Paper |
| scientific article; zbMATH DE number 826302 (Why is no real title available?) | 1995-12-17 | Paper |
| scientific article; zbMATH DE number 549958 (Why is no real title available?) | 1994-05-06 | Paper |
Towards a methodology for the design of abstract machines for logic programming languages
The Journal of Logic Programming | 1993-12-01 | Paper |
| scientific article; zbMATH DE number 49478 (Why is no real title available?) | 1993-01-23 | Paper |
A simple fixed point characterization of three-valued stable model semantics
Information Processing Letters | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 4178750 (Why is no real title available?) | 1989-01-01 | Paper |
AID: an alternative implementation of DCGs
New Generation Computing | 1986-01-01 | Paper |
