Dr. Marc Meister

Ehemaliger Mitarbeiter des Instituts für Programmiermethodik und Compilerbau.

E-Mail: {vorname}.{nachname} (at) alumni.uni-ulm.de

Alle Veröffentlichungen

[13] Marc Meister. Advances in Constraint Handling Rules. Dissertation, Universität Ulm, Germany, 2008.
[12] Marc Meister. Concurrency of the preflow-push algorithm in Constraint Handling Rules. In François Fages, Francesca Rossi, and Sylvain Soliman, editors, Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, pages 160-169, 2007.
[11] Marc Meister and Thom Frühwirth. Reconstructing almost-linear tree equation solving algorithms in CHR. In François Fages, Francesca Rossi, and Sylvain Soliman, editors, Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, pages 123-137, 2007.
[10] Marc Meister, Khalil Djelloul, and Jacques Robin. Une sémantique complète pour CHR en logique des transactions. In Pierre Deransart, editor, Programmation par Contraintes, Troisièmes Journées Francophones, JFPC 2007, Rocquencourt, France, June 4-6, 2007, pages 130-138, 2007.
[9] Marc Meister, Khalil Djelloul, and Jacques Robin. A unified semantics for Constraint Handling Rules in Transaction Logic. In Chitta Baral, Gerhard Brewka, and John Schlipf, editors, Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, volume 4483 of LNCS, pages 201-213. Springer-Verlag, 2007.
[8] Marc Meister, Khalil Djelloul, and Thom Frühwirth. Complexity of a CHR solver for existentially quantified conjunctions of equations over trees. In Francisco Azevedo, Pedro Barahona, François Fages, and Francesca Rossi, editors, Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 2006, Revised Selected and Invited Papers, volume 4651 of LNCS, pages 139-153. Springer-Verlag, 2007.
[7] Marc Meister and Thom Frühwirth. Complexity of the CHR rational tree equation solver. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules, Third Workshop, CHR 2006, Venice, Italy, July 9, 2006, volume 452 of Report CW, pages 77-92. Departement Computerwetenschappen, Katholieke Universiteit Leuven, Belgium, 2006. [ .pdf | http ]
[6] Martin Käser and Marc Meister. Implementation of an F-Logic kernel in CHR. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules, Third Workshop, CHR 2006, Venice, Italy, July 9, 2006, volume 452 of Report CW, pages 33-48. Departement Computerwetenschappen, Katholieke Universiteit Leuven, Belgium, 2006. [ .pdf | http ]
[5] Marc Meister. Fine-grained parallel implementation of the preflow-push algorithm in CHR. In Michael Fink, Hans Tompits, and Stefan Woltran, editors, Logic Programming, 20th Workshop, WLP 2006, Vienna, Austria, February 22-24, 2006, volume 1843-06-02 of INFSYS Research Report, pages 172-181. Technische Universität Wien, Austria, 2006. [ .ps.gz | .html ]
[4] Armin Wolf, Thom Frühwirth, and Marc Meister, editors. (Constraint) Logic Programming, 19th Workshop, W(C)LP 2005, Ulm, Germany, February 21-23, 2005, volume 2005-01 of Ulmer Informatik-Berichte. Universität Ulm, Germany, 2005. [ .pdf | http ]
[3] Thom Frühwirth and Marc Meister, editors. Constraint Handling Rules, First Workshop, CHR 2004, Ulm, Germany, May 10-14, 2004, volume 2004-01 of Ulmer Informatik-Berichte. Universität Ulm, Germany, 2004. [ .pdf | http ]
[2] Marc Meister. Fast sichere Grenzwertsätze für logarithmische Mittel. Diplomarbeit, Universität Ulm, Germany, 2001.
[1] Marc Meister. Fast sichere Versionen von Grenzwertsätzen für große Ordnungsstatistiken. Diplomarbeit, Universität Ulm, Germany, 2001.

Lehre (teilweise in Englisch)

  • Übungen: Theoretische Informatik 2 (SS7, SS6), Praktische Informatik 1 (WS3/4), Constraint Programmierung (WS5/6, WS4/5, WS3/4), Lineare Algebra für Informatiker (WS2/3)
  • Praktika: Constraint-Programmierung Praxis (SS7, SS6, SS5, SS4, SS3), SrcML Source Code Representation (SS5, SS4)
  • Seminare: Constraint Programmierung (WS6/7), Constraints/Logik/Objektorientierung (SS6), Übersetzung moderner Sprachkonzepte (SS4), Logik als Basis formaler Modelle (WS3/4)
  • Proseminare: Logikbasierte Programmiersprachen (SS7, SS6), Logikbasierte Programmierung (WS5/6, WS4/5), Funktionale Programmierung (SS3)
  • Summer school: German University in Cairo Research Training at Uni Ulm (Jul/Aug 06)
  • Diploma thesis: Frank Raiser. SrcML: A language-neutral source code representation as a basis for extending languages in Intentional Programming (Jul 2006)
  • Einsatz elektronischer Medien in der Lehre: <LINK http://mo.mathematik.uni-stuttgart.de/>Mathematik-Online</LINK> (Nov 01-Dec 02)