Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Michael Weber 0002

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 Alfons Laarman

> Home > Persons > Michael Weber 0002

Publications

2013
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/LaarmanPP013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/LaarmanPP013
Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber:
Guard-Based Partial-Order Reduction. SPIN 2013: 227-245
2011
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/LaarmanLPWW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LaarmanLPWW11
Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs:
Multi-core Nested Depth-First Search. ATVA 2011: 321-335
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/LaarmanPW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/LaarmanPW11
Alfons Laarman, Jaco van de Pol, Michael Weber:
Multi-Core LTSmin: Marrying Modularity and Scalability. NASA Formal Methods 2011: 506-511
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/LaarmanP011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/LaarmanP011
Alfons Laarman, Jaco van de Pol, Michael Weber:
Parallel Recursive State Compression for Free. SPIN 2011: 38-56
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1104-3119
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-3119
Alfons Laarman, Jaco van de Pol, Michael Weber:
Parallel Recursive State Compression for Free. CoRR abs/1104.3119 (2011)
2010
[c8]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/LaarmanPW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/LaarmanPW10
Alfons Laarman, Jaco van de Pol, Michael Weber:
Boosting multi-core reachability performance with shared hash tables. FMCAD 2010: 247-255
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1004-2772
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1004-2772
Alfons Laarman, Jaco van de Pol, Michael Weber:
Boosting Multi-Core Reachability Performance with Shared Hash Tables. CoRR abs/1004.2772 (2010)

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.