ask others

Tomás Poch

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2014
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/EsparzaGP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/EsparzaGP14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/PochSPK13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/PochSPK13
Tomás Poch, Ondrej Sery, Frantisek Plasil, Jan Kofron:
Threaded behavior protocols. Formal Asp. Comput. 25(4): 543-572 (2013)
2011
[c10]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/euromicro/BuresJMPS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/euromicro/BuresJMPS11
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cbse/PochP09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cbse/PochP09
Tomás Poch, Frantisek Plasil:
Extracting Behavior Specification of Components in Legacy Applications. CBSE 2009: 87-103
[c8]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/wcre/AnquetilRAAHPPP99a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wcre/AnquetilRAAHPPP99a
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sew/KofronPS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sew/KofronPS08
Jan Kofron, Tomás Poch, Ondrej Sery:
Making Components Fit: SPINing. SEW 2008: 65-74
[c6]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sew/KofronPS08a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sew/KofronPS08a
Jan Kofron, Tomás Poch, Ondrej Sery:
TBP: Code-Oriented Component Behavior Specification. SEW 2008: 75-83
2007
[c5]
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BulejBCDJPPPRST07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dagstuhl/BulejBCDJPPPRST07
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]
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BuresDHKPPPST07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dagstuhl/BuresDHKPPPST07
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/iva/BromSP07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iva/BromSP07
Cyril Brom, Ondrej Sery, Tomás Poch:
Simulation Level of Detail for Virtual Humans. IVA 2007: 1-14
2006
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/SeryPSB06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/SeryPSB06
Ondrej Sery, Tomás Poch, Pavel Safrata, Cyril Brom:
Level-of-Detail in Behaviour of Virtual Humans. SOFSEM 2006: 565-574
2005
[c1]
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - conf/iva/BromSPS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iva/BromSPS05
Cyril Brom, Ondrej Sery, Tomás Poch, Pavel Safrata:
GAL: Towards Large Simulations with Tens of Agents. IVA 2005: 493