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 × Denmark
1 × Germany
1 × Italy
1 × Japan
1 × Spain
Collaborated with:
S.Krischer A.Courtois P.Barth A.Werner
Talks about:
narrow (3) lse (2) constraint (1) techniqu (1) program (1) concurr (1) theori (1) system (1) redund (1) realiz (1)

Person: Alexander Bockmayr

DBLP DBLP: Bockmayr:Alexander

Contributed to:

ICLP 20022002
ICLP 19951995
ALP 19941994
RTA 19911991
ALP 19881988

Wrote 5 papers:

ICLP-2002-BockmayrC #biology #concurrent #constraints #hybrid #programming #using
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems (AB, AC), pp. 85–99.
ICLP-1995-BarthB #finite
Finite Domain and Cutting Plane Techniques in CLP(PB) (PB, AB), pp. 133–147.
ALP-1994-WernerBK #how
How to Realize LSE Narrowing (AW, AB, SK), pp. 59–76.
RTA-1991-KrischerB #detection
Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test (SK, AB), pp. 74–85.
Narrowing with Built-In Theories (AB), pp. 83–92.

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.