Search the dblp DataBase
D. A. van Beek: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Gina Fábián, D. A. van Beek, J. E. Rooda
Integration of The Discrete and The Continuous Behaviour in the Hybrid xSimulator. [Citation Graph (0, 0)][DBLP]
ESM, 1998, pp:252-256 [Conf] - D. A. van Beek, J. E. Rooda, S. H. F. Gordijn
A Combined Continuous-Time / Discrete-Event Approach to Modelling and Simulation of Manufacturing Machines. [Citation Graph (0, 0)][DBLP]
EUROSIM, 1995, pp:1029-1034 [Conf] - Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda
Formal Semantics of Hybrid Chi. [Citation Graph (0, 0)][DBLP]
FORMATS, 2003, pp:151-165 [Conf] - D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, J. E. Rooda
Foundations of a Compositional Interchange Format for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
HSCC, 2007, pp:587-600 [Conf] - E. M. Bortnik, D. A. van Beek, J. M. van de Mortel-Fronczak, J. E. Rooda
Verification of timed chi models using uppaal. [Citation Graph (0, 0)][DBLP]
ICINCO, 2005, pp:486-492 [Conf] - D. A. van Beek, Niek G. Jansen, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers
Hybrid dynamic systems: relating Chi to hybrid automata. [Citation Graph (0, 0)][DBLP]
Winter Simulation Conference, 2003, pp:632-640 [Conf] - D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers
Syntax and consistent equation semantics of hybrid Chi. [Citation Graph (0, 0)][DBLP]
J. Log. Algebr. Program., 2006, v:68, n:1-2, pp:129-210 [Journal] - D. A. van Beek, S. H. F. Gordijn, J. E. Rooda
Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines. [Citation Graph (0, 0)][DBLP]
Simul. Pr. Theory, 1997, v:5, n:7-8, pp:653-669 [Journal] - D. A. van Beek, Victor Bos, J. E. Rooda
Declaration of unknowns in DAE-based hybrid system specification. [Citation Graph (0, 0)][DBLP]
ACM Trans. Model. Comput. Simul., 2003, v:13, n:1, pp:39-61 [Journal]
Relating Hybrid Chi to Other Formalisms. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002