Pavel Krcál Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2010
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi: Sampled Semantics of Timed Automata. Logical Methods in Computer Science 6(3) (2010)
2009
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi: Universality of R-automata with Value Copying. Electr. Notes Theor. Comput. Sci. 239: 131-141 (2009)
2008
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi: R-Automata. CONCUR 2008: 67-81
2007
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi: Task automata: Schedulability, decidability and undecidability. Inf. Comput. 205(8): 1149-1172 (2007)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Krcál, Martin Stigge, Wang Yi: Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. FORMATS 2007: 274-289
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi: Sampled Universality of Timed Automata. FoSSaCS 2007: 2-16
2006
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Krcál, Wang Yi: Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. CAV 2006: 249-262
2005
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Krcál, Radek Pelánek: On Sampled Semantics of Timed Systems. FSTTCS 2005: 310-321
2004
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi: Timed vs. Time-Triggered Automata. CONCUR 2004: 340-354
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Krcál, Wang Yi: Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. TACAS 2004: 236-250
2003
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Krcál: Distributed Explicit Bounded LTL Model Checking. Electr. Notes Theor. Comput. Sci. 89(1): 33-50 (2003)
2001
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek: Distributed LTL Model Checking Based on Negative Cycle Detection. FSTTCS 2001: 96-107
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek: How to Employ Reverse Search in Distributed Single Source Shortest Paths. SOFSEM 2001: 191-200

Coauthor Index

1Parosh Aziz Abdulla
[j4] [j3] [c9] [c7]
2Lubos Brim
[c2] [c1]
3Ivana Cerná (Ivana Cerna)
[c2] [c1]
4Elena Fersman
[j2]
5Leonid Mokrushin
[c4]
6Radek Pelánek
[c5] [c2] [c1]
7Paul Pettersson
[j2]
8Martin Stigge
[c8]
9P. S. Thiagarajan
[c4]
10Wang Yi 0001
[j4] [j3] [c9] [j2] [c8] [c7] [c6] [c4] [c3]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 13:50:04 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page