Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 57 matches
- 2008
- Henri E. Bal, Kees Verstoep:
Large-Scale Parallel Computing on Grids. PDMC@ETAPS 2008: 3-17 - Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová:
A Case Study in Parallel Verification of Component-Based Systems. PDMC@ETAPS 2008: 67-83 - Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol:
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. PDMC@ETAPS 2008: 35-50 - Ivana Cerná, Gerald Lüttgen:
Preface. PDMC@ETAPS 2008: 1-2 - Radek Pelánek, Václav Rosecký, Pavel Moravec:
Complementarity of Error Detection Techniques. PDMC@ETAPS 2008: 51-65 - Jaco van de Pol, Michael Weber:
A Multi-Core Solver for Parity Games. PDMC@ETAPS 2008: 19-34 - Ivana Cerná, Boudewijn R. Haverkort:
Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007. Electronic Notes in Theoretical Computer Science 198(1), Elsevier 2008 [contents] - Ivana Cerná, Gerald Lüttgen:
Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March 29, 2008. Electronic Notes in Theoretical Computer Science 220(2), Elsevier 2008 [contents] - 2007
- Jiri Barnat, Jakub Chaloupka, Jaco van de Pol:
Improved Distributed Algorithms for SCC Decomposition. PDMC@CAV 2007: 63-77 - Jiri Barnat, Petr Rockai:
Shared Hash Tables in Parallel Model Checking. PDMC@CAV 2007: 79-91 - Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber:
A Database Approach to Distributed State Space Generation. PDMC@CAV 2007: 17-32 - Ivana Cerná, Boudewijn R. Haverkort:
Preface. PDMC@CAV 2007: 1-2 - Muhammad Torabi Dashti, Anton Wijs, Bert Lisser:
Distributed Partial Order Reduction for Security Protocols. PDMC@CAV 2007: 93-99 - Stefan Edelkamp, Shahid Jabbar, Damian Sulewski:
Distributed Verification of Multi-threaded C++ Programs. PDMC@CAV 2007: 33-46 - Jonathan Ezekiel, Gerald Lüttgen:
Measuring and Evaluating Parallel State-Space Exploration Algorithms. PDMC@CAV 2007: 47-61 - Gerard J. Holzmann:
A Stack-Slicing Algorithm for Multi-Core Model Checking. PDMC@CAV 2007: 3-16 - 2006
- Martin Leucker, Jaco van de Pol:
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10, 2005. Electronic Notes in Theoretical Computer Science 135(2), Elsevier 2006 [contents] - 2005
- Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa:
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. PDMC@ICALP 2005: 3-18 - Ming-Ying Chung, Gianfranco Ciardo:
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation. PDMC@ICALP 2005: 65-80 - Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet:
Distribution, Approximation and Probabilistic Model Checking. PDMC@ICALP 2005: 19-30 - Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson:
Under-approximation Heuristics for Grid-based Bounded Model Checking. PDMC@ICALP 2005: 31-46 - Martin Leucker, Jaco van de Pol:
Preface. PDMC@ICALP 2005: 1-2 - Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Distributed Symbolic Bounded Property Checking. PDMC@ICALP 2005: 47-63 - Lubos Brim, Martin Leucker:
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 128(3), Elsevier 2005 [contents] - 2004
- Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik:
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus. PDMC 2004: 3-18 - Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa:
Distributed Partial Order Reduction of State Spaces. PDMC 2004: 63-74 - Lubos Brim, Martin Leucker:
Preface. PDMC 2004: 1-2 - Yulik Feldman, Nachum Dershowitz, Ziyad Hanna:
Parallel Multithreaded Satisfiability Solver: Design and Implementation. PDMC 2004: 75-90 - Fredrik Holmén, Martin Leucker, Marcus Lindström:
UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus. PDMC 2004: 91-105 - Cornelia P. Inggs, Howard Barringer:
CTL* Model Checking on a Shared-Memory Architecture. PDMC 2004: 107-123
skipping 27 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-22 04:50 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint