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 × 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 DBLP: Freitag:Burkhard

Contributed to:

SEFM 20102010
DocEng 20092009
ECDL 20072007
ICLP 20062006
CIKM 20052005
CAiSE 20022002
ICLP 19991999
ICLP 19971997
JICSLP 19961996
CAiSE 19941994

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

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.