BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dembinski:Piotr

Contributed to:

TACAS 20032003
PDP 20002000
SLP 19851985
ICALP 19791979

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.