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: Kaufmann:Michael
Contributed to:
201520132012
20102008200620052003
1985Wrote 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.
- SAT-2008-KottlerKS
- 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.
- ICALP-1985-KaufmannM
- Routing Through a Generalized Switchbox (MK, KM), pp. 328–337.