Travelled to:1 × Austria
1 × Poland
1 × USA
Collaborated with:J.Maluszynski ∅ A.Janowska P.Janowski W.Penczek A.Pólrola M.Szreter B.Wozna A.Zbrzezny
Talks about:grammar (2) distribut (1) backtrack (1) parallel (1) intellig (1) automata (1) program (1) verifi (1) specif (1) scheme (1)
Person: Piotr Dembinski
DBLP: Dembinski:Piotr
Contributed to:
2003
2000
1985
1979Wrote 4 papers:
- TACAS-2003-DembinskiJJPPSWZ #automaton #named #specification #verification
- Verics: A Tool for Verifying Timed Automata and Estelle Specifications (PD, AJ, PJ, WP, AP, MS, BW, AZ), pp. 278–283.
- PDP-2000-Dembinski #distributed #random
- Distributed and randomized enumeration (PD), pp. 62–66.
- SLP-1985-DembinskiM85 #backtracking #logic programming #source code
- AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs (PD, JM), pp. 29–38.
- ICALP-1979-DembinskiM #equation #two-level grammar
- Two Level Grammars: CF-Grammars with Equation Schemes (PD, JM), pp. 171–187.