Prof. Schirra

Prof. Dr. rer. nat. habil. Stefan Schirra
Institut für Simulation und Graphik (ISG)
Fax: +49 391 67 11164
Prof. Dr. rer. nat. habil. Stefan Schirra

Institut für Simulation und Graphik (ISG)
Fax: +49 391 67 11164
Abgeschlossene Projekte
- Geometrisches Runden und Vereinfachen und Grundlagen exakten geometrischen Rechnens mit algebraischen Zahlen
Laufzeit: 01.05.2006 - 30.04.2008
2017
Buchbeitrag
Minimizing the continuous diameter when augmenting a tree with a shortcut
In: Algorithms and Data Structures: 15th International Symposium, WADS 2017, St. Johns, NL, Canada, July 31 - August 2, 2017, Proceedings - Cham: Springer International Publishing, S. 301-312 - (Lecture Notes in Computer Science; 10389); http://dx.doi.org/10.1007/978-3-319-62127-2_26 ; [Symposium: 15th International Symposium, WADS 2017, St. Johns, NL, Canada, July 31 - August 2, 2017]
On interval methods with zero rewriting and exact geometric computation
In: Mathematical Aspects of Computer and Information Sciences: 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings - Cham: Springer International Publishing, S. 211-226 - (Lecture Notes in Computer Science; 10693); http://dx.doi.org/10.1007/978-3-319-72453-9_15 ; [Konferenz: 7th International Conferenceon Mathematical Aspects of Computer and Information Sciences, MACIS 2017, Vienna, Austria, November 15-17, 2017]
2016
Buchbeitrag
Precision-driven computation in the evaluation of expression-dags with common subexpressions - problems and solutions
In: Mathematical Aspects of Computer and Information Sciences : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers. - Cham : Springer International Publishing, S. 451-465, 2016 - (Lecture Notes in Computer Science; 9582)
2015
Dissertation
Algorithm engineering for expression dag based number types
In: Magdeburg Univ., Fak. für Informatik, Diss., 2015, V, 183 S., graph. Darst.
2014
Artikel in Kongressband
On the use of adaptive, exact decisions number types based on expression-dags in geometric computing
In: 26th Canadian Conference on Computational Geometry: Halifax, Nova Scotia, August 11-13, 2014, S. 412-418; http://www.cccg.ca/proceedings/2014/papers/paper61.pdf
2013
Begutachteter Zeitschriftenartikel
Network farthest-point diagrams
In: De.arxiv.org - [S.l.]: Arxiv.org, insges. 26 S., 2013; http://arxiv.org/abs/1304.1909
2011
Originalartikel in begutachteter internationaler Zeitschrift
On design and implementation of a generic number type for real algebraic number computations based on expression dags
In: Mathematics in computer science. - Basel : Birkhäuser, Bd. 4.2011, 4, S. 539-556
2010
Monografie
Algorithm engineering - bridging the gap between algorithm theory and practice
In: Berlin [u.a.]: Springer, 2010; XVI, 513 S.: graph. Darst. - (Lecture notes in computer science; 5971), ISBN 3642148654
Originalartikel in begutachteter zeitschriftenartiger Reihe
Chapter 1. Foundations of algorithm engineering
In: Algorithm engineering . - Berlin [u.a.] : Springer, ISBN 3-642-14865-4, S. 1-15; Lecture notes in computer science; 5971
Chapter 10. Challenges in algorithm engineering
In: Algorithm engineering . - Berlin [u.a.] : Springer, ISBN 3-642-14865-4, S. 446-453; Lecture notes in computer science; 5971
2009
Originalartikel in begutachteter zeitschriftenartiger Reihe
Much ado about zero
In: Efficient algorithms . - Berlin [u.a.] : Springer, ISBN 3-642-03455-1, S. 408-421; Lecture notes in computer science; 5760
2008
Originalartikel in begutachteter internationaler Zeitschrift
Classroom examples of robustness problems in geometric computations
In: Computational geometry . - Amsterdam : Elsevier, Bd. 40.2008, 1, S. 61-78
Originalartikel in begutachteter zeitschriftenartiger Reihe
How reliable are practical point-in-polygon strategies?
In: Algorithms - ESA 2008 . - Berlin [u.a.] : Springer, ISBN 3-540-87743-6, S. 744-755; Lecture notes in computer science; 5193 ; Kongress: ESA; 16 (Karlsruhe) : 2008.09.15-17
2007
Buchbeitrag
On the design and performance of reliable geometric predicates using error-free transformations and exact sign of sum algorithms
In: Proceedings of the 19th Canadian Conference on Computational Geometry, CCCG 2007 . - Ottawa : Prosenjit Bose, ISBN 978-0-7709-0520-0, S. 45-48 ; Kongress: CCCG 2007; 19 (Ottawa) : 2007.08.20-22
2006
Artikel in Kongressband
Experimental comparison of the cost of approximate and exact convex hull computation in the plane
In: Proceedings of the 18th Canadian Conference on Computational Geometry . - Kingston, ON : Queen\'s Univ., S. 19-22, 2006 ; Kongress: CCCG; 18 (Kingston, Ontario) : 2006.08.14-16
2004
Originalartikel in begutachteter zeitschriftenartiger Reihe
Classroom examples of robustness problems in geometric computations.
In: Albers, Susanne (Hrsg.) ; Radzik, Tomasz (Hrsg.): Algorithms, ESA 2004 (12th annual European symposium Bergen, Norway, September 14 - 17 2004). - proceedings. Berlin : Springer, 2004, S. 702 - 713 (Lecture notes in computer science 3221) . - ESA 2004
Invited lecture : real numbers and robustness in computational geometry.
In: Frougny, Christiane (Hrsg.) ; ... (Hrsg.): Real numbers and computers, RNCï6 (6th conference Dagstuhl, Germany November 15 - 17 2004). Trier : Univ., 2004, S. 7 - 21 (Trierer Forschungsberichte 04-8)
- Carleton University, Ottawa, Kanada, Prof. Dr. Michiel Smid
- benjamin GmbH, Barleben
- Algorithms and Data Structures
- Computational Geometry
- Exact (Geometric) Computation
- Motion Planning
- Computer Graphics
- Generic Programming
- Algorithmik
- Algorithm Engineering
- Verlässliches geometrisches Rechnen
Prof. Dr. Stefan Schirra, Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg | |
Academic titles: Dr. rer. nat. habil. | |
Place of birth: Saarlouis; Date of birth: 12.08.1961 | |
Professional Data: | |
1982 - 1988 | Study of Computer Science (and Mathematics) at Saarland University |
1988 | Diplom in Computer Science |
1989 - 1991 | Research Associate at Saarland University |
1991 - 2000 | Research Associate at Max Planck Institute for Computer Science |
1992 | PhD in Computer Science at the Technical Faculty of Saarland University |
1999 | Habilitation at Saarland University |
2000 - 2002 | think & solve Beratungsgesellschaft (IT Consulting), Saarbrücken |
since 2002 | Professor (C3) for Theoretical Computer Science and Computational Geometry at the department for Simulation and Graphics at the Faculty for Computer Science of the Otto von Guericke University Magdeburg |