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: Bockmayr:Alexander
Contributed to:
20021995
1994
19911988Wrote 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.
- ALP-1988-Bockmayr
- Narrowing with Built-In Theories (AB), pp. 83–92.