Frank Seelisch Veröffentlichungen
Kontakt
Forschungsinteressen
Lebenslauf
Lehre
Veröffentlichungen
Vorträge
Privates

Diplomarbeit

• Frank Seelisch: Koenigs' Funktion und lokal gleichmäßige Multivalenz. Diplomarbeit. Technische Universität Berlin (1997).

Dissertation

• Frank Seelisch: Constraint Solving for Model-based Engineering Applications Using Relational Aggregation. Dissertation. Technische Universität Wien (2004).

Wissenschaftliche Arbeiten

1 Gert-Martin Greuel, Frank Seelisch, Oliver Wienand: The Groebner basis of the ideal of vanishing polynomials. Journal of Symbolic Computation 46 (2011), p.561-570, ISSN: 0747-7171, DOI: 10.1016/j.jsc.2010.10.006 (corrected version at http://arxiv.org/abs/0709.2978).
2 Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel: STABLE: A new QF-BV SMT Solver for hard Verification Problems combining Boolean Reasoning with Computer Algebra. Design, Automation and Test in Europe (DATE), Grenoble, France (to be published in 2011).
3 Markus Wedler, Evgeny Pavlenko, Alexander Dreyer, Frank Seelisch, Dominik Stoffel, Gert-Martin Greuel, Wolfgang Kunz: Solving hard instances in QF-BV combining Boolean reasoning with computer algebra. Dagstuhl Seminar Proceedings 09461 (2010), ISSN 1862-4405.
4 Gert-Martin Greuel, Santiago Laplagne, Frank Seelisch: Normalization of Rings. Journal of Symbolic Computation 9 (2010), p.887-901.
5 Dieter Rombach, Frank Seelisch: Formalisms in Software Engineering: Myths Versus Empirical Facts. Balancing Agility and Formalism in Software Engineering; Lecture Notes in Computer Science 5082 (Springer 2008), p.13-25, ISBN 978-3-540-85278-0, ISSN 0302-9743 (Print) 1611-3349 (Online), DOI 10.1007/978-3-540-85279-7.
6 Jakob Mauss, Frank Seelisch, Mugur M. Tatar: A constraint solver for model-based engineering. AI Communications 17,2 (2004), p.75-92, IOS Press.
7 Jakob Mauss, Frank Seelisch, Mugur M. Tatar: A Relational Constraint Solver for Model-Based Engineering. Principles and Practice of Constraint Programming - CP 2002 (Editor: Pascal Van Hentenryck); Lecture Notes in Computer Science 2470 (Springer 2002), p.780, ISBN 3-540-44120-4.
8 Frank Seelisch: A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form. Principles and Practice of Constraint Programming - CP 2002 (Editor: Pascal Van Hentenryck); Lecture Notes in Computer Science 2470 (Springer 2002), p.780, ISBN 3-540-44120-4.
9 Frank Seelisch: Heterogeneous Constraint Problems. Principles and Practice of Constraint Programming - CP 2001 (Editor: Toby Walsh); Lecture Notes in Computer Science 2239 (Springer 2001), p.783, ISBN 3-540-42863-1.
TU Kaiserslautern • FB Mathematik • AG Algebra & Geometrie • CAS SINGULAR • KIS