Searching for authors named Arend Rensink – sorted by Relevance.
54 documents found, showing 1 through 10.
Next 10 →
-
Order Isomorphism Does Not Preserve Global Event Independence
- … fr Informatik Dieser Bericht ist herausgegeben vom ISSN 0941-3014 Arend Rensink Order Isomorphism…
- Add To MetaCart
-
Action Contraction Using Coupled Simulation
- …Action Contraction Using Coupled Simulation Arend Rensink Department of Computer Science…
- Add To MetaCart
-
State Space Abstraction Using Shape Graphs
- …State Space Abstraction using Shape Graphs Arend Rensink Department of Computer Science…
- Cited by 8 (4 self) – Add To MetaCart
-
Canonical Graph Shapes
- …Canonical Graph Shapes Arend Rensink ⋆ Department of Computer Science, University of Twente P…
- Cited by 17 (9 self) – Add To MetaCart
-
A Logic of Local Graph Shapes
- … Arend Rensink Department of Computer Science, University of Twente P.O.Box 217, 7500 AE, The Netherlands…
- Cited by 1 (1 self) – Add To MetaCart
-
The GROOVE Simulator: A Tool for State Space Generation
- … Arend Rensink University of Twente P.O.Box 217, 7500 AE Enschede, The Netherlands rensink…
- Cited by 27 (9 self) – Add To MetaCart
-
A Complete Theory of Deterministic Event Structures
- …, 1995, pp. 160--174 A Complete Theory of Deterministic Event Structures ? Arend Rensink Institut fur…
- Cited by 3 (2 self) – Add To MetaCart
-
Representing first-order logic using graphs
- …Representing First-Order Logic Using Graphs Arend Rensink Department of Computer Science…
- Cited by 9 (4 self) – Add To MetaCart
-
Posets for Configurations!
- …Posets for Configurations! Arend Rensink University of Twente P.O.Box 217, 7500 AE Enschede…
- Cited by 7 (5 self) – Add To MetaCart
-
Methodological Aspects of Action Refinement
- …227 Methodological Aspects of Action Refinement Arend Rensink Institut fur Informatik…
- Cited by 7 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
