Tomás Poch
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2014
- [j2]Javier Esparza, Pierre Ganty, Tomás Poch:
Pattern-Based Verification for Multithreaded Programs. ACM Trans. Program. Lang. Syst. 36(3): 9:1-9:29 (2014) - 2013
- [j1]Tomás Poch, Ondrej Sery, Frantisek Plasil, Jan Kofron:
Threaded behavior protocols. Formal Asp. Comput. 25(4): 543-572 (2013) - 2011
- [c10]Tomás Bures, Pavel Jezek, Michal Malohlava, Tomás Poch, Ondrej Sery:
Strengthening Component Architectures by Modeling Fine-Grained Entities. EUROMICRO-SEAA 2011: 124-128
2000 – 2009
- 2009
- [c9]Tomás Poch, Frantisek Plasil:
Extracting Behavior Specification of Components in Legacy Applications. CBSE 2009: 87-103 - [c8]Nicolas Anquetil, Jean-Claude Royer, Pascal André, Gilles Ardourel, Petr Hnetynka, Tomás Poch, Dragos Petrascu, Vladiela Petrascu:
JavaCompExt: Extracting Architectural Elements from Java Source Code. WCRE 2009: 317-318 - 2008
- [c7]
- [c6]Jan Kofron, Tomás Poch, Ondrej Sery:
TBP: Code-Oriented Component Behavior Specification. SEW 2008: 75-83 - 2007
- [c5]Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parizek, Frantisek Plasil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma:
CoCoME in Fractal. CoCoME 2007: 357-387 - [c4]Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parizek, Frantisek Plasil, Tomás Poch, Ondrej Sery, Petr Tuma:
CoCoME in SOFA. CoCoME 2007: 388-417 - [c3]
- 2006
- [c2]Ondrej Sery, Tomás Poch, Pavel Safrata, Cyril Brom:
Level-of-Detail in Behaviour of Virtual Humans. SOFSEM 2006: 565-574 - 2005
- [c1]Cyril Brom, Ondrej Sery, Tomás Poch, Pavel Safrata:
GAL: Towards Large Simulations with Tens of Agents. IVA 2005: 493
Coauthor Index
last updated on 2018-11-15 21:08 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint