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 × China
1 × Finland
1 × Greece
1 × Italy
1 × United Kingdom
4 × USA
Collaborated with:
M.Siebenhaller C.Zielke S.Kottler C.Sinz K.Mehlhorn J.Dellert W.Blochinger M.Eiglsperger P.Seitz B.Albrecht P.Effinger M.Held
Talks about:
backdoor (2) approach (2) diagram (2) automat (2) layout (2) comput (2) sat (2) new (2) mus (2) switchbox (1)

Person: Michael Kaufmann

DBLP DBLP: Kaufmann:Michael

Contributed to:

SAT 20152015
SAT 20132013
SAT 20122012
SOFTVIS 20102010
SAT 20082008
SOFTVIS 20062006
SOFTVIS 20052005
SOFTVIS 20032003
ICALP 19851985

Wrote 11 papers:

SAT-2015-Zielke0 #approach
A New Approach to Partial MUS Enumeration (CZ, MK), pp. 387–404.
SAT-2013-DellertZK #interactive #named
MUStICCa: MUS Extraction with Interactive Choice of Candidates (JD, CZ, MK), pp. 408–414.
SAT-2012-KottlerZSK #analysis #named #satisfiability
CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers — (SK, CZ, PS, MK), pp. 449–455.
SOFTVIS-2010-AlbrechtEHK #algorithm #automation #layout #process
An automatic layout algorithm for BPEL processes (BA, PE, MH, MK), pp. 173–182.
Computation of Renameable Horn Backdoors (SK, MK, CS), pp. 154–160.
SAT-2008-KottlerKS08a #bound #np-hard #satisfiability #subclass #using
A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors (SK, MK, CS), pp. 161–167.
SOFTVIS-2006-SiebenhallerK #diagrams #process
Drawing activity diagrams (MS, MK), pp. 159–160.
SOFTVIS-2005-BlochingerKS #parallel #visualisation
Visualizing structural properties of irregular parallel computations (WB, MK, MS), pp. 125–134.
SOFTVIS-2003-EiglspergerKS #approach #automation #diagrams #layout #uml
A Topology-Shape-Metrics Approach for the Automatic Layout of UML Class Diagram (ME, MK, MS), pp. 189–198.
Routing Through a Generalized Switchbox (MK, KM), pp. 328–337.

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.