Concepedia

Tomáš Poch

TP

Statistics

Publications

2

Citations

31

H-Index

2

Active since

2006

Affiliations

IMDEA Software Institute(Current)

Tomáš Poch is an author at IMDEA Software Institute specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceDesignBusinessCompilersVerificationFormal MethodsRobot LearningVirtual WorldsSystem Software

Publications per year

2006–2014

2

Publications

2

Pattern-Based Verification for Multithreaded Programs

Javier Esparza, Pierre Ganty, Tomáš Poch · ACM Transactions on Programming Languages and Systems · 2014 · 18 citations · Full text

Program Transitions, Engineering, Program Checking +21

Affordances and level-of-detail AI for virtual humans

Cyril Brom, Jiří Lukavský, Ondřej Šerý et al. · 2006 · 13 citations

Artificial Intelligence, Engineering, Intelligent Systems +18

1–2 of 2