L EBENSLAUF : S TEFAN E DELKAMP
DATUM
8. Mai 2015
KONTAKT A RBEIT
Universit¨at Bremen, Am Fallturm 1, 28359 Bremen
Telefon: +49-(0)421-218-64007, Fax: +49-(0)421-218-64047
EMail: [email protected], Web: http://www.tzi.de/∼edelkamp
KONTAKT P RIVAT
Harsefelder Straße 12B, 28205 Bremen, Telefon: +49-(0)151-22630923
EMail: [email protected]
G EBURT
28. Juli 1969, in Havixbeck bei M¨unster (Westfalen)
K INDER
Lovis Paul Moritz Friedrich Edelkamp (geb. Sep. 2013), Raban Ferdinand Edelkamp (geb. April 2010), Justus
Franz-Bernhard Edelkamp (geb. Juli 2005) und Maximilian Theodor Edelkamp (geb. Juni 2003)
¨
A BSCHL USSE
• Professor. Universit¨at Bremen, 2011. Gutachter: Otthein Herzog und Kerstin Schill.
• Venia Legendi. Habilitation: Data Structures and Learning Algorithms in State-Space Search. Universit¨at Freiburg, 2003. Gutachter: Sven Koenig, Bernhard Nebel, Luc DeReadt.
• Doktor der Naturwissenschaften. Universit¨at Freiburg, 1998. Dissertation: Data Structures and Learning Algorithms in State-Space Search. Gutachter: Thomas Ottmann, Bernhard Nebel. Note: Sehr Gut.
• Examination. University College Dublin, Irland. 1994. 10 F¨acher, Durchschnitt: Sehr Gut (71,6%).
• Diplom in Informatik. Technische Universit¨at Dortmund. 1995. Gutachter: Ingo Wegener, Martin Dietzfelbinger. Note: Auszeichnung.
• Abitur. Friedenschule M¨unster, 1988. Notendurchschnitt: 1,4.
A NSTELLUNGEN
• Universit¨at Bremen. Institut f¨ur K¨unstliche Intelligenz (Michael Beetz) im Technologie-Zentrum Informatik und Informationstechnik, Fachbereich Mathematik und Informatik. Dez. 2008 – heute.
• Technische Universit¨at Dortmund (Bernhard Steffen), Lehrstuhl f¨ur Programmiersysteme und Compilerbau, Fakult¨at f¨ur Informatik. M¨arz 2003 – Nov. 2008.
• Universit¨at Freiburg. Lehrstuhl f¨ur Algorithmen und Datenstrukturen (Thomas Ottmann), Institut f¨ur
Informatik und Angewandte Wissenschaften. Okt. 1998 – Feb. 2003.
• University of California Los Angeles. Lehrstuhl f¨ur K¨unstliche Intelligenz (Richard Korf), Computer
Science Department. Aug. - Sep. 1997.
• Universit¨at Freiburg, Graduiertenkolleg Menschliche und Maschinelle Intelligenz. Institut f¨ur Informatik und Angewandte Wissenschaften. April 1996 – Sep. 1998.
1
W EHRDIENST
AUSZEICHNUNGEN
Luftwaffe. Budel and Cuxhaven, Juli 1988 - Sep. 1989.
1. Diplom in Informatik.
2. Promotion gef¨ordert durch die Deutsche Forschungsgemeinschaft.
3. Nachpromotionszeit gef¨ordert durch die Deutsche Forschungsgemeinschaft.
4. Honarable Mention Award auf dem 2. internationalen Planungswettbewerb (Fully Automated Planning). Planer MIPS. Mit Malte Helmert.
5. Distinguished Performance Award auf dem 3. internationalen Planungswettbewerb (Fully Automated
Planning). Planer MIPS.
6. Distinguished Performance Award auf dem 5. internationalen Planungswettbewerb (Satisficing Complex Preferences and Constraints). Planer MIPS-XXL. Mit Shahid Jabbar und Mohamed Nazih.
7. 2nd Place Performance Award auf dem 6. internationalen Planungswettbewerb (Optimal Net Benefit).
Planer MIPS-XXL. Mit Shahid Jabbar.
8. 1st Place Performance Award auf dem 6. internationalen Planungswettbewerb (Optimal Net Benefit).
Planer GAMER. Mit Peter Kissmann.
9. 1st Place Performance Award auf dem 6. internationalen Planungswettbewerb (Sequential Optimal).
Planer GAMER. Mit Peter Kissmann.
10. 1st Place Performance Award auf dem 6. internationalen Planungswettbewerb. (Fully Observable,
Non-Determinstic). Planer GAMER. Mit Peter Kissmann.
11. Outstanding Paper Award f¨ur Symbolic Classification of General Two-Player Games, KI-08. Mit Peter
Kissmann.
12. Influential Paper Award f¨ur Planning with Pattern Databases, ICAPS-12.
13. Best Student Paper Award f¨ur Solving Single Vehicle Pickup-and-Delivery Problems with Time Windows and Capacity Constraints using Nested Monte-Carlo Search, ICAART-14. Mit Max Gath.
14. 1st Place Performance Award auf dem 8. internationalen Planungswettbewerb. (Deterministic Optimal). Planer SymBA. Mit Alvaro Toralba, Vidal Alcazar, Peter Kissmann, Daniel Borrajo.
15. 2nd Place Performance Award auf dem 8. internationalen Planungswettbewerb. (Deterministic Optimal). Planer cGamer. Mit Alvaro Toralba, Vidal Alcazar, Peter Kissmann.
16. Stipendien f¨ur Forschungsreisen von AAAI, DFG, u.a.
17. Sachmittel f¨ur Konferenzorganisationen von Artificial Intelligence Journal, Springer, DFG, u.a.
L EITUNG
INTERNATIONALER
W ORKSHOPS &
TAGUNGEN
1. Konferenz International Conference on Automated Planning and Scheduling (ICAPS), London, 2016.
Mit Andrew Coles, Daniele Magazini und Scott Sanner.
2. Dagstuhl-Seminar Planning and Model Checking, 2014. Mit Alessandro Cimatti, Maria Fox und Erion
Plaku.
3. ETAPS-Workshop Graph Inspection and Traversal Engineering (GRAPHITE), Toulouse, 2014. Mit
Alberto Lluch-Lafuente, Dragan Bosnacki und Anton Wijs.
4. Konferenz Symposium of Combinatorial Search (SOCS), Prag, 2014. Mit Roman Bartak.
5. ICAPS-Workshop Model Checking and Automated Planning (MOCHAP), New Hemshire, 2014. Mit
Daniele Magazzeni und Erion Plaku.
6. ETAPS-Workshop Graph Inspection and Traversal Engineering (GRAPHITE), Rom, 2013. Mit Dragan Bosnacki und Anton Wijs.
7. ICAPS-Doktorandenprogramm (DC), Atibaia, Sao Paulo, 2012. Mit Alan Fern.
2
8. ETAPS-Workshop Graph Inspection and Traversal Engineering (GRAPHITE), Talinn, 2012. Mit Dragan Bosnacki und Anton Wijs.
9. KI-Workshop Algorithmic Intelligence, 2011. Mit Carsten Elfers, Rune Jensen, Hartmut Messerschmidt
und Rasmus Pagh.
10. Konferenz K¨unstliche Intelligenz (KI), Berlin, 2011. Mit Joscha Bach.
11. IJCAI-Workshop Intelligent Security (SECART), 2011. Mit Mark Boddy und Yacine Zemali.
12. Konferenz International Conference on Automated Planning and Scheduling (ICAPS), Freiburg, 2011.
Mit Fahiem Bacchus, Carmel Domshlak und Malte Helmert.
13. Doktorandenprogramm der AAAI (SA), 2010. Mit Ugur Kuter.
14. AAAI-Workshop Intelligent Security (SECART), 2010. Mit Mark Boddy und Robert Goldmann.
15. Dagstuhl Seminar Graph Search Engineering, 2009. Mit Lubos Brim, Eric Hansen und Peter Sanders.
16. ICAPS-Workshop Intelligent Security (SECART), 2009. Mit Mark Boddy.
17. ICAPS-Workshop Knowledge Engineering Competition (ICKEP), 2007. Mit Jeremy Frank.
18. Konferenz Model Checking Software (SPIN), 2007. Mit Dragan Bosnacki.
19. Dagstuhl-Seminar Directed Model Checking, 2006. Mit Stefan Leue und Willem Visser.
20. Konferenz Model Checking und Artificial Intelligence (MOCHART), 2006. Mit Alessio Lomuscio.
21. ICAPS-Workshop Planning Competition (PLANCOMP), 2003. Mit J¨org Hoffmann.
22. 2nd International Knowledge Engineering Competition (ICKEPS). Mit Jeremy Frank.
23. 4th International Planning Competition (IPC). Mit J¨org Hoffmann, Michael Littman und Hakan Younes.
E INGELADENE
¨
VORTR AGE
(AUSWAHL )
1. Algorithmic Intelligence. AAAI/IJCAI Summit, New York, 2014.
2. Algorithmen Engineering f¨ur das Suche & Sortieren. Hasso-Plattner-Institut/Universit¨at Potsdam, 2014.
3. Action Planning & General Game Playing for Robots, Robotics Science and Systems, Berlin, 2013.
4. Weak Heaps and Friends – Show me your Bits. Combinatorial Algorithms. Rouen, 2013.
5. Heuristic or Blind Search. Symposium on Combinatorial Search. Nigeria Falls, Kanada, 2012.
6. Ein Algorithmiker auf der Suche nach Kognition. Universit¨at Erlangen. 2012.
7. KI-Suche – auf der Suche nach KI. Universit¨at Kaiserslautern. 2011.
8. GPUs for Model Checking and AI Planning. Universit¨at Kopenhagen. 2010.
9. Search in Planning. Panel Discussion. Symposium on Combinatorial Search. 2010.
10. Erweiterung von SIEM um Methoden der K¨unstlichen Intelligenz, Deutsche Post. Aachen, 2009.
11. Graph Search Engineering. Estonian Summer School in Computer and Systems Science, 2009.
12. Planning & Petri Nets, ICAPS, Thessaloniki, 2009.
13. External-Memory Search, ICAPS, Sydney, 2008 & AAAI, Chicago, 2008.
14. Directed Model Checking, ICAPS, Monterey, 2005 & SPIN, Wien, 2006.
3
M ITGLIEDSCHAFTEN
IN P ROGRAMMKOMI TEES
1. International Joint Conference on Artificial Intelligence (IJCAI-09 – IJCAI-15, senior).
2. National Conference on Artificial Intelligence (AAAI-05 – AAAI-15, senior).
3. European Conference on Artificial Intelligence (ECAI-06 – ECAI-14).
4. International Conference on Automated Planning and Scheduling (ICAPS-05 – ICAPS-14).
5. Symposium on Abstraction, Reformulation, and Approximation (SARA-05 – SARA-13).
6. International Conference on Knowledge Representation (KR-14).
7. International Conference on Agents and Artificial Intelligence (ICAART-11 – ICAART-15).
8. International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA-08
– AIMSA-14).
9. International Conference on Artificial Intelligence and Application (AIA-12).
10. Model Checking Software (SPIN-05 – SPIN-12).
11. Model Checking and Artificial Intelligence (MOCHART-02 – MOCHART-10).
12. Florida Artificial Intelligence Research Society (FLAIRS-04).
13. German Conference on Artificial Intelligence (KI-07 – KI-14).
14. Symposium on Combinatorial Search (SOCS-09 – SOCS-14).
15. Parallel and Distributed Methods in Verification (PDMC-07 – PDMC-12).
16. International Symmetry Conference (ISC-07).
M ITGLIEDSCHAFTEN
1. Model Checking Software (SPIN), 2007 – 2010.
IN
L ENKUNGSKOMITEES
2. Symposium of Combinatorial Search (SOCS), 2014 – heute.
3. Model Checking and Artificial Intelligence (MOCHART), 2007 – heute.
4. International Planning Competition Committee (IPCC), 2006 – heute.
5. GI-Fachgruppe Planung und Konfiguration (PUK), Sep. 2004 – heute.
E DITORENGRUPPEN MITGLIEDSCHAFTEN
1. Journal of Artificial Intelligence, 2013 – heute
2. Journal of Artificial Intelligence Research, 2008 – 2011
3. International Journal on Artificial Intelligence and Application, 2012 – heute
4. Journal of Progress in Artificial Intelligence, 2011 – heute
¨
G UTACHTEN F UR
INTERNATIONALE
FACHZEITSCHRIFTEN
IET Information Security, The Computer Journal, International Journal of Foundations of Computer Science,
International Journal of Computer Mathematics, Journal Annals of Mathematics and Artificial Intelligence,
Journal of Discrete Algorithms, Journal of Automated Reasoning, Journal of Knowledge-based Systems,
Journal of the ACM, Transactions on Software Engineering and Methodology, IEEE Transactions on Computers, Artificial Intelligence Journal, Journal of Artificial Intelligence Research, Journal of Experimental
Algorithms, Journal of Combinatorial Optimization, Journal of Information Sciences, Journal of Scheduling, Journal Artificial Intelligence Review, IEEE Transactions on Computers, Nordic Journal of Computing,
International Journal on Software Tools for Technology Transfer, Data & Knowledge Engineering Journal,
Software Testing, Verification and Reliability, Information Processing Letters, Journal of Computer Science
and Technology, Journal of Zhejiang University, etc.
4
P ROJEKTE
1. Principle Investigator im EU-Projekt FlourPower. F¨orderung: 2014 – heute.
2. Principle Investigator im DFG-SFB EASE. Vorantragsstellung, 2014.
3. Leiter des ZIM-Projekts iMonitor mit: DecoIT GmbH, neusta GmbH. F¨orderung: 2013 – heute.
4. Kooperationspartner im Living Lab in Bangalore, Mobility and ICT, Research for Smart City Solutions (Lilaban) mit: Center for Infrastructure, Sustainable Transportation and Urban Planning (CiSTUP),
Indian Institute of Science (IISc), Deutsche Akademie der Technikwissenschaften (ACATECH), Transportation Research & Consulting (TRC), Institut f¨ur Transportlogistik TU Dortmund (ITL), International Institute of Information Technology (IIIT-Bangalore), BOSCH, Bangalore Metropolitan Transport
Corporation (BMTC), sowie Nextbike. F¨orderung: 2012 – 2013.
5. Fachliche Leitung KI im KMU-Innovativ-Projekt SAIM – Schutz Androids durch intelligentes Monitoring mit: Sirrix AG, neusta GmbH, IFIS Gelsenkirchen. F¨orderung: 2013 – heute.
6. Fachliche Leitung KI im BMBF-Projekt FIDES – Fr¨uhwarn- und Intrusion Detection System auf der
Basis von kombinierten Methoden der KI mit: Telekom AG, ZF AG, Nicos AG, Mobile Solution Group,
Algorithmica, IFIS Gelsenkirchen. F¨orderung: 2008 – 2012.
7. Leiter des DFG-Projekts Modellpr¨ufung auf Flashspeicher-Festplatte und Grafikkarte. F¨orderung: 2009
– 2012.
8. Leiter des DFG-Projekts Planungsverfahren f¨ur das Allgemeine Spiel. F¨orderung: 2009 – 2013.
9. Leiter des DFG-Projekts Externe, zielgerichtete Suche in impliziten Graphen im DFG-Schwerpunktprogramm Algorithm Engineering. F¨orderung: 2007 – 2009.
10. Nachwurchgruppenleiter im DFG-Projekt Heuristische Suche (Aktionsplan Informatik). F¨orderung:
2003 – 2008.
11. Leiter des DFG-Projekts Gerichtete Modellpr¨ufung mit Explorationsverfahren der K¨unstlichen Intelligenz. F¨orderung: 2001 – 2010.
12. Leiter des DFG-Projekts Heuristische Suche und Anwendung auf die Protokollvalidation. F¨orderung:
1998 – 2003.
G UTACHTEN /
E XPERTISEN
Swiss National Science Foundation, Netherland’s Organisation for Scientific Research, Natural Sciences and
Engineering Research Council of Canada, Israel Science Foundation, Deutsche Forschungsgemeinschaft,
Islandic Research Funds. Irish Research Council, National Commission for Scientific and Technological
Research, Applications for Tenure and Promotion (USA und Kanada), etc.
E RFINDUNGEN
Ereignis-Korrelation durch exponentielle Modelle mit toleranter Mustererkennung basierend auf einer ontologischen Repr¨asentation. Verfahren zur rechnergest¨utzten Erkennen von Angriffen auf ein Computer Netz.
PCT/EP2012/061410. Mit Carsten Elfers, Henk Birkholz und Karsten Sohr.
Z ITATE
h-Wert: 31, i10-Wert: 85 (Google Scholar).
U NTERRICHT AN DER
¨
U NIVERSIT AT
B REMEN
1. Dozent der Vorlesung Maschinelles Lernen (SS 2014, SS 2015).
2. Dozent der Vorlesung IT-Logistik (SS 2014).
3. Dozent der Vorlesung Praktische Informatik I (WS 2013/14).
4. Dozent der Vorlesung Algorithmische Intelligenz (SS 2013).
5. Betreuung der Vorlesung Praktische Informatik I (WS 2012/13).
6. Veranstalter der Projektgruppe GGP++ (WS 2011/12 – SS 2012).
7. Dozent der Vorlesung Algorithmentheorie (SS 2011).
8. Dozent der Vorlesung Handlungsplanung und Allgemeines Spiel (WS 2010/11).
9. Dozent der Vorlesung Algorithm Engineering (SS 2010).
5
10. Veranstalter des Seminars Spieltheorie (SS 2010).
11. Veranstalter der Projektgruppe FIDIUS (WS 2009/10 – SS 2011).
12. Dozent der Vorlesung Algorithm Engineering (SS 2009).
13. Veranstalter des Seminars Spieltheorie (SS 2009).
U NTERRICHT AN DER
T ECHNISCHEN
¨
U NIVERSIT AT
D ORTMUND
1. Dozent der Vorlesung Algorithm Design auf Moderner Hardware (WS 2008/09).
2. Dozent der Vorlesung Spieltheorie (SS 2008).
3. Dozent der Vorlesung Handlungsplanung (WS 2007/2008).
4. Dozent der Vorlesung Gerichtete Modellpr¨ufung (SS 2007).
5. Dozent der Vorlesung Suchalgorithmen (WS 2006/07).
6. Veranstalter des Seminars Externe Exploration (SS 2006).
7. Veranstalter der Projektgruppe Bug-Finder (WS 2005/06 – SS 2006).
8. Dozent der Vorlesung K¨unstliche Intelligenz (WS 2005/06).
9. Dozent der Vorlesung Gerichtete Modellpr¨ufung (SS 2005).
10. Veranstalter der Projektgruppe Mod-Plan (WS 2004/05 – SS 2005).
11. Dozent der Vorlesung K¨unstliche Intelligenz (WS 2004/05).
12. Veranstalter der Projektgruppe GPS-Route (SS 2004 – WS 2004/05).
13. Dozent der Vorlesung Handlungsplanung (SS 2004).
14. Dozent der Vorlesung Heuristische Suche (WS 2003/04).
U NTERRICHT AN DER
¨
U NIVERSIT AT
F REIBURG
1. Betreuung der Vorlesung Algorithmische Biologie (SS 2002).
2. Betreuung der Vorlesung Parallel Algorithms and Applications (SS 2002).
3. Betreuung der Vorlesung Applied Computer Science (WS 2001/02).
4. Betreuung der Vorlesung Theoretische Informatik (WS 2000/01).
5. Betreuung der Vorlesung Programmierung (WS 2000/01).
6. Betreuung der Vorlesung Datenstrukturen und Algorithmen (SS 2000).
7. Betreuung der Vorlesung Algorithmentheorie (WS 1999/00).
8. Betreuung der Vorlesung Geometrische Algorithmen (SS 1999).
9. Betreuung der Vorlesung Datenstrukturen und Algorithmen (SS 1999).
10. Betreuung der Vorlesung Programmierung (WS 1998/99).
U NTERRICHT AN DER
B ERUFSAKADEMIE
¨
L ORRACH
1. Dozent der Vorlesung Automaten- and Komplexit¨atstheorie (WS 2001/02).
2. Dozent der Vorlesung Theoretische Informatik (WS 1997/98).
3. Dozent der Vorlesung Theoretische Informatik (WS 1996/97).
6
P ROMOTIONS STUDENTEN
1. Christoph Greulich. Thema: Route Planning and Multi-Agent Simulation for Production Logistics.
2. Malte Humann. Thema: Learning Time Series for Improved Security Monitoring.
3. Andreas Sandkamp. Thema: Big Data Korellation and Learning for Improved Flour Processing.
4. Abdallah Saffadine (Gutachter). Dissertation: Solving Games and All That, University of Paris, 2013
[French Dissertation Award].
5. Daniel Michulke (Gutachter). Dissertation: Evaluation Functions in General Game Playing, University
of Dresden, 2012.
6. Carsten Elfers. Dissertation: Event Correlation Using Conditional Exponential Models with Tolerant
Pattern Matching Applied to Incident Detection
7. Peter Kissmann. Dissertation: Symbolic Search in Planning and General Game Playing, Universit¨at
Bremen, 2012 [Summa Cum Laude].
8. Damian Sulewski. Disseration: Large-Scale Parallel State Space Search Utilizing Graphics Processing
Units and Solid State Disks, Universit¨at Bremen, 2011.
9. Pavel Simecek (Gutachter). Dissertation: External Memory LTL Model Checking, University of Brno,
2009.
10. Shahid Jabbar. Disseration: External Memory Algorithms for State Space Exploration in Model Checking
and Planning. 2008, Technische Universit¨at Dortmund [Summa Cum Laude, ICAPS-Dissertation Award].
11. Anton Wijs (Gutachter). Disseration: What to Do Next? Analyzing and Optimizing System Behavior in
Time. 2007, Centrum voor Wiskunde en Informatica (CWI) Amsterdam, Netherlands.
12. Kairong Qian (Gutachter). Dissertation: Formal Verification using Heuristic Search and Abstraction
Techniques. 2006, University of Southern Wales, Australia.
13. Tilman Mehler. Dissertation: Challenges and Applications of Assembly-Level Software Model Checking
2005, Technische Universit¨at Dortmund.
14. Alberto Lluch-Lafuente. Disseration: Directed Search for the Verification of Communication Protocols
2003, University of Freiburg.
D IPLOMANDEN ,
M ASTER /BACHELOR
S TUDENTEN
1. Zhihao Tang. Monte-Carlo Suche in der Sequenzalignierung (mit Nicole Drechsler) 2015.
2. Paul Wichern. L¨osung von Packungsproblemen in additiven Fertigungsverfahren, (mit Gabriel Zachmann) 2014.
3. Aleksej Michalik. Einsatz neuronaler Netze zur Erkennung von Schadsoftware (mit Kerstin Schill),
2013.
4. Jan-Michel Smidt. Detecting Copyright Violations in Object Code (mit Rainer Koschke), 2013.
5. Tobias Lauer. Analysis of the GDL-II Player Nexusbaum (mit Stefan G¨oller), 2013.
6. Christoph Greulich. Agent-based Intermodal Navigation in Dynamic Environments (mit Klaus-Dieter
Thoben), 2013.
7. Martha Rothe. Symbolic and Explicit Search Hybrid Through Perfect Hash Functions (mit Rolf Drechsler), 2013.
8. Dominik Elsbroek. Monitoring Network Traffic With IPFIX to Detect Well-Known IPv6 Attacks (mit
Carsten Bormann), 2012.
9. Marten Wirsik. Statistical Pattern Matching and Machine Learning for Analyzing Computer Networks
(mit Carsten Bormann), 2012.
10. Paul Nemkovic. Multi-Core Priority Queues (mit Sabine Kuske), 2012.
11. Michael Mester. Design and Implementation of a Distributed Web-Client for Application in the Area of
Ubiquitious Computing (mit Gerrit Kalkbrenner), 2011.
7
12. Tim Federholzner. Randomization and Partial Observability in General Game Playing (mit Karsten
H¨olscher), 2011.
13. David Zastrau. Accelerated Machine Learning Algorithms on the GPU (mit Lutz Frommberger), 2011.
14. Lasse Sievers. Extracting Heuristics in General Game Playing (mit Rainer Koschke), 2012.
15. Ali Shabani. Improved Inference of Street Maps on Basis of Open-Street-Map Raw Data (mit Gerrit
Kalkbrenner), 2010.
16. Cengizhan Y¨ucel. Solving One- and Two-Player Games on the Graphics Card with Perfect Hash Functions (mit Jan Vahrenhold), 2010.
17. Mark Kellershoff. Abstraction & Planning for Program Model Checking (mit Bernhard Steffen), 2008.
18. Damian Sulewski. Parallel Software Model Checking in StEAM (mit Bernhard Steffen), 2007.
19. Bj¨orn Borowsky. Optimal Metric Planning with Presburger Automata (mit Thomas Schwentick), 2007.
20. Kenneth Kahl. Machine Learning Algorithms for the Strategic Game Hex (mit Lars Hildebrand), 2007.
21. Peter Kissmann. External Multiple Sequence Alignment (mit Thomas Hofmeister), 2007.
22. Maxim Zaks. Efficient Algorithms for the Analysis of Graph Transformation Systems (mit Barbara
K¨onig), 2007.
23. Bj¨orn Scholz. Automatic Inference of Road Maps based on GPS Traces (mit Petra Mutzel), 2006.
24. Mohammed Nazih. Efficient Action Planning in PDDL3 (mit Katharina Morik), 2006.
25. Shahid Jabbar. GPS-based Navigation in Static & Dynamic Environments (mit Thomas Ottmann),
2003.
26. Tilman Mehler. Directed Java Program Verification (mit Stefan Leue), 2002.
27. Danyal Kurban. New Methods for Computing Shortest Paths (mit Thomas Ottmann), 2002.
28. Thorsten Kreuzer. Pattern Databases for Solving Chess Endgames (mit Thomas Ottmann), 2001.
29. Malte Helmert. Implementing a Planner for the Symbolic Exploration with Binary Decision Diagrams,
1999. [Malte Helmert hat 2011 den IJCAI Computer and Thought Award gewonnen]
8

Diego Seco Naveiras - Departamento de Ingeniería Informática y