Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Steve Hostettler

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 Alexis Marechal

> Home > Persons > Steve Hostettler

Publications

2012
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/SedlmajerBHLBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/SedlmajerBHLBM12
Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal:
A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis. Trans. Petri Nets Other Model. Concurr. 6: 123-145 (2012)
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/HostettlerMLRB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/HostettlerMLRB11
Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs:
High-Level Petri Net Model Checking with AlPiNA. Fundam. Informaticae 113(3-4): 229-264 (2011)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/BuchsHM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/BuchsHM11
Didier Buchs, Steve Hostettler, Alexis Marechal:
Experience-Based Model Refinement. SERENE 2011: 40-47
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1108-3436
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-3436
Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal:
Modelling of Genetic Regulatory Mechanisms with GReg. CoRR abs/1108.3436 (2011)
2010
[c4]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/acsd/HamezHLMPR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/HamezHLMPR10
Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi:
Specification of Decision Diagram Operations. ACSD/Petri Nets Workshops 2010: 437-451
[c3]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/acsd/HostettlerLMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/HostettlerLMR10
Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi:
Improving the Significance of Benchmarks for Petri Nets Model Checkers. ACSD/Petri Nets Workshops 2010: 475-489
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BuchsHMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BuchsHMR10
Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi:
AlPiNA: A Symbolic Model Checker. Petri Nets 2010: 287-296
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BuchsHMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BuchsHMR10
Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi:
AlPiNA: An Algebraic Petri Net Analyzer. TACAS 2010: 349-352

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.