Concepedia

Antonı́n Kučera

AK

Statistics

Publications

40

Citations

1.4K

H-Index

24

Active since

1996

Affiliations

Masaryk University(Current)

University of Oxford

University of Edinburgh

Institute of Science and Technology Austria

University of Stuttgart

Antonı́n Kučera is an author at Masaryk University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationProbabilityVerificationComputational ComplexitySystems EngineeringBusiness

Publications per year

1996–2016

40

Publications

40

Model checking LTL with regular valuations for pushdown systems

Javier Esparza, Antonı́n Kučera, Stefan Schwoon · Information and Computation · 2003 · 170 citations

Engineering, Automated Reasoning, Regular Valuations +7

Model checking probabilistic pushdown automata

Javier Esparza, Antonı́n Kučera, Richard Mayr · arXiv (Cornell University) · 2004 · 124 citations · Full text

Stateless Ppda, Logic Pctl, Logical Automaton +14

Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances

Javier Esparza, Antonı́n Kučera, Richard Mayr · 2006 · 68 citations

Engineering, Verification, Pushdown Automaton +16

Model checking probabilistic pushdown automata

Javier Esparza, Antonı́n Kučera, Richard Mayr · 2004 · 60 citations

Stateless Ppda, Logic Pctl, Logical Automaton +14

Deciding bisimulation-like equivalences with finite-state processes

Petr Jančar, Antonı́n Kučera, Richard Mayr · Theoretical Computer Science · 2001 · 57 citations

Engineering, Bisimulation-like Equivalences, Automated Reasoning +5

1–5 of 40