Refining expression DAGs in exact-decisions number types

Wilhelm, Martin; Schirra, Stefan

In: Magdeburg, Dissertation Otto-von-Guericke-Universität Magdeburg, Fakultät für Informatik 2020, 179 Seiten [Literaturverzeichnis: Seite 163-176][Literaturverzeichnis: Seite 163-176]

Minimizing the continuous diameter when augmenting a tree with a shortcut

Carufel, Jean-Lou; Grimm, Carsten; Schirra, Stefan; Smid, Michiel

In: Algorithms and Data Structures - Cham : Springer . - 2017, S. 301-312 - (Lecture Notes in Computer Science; 10389) [Symposium: 15th International Symposium, WADS 2017, St. Johns, NL, Canada, July 31 - August 2, 2017]

Publikationslink

On interval methods with zero rewriting and exact geometric computation

Schirra, Stefan; Wilhelm, Martin

In: Mathematical Aspects of Computer and Information Sciences - Cham : Springer . - 2017, S. 211-226 - (Lecture Notes in Computer Science; 10693) [Konferenz: 7th International Conferenceon Mathematical Aspects of Computer and Information Sciences, MACIS 2017, Vienna, Austria, November 15-17, 2017]

Publikationslink

Precision-driven computation in the evaluation of expression-dags with common subexpressions - problems and solutions

Mörig, Marc; Schirra, Stefan

In: Mathematical Aspects of Computer and Information Sciences - Cham : Springer . - 2016, S. 451-465 - (Lecture Notes in Computer Science; 9582) [Kongress: 6th International Conference Mathematical Aspects of Computer and Information Sciences, MACIS 2015, Berlin, Germany, November 11-13, 2015]

Publikationslink

Algorithm engineering for expression dag based number types

Mörig, Marc Andreas; Schirra, Stefan

In: Magdeburg, Univ., Fak. für Informatik, Diss., 2015, V, 183 S.

Publikationslink

On the use of adaptive, exact decisions number types based on expression-dags in geometric computing

Schirra, Stefan

In: 26th Canadian Conference on Computational Geometry: Halifax, Nova Scotia, August 11-13, 2014, S. 412-418

Publikationslink

Network farthest-point diagrams

Bose, Prosenjit; Dannies, Kai; Carufel, Jean-Lou De; Doell, Christoph; Grimm, Carsten; Maheshwari, Anil; Schirra, Stefan; Smid, Michiel

In: De.arxiv.org - [S.l.]: Arxiv.org, 1991 . - 2013, insges. 26 S.

Publikationslink

On design and implementation of a generic number type for real algebraic number computations based on expression dags

Mörig, Marc; Rössling, Ivo; Schirra, Stefan

In: Mathematics in computer science. - Basel : Birkhäuser, Bd. 4.2011, 4, S. 539-556

Publikationslink

Algorithm engineering - bridging the gap between algorithm theory and practice

Müller-Hannemann, Matthias; Schirra, Stefan

In: Heidelberg [u.a.]: Springer, 2010, XVI, 513 S. - (Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; 5971; Tutorial; Tutorial), ISBN: 978-3-642-14865-1 [Literaturverz. S. [454] - 496]

Publikationslink

Chapter 10. Challenges in algorithm engineering

Müller-Hannemann, Matthias; Schirra, Stefan

In: Algorithm engineering . - Berlin [u.a.] : Springer, ISBN 3-642-14865-4, S. 446-453; Lecture notes in computer science; 5971

Publikationslink

Chapter 1. Foundations of algorithm engineering

Müller-Hannemann, Matthias; Schirra, Stefan

In: Algorithm engineering . - Berlin [u.a.] : Springer, ISBN 3-642-14865-4, S. 1-15; Lecture notes in computer science; 5971

Publikationslink

Much ado about zero

Schirra, Stefan

In: Efficient algorithms: essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday / Susanne Albers; Helmut Alt; Stefan Näher (eds.): essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday - Berlin [u.a.]: Springer, 2009 . - 2009, S. 408-421 - (Lecture notes in computer science; 5760)Kongress: Colloquium in honor of Kurt Mehlhorn (Saarbrücken : 2009.08.27-28)

Publikationslink

Classroom examples of robustness problems in geometric computations

Kettner, Lutz; Mehlhorn, Kurt; Pion, Sylvain; Schirra, Stefan; Yap, Chee

In: Computational geometry . - Amsterdam : Elsevier, Bd. 40.2008, 1, S. 61-78

Publikationslink

How reliable are practical point-in-polygon strategies?

Schirra, Stefan

In: Algorithms - ESA 2008 . - Berlin [u.a.] : Springer, ISBN 3-540-87743-6, S. 744-755; Lecture notes in computer science; 5193Kongress: ESA; 16 (Karlsruhe) : 2008.09.15-17

On the design and performance of reliable geometric predicates using error-free transformations and exact sign of sum algorithms

Mörig, Marc; Schirra, Stefan

In: Proceedings of the 19th Canadian Conference on Computational Geometry, CCCG 2007: August 20-22, 2007, Carleton University, Ottawa, Canada - Ottawa: Prosenjit Bose . - 2007, S. 45-48Kongress: CCCG 2007 19 (Ottawa : 2007.08.20-22)

Experimental comparison of the cost of approximate and exact convex hull computation in the plane

Schirra, Stefan; Tusch, Jan

In: Proceedings of the 18th Canadian Conference on Computational Geometry: August 14-16, 2006 Kingston, Ontario, Canada - Kingston, ON: Queen's Univ. . - 2006, S. 19-22Kongress: CCCG 18 (Kingston, Ontario : 2006.08.14-16)

Classroom examples of robustness problems in geometric computations.

Kettner, Lutz; Mehlhorn, Kurt; Pion, Sylvian; Schirra, Stefan; Yap, Chee

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.

Schirra, Stefan

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)