Travelled to:1 × Belgium
1 × Canada
1 × Italy
1 × The Netherlands
2 × USA
3 × Germany
Collaborated with:U.Zukowski F.Weitl S.Kiemle P.Schwaiger M.Guppenberger C.Wichert ∅ S.Nakajima A.Fent H.Reiter S.Brass C.Schönberg M.Jaksic
Talks about:databas (2) semant (2) logic (2) found (2) evalu (2) well (2) base (2) counterexampl (1) differenti (1) transform (1)
Person: Burkhard Freitag
DBLP: Freitag:Burkhard
Contributed to:
2010
2009
2007
2006
2005
20021999199719961994Wrote 11 papers:
- SEFM-2010-WeitlNF #logic
- Structured Counterexamples for the Temporal Description Logic ALCCTL (FW, SN, BF), pp. 232–243.
- DocEng-2009-SchonbergWJF #documentation #verification
- Logic-based verification of technical documentation (CS, FW, MJ, BF), pp. 251–252.
- ECDL-2007-KiemleF #library
- Providing Context-Sensitive Access to the Earth Observation Product Library (SK, BF), pp. 223–234.
- ICLP-2006-SchwaigerF #assessment #automation #compilation #programming #testing #using
- Using Answer Set Programming for the Automatic Compilation of Assessment Tests (PS, BF), pp. 300–314.
- CIKM-2005-GuppenbergerF #concept #evaluation #implementation #information management
- Intelligent creation of notification events in information systems: concept, implementation and evaluation (MG, BF), pp. 52–59.
- CAiSE-2002-FentRF #design #evolution #specification #workflow
- Design for Change: Evolving Workflow Specifications in ULTRAflow (AF, HR, BF), pp. 516–534.
- ICLP-1999-ZukowskiF #semantics
- Well-founded Semantics by Transformation: The Non-ground Case (UZ, BF), pp. 456–470.
- ICLP-1997-WichertF #database
- Capturing Database Dynamics by Deferred Updates (CAW, BF), pp. 226–240.
- ICLP-1997-ZukowskiF #bottom-up #difference #semantics
- Differential Bottom-Up Computation of the Well-Founded Semantics (UZ, BF, SB), p. 421.
- JICSLP-1996-ZukowskiF #database #evaluation #flexibility #query
- Adding Flexibility to Query Evaluation for Modularly Stratified Databases (UZ, BF), pp. 304–318.
- CAiSE-1994-Freitag #reuse #scalability
- A Hypertext-Based Tool for Large Scale Software Reuse (BF), pp. 283–296.