Jiri Srba

Computational Theory and Mathematics · 2008

A researcher in the Science corpus: 1 paper; trusts 5 researchers and is trusted by 1 researcher here, as inferred from the citation graph.

Subfields

• Computational Theory and Mathematics — 10 citations into it; #11,179 of 12,182 by trust here, #10,349 by citations
• Software — 10 citations into it; #1,083 of 1,227 by trust here, #1,098 by citations
• Artificial Intelligence — 8 citations into it

Whom Jiri Srba trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Rajeev Alur
2. Moez Krichen
3. Alexandre David
4. Kim Guldstrand Larsen

Who trusts Jiri Srba overall

1. Alexandre Donzé
2. Marta Z. Kwiatkowska

Papers from Jiri Srba's perspective

Ordered by how strongly the researchers Jiri Srba trusts endorse each paper. Same corpus, a different order for every researcher.

1. Optimal Paths in Weighted Timed Automata (International Conference on Hybrid Systems: Computation and Control)
2. A Tutorial on Uppaal (International School on Formal Methods for the Design of Computer, Communication and Software Systems)
3. Conformance testing for real-time systems (SPIN)
4. Well-structured transition systems everywhere! (Theoretical Computer Science)
5. UPPAAL-Tiga: Time for Playing Games! (International Conference on Computer Aided Verification)
6. The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
7. Efficient On-the-Fly Algorithms for the Analysis of Timed Games (International Conference on Concurrency Theory)
8. Kommunikation mit Automaten
9. Systems and Software Verification, Model-Checking Techniques and Tools
10. Minimum-Cost Reachability for Priced Timed Automata (International Conference on Hybrid Systems: Computation and Control)

Their papers

• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (2008) — 402 citations