Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pavel Simecek" ( http://dblp.L3S.de/Authors/Pavel_Simecek )

  Author page on DBLP  Author page in RDF  Community of Pavel Simecek in ASPL-2

Publication years (Num. hits)
2006 (1) 2007 (1) 2008 (3) 2009 (1) 2011 (1)
Publication types (Num. hits)
article(1) inproceedings(6)
Venues (Conferences, Journals, ...)
CAV(3) ASE(1) FMICS(1) Sci. Comput. Program.(1) TACAS(1)
Authors
Pavel Simecek(7) Jiri Barnat(6) Lubos Brim(6) Stefan Edelkamp(3) Damian Sulewski(2) Ivana Cerná(1) M. Weber(1) Pavel Moravec 0002(1) Peter Sanders(1) Petr Rockai(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek Flash memory efficient LTL model checking. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jiri Barnat, Lubos Brim, Pavel Simecek Cluster-Based I/O-Efficient LTL Model Checking. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF I/O-efficient model checking, parallel model checking, LTL
1Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek Can Flash Memory Help in Model Checking? Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefan Edelkamp, Peter Sanders, Pavel Simecek Semi-external LTL Model Checking. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jiri Barnat, Lubos Brim, Pavel Simecek I/O Efficient Accepting Cycle Detection. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Petr Rockai, Pavel Simecek DiVinE - A Tool for Distributed Verification. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.