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 × Cyprus
1 × France
2 × USA
Collaborated with:
P.Lammich M.Müller-Olm H.Seidl T.M.Gawlitza
Talks about:
dynam (4) pushdown (3) network (3) lock (2) predecessor (1) constraint (1) reachabl (1) creation (1) contextu (1) regular (1)

Person: Alexander Wenner

DBLP DBLP: Wenner:Alexander

Contributed to:

SAS 20132013
VMCAI 20112011
ESOP 20102010
CAV 20092009

Wrote 4 papers:

SAS-2013-LammichMSW #automaton #network
Contextual Locking for Dynamic Pushdown Networks (PL, MMO, HS, AW), pp. 477–498.
VMCAI-2011-GawlitzaLMSW #analysis #concurrent #process #reachability #source code
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation (TMG, PL, MMO, HS, AW), pp. 199–213.
ESOP-2010-Wenner #automaton #network
Weighted Dynamic Pushdown Networks (AW), pp. 590–609.
CAV-2009-LammichMW #automaton #constraints #network #set
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints (PL, MMO, AW), pp. 525–539.

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.