Concepedia

Jiřı́ Srba

JS

7

Publications

149

Citations

7

H-Index

2002

Active since

Affiliations

Aalborg University(Current)

Jiřı́ Srba is an author at Aalborg University specializing in formal methods, computer science, and automated reasoning.

Top concepts

Formal MethodsEngineeringComputer ScienceAutomated ReasoningGamesEntropyBusinessGame TheoryMechanism DesignProof Complexity

Publications per year

2002–2012

7

Publications

7

On determinism in modal transition systems

Nikola Beneš, Jan Křetínský, Kim G. Larsen et al. · Theoretical Computer Science · 2009 · 43 citations

Deterministic Dynamical System, Deterministic System, Modal Transition Systems +2

Modal transition systems with weight intervals

Line Juhl, Kim G. Larsen, Jiřı́ Srba · The Journal of Logic and Algebraic Programming · 2012 · 27 citations

Discrete Dynamical System, Modal Transition Systems, Mathematical Modelling

Undecidability of domino games and hhp-bisimilarity

Marcin Jurdziński, Mogens Nielsen, Jiřı́ Srba · Information and Computation · 2003 · 24 citations

Engineering, Non-cooperative Game Theory, Automated Reasoning +9

Roadmap of Infinite Results

Jiřı́ Srba · 2002 · 20 citations

Undecidability of Weak Bisimilarity for PA-Processes

Jiřı́ Srba · VBN Forskningsportal (Aalborg Universitet) · 2003 · 13 citations

Integrable Probability, Concurrency Theory, Formal Methods +2

Rows per page

1–5 of 7