Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Stefan Vijzelaar

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▷ joint publications with Wan J. Fokkink

> Home > Persons > Stefan Vijzelaar

Publications

2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/VijzelaarF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/VijzelaarF17
Stefan Vijzelaar, Wan J. Fokkink:
Multi-valued Simulation and Abstraction Using Lattice Operations. ACM Trans. Embed. Comput. Syst. 16(2): 42:1-42:26 (2017)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/VijzelaarF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/VijzelaarF17
Stefan J. J. Vijzelaar, Wan J. Fokkink:
Creating Büchi Automata for Multi-valued Model Checking. FORTE 2017: 210-224
2015
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/VijzelaarF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/VijzelaarF15
Stefan Vijzelaar, Wan J. Fokkink:
Multi-valued Abstraction Using Lattice Operations. ACSD 2015: 70-79
2014
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/VijzelaarVFB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/VijzelaarVFB14
Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal:
Bonsai: Cutting Models Down to Size. Ershov Memorial Conference 2014: 361-375
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-0374
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-0374
Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal:
Distributed MAP in the SpinJa Model Checker. PDMC 2011: 84-90
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/VijzelaarBF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/VijzelaarBF10
Stefan Vijzelaar, Herbert Bos, Wan J. Fokkink:
Brief announcement: a shared disk on distributed storage. PODC 2010: 79-80

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.