Activities per year
- 21 results
Search results
-
Representing First Order Logic Using Graphs
Rensink, A. (Speaker)
1 Apr 2004Activity: Talk or presentation › Oral presentation
-
Canonical Graph Shapes
Rensink, A. (Speaker)
1 Mar 2004Activity: Talk or presentation › Oral presentation
-
Graph Based State Spaces
Rensink, A. (Speaker)
1 May 2004Activity: Talk or presentation › Oral presentation
-
Graph Based State Spaces
Rensink, A. (Speaker)
1 Apr 2004Activity: Talk or presentation › Oral presentation
-
Graph Based State Spaces
Rensink, A. (Speaker)
1 Dec 2004Activity: Talk or presentation › Oral presentation
-
Graph Based State Spaces
Rensink, A. (Speaker)
1 Jul 2004Activity: Talk or presentation › Oral presentation
-
Graph Based State Spaces
Rensink, A. (Speaker)
1 Jun 2004Activity: Talk or presentation › Oral presentation
-
Verification Using Abstract Graph Transformations
Rensink, A. (Speaker)
1 Dec 2004Activity: Talk or presentation › Oral presentation
-
Towards Model Checking Graph Grammars
Rensink, A. (Speaker)
1 May 2004Activity: Talk or presentation › Oral presentation
-
Graph Based State Spaces
Rensink, A. (Speaker)
1 Apr 2004Activity: Talk or presentation › Oral presentation
-
Subjects, Models, Languages --- An Attempt to Understand (Meta) Modelling
Rensink, A. (Speaker)
1 Mar 2004Activity: Talk or presentation › Oral presentation
-
Time and Space Issues in the Generation of Graph Transition Systems
Rensink, A. (Speaker)
1 Oct 2004Activity: Talk or presentation › Oral presentation
-
Abstract Graph Transformations
Rensink, A. (Speaker)
1 Jul 2004Activity: Talk or presentation › Oral presentation
-
Model Checking Graph Grammars
Rensink, A. (Speaker)
3 Apr 2003Activity: Talk or presentation › Oral presentation
-
AGTIVE 2003: From the Outside In
Rensink, A. (Speaker)
1 Oct 2003Activity: Talk or presentation › Oral presentation
-
The GROOVE Simulator: A Tool for State Space Generation
Rensink, A. (Speaker)
1 Oct 2003Activity: Talk or presentation › Oral presentation
-
Model Checking Birth and Death
Rensink, A. (Speaker)
12 Mar 2002Activity: Talk or presentation › Oral presentation
-
On Logics for Object-Based Systems
Rensink, A. (Speaker)
24 Apr 2001Activity: Talk or presentation › Oral presentation
-
On a Temporal Logic for Object-Based Systems
Rensink, A. (Invited speaker)
19 Jul 2000Activity: Talk or presentation › Oral presentation
-
Families of posets and event domains
Rensink, A. (Speaker)
24 Oct 1991Activity: Talk or presentation › Oral presentation
-
Families of posets and event domains
Rensink, A. (Speaker)
18 Oct 1991Activity: Talk or presentation › Oral presentation