All Publications from the IST

[1]: Oswin Aichholzer, Jean Cardinal, Tony Huynh, Kolja Knauer, Torsten Mütze, Raphael Steiner, and Birgit Vogtenhuber. Flip distances between graph orientations. Algorithmica, page to appear, 2020. [ bib ]
[2]: Oswin Aichholzer, Alfredo García, Irene Parada, Birgit Vogtenhuber, and Alexandra Weinberger. Simple Drawings of K_m,n Contain Shooting Stars. In Proceedings of the 36th European Workshop on Computational Geometry (EuroCG2020), Würzburg, Germany, 2020. [ bib | .pdf ]
[3]: Elena Arseneva, Linda Kleist, Boris Klemz, Maarten Löffler, André Schulz, Birgit Vogtenhuber, and Alexander Wolff. Representing Graphs by Polygons with Side Contacts in 3D. In Proceedings of the 36th European Workshop on Computational Geometry (EuroCG2020), Würzburg, Germany, 2020. [ bib | .pdf ]
[4]: O. Aichholzer, L. E. Caraballo, J.M. Díaz-Bá nez, R. Fabila-Monroy, I. Parada, I. Ventura, and B. Vogtenhuber. Scheduling drones to cover outdoor events. In Proceedings of the 36th European Workshop on Computational Geometry (EuroCG2020), Würzburg, Germany, 2020. [ bib | .pdf ]
[5]: Alan Arroyo, Fabian Klute, Irene Parada, Raimund Seidel, Birgit Vogtenhuber, and Tilo Wiedera. Inserting one edge into a simple drawing is hard. In 45th International Workshop on Graph-Theoretic Concepts in Computer Science, Leeds, United Kingdom, 2020. [ bib ]
[6]: Oswin Aichholzer, Manuel Borrazzo, Prosenjit Bose, Jean Cardinal, Fabrizio Frati, Pat Morin, and Birgit Vogtenhuber. Drawing Graphs as Spanners. In 45th International Workshop on Graph-Theoretic Concepts in Computer Science, Leeds, United Kingdom, 2020. [ bib ]
[7]: O. Aichholzer, J. Obmann, P. Paták, D. Perz, and J. Tkadlec. Disjoidasdnt tree-compatible plane perfect matchings. In Proceedings of the 36th European Workshop on Computational Geometry (EuroCG2020), Würzburg, Germany, 2020. [ bib | .pdf ]
[8]: I have andasd ndasdodasdw replaced all the authors :D. Slowly butdasd stddasddsdeadily. In Maybe now 3&6th Dasadrdask magic is at hand here on Computational Geometry (EuroCG2020), Würzburg, Ger555many, 2020. [ bib | .pdf ]
[9]: Carolina Medina, Irene Parada, Gelasio Salazar, and Birgit Vogtenhuber. Bounding the number of crossings for a particular class of drawings of K_n,n. In Proc. XVIII Encuentros de Geometría Computacional, page 34, Girona, Spain, 2019. [ bib | .pdf | .pdf ]
[10]: David Flores-Peñaloza, Mikio Kano, Leonardo Martínez-Sandoval, David Orden, Javier Tejel, Csaba D. Tóth, Jorge Urrutia, and Birgit Vogtenhuber. Perfect rainbow polygons for colored point sets in the plane. In Proc. XVIII Encuentros de Geometría Computacional, pages 43--46, Girona, Spain, 2019. [ bib | .pdf | .pdf ]
[11]: David Flores-Peñaloza, Mikio Kano, Leonardo Martínez-Sandoval, David Orden, Javier Tejel, Csaba D. Tóth, Jorge Urrutia, and Birgit Vogtenhuber. Perfect rainbow polygons for colored point sets in the plane. In Proc. 22nd Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG3 2019), pages 57--58, Tokyo, Japan, 2019. [ bib | .pdf ]
[12]: Oswin Aichholzer, Ruy Fabila-Monroy, Ferran Hurtado, Pablo Perez-Lantero, Andres J. Ruiz-Vargas, Jorge Urrutia, and Birgit Vogtenhuber. Cross-sections of line configurations in R³ and (d-2)-flat configurations in R^d. Computational Geometry: Theory and Applications, 77:51--61, 2019. Special Issue of CCCG 2014. [ bib | DOI | http ]
[13]: Philipp Kindermann, Stephen Kobourov, Maarten Löffler, Martin Nöllenburg, André Schulz, and Birgit Vogtenhuber. Lombardi Drawings of Knots and Links. Journal of Computational Geometry, pages --, 2019. to appear. [ bib ]
[14]: Oswin Aichholzer and Daniel Perz. Triangles in the colored Euclidean plane. In Proc. 35^th European Workshop on Computational Geometry EuroCG '19, pages 10:1--10:7, Utrecht, The Netherlands, 2019. [ bib | .pdf | .pdf ]
[15]: Oswin Aichholzer, José Miguel Díaz-Báñez, Thomas Hackl, David Orden, Alexander Pilz, Inmaculada Ventura, and Birgit Vogtenhuber. Erdős-Szekeres-Type Games. In Proc. 35^th European Workshop on Computational Geometry EuroCG '19, pages 23:1--23:7, Utrecht, The Netherlands, 2019. [ bib | .pdf | .pdf ]
[16]: Oswin Aichholzer, Ruy Fabila Monroy, Adrian Fuchs, Carlos Hidalgo Toscano, Irene Parada, Birgit Vogtenhuber, and Francisco Zaragoza. On the 2-Colored Crossing Number. In Proc. 35^th European Workshop on Computational Geometry EuroCG '19, pages 56:1--56:7, Utrecht, The Netherlands, 2019. [ bib | .pdf | .pdf ]
[17]: Oswin Aichholzer, Irene Parada, Manfred Scheucher, Birgit Vogtenhuber, and Alexandra Weinberger. Shooting Stars in Simple Drawings of K_m,n. In Proc. 35^th European Workshop on Computational Geometry EuroCG '19, pages 59:1--59:6, Utrecht, The Netherlands, 2019. [ bib | .pdf | .pdf ]
[18]: Oswin Aichholzer, Carlos Alegría Galicia, Irene Parada, Alexander Pilz, Javier Tejel, Csaba D. Tóth, Jorge Urrutia, and Birgit Vogtenhuber. Hamiltonian meander paths and cycles on bichromatic point sets. In Proc. XVIII Encuentros de Geometría Computacional, pages 35--38, Girona, Spain, 2019. [ bib | .pdf | .pdf ]
[19]: Oswin Aichholzer, Ruy Fabila-Monroy, and Julia Obmann. On the Triangle Vector. In Proc. XVIII Encuentros de Geometría Computacional, pages 55--58, Girona, Spain, 2019. [ bib | .pdf | .pdf ]
[20]: Oswin Aichholzer, Ruy Fabila-Monroy, Adrian Fuchs, Carlos Hidalgo-Toscano, Irene Parada, Birgit Vogtenhuber, and Francisco Zaragoza. On the 2-colored crossing number. In Graph Drawing and Network Visualization. GD 2019, volume 11904 of Lecture Notes in Computer Science (LNCS), pages 87--100, Prague, Czechia, 2019. [ bib | DOI ]
[21]: Oswin Aichholzer, Martin Balko, Michael Hoffmann, Jan Kynčl, Wolfgang Mulzer, Irene Parada, Alexander Pilz, Manfred Scheucher, Pavel Valtr, Birgit Vogtenhuber, and Emo Welzl. Minimal representations of order types by geometric graphs. In Graph Drawing and Network Visualization. GD 2019, volume 11904 of Lecture Notes in Computer Science (LNCS), pages 101--113, Prague, Czechia, 2019. [ bib | DOI ]
[22]: Oswin Aichholzer, Matias Korman, Yoshio Okamoto, Irene Parada, Daniel Perz, Andre van Renssen, and Birgit Vogtenhuber. Graphs with large total angular resolution. In Graph Drawing and Network Visualization. GD 2019, volume 11904 of Lecture Notes in Computer Science (LNCS), pages 193--199, Prague, Czechia, 2019. [ bib | DOI ]
[23]: Oswin Aichholzer, Linda Kleist, Boris Klemz, Felix Schröder, and Birgit Vogtenhuber. On the Edge-Vertex Ratio of Maximal Thrackles. In Graph Drawing and Network Visualization. GD 2019, volume 11904 of Lecture Notes in Computer Science (LNCS), pages 482--495, Prague, Czechia, 2019. [ bib | DOI ]
[24]: Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz, André van Renssen, Marcel Roeloffzen, Günter Rote, and Birgit Vogtenhuber. Packing plane spanning graphs with short edges in complete geometric graphs. Computational Geometry, 782:1--15, 2019. [ bib | DOI | http | .pdf ]
[25]: O. Aichholzer, M. Balko, T. Hackl, J. Kynčl, I. Parada, M. Scheucher, P. Valtr, and B. Vogtenhuber. A superlinear lower bound on the number of 5-holes. Journal of Combinatorial Theory A, pages 1--31, 2019. online. [ bib | DOI | http | .pdf ]
[26]: Oswin Aichholzer, Jean Cardinal, Tony Huynh, Kolja Knauer, Torsten Mütze, Raphael Steiner, and Birgit Vogtenhuber. Flip distances between graph orientations. In 45th International Workshop on Graph-Theoretic Concepts in Computer Science, volume 11789 of Lecture Notes in Computer Science (LNCS), pages 120--134, Vall de Nuria, Spain, 2019. [ bib | DOI ]
[27]: Oswin Aichholzer, Hugo A. Akitaya, Kenneth C. Cheung, Erik D. Demaine, Martin L. Demaine, Sándor P. Fekete, Linda Kleist, Irina Kostitsyna, Maarten Löffler, Zuzana Masárová, Klara Mundilova, and Christiane Schmidt. Folding Polyominoes with Holes into a Cube. In Proc. 31^th Annual Canadian Conference on Computational Geometry CCCG 2019, pages 164--170, Edmonton, Alberta, Canada, 2019. [ bib | .pdf | .pdf ]
[28]: Oswin Aichholzer, Martin Balko, Michael Hoffmann, Jan Kynčl, Wolfgang Mulzer, Irene Parada, Alexander Pilz, Manfred Scheucher, Pavel Valtr, Birgit Vogtenhuber, and Emo Welzl. Minimal representations of order types by geometric graphs. submitted to Journal of Graph Algorithms and Applications, 2019. special issue of the 27th International Symposium on Graph Drawing and Network Visualization GD2019. [ bib ]
[29]: Oswin Aichholzer, Frank Duque, Ruy Fabila-Monroy, Carlos Hidalgo-Toscano, and Oscar E. García-Quintero. An Ongoing Project to Improve the Rectilinear and the Pseudolinear Crossing Constants. submitted, pages 1--131, 2019. [ bib ]
[30]: Oswin Aichholzer, Lukas Andritsch, Karin Baur, and Birgit Vogtenhuber. Transformed flips in triangulations and matchings. submitted, pages 1--17, 2019. [ bib ]
[31]: Clemens Huemer, Deborah Oliveros, Pablo Pérez-Lantero, Ferran Torra, and Birgit Vogtenhuber. On weighted sums of numbers of convex polygons in point sets. submitted, pages 1--23, 2019. [ bib ]
[32]: Matias Korman, Stefan Langerman, Wolfgang Mulzer, Alexander Pilz, Maria Saumell, and Birgit Vogtenhuber. The dual diameter of triangulations. Computational Geometry: Theory and Applications, 68:243--252, 2018. Special Issue in Memory of Ferran Hurtado. [ bib | DOI | http ]
[33]: Oswin Aichholzer, Michael Biro, Erik Demaine, Martin Demaine, David Eppstein, Sándor P. Fekete, Adam Hesterberg, Irina Kostitsyna, and Christiane Schmidt. Folding Polyominoes into (Poly)Cubes. International Journal of Computational Geometry & Applications, 28(3):197--226, 2018. [ bib | DOI ]
[34]: O. Aichholzer, M. Balko, T. Hackl, A. Pilz, P. Ramos, P. Valtr, and B. Vogtenhuber. Holes in 2-convex point sets. In Proc. 28^th International Workshop on Combinatorial Algorithms (IWOCA2017), volume 10765 of Lecture Notes in Computer Science (LNCS), pages 169--181, Newcastle, Australia, 2018. [ bib | DOI ]
[35]: O. Aichholzer, M. Balko, T. Hackl, A. Pilz, P. Ramos, P. Valtr, and B. Vogtenhuber. Holes in 2-convex point sets. Computational Geometry: Theory and Applications, 74:38--49, 2018. [ bib | DOI ]
[36]: Oswin Aichholzer, Nieves Atienza, José M. Díaz-Báñez, Ruy Fabila-Monroy, David Flores-Peñaloza, Pablo Pérez-Lantero, Jorge Urrutia, and Birgit Vogtenhuber. Computing Balanced Islands in Two Colored Point Sets in the Plane. Information Processing Letters, 135:28 -- 32, 2018. [ bib | DOI | http ]
[37]: Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Dan McQuillan, Bojan Mohar, Petra Mutzel, Pedro Ramos, R. Bruce Richter, and Birgit Vogtenhuber. Bishellable drawings of K_n. SIAM Journal on Discrete Mathematics, 32(4):2482--2492, 2018. [ bib | DOI ]
[38]: Oswin Aichholzer, Luis Barba, Thomas Hackl, Alexander Pilz, and Birgit Vogtenhuber. Linear Transformation Distance for Bichromatic Matchings. Computational Geometry: Theory and Applications, 68:77--88, 2018. Special Issue in Memory of Ferran Hurtado. [ bib | DOI | http | .pdf ]
[39]: Oswin Aichholzer, Ruy Fabila-Monroy, David Flores-Peñaloza, Thomas Hackl, Jorge Urrutia, and Birgit Vogtenhuber. Modem Illumination of Monotone Polygons. Computational Geometry: Theory and Applications, 68:101--118, 2018. Special Issue in Memory of Ferran Hurtado. [ bib | DOI | http ]
[40]: Jean Cardinal, Stefan Felsner, Tillmann Miltzow, Casey Tompkins, and Birgit Vogtenhuber. Intersection Graphs of Rays and Grounded Segments. Journal of Graph Algorithms and Applications, 22(2):273--295, 2018. [ bib | DOI ]
[41]: Philipp Kindermann, Stephen Kobourov, Maarten Löffler, Martin Nöllenburg, André Schulz, and Birgit Vogtenhuber. Lombardi Drawings of Knots and Links. In Fabrizio Frati and Kwan-Liu Ma, editors, Graph Drawing and Network Visualization. GD 2017., pages 113--126, Boston, MA, USA, 2018. Springer, Cham. Revised Selected Papers. [ bib | DOI ]
[42]: Oswin Aichholzer, Martin Balko, Michael Hoffmann, Jan Kynčl, Wolfgang Mulzer, Irene Parada, Alexander Pilz, Manfred Scheucher, Pavel Valtr, Birgit Vogtenhuber, and Emo Welzl. Minimal Geometric Graph Representations of Order Types. In Proc. 34^th European Workshop on Computational Geometry EuroCG '18, pages 21:1--21:6, Berlin, Germany, 2018. [ bib ]
[43]: Oswin Aichholzer, Michael Kerber, István Talata, and Birgit Vogtenhuber. A Note on Planar Monohedral Tilings. In Proc. 34^th European Workshop on Computational Geometry EuroCG '18, pages 31:1--31:6, Berlin, Germany, 2018. [ bib ]
[44]: Oswin Aichholzer, Wolfgang Mulzer, Partick Schnider, and Birgit Vogtenhuber. NP-Completeness of Max-Cut for Segment Intersection Graphs. In Proc. 34^th European Workshop on Computational Geometry EuroCG '18, pages 32:1--32:6, Berlin, Germany, 2018. [ bib ]
[45]: Oswin Aichholzer, Lukas Andritsch, Karin Baur, and Birgit Vogtenhuber. Perfect k-Colored Matchings and (k+2)-Gonal Tilings. Graphs and Combinatorics, 34(6):1333--1346, 2018. [ bib | DOI | http ]
[46]: John Iacono and Birgit Vogtenhuber. In pursuit of a dynamic tree decomposition. In Proceedings of the of the 21st Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^32018), pages 23--25, Manila, Philippines, 2018. [ bib ]
[47]: O. Aichholzer, M. Balko, T. Hackl, J. Kynčl, I. Parada, M. Scheucher, P. Valtr, and B. Vogtenhuber. A superlinear lower bound on the number of 5-holes. In Boris Aronov and Matthew J. Katz, editors, 33rd International Symposium on Computational Geometry (SoCG 2017), volume 77 of Leibniz International Proceedings in Informatics (LIPIcs), pages 8:1--8:16, Brisbane, Australia, 2017. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. [ bib | DOI | .pdf ]
[48]: O. Aichholzer, M. Balko, T. Hackl, J. Kynčl, I. Parada, M. Scheucher, P. Valtr, and B. Vogtenhuber. A superlinear lower bound on the number of 5-holes. In Proc. 33^rd European Workshop on Computational Geometry EuroCG '17, pages 69--73, Malmö, Sweden, 2017. [ bib | .pdf ]
[49]: O. Aichholzer, L. Andritsch, K. Baur, and B. Vogtenhuber. Perfect k-colored matchings and k+2-gonal tilings. In Proc. 33^rd European Workshop on Computational Geometry EuroCG '17, pages 81--84, Malmö, Sweden, 2017. [ bib | .pdf ]
[50]: O. Aichholzer, T. Hackl, M. Korman, M. van Kreveld, M. Löffler, A. Pilz, B. Speckmann, and E. Welzl. Packing Plane Spanning Trees and Paths in Complete Geometric Graphs. Information Processing Letters (IPL), 124:35--41, 2017. [ bib | DOI | .pdf ]
[51]: Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Dan McQuillan, Bojan Mohar, Petra Mutzel, Pedro Ramos, R. Bruce Richter, and Birgit Vogtenhuber. Bishellable drawings of K_n. In Proc. XVII Encuentros de Geometría Computacional, pages 17--20, Alicante, Spain, 2017. [ bib | .pdf ]
[52]: O. Aichholzer, A. Fischer, F. Fischer J.F. Meier, U. Pferschy, A. Pilz, and R. Stanek. Minimization and Maximization Versions of the Quadratic Traveling Salesman Problem. OPTIMIZATION, 66(4):521--546, 2017. [ bib | DOI | .pdf ]
[53]: Bahareh Banyassady, Man-Kwun Chiu, Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber, and Max Willert. Routing in Polygonal Domains. In Yoshio Okamoto and Takeshi Tokuyama, editors, 28th International Symposium on Algorithms and Computation (ISAAC 2017), volume 92 of Leibniz International Proceedings in Informatics (LIPIcs), pages 10:1--10:13, Dagstuhl, Germany, 2017. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. [ bib | DOI | http ]
[54]: Jean Cardinal, Stefan Felsner, Tillmann Miltzow, Casey Tompkins, and Birgit Vogtenhuber. "Intersection Graphs of Rays and Grounded Segments". In Hans L. Bodlaender and Gerhard J. Woeginger, editors, Graph-Theoretic Concepts in Computer Science (WG 2017), pages 153--166, Cham, 2017. Springer International Publishing. Revised Selected Papers. [ bib | DOI ]
[55]: Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber, and Max Willert. Routing in Simple Polygons. In Proc. 33^rd European Workshop on Computational Geometry EuroCG '17, pages 17--20, Malmö, Sweden, 2017. [ bib ]
[56]: Bahareh Banyassady, Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber, and Max Willert. Routing in Polygonal Domains. In Proc. of the 20^th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG³ 2017), pages 88--89, Tokyo, Japan, 2017. [ bib ]
[57]: Oswin Aichholzer, Florian Ebenführer, Irene Parada, Alexander Pilz, and Birgit Vogtenhuber. On semi-simple drawings of the complete graph. In Proc. XVII Encuentros de Geometría Computacional, pages 25--28, Alicante, Spain, 2017. [ bib | .pdf ]
[58]: O. Aichholzer, V. Kusters, W. Mulzer, A. Pilz, and M. Wettstein. An optimal algorithm for reconstructing point set order types from radial orderings. International Journal of Computational Geometry & Applications, 27(1--2):57--83, 2017. [ bib | DOI | http ]
[59]: Oswin Aichholzer, Thomas Hackl, Pavel Valtr, and Birgit Vogtenhuber. A Note on the Number of General 4-holes in (Perturbed) Grids. In Jin Akiyama, Hiro Ito, Toshinori Sakai, and Yushi Uno, editors, Discrete and Computational Geometry and Graphs. JCDCGG 2015., volume 9943 of Lecture Notes in Computer Science (LNCS), pages 1--12. Springer, Cham, 2016. [ bib | DOI ]
[60]: Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz, Günter Rote, André van Renssen, Marcel Roeloffzen, and Birgit Vogtenhuber. Packing Short Plane Spanning Trees in Complete Geometric Graphs. In Seok-Hee Hong, editor, 27th International Symposium on Algorithms and Computation (ISAAC 2016), volume 64 of Leibniz International Proceedings in Informatics (LIPIcs), pages 9:1--9:12, Dagstuhl, Germany, 2016. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. [ bib | DOI | http ]
[61]: O. Aichholzer, G. Araujo-Pardo, N. García-Colín, T. Hackl, D. Lara, C. Rubio-Montiel, and J. Urrutia. Geometric achromatic and pseudoachromatic indices. Graphs and Combinatorics, 32(2):431--451, 2016. [ bib | DOI | .pdf ]
[62]: Oswin Aichholzer, Jean Cardinal, Vincent Kusters, Stefan Langerman, and Pavel Valtr. Reconstructing Point Set Order Types from Radial Orderings. International Journal of Computational Geometry & Applications, 26(3/4):167--184, 2016. [ bib | DOI | .pdf ]
[63]: O. Aichholzer, M. Balko, T. Hackl, A. Pilz, P. Ramos, B. Vogtenhuber, and P. Valtr. Holes in two convex point sets. In Proc. 32^st European Workshop on Computational Geometry EuroCG '16, pages 263--266, Lugano, Switzerland, 2016. [ bib | .pdf ]
[64]: O. Aichholzer, T. Hackl, and M. Scheucher. Planar L-Shaped Point Set Embedding of Trees. In Proc. 32^st European Workshop on Computational Geometry EuroCG '16, pages 51--54, Lugano, Switzerland, 2016. [ bib | .pdf ]
[65]: O. Aichholzer, V. Alvarez, T. Hackl, A. Pilz, B. Speckmann, and B. Vogtenhuber. An improved lower bound on the number of triangulations. In Proc. 32^nd Int. Sympos. Comput. Geom. (SoCG) volume 51 of Leibniz International Proceedings in Informatics (LIPIcs), pages 7:1--7:16, Boston, USA, 2016. [ bib | .pdf ]
[66]: Florian Lorber, Amnon Rosenmann, Dejan Ničković, and Bernhard K. Aichernig. Bounded Determinization of Timed Automata with Silent Transitions. In Sriram Sankaranarayanan and Enrico Vicario, editors, Formal Modeling and Analysis of Timed Systems, volume 9268 of Lecture Notes in Computer Science, pages 288--304. Springer, 2015. [ bib | DOI ]
[67]: Bernhard K. Aichernig and Martin Tappler. "Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing". In Usages of Symbolic Execution - 1^st International Workshop in conjunction with FM 2015, USE'15, Oslo, Norway, June 23, 2015. In press. [ bib | .pdf ]
[68]: Bernhard K. Aichernig, Dejan Ničković, and Stefan Tiran. "Scalable Incremental Test-case Generation from Large Behavior Models". In TAP'15, volume 9154 of Lecture Notes in Computer Science, pages 1--18. Springer, 2015. In press. [ bib ]
[69]: Stefan Tiran. Incremental Model-Based Mutation Testing. In IEEE 8^th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. IEEE Computer Society, 2015. [ bib | DOI ]
[70]: Florian Lorber. Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems. In IEEE 8^th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. IEEE Computer Society, 2015. [ bib | DOI ]
[71]: Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Ničković, and Stefan Tiran. "Require, Test and Trace IT". In FMICS'15, volume 9128 of Lecture Notes in Computer Science, pages 113--127. Springer, 2015. In press. [ bib ]
[72]: Bernhard K. Aichernig and Florian Lorber. Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata. In Proceedings of the 11th Workshop on Advances in Model Based Testing, A-MOST 2015, co-located with ICST 2015. IEEE Computer Society, 2015. [ bib | .pdf ]
[73]: Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, and Stefan Tiran. MoMuT::UML - model-based mutation testing for UML. In IEEE 8^th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. IEEE Computer Society, 2015. [ bib | DOI | .pdf ]
[74]: Bernhard K. Aichernig, Elisabeth Jöbstl, and Stefan Tiran. Model-based mutation testing via symbolic refinement checking. Science of Computer Programming, 97, Part 4(0):383--404, 2015. Special Issue: Selected Papers from the 12th International Conference on Quality Software (QSIC 2012). [ bib | DOI ]
[75]: Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, and Stefan Tiran. Killing strategies for model-based mutation testing. Software Testing, Verification and Reliability, 25(8):716--748, 2015. [ bib | DOI ]
[76]: O. Aichholzer, T. Hackl, P. Valtr, and B. Vogtenhuber. A note on the number of general 4-holes in perturbed grids. In Proc. 18^th Japan Conference on Discrete and Computational Geometry and Graphs (JCDCG² 2015), pages 68--69, Kyoto, Japan, 2015. [ bib ]
[77]: O. Aichholzer, V. Kusters, W. Mulzer, A. Pilz, and M. Wettstein. An optimal algorithm for reconstructing point set order types from radial orderings. In Proceedings 26^th Int. Symp. Algorithms and Computation (ISAAC 2015), pages 505--516, 2015. [ bib ]
[78]: O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, and B. Vogtenhuber. Representing Directed Trees as Straight Skeletons. In Emilio Di Giacomo and Anna Lubiw, editors, Proc. 23^nd International Symposium on Graph Drawing (GD 2015), volume 9411 of Lecture Notes in Computer Science (LNCS), pages 335--347, Los Angeles, CA, USA, 2015. [ bib | DOI | .pdf ]
[79]: B.M. Ábrego, O. Aichholzer, S. Fernández-Merchant, T. Hackl, J. Pammer, A. Pilz, P. Ramos, G. Salazar, and B. Vogtenhuber. All Good Drawings of Small Complete Graphs. In Proc. 31^st European Workshop on Computational Geometry EuroCG '15, pages 57--60, Ljubljana, Slovenia, 2015. [ bib | .pdf ]
[80]: O. Aichholzer, T. Hackl, S. Lutteropp, T. Mchedlidze, A. Pilz, and B. Vogtenhuber. Monotone Simultaneous Embedding of Upward Planar Digraphs. Journal of Graph Algorithms and Applications, 19(1):87--110, 2015. [ bib | DOI | .pdf ]
[81]: O. Aichholzer, T. Hackl, A. Pilz, P. Ramos, V. Sacristán, and B. Vogtenhuber. Empty triangles in good drawings of the complete graph. Graphs and Combinatorics, 31(2):335--345, 2015. [ bib | DOI | .pdf ]
[82]: Oswin Aichholzer, Ruy Fabila-Monroy, Hernan Gonzalez-Aguilar, Thomas Hackl, Marco A. Heredia, Clemens Huemer, Jorge Urrutia, Pavel Valtr, and Birgit Vogtenhuber. On k-Gons and k-Holes in Point Sets. Computational Geometry: Theory and Applications, 48(7):528--537, 2015. [ bib | DOI | .pdf ]
[83]: O. Aichholzer, F. Aurenhammer, T. Hackl, C. Huemer, A. Pilz, and B. Vogtenhuber. 3-Colorability of Pseudo-Triangulations. Int'l Journal of Computational Geometry & Applications, 25(4):283--298, 2015. [ bib | DOI | .pdf ]
[84]: O. Aichholzer, W. Aigner, F. Aurenhammer, B. Jüttler K.Č Dobiášová, and G. Rote. Triangulations with circular arcs. Journal of Graph Algorithms and Applications, 19(1):43--65, 2015. [ bib | DOI | .pdf ]
[85]: José Miguel Díaz-Báñez, Matias Korman, Pablo Pérez-Lantero, Alexander Pilz, Carlos Seara, and Rodrigo I. Silveira. New results on stabbing segments with a polygon. Comput. Geom., 48(1):14--29, 2015. [ bib | DOI | http ]
[86]: Oswin Aichholzer, Sang Won Bae, Luis Barba, Prosenjit Bose, Matias Korman, André van Renssen, Perouz Taslakian, and Sander Verdonschot. Reprint of: Theta-3 is connected. Computational Geometry Theory and Application, 48:369--442, 2015. [ bib | DOI ]
[87]: Oswin Aichholzer, Andrei Asinowski, and Tillmann Miltzow. Disjoint compatibility graph of non-crossing matchings of points in convex position. The Electronic Journal of Combinatorics, 22:1--65, 2015. [ bib | http | .pdf ]
[88]: O. Aichholzer, L.E. Caraballo, J.M. Díaz-Báñez, R. Fabila-Monroy, C. Ochoa, and P. Nigsch. Characterization of extremal antipodal polygons. Graphs and Combinatorics, 31:321--333, 2015. [ bib | DOI | .pdf ]
[89]: Oswin Aichholzer, Michael Biro, Erik Demaine, Martin Demaine, David Eppstein, Sándor P. Fekete, Adam Hesterberg, Irina Kostitsyna, and Christiane Schmidt. Folding Polyominoes into (Poly)Cubes. In Proc. 27^th Annual Canadian Conference on Computational Geometry CCCG 2015, pages 101--106, Kingston, Ontario, Canada, 2015. [ bib | .html ]
[90]: Oswin Aichholzer, Thomas Hackl, Sarah Lutteropp, Tamara Mchedlidze, and Birgit Vogtenhuber. Embedding Four-directional Paths on Convex Point Sets. Journal of Graph Algorithms and Applications, 19(2):743--759, 2015. [ bib | DOI | .pdf ]
[91]: Oswin Aichholzer, Wolfgang Mulzer, and Alexander Pilz. Flip Distance Between Triangulations of a Simple Polygon is NP-Complete. Discrete Comput. Geom., 54(2):368--389, 2015. [ bib | DOI | http ]
[92]: Alexander Pilz and Emo Welzl. Order on Order Types. In Proc. 31st International Symposium on Computational Geometry (SoCG 2015), pages 285--299, 2015. [ bib | DOI | http ]
[93]: Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Gelasio Salazar, and Birgit Vogtenhuber. Deciding monotonicity of good drawings of the complete graph. In Proc. XVI Spanish Meeting on Computational Geometry (EGC 2015), pages 33--36, 2015. [ bib | .pdf ]
[94]: Imre Bárány, Ruy Fabila-Monroy, and Birgit Vogtenhuber. (n,m)-Fold Covers of Spheres. Proceedings of the Steklov Institute of Mathematics, 288:203--208, 2015. [ bib | DOI ]
[95]: Jurek Czyzowicz, Konstantinos Georgiou, Evangelos Kranakis, Lata Narayanan, Jarda Opatrny, and Birgit Vogtenhuber. Evacuating Robots from a Disk Using Face-to-Face Communication (Extended Abstract). In V. Paschos and P. Widmayer, editors, Algorithms and Complexity. CIAC 2015., volume 9079 of Lecture Notes in Computer Science (LNCS), pages 140--152, Paris, France, 2015. Springer. [ bib | DOI ]
[96]: Matias Korman, Stefan Langerman, Wolfgang Mulzer, Alexander Pilz, Maria Saumell, and Birgit Vogtenhuber. Minimum Dual Diameter Triangulations. In Proc. 30^th European Workshop on Computational Geometry (EuroCG 2014), page online, March 2014. [ bib ]
[97]: A. Felfernig. "Online TU Graz". In In Publications can be found in tugraz-online and www.felfernig.eu, 2014. [ bib ]
[98]: Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Ničković, Rupert Schlick, Didier Simoneau, and Stefan Tiran. Integration of Requirements Engineering and Test-Case Generation via OSLC. In QSIC '14: Proceedings of the 2014 14^th International Conference on Quality Software, pages 117--126, Dallas, USA, 2014. IEEE Computer Society. [ bib | DOI ]
[99]: Bernhard K. Aichernig, Klaus Hörmaier, and Florian Lorber. Debugging with Timed Automata Mutations. In Andrea Bondavalli and Felicita Di Giandomenico, editors, Computer Safety, Reliability, and Security, volume 8666 of Lecture Notes in Computer Science, pages 49--64. Springer International Publishing, 2014. [ bib | DOI ]
[100]: Elisabeth Jöbstl. Model-Based Mutation Testing with Constraint and SMT Solvers. PhD thesis, Graz University of Technology, Institute for Software Technology, 2014. [ bib | http ]
[101]: Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korošec, Willibald Krenn, Rupert Schlick, and Birgit Vera Schmidt. Model-Based Mutation Testing of an Industrial Measurement Device. In TAP, volume 8570 of LNCS, pages 1--9. Springer, 2014. [ bib | .pdf ]
[102]: Bernhard K. Aichernig, Florian Lorber, Dejan Ničković, and Stefan Tiran. Require, Test and Trace IT. Technical report, Institute for Software Technology (IST), Graz University of Technology, 2014. [ bib | http ]
[103]: Bernhard Aichernig, Florian Lukas Lorber, and Stefan Tiran. Formal Test-Driven Development with Verified Test Cases. In Joaquim Filipe Luis Ferreira Pires, Slimane Hammoudi and Rui César das Neves, editors, Proceedings of the 2^nd International Conference on Model-Driven Engineering and Software Development, pages 626--635, Lisbon, January 2014. SCITEPRESS - Science and Technology Publications. [ bib | DOI ]
[104]: O. Aichholzer, F. Aurenhammer, T. Hackl, F. Hurtado, A. Pilz, P. Ramos, J. Urrutia, P. Valtr, and B. Vogtenhuber. On k-Convex Point Sets. Computational Geometry: Theory and Applications, 47(8):809--832, 2014. [ bib | DOI | http | .pdf ]
[105]: O. Aichholzer, T. Hackl, S. Lutteropp, T. Mchedlidze, A. Pilz, and B. Vogtenhuber. Monotone Simultaneous Embedding of Directed Paths. In Proc. 30^th European Workshop on Computational Geometry EuroCG '14, page online, Dead Sea, Israel, 2014. [ bib | .pdf ]
[106]: O. Aichholzer, T. Hackl, M. Korman, A. Pilz, and B. Vogtenhuber. Geodesic-preserving polygon simplification. Int'l Journal of Computational Geometry & Applications, 24(4):307--323, 2014. [ bib | DOI | .pdf ]
[107]: O. Aichholzer, R. Fabila-Monroy, T. Hackl, C. Huemer, and J. Urrutia. Empty Monochromatic Simplices. Discrete & Computational Geometry, 51(2):362--393, 2014. [ bib | DOI | .pdf ]
[108]: O. Aichholzer, J. Cardinal, T. Hackl, F. Hurtado, M. Korman, A. Pilz, R.I. Silveira, R. Uehara, B. Vogtenhuber, and E. Welzl. Cell-Paths in Mono- and Bichromatic Line Arrangements in the Plane. Discrete Mathematics & Theoretical Computer Science (DMTCS), 16(3):317--332, 2014. [ bib | .html | .pdf ]
[109]: O. Aichholzer, T. Hackl, D. Orden, A. Pilz, M. Saumell, and B. Vogtenhuber. Flips in combinatorial pointed pseudo-triangulations with face degree at most four. Int'l Journal of Computational Geometry & Applications, 24(3):197--224, 2014. [ bib | DOI | .pdf ]
[110]: O. Aichholzer, R. Fabila-Monroy, T. Hackl, C. Huemer, A. Pilz, and B. Vogtenhuber. Lower bounds for the number of small convex k-holes. Computational Geometry: Theory and Applications, 47(5):605--613, 2014. [ bib | DOI | .pdf ]
[111]: O. Aichholzer, R. Fabila-Monroy, H. González-Aguilar, T. Hackl, M.A. Heredia, C. Huemer, J. Urrutia, and B. Vogtenhuber. 4-Holes in Point Sets. Computational Geometry: Theory and Applications, 47(6):644--650, 2014. Special Issue on the 27th European Workshop on Computational Geometry (EuroCG 2011). [ bib | DOI | .pdf ]
[112]: O. Aichholzer, T. Hackl, M. Hoffmann, A. Pilz, G. Rote, B. Speckmann, and B. Vogtenhuber. Plane graphs with parity constraints. Graphs and Combinatorics, 30(1):47--69, 2014. [ bib | DOI | .pdf ]
[113]: Alexander Pilz. Flip Distance Between Triangulations of a Planar Point Set is APX-Hard. Comput. Geom., 47(5):589--604, 2014. [ bib | DOI ]
[114]: Oswin Aichholzer, Luis Barba, Thomas Hackl, Alexander Pilz, and Birgit Vogtenhuber. Linear Transformation Distance for Bichromatic Matchings. In Proc. 30^th Symposium on Computational Geometry (SOCG 2014), pages 154--162. ACM, 2014. [ bib | DOI | http | .pdf ]
[115]: B.M. Ábrego, O. Aichholzer, S. Fernández-Merchant, P. Ramos, and G. Salazar. Shellable drawings and the cylindrical crossing number of K_n. Discrete and Computational Geometry, 52:743--753, 2014. [ bib | DOI | .pdf ]
[116]: Oswin Aichholzer, Matias Korman, Alexander Pilz, and Birgit Vogtenhuber. Geodesic Order Types. Algorithmica, 70(1):112--128, 2014. [ bib | DOI | http | .pdf ]
[117]: Oswin Aichholzer, Greg Aloupis, Erik D. Demaine, Martin L. Demaine, Sándor P. Fekete, Michal Hoffmann, Anna Lubiw, Jack Snoeyink, and Andrew Winslow. Covering Folded Shapes. Journal of Computational Geometry, 5:150--168, 2014. [ bib | http ]
[118]: Oswin Aichholzer, Sang Won Bae, Luis Barba, Prosenjit Bose, Matias Korman, André van Renssen, Perouz Taslakian, and Sander Verdonschot. Theta-3 is connected. Computational Geometry Theory and Application, 47:910--917, 2014. [ bib | DOI ]
[119]: Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Pedro Ramos, and Birgit Vogtenhuber. Non-Shellable Drawings of K_n with Few Crossings. In Proc. 26^th Annual Canadian Conference on Computational Geometry CCCG 2014, page online, Halifax, Nova Scotia, Canada, 2014. [ bib ]
[120]: Oswin Aichholzer, Thomas Hackl, Stefan Huber, and Birgit Vogtenhuber. Straight Skeletons by Means of Voronoi Diagrams Under Polyhedral Distance Functions. In Proc. 26^th Annual Canadian Conference on Computational Geometry (CCCG 2014), page online, Halifax, Nova Scotia, Canada, 2014. [ bib | .pdf ]
[121]: Oswin Aichholzer, Michael Hoffmann, Marc Van Kreveld, and Günter Rote. Graph Drawings with Relative Edge Length Specifications. In Proc. 26^th Annual Canadian Conference on Computational Geometry CCCG 2014, page online, Halifax, Nova Scotia, Canada, 2014. [ bib ]
[122]: Oswin Aichholzer, Thomas Hackl, Matias Korman, Marc van Kreveld, Maarten Löffler, Alexander Pilz, Bettina Speckmann, and Emo Welzl. Packing Plane Spanning Trees and Paths in Complete Geometric Graphs. In Proc. 26^th Annual Canadian Conference on Computational Geometry (CCCG 2014), page online, Halifax, Nova Scotia, Canada, 2014. [ bib | .pdf ]
[123]: Oswin Aichholzer, Ruy Fabila-Monroy, Ferran Hurtado, Pablo Perez-Lantero, Andres J. Ruiz-Vargas, Jorge Urrutia, and Birgit Vogtenhuber. Order types and cross-sections of line arrangements in R³. In Proc. 26^th Annual Canadian Conference on Computational Geometry CCCG 2014, page online, Halifax, Nova Scotia, Canada, 2014. [ bib ]
[124]: Oswin Aichholzer, Thomas Hackl, Sarah Lutteropp, Tamara Mchedlidze, and Birgit Vogtenhuber. Embedding Four-directional Paths on Convex Point Sets. In C. Duncan and A. Symvonis, editors, Proc. 22^nd International Symposium on Graph Drawing (GD 2014), volume 8871 of Lecture Notes in Computer Science (LNCS), pages 355--366, Würzburg, Germany, 2014. [ bib | .pdf ]
[125]: Stefan Felsner and Alexander Pilz. Ham-Sandwich Cuts for Abstract Order Types. In Ahn and Shin [126], pages 726--737. [ bib | DOI | http ]
[126]: Hee-Kap Ahn and Chan-Su Shin, editors. Algorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings, volume 8889 of Lecture Notes in Computer Science. Springer, 2014. [ bib | DOI | http ]
[127]: Oswin Aichholzer, Jean Cardinal, Vincent Kusters, Stefan Langerman, and Pavel Valtr. Reconstructing Point Set Order Types from Radial Orderings. In Ahn and Shin [126], pages 15--26. [ bib | DOI | .pdf ]
[128]: Sven Bock, Roland Klöbl, Thomas Hackl, Oswin Aichholzer, and Gerald Steinbauer. "Playing Nine Men's Morris with the Humanoid Robot Nao". In Proc. Austrian Robotics Workshop (AWS 2014), pages 58--63, Linz, Austria, 2014. [ bib | .pdf ]
[129]: Bernhard K. Aichernig, Florian Lorber, and Dejan Ničković. Time for Mutants - Model-Based Mutation Testing with Timed Automata. In Margus Veanes and Luca Viganò, editors, Tests and Proofs, volume 7942 of Lecture Notes in Computer Science, pages 20--38. Springer Berlin Heidelberg, 2013. [ bib | DOI ]
[130]: Bernhard K. Aichernig, Elisabeth Jöbstl, and Matthias Kegele. Incremental Refinement Checking for Test Case Generation. In Margus Veanes and Luca Viganò, editors, Tests and Proofs, volume 7942 of Lecture Notes in Computer Science, pages 1--19. Springer Berlin Heidelberg, 2013. [ bib | DOI ]
[131]: Bernhard K. Aichernig. Model-based mutation testing of reactive systems: from semantics to automated test-case generation. In Theories of Programming and Formal Methods, Lecture Notes in Computer Science, pages 23--36. Springer-Verlag, Berlin, Heidelberg, 2013. [ bib | DOI ]
[132]: Stefan Tiran. On the Effects of UML Modeling Styles in Model-based Mutation Testing. Master thesis, Graz, University of Technology, 2013. [ bib | http ]
[133]: Stephan Gspandl, Ingo Pill Michael Reip, and Gerald Steinbauer. "Maintaining consistency in a robot's knowledge-base via diagnostic reasoning". AI communications, 26(1):29--38, 2013. [ bib ]
[134]: Gerald Steinbauer and Franz Wotawa. Model-Based Reasoning for Self-Adaptive Systems --- Theory and Practice. In Javier Camara, Rogerio de Lemos, Carlo Ghezzi, and Antonia Lopes, editors, Assurances for Self-Adaptive Systems, pages 187--213. Springer, 2013. [ bib ]
[135]: O. Aichholzer, T. Hackl, M. Korman, A. Pilz, and B. Vogtenhuber. Geodesic-preserving polygon simplification. In Lecture Notes in Computer Science (LNCS), Proc. 24^th Int. Symp. Algorithms and Computation (ISAAC 2013), volume 8283, pages 11--21, Hong Kong, China, 2013. Springer Verlag. [ bib | .pdf ]
[136]: A. Asinowski, J. Cardinal, N. Cohen, S. Collette, T. Hackl, M. Hoffmann, K. Knauer, S. Langerman, M. Lasoń, P. Micek, G. Rote, and T. Ueckerdt. Coloring Hypergraphs Induced by Dynamic Point Sets and Bottomless Rectangles. In Lecture Notes in Computer Science (LNCS), Proc. 13^th Algorithms and Data Structures Symposium (WADS 2013), volume 8037, pages 73--84, London, Ontario, Canada, 2013. [ bib | .pdf ]
[137]: O. Aichholzer, J. Cardinal, T. Hackl, F. Hurtado, M. Korman, A. Pilz, R.I. Silveira, R. Uehara, B. Vogtenhuber, and E. Welzl. Cell-Paths in Mono- and Bichromatic Line Arrangements in the Plane. In Proc. 25^th Annual Canadian Conference on Computational Geometry CCCG 2013, pages 169--174, Waterloo, Ontario, Canada, 2013. [ bib | .pdf ]
[138]: O. Aichholzer, T. Hackl, A. Pilz, P. Ramos, V. Sacristán, and B. Vogtenhuber. Empty triangles in good drawings of the complete graph. In Mexican Conference on Discrete Mathematics and Computational Geometry, pages 21--29, Oaxaca, México, 2013. [ bib | .pdf ]
[139]: O. Aichholzer, T. Hackl, D. Orden, A. Pilz, M. Saumell, and B. Vogtenhuber. Flips in combinatorial pointed pseudo-triangulations with face degree at most four (extended abstract). In Proc. 15^th Spanish Meeting on Computational Geometry 2013, pages 131--134, Sevilla, Spain, 2013. [ bib | .pdf ]
[140]: O. Aichholzer, T. Hackl, V. Sacristán, B. Vogtenhuber, and R. Wallner. Simulating distributed algorithms for lattice agents. In Proc. 15^th Spanish Meeting on Computational Geometry 2013, pages 81--84, Sevilla, Spain, 2013. [ bib | .pdf ]
[141]: O. Aichholzer, R. Fabila-Monroy, T. Hackl, M. van Kreveld, A. Pilz, P. Ramos, and B. Vogtenhuber. Blocking Delaunay Triangulations. Computational Geometry: Theory and Applications, 46(2):154--159, 2013. [ bib | DOI | .pdf ]
[142]: O. Aichholzer, T. Hackl, D. Orden, P. Ramos, G. Rote, A. Schulz, and B. Speckmann. Flip Graphs of Bounded-Degree Triangulations. Graphs and Combinatorics, 29(6):1577--1593, 2013. [ bib | DOI | .pdf ]
[143]: O. Aichholzer, T. Hackl, M. Hoffmann, C. Huemer, A. Pór, F. Santos, B. Speckmann, and B. Vogtenhuber. Maximizing Maximal Angles for Plane Straight Line Graphs. Computational Geometry: Theory and Applications, 46(1):17--28, 2013. [ bib | DOI | .pdf ]
[144]: Oswin Aichholzer, Tillmann Miltzow, and Alexander Pilz. Extreme point and halving edge search in abstract order types. Comput. Geom., 46(8):970--978, 2013. [ bib | DOI ]
[145]: Oswin Aichholzer, Wolfgang Mulzer, and Alexander Pilz. Flip Distance between Triangulations of a Simple Polygon is NP-Complete. In Proc. 21^st European Symposium on Algorithms (ESA 2013), pages 13--24, 2013. [ bib | DOI ]
[146]: Oswin Aichholzer, Wolfgang Mulzer, and Alexander Pilz. Flip Distance between Triangulations of a Simple Polygon is NP-Complete. In Proc. 29^th European Workshop on Computational Geometry (EuroCG 2013), pages 115--118, Braunschweig, Germany, 2013. [ bib ]
[147]: José Miguel Díaz-Báñez, Matias Korman, Pablo Pérez-Lantero, Alexander Pilz, Carlos Seara, and Rodrigo I. Silveira. New Results on Stabbing Segments with a Polygon. In Spirakis and Serna [148], pages 146--157. [ bib | DOI ]
[148]: Paul G. Spirakis and Maria J. Serna, editors. Algorithms and Complexity, 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings, volume 7878 of Lecture Notes in Computer Science. Springer, 2013. [ bib ]
[149]: O. Aichholzer and B. Jüttler. Einführung in die Angewandte Geometrie. Mathematik Kompakt. Birkhäuser, 2013. [ bib ]
[150]: O. Aichholzer, J. Urrutia, and B. Vogtenhuber. Balanced 6-holes in bichromatic point sets. In Proc. of the 16^th Japan Conference on Discrete and Computational Geometry and Graphs (JCDCG² 2013), Tokyo, Japan, 2013. [ bib | .pdf ]
[151]: B.M. Ábrego, O. Aichholzer, S. Fernández-Merchant, P. Ramos, and G. Salazar. More on the crossing number of K_n: Monotone drawings. Electronic Notes in Discrete Mathematics, 44:411--414, 2013. Special issue dedicated to LAGOS2013. [ bib | DOI | http ]
[152]: O. Aichholzer, S.R. Allen, G. Aloupis, L. Barba, P. Bose, J.-L. De Carufel, J. Iacono, S. Langerman, D.L. Souvaine, P. Taslakin, and M. Yagnatinsky. Sum of Squared Edges for MST of a Point Set in a Unit Square. In Proc. of the 16^th Japan Conference on Discrete and Computational Geometry and Graphs (JCDCG² 2013), Tokyo, Japan, 2013. [ bib ]
[153]: O. Aichholzer, G. Aloupis, E.D. Demaine, M.L. Demaine, S.P. Fekete, M. Hoffmann, A. Lubiwk, J. Snoeyink, and a. Winslow. Covering Folded Shapes. In Proc. 25^th Annual Canadian Conference on Computational Geometry CCCG 2013, pages 73--78, Waterloo, Ontario, Canada, 2013. [ bib ]
[154]: Oswin Aichholzer, Sang Won Bae, Luis Barba, Prosenjit Bose, Matias Korman, André van Renssen, Perouz Taslakian, and Sander Verdonschot. Theta 3 is connected. In Proc. 25^th Annual Canadian Conference on Computational Geometry CCCG 2013, pages 205--211, Waterloo, Ontario, Canada, 2013. invited to special issue of CCCG 2013. [ bib ]
[155]: O. Aichholzer, L.E. Caraballo, J.M. Díaz-Báñez, R. Fabila-Monroy, C. Ochoa, and P. Nigsch. Extremal antipodal polygons and polytopes. In Mexican Conference on Discrete Mathematics and Computational Geometry, pages 11--20, Oaxaca, México, 2013. [ bib | .pdf ]
[156]: J. Abhau, O. Aichholzer, S. Colutto, B. Kornberger, and O. Scherzer. Shape Spaces via Medial Axis Transforms for Segmentation of Complex Geometry in 3D Voxel Data. Inverse Problems and Imaging, 7(1):1--25, 2013. [ bib ]
[157]: Oswin Aichholzer, Jorge Urrutia, and Birgit Vogtenhuber. Balanced 6-holes in linearly separable bichromatic point sets. Electronic Notes in Discrete Mathematics, 44:181 -- 186, 2013. Special issue dedicated to LAGOS2013. [ bib | DOI | http ]
[158]: Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Pedro Ramos, and Gelasio Salazar. The 2-page crossing number of K_n. Discrete & Computational Geometry, 49(4):747--777, 2013. [ bib | .pdf ]
[159]: Oswin Aichholzer, Matias Korman, Alexander Pilz, and Birgit Vogtenhuber. Geodesic Order Types. In Joachim Gudmundsson, Julián Mestre, and Taso Viglas, editors, Proc. 18^th International Computing and Combinatorics Conference (COCOON 2012), volume 7434 of Lecture Notes in Computer Science, pages 216--227, Sydney, Australia, August 2012. Springer. [ bib | DOI ]
[160]: Bernhard Aichernig, Florian Lukas Lorber, and Stefan Tiran. Integrating model-based testing and analysis tools via test case exchange. In IEEE Computer Society, editor, Proceedings of the 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, pages 119--126. IEEE Computer Society, July 2012. [ bib | DOI ]
[161]: Alexander Pilz. Augmentability to Cubic Graphs. In Proc. 28^th European Workshop on Computational Geometry (EuroCG 2012), pages 29--32, Assisi, Italy, March 2012. [ bib ]
[162]: Bernhard K. Aichernig, Frank S. de Boer, and Marcello M. Bonsangue, editors. Formal Methods for Components and Objects - 9^th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers, volume 6957 of Lecture Notes in Computer Science. Springer-Verlag, 2012. [ bib ]
[163]: Bernhard K. Aichernig. Model-Based Mutation Testing: Theory and Application. Habilitation thesis, Graz University of Technology, Austria, January 2012. [ bib ]
[164]: Bernhard Aichernig, Florian Lorber, and Stefan Tiran. Formal Test-Driven Development with Verified Test Cases. Technical report, Institute for Software Technology (IST), Graz University of Technology, 2012. [ bib | http ]
[165]: Bernhard Klaus Aichernig. The science of killing bugs in a black box. In SBLP'12: Proceedings of the 16^th Brazilian conference on Programming Languages, pages 6--11, Berlin, Heidelberg, 2012. Springer-Verlag. [ bib | DOI ]
[166]: Bernhard K. Aichernig and Elisabeth Jöbstl. Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking. In 7th Workshop on Model-Based Testing (MBT 2012), volume 80 of EPTCS, pages 88--102, 2012. [ bib | DOI ]
[167]: Bernhard K. Aichernig and Elisabeth Jöbstl. Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. In Workshops Proc. of the IEEE 5^th Int. Conf. on Software Testing, Verification and Validation (ICST 2012), pages 752--757. IEEE Computer Society, 2012. [ bib | DOI ]
[168]: Bernhard K. Aichernig and Elisabeth Jöbstl. Efficient Refinement Checking for Model-Based Mutation Testing. In QSIC '12: Proceedings of the 2012 12^th International Conference on Quality Software, pages 21--30, Washington, DC, USA, 2012. IEEE Computer Society. [ bib | DOI ]
[169]: Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lcrmioara Atefnoaei, Frank S. de Boer, and Jan Rutten. Connectors as designs: Modeling, refinement and test case generation. Sci. Comput. Program., 77(7-8):799--822, 2012. [ bib | DOI ]
[170]: Stefan Tiran. The Argos Manual. Technical report, Institute for Software Technology (IST), Graz University of Technology, 2012. [ bib | http ]
[171]: Gerald Steinbauer and Suzana Uran, editors. "Proceedings of the Austrian Robotics Workshop 2012". Verlag der Technischen Universität Graz, 2012. [ bib ]
[172]: Gerald Steinbauer and Alexander Kleiner. "Towards CSP-based mission dispatching in C2/C4I systems". In IEEE International Symposium on Safety Security and Rescue Robotics (SSRR), College Station, TX, USA, 2012. [ bib ]
[173]: Raymond Sheh, Tetsuya Kimura, Daniele Nardi, Johannes Pellenz, and Gerald Steinbauer. "The 2012 Safety, Security, and Rescue Robotics Summer School". In IEEE International Symposium on Safety Security and Rescue Robotics (SSRR), College Station, TX, USA, 2012. [ bib ]
[174]: Stefan Kohlbrecher, Karen Petersen, Gerald Steinbauer, Johannes Maurer, Suzana Uran, Peter Lepej, Rodrigo Ventura, Christian Dornhege, Andreas Hertle, Rymond Sheh, and Johannes Pellenz. "Community-Driven Development of Standard Software Modules for Search and Rescue Robots". In IEEE International Symposium on Safety Security and Rescue Robotics (SSRR), College Station, TX, USA, 2012. [ bib ]
[175]: Siegfried Podesser, Gerald Steinbauer, and Franz Wotawa. "Selective Belief Management for High-Level Robot Programs". In International Workshop on Principles of Diagnosis (DX), Great Malvern, UK, 2012. [ bib ]
[176]: Michael Reip, Gerald Steinbauer, and Alexander Ferrein. "Improving Belief Management for High-Level Robot Programs by Using Diagnosis Templates". In International Workshop on Principles of Diagnosis (DX), Great Malvern, UK, 2012. [ bib ]
[177]: Peter Lepej, Johannes Maurer, Steinbauer Gerald, Suzana Uran, and Safdar Zaman. "An integrated Diagnosis and Repair Architecture for ROS-Based Robot Systems". In International Workshop on Principles of Diagnosis (DX), Great Malvern, UK, 2012. [ bib ]
[178]: Stephan Gspandl, Siegfried Podesser, Michael Reip, Gerald Steinbauer, and Mate Wolfram. "A Dependable Perception-Decision-Execution Cycle for Autonomous Robots". In IEEE International Conference on Robotics and Automation (ICRA), St. Paul, MN, USA, 2012. [ bib ]
[179]: Gerald Steinbauer. "A Survey about Faults of Robots used in RoboCup". In RoboCup International Symposium, Mexico City, Mexico, 2012. [ bib ]
[180]: Alexander Ferrein, Gerald Steinbauer, and Stavros Vassos. "Action-Based Imperative Programming with YAGI". In International Workshop on Cognitive Robotics, Toronto, Canada, 2012. [ bib ]
[181]: Peter Lepej, Johanens Maurer, Gerald Steinbauer, and Suzana Uran. "Analysis of Laser Sensor System for a Rescue Robot". In 21st International Electrotechnical and Computer Science Conference, Portoroz, Slovenia, 2012. [ bib ]
[182]: Martin Kandlhofer, Gerald Steinbauer, Petra Sundström, and Astrid Weiss. "Educational Robotics - Evaluating long-term effects". In International Workshop Teaching Robotics Teaching with Robotics, pages 198--199, Riva del Garda, Italy, 2012. [ bib ]
[183]: Martin Kandlhofer, Gerald Steinbauer, Petra Sundström, and Astrid Weiss. "Evaluating the long-term impact of RoboCupJunior: A first investigation". In 3^rdInternational Conference on Robotics in Education (RIE), pages 87--94, Prague, Czech Republic, 2012. [ bib ]
[184]: Florian Ehrentraut, Christian Landschützer, Dominik Lechner, Christian Matt, Wolfgang Pichler, Gerald Steinbauer Bernhard Puchinger, and Daniel Wimmer. "Kombot - An Autonomous Mobile Order Picking Robot". In Austrian Robotics Workshop 2012, Graz, Austria, 2012. [ bib ]
[185]: O. Aichholzer, R. Fabila-Monroy, T. Hackl, C. Huemer, A. Pilz, and B. Vogtenhuber. Lower bounds for the number of small convex k-holes. In Proc. 24^th Annual Canadian Conference on Computational Geometry CCCG 2012, pages 247--252, Charlottetown, PEI, Canada, 2012. [ bib | .pdf ]
[186]: O. Aichholzer, H. Cheng, S.L. Devadoss, T. Hackl, S. Huber, B. Li, and A. Risteski. What makes a Tree a Straight Skeleton? In Proc. 24^th Annual Canadian Conference on Computational Geometry CCCG 2012, pages 253--258, Charlottetown, PEI, Canada, 2012. [ bib | .pdf ]
[187]: O. Aichholzer, H. Cheng, S.L. Devadoss, T. Hackl, S. Huber, B. Li, and A. Risteski. What makes a Tree a Straight Skeleton? In Proc. 28^th European Workshop on Computational Geometry EuroCG '12, pages 137--140, Assisi, Italy, 2012. [ bib | .pdf ]
[188]: O. Aichholzer, T. Hackl, and B. Vogtenhuber. On 5-Gons and 5-Holes. In A. Marquez, P. Ramos, and J. Urrutia, editors, Computational Geometry: XIV Spanish Meeting on Computational Geometry, EGC 2011, Festschrift Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcalá de Henares, Spain, June 27-30, 2011, Revised Selected Papers, volume 7579 of Lecture Notes in Computer Science (LNCS), pages 1--13. Springer, 2012. [ bib | .pdf ]
[189]: Tillmann Milzow and Alexander Pilz. Selection of Extreme Points and Halving Edges of a Set by its Chirotope. In Proc. 28^th European Workshop on Computational Geometry (EuroCG 2012), pages 85--88, Assisi, Italy, march 2012. [ bib ]
[190]: O. Aichholzer, G. Rote, A. Schulz, and B. Vogtenhuber. Pointed Drawings of Planar Graphs. Computational Geometry: Theory and Applications, pages 482--494, 2012. special issue of CCCG 2007. [ bib | DOI | .pdf ]
[191]: O. Aichholzer, F. Hurtado, and B. Vogtenhuber. Compatible Matchings for Bichromatic Plane Straight-line Graphs. In Proc. 28^th European Workshop on Computational Geometry EuroCG '12, pages 257--260, Assisi, Italy, 2012. [ bib | .pdf ]
[192]: O. Aichholzer, F. Aurenhammer, E.D. Demaine, F. Hurtado, P. Ramos, and J. Urrutia. On k-convex polygons. Computational Geometry: Theory and Applications, 45(3):73--87, 2012. [ bib | .pdf ]
[193]: O. Aichholzer, S.R. Allen, G. Aloupis, L. Barba, P. Bose, S. Langerman, and J. Iacono. Sum of Squared Edges for MST of a Point Set in a Unit Square. In Proc. 22^nd Annual Fall Workshop on Computational Geometry, University of Maryland, Maryland, USA, 2012. [ bib ]
[194]: Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Pedro Ramos, and Gelasio Salazar. The 2-page crossing number of K_n. In 28^th Ann. ACM Symp. Computational Geometry, pages 397--403, Chapel Hill, NC, USA, 2012. [ bib | .pdf ]
[195]: O. Aichholzer, M. Cetina, R. Fabila-Monroy, J. Leaños, G. Salazar, and J. Urrutia. Convexifying monotone polygons while maintaining internal visibility. In A. Marquez, P. Ramos, and J. Urrutia, editors, Special issue: XIV Encuentros de Geometría Computacional ECG2011, volume 7579 of Lecture Notes in Computer Science (LNCS), pages 98--108. Springer, 2012. [ bib | .pdf ]
[196]: B. Vogtenhuber. Combinatorial Aspects of [Colored] Point Sets in the Plane. PhD thesis, Institute for Software Technology, Graz University of Technology, Graz, Austria, December 2011. Supervisor: Oswin Aichholzer. [ bib | .pdf ]
[197]: Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. Efficient Mutation Killers in Action. In IEEE 4^th Int. Conf. on Software Testing, Verification and Validation, ICST 2011, pages 120--129. IEEE Computer Society, 2011. [ bib | DOI ]
[198]: Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. UML in action: a two-layered interpretation for testing. SIGSOFT Softw. Eng. Notes, 36(1):1--8, 2011. [ bib | DOI ]
[199]: Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. Efficient Mutation Killers in Action. In ICST '11: Proceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, pages 120--129, Washington, DC, USA, 2011. IEEE Computer Society. [ bib | DOI ]
[200]: Rupert Schlick, Wolfgang Herzner, and Elisabeth Jöbstl. Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences. In 30th Int. Conf. on Computer Safety, Reliability, and Security (SAFECOMP 2011), volume 6894 of LNCS, pages 270--283. Springer, 2011. [ bib ]
[201]: Christian Schwarzl, Bernhard K. Aichernig, and Franz Wotawa. Compositional Random Testing Using Extended Symbolic Transition Systems. In Burkhart Wolff and Fatiha Zaïdi, editors, Testing Software and Systems - 23^rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, volume 7019 of Lecture Notes in Computer Science, pages 179--194, Berlin, Heidelberg, 2011. Springer-Verlag. [ bib | DOI ]
[202]: Safdar Zaman, Wolfgang Slany, and Gerald Steinbauer. "ROS-based Mapping, Localization and Automatic Navigation using Pioneer 3-DX Robot and their relevant Issues". In Saudi International Electronics, Communications and Photonics Conference, Riad, Saudi-Arabia, 2011. IEEE. [ bib ]
[203]: Wolfram Mate, Stephan Gspandl, Michael Reip, and Gerald Steinbauer. "Robust Robotics Using History-Based-Diagnosis in IndiGolog". In Austrian Robotics Workshop, Hall/Tirol, Austria, 2011. [ bib ]
[204]: Gerald Steinbauer and Franz Wotawa. "Evaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous Robots". In ICAR Workshop on Performance Measures for Quantifying Safe and Reliable Operation of Professional Service Robots in Unstructured, Dynamic Environments, Tallinn, Estonia, 2011. [ bib ]
[205]: Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer, and Alexander Ferrein. "Belief Management for High-Level Robot Programs". In International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain, 2011. [ bib ]
[206]: Stephan Gspandl, Ingo Pill, Michael Reip, and Gerald Steinbauer. "Belief Management for Autonomous Robots using History-Based Diagnosis". In International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE), Syracuse, NY, USA, 2011. [ bib ]
[207]: Gerald Steinbauer. "A Survey on the Nature of Faults of Autonomous Robot Systems". In ICRA Workshop on Automated Diagnosis, Repair and Re-Configuration of Robot Systems, Shanghai, China, 2011. [ bib ]
[208]: Alexander Ferrein, Stephen Marais, Anet Potgieter, and Gerald Steinbauer. "RoboCupJunior: A Vehicle for S&T Education in Africa?". In IEEE AFRICON, Livingston, Zambia, 2011. [ bib ]
[209]: Stephan Gspandl, Michael Reip, Andreas Hechenblaickner, Gerald Steinbauer, Mate Wolfram, and Christoph Zehentner. "The Ontology Lifecycle in RoboCup: Population From Text and Execution". In RoboCup International Symposium 2011, Istanbul, Turkey, 2011. [ bib ]
[210]: Gerald Steinbauer and Franz Wotawa. "On the Evaluation and Certification of the Robustness of Autonomous Intelligent Systems". In International Workshop on Principles of Diagnosis (DX), Murnau, Germany, 2011. [ bib ]
[211]: Oswin Aichholzer, Ruy Fabila-Monroy, Hernan Gonzalez-Aguilar, Thomas Hackl, Marco A. Heredia, Clemens Huemer, Jorge Urrutia, Pavel Valtr, and Birgit Vogtenhuber. On k-Gons and k-Holes in Point Sets. In Proc. 23^rd Annual Canadian Conference on Computational Geometry CCCG 2011, pages 21--26, Toronto, Canada, 2011. [ bib | .pdf ]
[212]: O. Aichholzer, T. Hackl, and B. Vogtenhuber. On 5-gons and 5-holes. In Proc. XIV Encuentros de Geometría Computacional, pages 7--10, Alcalá, Spain, 2011. [ bib | .pdf ]
[213]: O. Aichholzer, R. Fabila-Monroy, H. González-Aguilar, T. Hackl, M.A. Heredia, C. Huemer, J. Urrutia, and B. Vogtenhuber. 4-Holes in Point Sets. In Proc. 27^th European Workshop on Computational Geometry EuroCG '11, pages 115--118, Morschach, Switzerland, 2011. [ bib | .pdf ]
[214]: O. Aichholzer, W. Aigner, T. Hackl, and N. Wolpert. Exact medial axis computation for circular arc boundaries. In J.D. Boissonat, M.L. Mazure, and L.L. Schumaker, editors, Proc. 7^th International Conference on Curves and Surfaces 2010 (Avignon, France), LNCS 6920, number 6920 in Lecture Notes in Computer Science (LNCS), pages 28--42, Avignon, France, 2011. Springer. [ bib | .pdf ]
[215]: O. Aichholzer, F. Aurenhammer, T. Hackl, B. Jüttler, M. Oberneder, and Z. Sír. Computational and Structural Advantages of Circular Boundary Representation. Int'l. Journal of Computational Geometry & Applications, 21(1):47--69, 2011. [ bib | .pdf ]
[216]: O. Aichholzer, W. Aigner, F. Aurenhammer, and B. Jüttler. Exact medial axis computation for triangulated solids with respect to piecewise linear metrics. In J.D. Boissonat, M.L. Mazure, and L.L. Schumaker, editors, Proc. 7^th International Conference on Curves and Surfaces 2010 (Avignon, France), number 6920 in Lecture Notes in Computer Science, pages 1--27, Avignon, France, 2011. Springer. [ bib | .pdf ]
[217]: O. Aichholzer, W. Aigner, F. Aurenhammer, B. Jüttler K.Č Dobiášová, and G. Rote. Triangulations with circular arcs. In 19^th Symposium on Graph Drawing 2011 (Eindhoven, The Netherlands), pages 296--307, 2011. [ bib | .pdf ]
[218]: Oswin Aichholzer, Greg Aloupis, Erik D. Demaine, Martin L. Demaine, Vida Dujmović, Ferran Hurtado, Anna Lubiw, Günter Rote, André Schulz, Diane L. Souvaine, and Andrew Winslow. Convexifying Polygons Without Losing Visibilities. In Proc. 23^rd Annual Canadian Conference on Computational Geometry CCCG 2011, pages 229--234, Toronto, Canada, 2011. [ bib | .pdf ]
[219]: O. Aichholzer, A. García, F. Hurtado, and J. Tejel. Compatible matchings in geometric graphs. In Proc. XIV Encuentros de Geometría Computacional, pages 145--148, Alcalá, Spain, 2011. [ bib | .pdf ]
[220]: B.M. Ábrego, O. Aichholzer, S. Fernández-Merchant, J. Leaños, and G. Salazar. There is a unique crossing-minimal rectilinear drawing of K₁₈. In Electronic Notes in Discrete Mathematics, volume 38, pages 547--552, 2011. [ bib | .pdf ]
[221]: O. Aichholzer, M. Cetina, R. Fabila-Monroy, J. Leaños, G. Salazar, and J. Urrutia. Convexifying monotone polygons while maintaining internal visibility. In Proc. XIV Encuentros de Geometría Computacional, pages 35--38, Alcalá, Spain, 2011. [ bib | .pdf ]
[222]: Bernhard K. Aichernig. A Systematic Introduction to Mutation Testing in Unifying Theories of Programming. In Paulo Borba, Ana Cavalcanti, Augusto Sampaio, and Jim Woodcook, editors, Testing Techniques in Software Engineering, volume 6153 of Lecture Notes in Computer Science, pages 243--287. Springer Berlin Heidelberg, 2010. [ bib | DOI | http ]
[223]: Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. UML in Action: A Two-Layered Interpretation for Testing. In 3rd IEEE International Workshop on UML and Formal Methods (UML&FM 2010), ACM Software Engineering Notes (SEN), pages 1--8, 2010. [ bib ]
[224]: Willibald Krenn, Rupert Schlick, and Bernhard K. Aichernig. Mapping UML to Labeled Transition Systems for Test-Case Generation -- A Translation via Object-Oriented Action Systems. In Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, and Michael Leuschel, editors, Formal Methods for Components and Objects - 8^th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers, volume 6286 of Lecture Notes in Computer Science, pages 186--207. Springer-Verlag, 2010. [ bib ]
[225]: Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. Model-based Mutation Testing of Hybrid Systems. In Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, and Michael Leuschel, editors, Formal Methods for Components and Objects - 8^th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers, volume 6286 of Lecture Notes in Computer Science, pages 228--249. Springer-Verlag, 2010. [ bib ]
[226]: Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, and Andreas Griesmayer. The Credo Methodology - (Extended Version). In Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, and Michael Leuschel, editors, Formal Methods for Components and Objects - 8^th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers, volume 6286 of Lecture Notes in Computer Science, pages 41--69. Springer-Verlag, 2010. [ bib ]
[227]: Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. Model-based mutation testing of hybrid systems. In FMCO'09: Proceedings of the 8^th international conference on Formal methods for components and objects, pages 228--249, Berlin, Heidelberg, 2010. Springer-Verlag. [ bib ]
[228]: Harald Brandl, Martin Weiglhofer, and Bernhard K. Aichernig. Automated Conformance Verification of Hybrid Systems. In QSIC '10: Proceedings of the 2010 10^th International Conference on Quality Software, pages 3--12, Washington, DC, USA, 2010. IEEE Computer Society. [ bib | DOI ]
[229]: Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, and Wang Yi. Credo Methodology. Electron. Notes Theor. Comput. Sci., 266:33--48, 2010. [ bib | DOI ]
[230]: Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank De Boer, Andreas Griesmayer, Einar Broch Johnsen, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Martin Steffen, Simon Tschirner, Liang Xuedong, and Wang Yi. The credo methodology. In FMCO'09: Proceedings of the 8^th international conference on Formal methods for components and objects, pages 41--69, Berlin, Heidelberg, 2010. Springer-Verlag. [ bib ]
[231]: Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, and Franz Wotawa. When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. In IEEE 3^rd Int. Conf. on Software Testing, Verification and Validation (ICST 2010), pages 479--488. IEEE Computer Society, 2010. [ bib | DOI ]
[232]: Willibald Krenn, Rupert Schlick, and Bernhard K. Aichernig. Mapping UML to labeled transition systems for test-case generation: a translation via object-oriented action systems. In FMCO'09: Proceedings of the 8^th international conference on Formal methods for components and objects, pages 186--207, Berlin, Heidelberg, 2010. Springer-Verlag. [ bib ]
[233]: Rudolf Schlatte, Bernhard Aichernig, Andreas Griesmayer, and Marcel Kyas. Resource Modeling for Timed Creol Models. Electron. Notes Theor. Comput. Sci., 266:63--75, 2010. [ bib | DOI ]
[234]: Martin Weiglhofer and Bernhard K. Aichernig. Unifying input output conformance. In UTP'08: Proceedings of the 2^nd international conference on Unifying theories of programming, pages 181--201, Berlin, Heidelberg, 2010. Springer-Verlag. [ bib | DOI ]
[235]: Franz Wotawa, Mihai Nica, and Bernhard K. Aichernig. Generating Distinguishing Tests using the MINION Constraint Solver. In ICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, pages 325--330, Washington, DC, USA, 2010. IEEE Computer Society. [ bib | DOI ]
[236]: Stephan Gspandl, Michael Reip, Gerald Steinbauer, and Franz Wotawa. "From Sketch to Plan". In 24^th International Workshop on Qualitative Reasoning (QR), Portland, Oregon, USA, 2010. [ bib ]
[237]: Alexander Ferrein and Gerald Steinbauer. "On the Way to High-Level Control for Resource-Limited Embedded Systems with Golog". In Workshop on Intelligent Engineering Techniques for Knowledge Bases, European Conference on AI (ECAI), Lisbon, Portugal, 2010. [ bib ]
[238]: Alexander Hofmann and Gerald Steinbauer. "The Regional Center Concept for RoboCupJunior in Austria". In First International Conference on Robotics in Education, Bratislava, Slovakia, 2010. [ bib ]
[239]: Alexander Ferrein and Tim Niemüller Tim and Gerald Steinbauer. "Team Zadeat 2010 - Application for Participation". In RoboCup International Symposium, Singapore, 2010. [ bib ]
[240]: Alexander Ferrein, Nils Siel, and Gerald Steinbauer. "Hyrid control for autonomous systems --- Integrating learning, deliberation and reactive control". Robotics and Autonomous Systems, 58(9):1037--1038, 2010. [ bib ]
[241]: Gerald Steinbauer and Franz Wotawa. "On the Way to Automated Belief Repair for Autonomous Robots". In International Workshop on Principles of Diagnosis (DX), Portland, Or, USA, 2010. [ bib ]
[242]: Alexander Ferrein and Gerald steinbauer. "On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog". In International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), number 6472 in Lecture Notes in Computer Science. Springer, 2010. [ bib ]
[243]: Alexander Hofman Ansgar Bredenfeld and Gerald Steinbauer. "Robotics in Education Initiatives in Europe - Status, Shortcomings and Open Questions". In Teaching Robotics-Teaching with Robotics - SIMPAR Workshop, Darmstadt, Germany, 2010. [ bib ]
[244]: Michael Hofbaur and Mathias Brandstötter and Christoph Schörghuber and Gerald Steinbauer. "On-line kinematics reasoning for reconfigurable robot drives.". In IEEE International Conference on Robotics and Automation (ICRA10), Anchorage, Alaska, USA, 2010. [ bib ]
[245]: Tim Niemüller, Alexander Ferrein, Patrick, Gerhard Eckel, David Pirro, Podbregar, Tobias Kellner, Christof Rath, and Gerald Steinbauer. "Providing Ground-truth Data for the Nao Robot Platform". In RoboCup International Symposium, Singapore, 2010. [ bib ]
[246]: Oswin Aichholzer, Daniel Detassis, Thomas Hackl, Gerald Steinbauer, and Johannes Thonhauser. "Playing Pylos with an Autonomous Robot". In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 2507--2508, Taipei, Taiwan, 2010. [ bib | .pdf ]
[247]: O. Aichholzer, T. Hackl, and B. Vogtenhuber. Compatible Pointed Pseudo-Triangulations. In Proc. 22^nd Annual Canadian Conference on Computational Geometry CCCG 2010, pages 91--94, Winnipeg, Manitoba, Canada, 2010. [ bib | .pdf ]
[248]: O. Aichholzer, R. Fabila-Monroy, T. Hackl, M. van Kreveld, A. Pilz, P. Ramos, and B. Vogtenhuber. Blocking Delaunay Triangulations. In Proc. 22^nd Annual Canadian Conference on Computational Geometry CCCG 2010, pages 21--24, Winnipeg, Manitoba, Canada, 2010. [ bib | .pdf ]
[249]: O. Aichholzer, F. Aurenhammer, T. Hackl, C. Huemer, A. Pilz, and B. Vogtenhuber. 3-Colorability of Pseudo-Triangulations. In Proc. 26^th European Workshop on Computational Geometry EuroCG '10, pages 21--24, Dortmund, Germany, 2010. [ bib | .pdf ]
[250]: T. Hackl. Relaxing and lifting triangulations. PhD thesis, IST & IGI-TU Graz, Austria, 2010. [ bib | .pdf ]
[251]: O. Aichholzer, T. Hackl, C. Huemer, F. Hurtado, and B. Vogtenhuber. Large bichromatic point sets admit empty monochromatic 4-gons. SIAM Journal on Discrete Mathematics (SIDMA), 23(4):2147--2155, 2010. [ bib | DOI | .pdf ]
[252]: O. Aichholzer, W. Aigner, F. Aurenhammer, T. Hackl, B. Jüttler, E. Pilgerstorfer, and M. Rabl. Divide-and conquer for Voronoi diagrams revisited. Computational Geometry: Theory and Applications, 43(8):688--699, 2010. Special Issue on the 25th Annual Symposium on Computational Geometry (SoCG'09). [ bib | DOI | .pdf ]
[253]: O. Aichholzer, S. Cabello, R. Fabila-Monroy, D. Flores-Peñaloza, T. Hackl, C. Huemer, F. Hurtado, and D.R. Wood. Edge-Removal and Non-Crossing Configurations in Geometric Graphs. Discrete Mathematics & Theoretical Computer Science (DMTCS), 12(1):75--86, 2010. [ bib | .pdf ]
[254]: O. Aichholzer, W. Aigner, F. Aurenhammer, K.Č Dobiášová, and B. Jüttler. Arc Triangulations. In Proc. 26^th European Workshop on Computational Geometry EuroCG '10, pages 17--20, Dortmund, Germany, 2010. [ bib | .pdf ]
[255]: Martin Weiglhofer, Bernhard Aichernig, and Franz Wotawa. Fault-Based Conformance Testing in Practice. International Journal of Software and Informatics, 3(2--3):375--411, June/September 2009. Special double issue on Formal Methods of Program Development edited by Dines Bjoerner. [ bib | .pdf ]
[256]: Bernhard Aichernig, Andreas Griesmayer, Rudolf Schlatte, and Andries Stam. Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. Electron. Notes Theor. Comput. Sci., 243:3--14, 2009. [ bib | DOI ]
[257]: Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Meng Sun, and Jan Rutten. Fault-Based Test Case Generation for Component Connectors. In TASE '09: Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, pages 147--154, Washington, DC, USA, 2009. IEEE Computer Society. [ bib | DOI ]
[258]: Bernhard K. Aichernig, Harald Brandl, and Willibald Krenn. Qualitative Action Systems. In ICFEM '09: Proceedings of the 11^th International Conference on Formal Engineering Methods, pages 206--225, Berlin, Heidelberg, 2009. Springer-Verlag. [ bib | DOI ]
[259]: Bernhard K. Aichernig, Harald Brandl, and Franz Wotawa. Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. Electron. Notes Theor. Comput. Sci., 253(2):53--69, 2009. [ bib | DOI ]
[260]: Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, and Andries Stam. Conformance Testing of Distributed Concurrent Systems with Executable Designs. In Formal Methods for Components and Objects, pages 61--81. Springer-Verlag, Berlin, Heidelberg, 2009. [ bib | DOI ]
[261]: Bernhard K. Aichernig and He Jifeng. Mutation testing in UTP. Form. Asp. Comput., 21(1-2):33--64, 2009. [ bib | DOI ]
[262]: Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, and Rudolf Schlatte. Dynamic Symbolic Execution of Distributed Concurrent Objects. In FMOODS '09/FORTE '09: Proceedings of the Joint 11^th IFIP WG 6.1 International Conference FMOODS '09 and 29^th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems, pages 225--230, Berlin, Heidelberg, 2009. Springer-Verlag. [ bib | DOI ]
[263]: Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, and Rudolf Schlatte. Dynamic Symbolic Execution for Testing Distributed Objects. In TAP '09: Proceedings of the 3^rd International Conference on Tests and Proofs, pages 105--120, Berlin, Heidelberg, 2009. Springer-Verlag. [ bib | DOI ]
[264]: Willibald Krenn and Bernhard K. Aichernig. Test Case Generation by Contract Mutation in Spec#. Electron. Notes Theor. Comput. Sci., 253(2):71--86, 2009. [ bib | DOI ]
[265]: Gerald Steinbauer and Franz Wotawa. "Comining Quantitative and Qualitative Models with Active Observtions to Improve Diagnosis of Complex Systems.". In Intelligent Technical Systems, volume 38 of Lecture Notes in Electrical Engineering, 2009. [ bib ]
[266]: Gerald Steinbauer and Franz Wotawa. "Robust plan execution using model-based reasoning.". Journal of Advanced Robotics, 23(10), 2009. [ bib ]
[267]: Gerald Steinbauer and Franz Wotawa. "Towards Automated Generation of Repair Actions for the Belief of Autonomous Agents.". In 4^th Austrian RoboCup Workshop, Wels, Austria, 2009. [ bib ]
[268]: Alexander Kleiner, Gerald Steinbauer, and Franz Wotawa. "Using Qualitative and Model-Based Reasoning for Sensor Validation of Autonomous Robots". In Twentieth International Workshop on Principles of Diagnosis (DX 2009), Stockholm, Sweden, 2009. [ bib ]
[269]: Ingo Pill, Gerald Steinbauer, and Franz Wotawa. "A Practical Approach for the Online Diagnosis of Industrial Transportation Systems.". In IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Barcelona, Spain, 2009. [ bib ]
[270]: Anet Potgieter, Alexander Ferrein, and Gerald Steinbauer. "Self-Aware Robots - What do we need from Learning, Deliberation, and Reactive Control?". In IJCAI Workshop on Hybrid Control of Autonomous Systems - Integrating Learning, Deliberation and Reactive Control, Pasadena, Ca, USA, 2009. [ bib ]
[271]: Harald Altinger and Stefan Galler and Stephan Mühlbacher-Karrer and Gerald Steinbauer, Franz Wotawa and Hubert Zangl. "Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots.". In RoboCup International Symposium, Graz, Austria, 2009. [ bib ]
[272]: Stefan Galler and Altinger Harald and Bergler Bernd and Hieden Alexander and Hoppe Christof and Joham Thomas and Magnet Thomas, Maier Michael, Mühlbacher-Karrer Stephan and Muschick Daniel and Preschern Christopher and Gerald Steinbauer and Unterberger Robert and Franz Wotawa. "Mostly Harmless: Team Description Paper 2009". In RoboCup International Symposium, Graz, Austria, 2009. [ bib ]
[273]: Alexander Ferrein, Gerald Steinbauer, Graeme McPhillips, Tim Niemüller, and Anet Potgieter. "Team Zadeat 2009 - Team Report.". In RoboCup International Symposium, Graz, Austria, 2009. [ bib ]
[274]: Gerald Steinbauer, Alexander Ferrein, and Nils Siebl, editors. "1^st International Workshop on Hyprid Control of Autonomous Systems - Integrating Learning, Deliberation and Reactive Control (HYCAS 2009)". 2009. [ bib ]
[275]: O. Aichholzer, T. Hackl, M. Hoffmann, A. Pilz, G. Rote, B. Speckmann, and B. Vogtenhuber. Plane Graphs with Parity Constraints. In Lecture Notes in Computer Science (LNCS), Proc. 11^th International Workshop on Algorithms and Data Structures (WADS), volume 5664, pages 13--24, Banff, Alberta, Canada, 2009. [ bib | .pdf ]
[276]: O. Aichholzer, T. Hackl, D. Orden, P. Ramos, G. Rote, A. Schulz, and B. Speckmann. Flip Graphs of Bounded-Degree Triangulations. In Electronic Notes in Discrete Mathematics: Proc. European Conference on Combinatorics, Graph Theory and Applications EuroComb 2009, volume 34, pages 509--513, Bordeaux, France, 2009. [ bib | .pdf ]
[277]: O. Aichholzer, F. Aurenhammer, O. Devillers, T. Hackl, M. Teillaud, and B. Vogtenhuber. Lower and upper bounds on the number of empty cylinders and ellipsoids. In Proc. 25^th European Workshop on Computational Geometry EuroCG '09, pages 139--142, Brussels, Belgium, 2009. [ bib | .pdf ]
[278]: O. Aichholzer, T. Hackl, C. Huemer, F. Hurtado, and B. Vogtenhuber. Large bichromatic point sets admit empty monochromatic 4-gons. In Proc. 25^th European Workshop on Computational Geometry EuroCG '09, pages 133--136, Brussels, Belgium, 2009. [ bib | .pdf ]
[279]: O. Aichholzer, R. Fabila-Monroy, D. Flores-Peñaloza, T. Hackl, C. Huemer, J. Urrutia, and B. Vogtenhuber. Modem Illumination of Monotone Polygons. In Proc. 25^th European Workshop on Computational Geometry EuroCG '09, pages 167--170, Brussels, Belgium, 2009. [ bib | .pdf ]
[280]: O. Aichholzer, W. Aigner, F. Aurenhammer, T. Hackl, B. Jüttler, E. Pilgerstorfer, and M. Rabl. Divide-and-Conquer for Voronoi Diagrams Revisited. In 25^th Ann. ACM Symp. Computational Geometry, pages 189--197, Aarhus, Denmark, 2009. [ bib | .pdf ]
[281]: O. Aichholzer, W. Aigner, F. Aurenhammer, T. Hackl, B. Jüttler, E. Pilgerstorfer, and M. Rabl. Divide-and-Conquer for Voronoi Diagrams Revisited. In Proc. 25^th European Workshop on Computational Geometry EuroCG '09, pages 293--296, Brussels, Belgium, 2009. [ bib | .pdf ]
[282]: O. Aichholzer, R. Fabila-Monroy, D. Flores-Peñaloza, T. Hackl, C. Huemer, and J. Urrutia. Empty Monochromatic Triangles. Computational Geometry: Theory and Applications, 42(9):934--938, 2009. [ bib | DOI | .pdf ]
[283]: O. Aichholzer, W. Aigner, F. Aurenhammer, T. Hackl, B. Jüttler, and M. Rabl. Medial Axis Computation for Planar Free-Form Shapes. Computer-Aided Design, 41(5):339--349, 2009. Special issue: Voronoi Diagrams and their Applications. [ bib | DOI | .pdf ]
[284]: O. Aichholzer, F. Aurenhammer, T. Hackl, and B. Speckmann. On Minimum Weight Pseudo-Triangulations. Computational Geometry: Theory and Applications, 42(6-7):627--631, 2009. [ bib | .pdf ]
[285]: O. Aichholzer, S. Bereg, A. Dumitrescu, A. García, C. Huemer, F. Hurtado, M. Kano, A. Márquez, D. Rappaport, S. Smorodinsky, D. Souvaine, J. Urrutia, and D. Wood. Compatible Geometric Matchings. Computational Geometry: Theory and Applications, 42(6-7):617--626, 2009. [ bib | .pdf ]
[286]: O. Aichholzer, F. Aurenhammer, F. Hurtado, P. Ramos, and J. Urrutia. Two-Convex Polygons. In Proc. 25^th European Workshop on Computational Geometry EuroCG '09, pages 117--120, Brussels, Belgium, 2009. [ bib | .pdf ]
[287]: O. Aichholzer, J. García, D. Orden, and P.A. Ramos. New results on lower bounds for the number of (<=k)-facets. European Journal of Combinatorics, 30:1568--1574, 2009. [ bib | .pdf ]
[288]: O. Aichholzer. [Empty] [colored] k-gons - Recent results on some Erdös-Szekeres type problems. In Proc. XIII Encuentros de Geometría Computacional, pages 43--52, Zaragoza, Spain, 2009. [ bib | .pdf ]
[289]: O. Aichholzer, F. Aurenhammer, B. Kornberger, S. Plantinga, G. Rote, A. Sturm, and G. Vegter. Recovering Structure from r-Sampled Objects. In Eurographics Symposium on Geometry Processing, special issue of Computer Graphics Forum 28(5), pages 1349--1360, Berlin, Germany, 2009. [ bib | .pdf ]
[290]: E. Ackerman, O. Aichholzer, and B. Keszegh. Improved Upper Bounds on the Reflexivity of Point Sets. Computational Geometry: Theory and Applications, 42:241--249, 2009. [ bib | .pdf ]
[291]: Bernhard K. Aichernig and Bernhard Beckert, editors. Software engineddddeaqwerdding adddnd totally informal methods, volume 7 (3) of Software and AsdfSystem Modeling. Springer-Verlag, 2008. [ bib ]
[292]: Bernhard K. Aichernig, He Jifeng, Zhiming Liu, and Mike Reed. Integrating Theories and Techniques for Program Modelling, Design and Verification. In Verified Software: Theories, Tools, Experiments, volume 4171 of Lecture Notes in Computer Science, pages 291--300. Springer-Verlag, Berlin, Heidelberg, 2008. [ bib | DOI ]
[293]: Bernhard K. Aichernig, He Jifeng, Zhiming Liu, and Mike Reed. Integrating Theories and Techniques for Program Modelling, Design and Verification. In Bertrand Meyer and Jim Woodcock, editors, Verified Software: Theories, Tools, Experiments, volume 4171 of Lecture Notes in Computer Science, pages 291--300. Springer Berlin Heidelberg, 2008. [ bib | DOI | http ]
[294]: Bernhard K. Aichernig, Martin Weiglhofer, and Franz Wotawa. Improving Fault-based Conformance Testing. Electron. Notes Theor. Comput. Sci., 220(1):63--77, 2008. [ bib | DOI ]
[295]: Rudolf Schlatte, Bernhard Aichernig, Frank Boer, Andreas Griesmayer, and Einar Broch Johnsen. Testing Concurrent Objects with Application-Specific Schedulers. In Proceedings of the 5^th international colloquium on Theoretical Aspects of Computing, pages 319--333, Berlin, Heidelberg, 2008. Springer-Verlag. [ bib | DOI ]
[296]: Alexander Ferrein, Gerald Steinbauer, Graeme McPhillips, and Anet Potgieter. "RoboCup Standard Platform League - Team Zadeat - An Intercontinental Research Effort.". In International RoboCup Symposium., Suzhou, China, 2008. [ bib ]
[297]: Alexander Kleiner, Gerald Steinbauer, and Franz Wotawa. "Automated learning of communication model for robot control software". In MBS 2008 - Workshop on Model-Based Systems, 18th European Conference on Artificial Intelligence (ECAI), Patras, Greece, 2008. [ bib ]
[298]: Alexander Kleiner and Gerald Steinbauer. "Automated learning of communication models of robot control software". In 3rd Austrian RoboCup Workshop, Villach, Austria, 2008. [ bib ]
[299]: Gerhard Gubisch, Gerald Steinbauer, Martin Weiglhofer, and Franz Wotawa. "A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots.". In 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, volume 5027 of Lecture Notes in Artificial Intelligence, Wroclaw, Poland, 2008. Springer. [ bib ]
[300]: Gerald Steinbauer and Franz Wotawa. "Enhancing Plan Execution in Dynamic Environments Unsing Model-Based Reasoning". In First International Conference on Intelligent Robots and Applications, volume 5314, pages 510--519, Wuhan,China, 2008. Springer. [ bib ]
[301]: Alexander Kleiner, Gerald Steinbauer, and Franz Wotawa. "Automated Learning of Diagnosis Models for Component-Oriented Robot Control Software". In Proceedings of the Nineteens International Workshop on Principles of Diagnosis, pages 257--282, Blue Mountains, Australia, 2008. [ bib ]
[302]: Alexander Kleiner, Gerald Steinbauer, and Franz Wotawa. "Towards Automated Online Diagnosis of Robot Navigation Software". In Proceedings of International Conference on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR 2008), Venice, Italy, 2008. [ bib ]
[303]: Bernhard Peischl, Neal Snooke, Gerald Steinbauer, and Cees Witteveen, editors. "MBS 2008 - Workshop on Model-Based Systems, 18th European Conference on Artificial Intelligence (ECAI)". 2008. [ bib ]
[304]: O. Aichholzer, R. Fabila-Monroy, D. Flores-Peñaloza, T. Hackl, C. Huemer, and J. Urrutia. Empty Monochromatic Triangles. In Proc. 20^th Annual Canadian Conference on Computational Geometry CCCG 2008, pages 75--78, Montreal, Quebec, Canada, 2008. [ bib | .pdf ]
[305]: O. Aichholzer, S. Cabello, R. Fabila-Monroy, D. Flores-Peñaloza, T. Hackl, C. Huemer, F. Hurtado, and D.R. Wood. Edge-Removal and Non-Crossing Configurations in Geometric Graphs. In Proc. 24^th European Workshop on Computational Geometry EuroCG '08, pages 119--122, Nancy, France, 2008. [ bib | .pdf ]
[306]: O. Aichholzer, F. Aurenhammer, T. Hackl, B. Kornberger, S. Plantinga, G. Rote, A. Sturm, and G. Vegter. Seed Polytopes for Incremental Approximation. In Proc. 24^th European Workshop on Computational Geometry EuroCG '08, pages 13--16, Nancy, France, 2008. [ bib | .ps.gz ]
[307]: O. Aichholzer, F. Aurenhammer, P. Gonzalez-Nava, T. Hackl, C. Huemer, F. Hurtado, H. Krasser, S. Ray, and B. Vogtenhuber. Matching Edges and Faces in Polygonal Partitions. Computational Geometry: Theory and Applications, 39(2):134--141, 2008. [ bib | .ps.gz ]
[308]: O. Aichholzer, S. Bereg, A. Dumitrescu, A. García, C. Huemer, F. Hurtado, M. Kano, A. Márquez, D. Rappaport, S. Smorodinsky, D. Souvaine, J. Urrutia, and D. Wood. Compatible Geometric Matchings. Electronic Notes in Discrete Mathematics, 31:201--206, 2008. [ bib | DOI | .pdf ]
[309]: O. Aichholzer, S. Bereg, A. Dumitrescu, A. García, C. Huemer, F. Hurtado, M. Kano, A. Márquez, D. Rappaport, S. Smorodinsky, D. Souvaine, J. Urrutia, and D. Wood. Compatible Geometric Matchings. In Proc. 1st Topological & Geometric Graph Theory 2008, pages 194--199, Paris, France, 2008. [ bib | .pdf ]
[310]: O. Aichholzer, D. Orden, F. Santos, and B. Speckmann. On the Number of Pseudo-Triangulations of Certain Point Sets. Journal of Combinatorial Theory, Series A, 115(2):254--278, 2008. [ bib | .pdf ]
[311]: O. Aichholzer, C. Huemer, and H. Krasser. Triangulations Without Pointed Spanning Trees. Computational Geometry: Theory and Applications, 40(1):79--83, 2008. [ bib | .pdf ]
[312]: Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, and Lindsay Groves, editors. Proceedings of the 11th Refinement Workshop (REFINE 2006), volume 187 of Electronic Notes in Theoretical Computer Science. Elsevier, 2007. [ bib | DOI ]
[313]: Bernhard K. Aichernig and Jifeng He. Refinement and Test Case Generation in UTP. 187:125--143, 2007. [ bib | DOI ]
[314]: Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, and Franz Wotawa. Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. In SEFM '07: Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, pages 215--226, Washington, DC, USA, 2007. IEEE Computer Society. [ bib | DOI ]
[315]: Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, and Franz Wotawa. Test purpose generation in an industrial application. In A-MOST '07: Proceedings of the 3^rd international workshop on Advances in model-based testing, pages 115--125, New York, NY, USA, 2007. ACM. [ bib | DOI ]
[316]: Gordon Fraser, Bernhard K. Aichernig, and Franz Wotawa. Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. In Proceedings of the Third Workshop on Model Based Testing (MBT 2007), volume 190 (2) of Electronic Notes in Theoretical Computer Science, pages 33--46. Elsevier, 2007. [ bib | DOI ]
[317]: Daniel Beck, Martin Buchleitner, Alexander Ferrein, Tim Niemüller, and Gerald Steinbauer. "Mostly Harmless & AllemaniACs --- Mixed Innovations.". In International RoboCup Symposium., Atlanta, USA, 2007. [ bib ]
[318]: Stephan Gspandl, David Monichi, Michael Reip, Gerald Steinbauer, Mate Wolfram, and Christoph Zehenter. "KickOffTUG --- Team Description Paper 2007.". In International RoboCup Symposium., Atlanta, USA, 2007. [ bib ]
[319]: Gerald Steinbauer and Franz Wotawa. "Combining Quantitative and Qualitative Models with Active Observations for better Diagnoses of Autonomous Mobile Robots.". In Proceedings of the 5^th Workshop on Intelligent Solutions in Embedded Systems, Madrid, Spain, 2007. [ bib ]
[320]: Michael Hofbaur, Gerald Steinbauer, and Franz Wotawa. "Model-Based Reasoning for Fault-Tolerant Robot Hardware and Software.". In Proceedings of the 16^th International Workshop on Robotics in Alpe-Adria-Danube Region, Ljubljana, Slovenia, 2007. [ bib ]
[321]: Mathias Brandstötter Michael Hofbaur, Gerald Steinbauer, and Franz Wotawa. " Model-Based Fault Diagnosis and Reconfiguration of Robot Drives.". In Proceedings of the 2007 IEEE International Conference on Intelligent Robots and Systems, San Diego, CA, USA, 2007. [ bib ]
[322]: Michael Hofbaur, Johannes Köb, Gerald Steinbauer, and Franz Wotawa. "Improving Robustness of Mobile Robots using Model-Based Reasoning.". Journal of Intelligent and Robotic Systems, 48(1):37--54, 2007. [ bib ]
[323]: Gordon Fraser, Gerald Steinbauer, Jörg Weber, and Franz Wotawa. "Architectural Design of Multi-Agent Systems: Technologies and Techniques", chapter Robust Intelligent Control of Mobile Robots. Idea Group Reference, 2007. [ bib ]
[324]: Harald Burgsteiner, Mark Kröll, Alexander Leopold, and Gerald Steinbauer. "Movement prediction from real-world images using a liquid state machine.". Journal of Applied Intelligence, 26(2):99--109, 2007. [ bib ]
[325]: O. Aichholzer and T. Hackl, editors. Collection of Abstracts of the 23^rd European Workshop on Computational Geometry 2007, Graz, Austria, 2007. [ bib ]
[326]: O. Aichholzer, T. Hackl, M. Hoffmann, C. Huemer, A. Por, F. Santos, B. Speckmann, and B. Vogtenhuber. Maximizing Maximal Angles for Plane Straight Line Graphs. In Lecture Notes in Computer Science (LNCS), Proc. 10^th International Workshop on Algorithms and Data Structures (WADS), volume 4619, pages 458--469, Halifax, Nova Scotia, Canada, 2007. [ bib | DOI | .pdf ]
[327]: O. Aichholzer, T. Hackl, M. Hoffmann, C. Huemer, F. Santos, B. Speckmann, and B. Vogtenhuber. Maximizing Maximal Angles for Plane Straight Line Graphs. In Proc. 23^rd European Workshop on Computational Geometry EuroCG '07, pages 98--101, Graz, Austria, 2007. [ bib | .pdf ]
[328]: O. Aichholzer, F. Aurenhammer, T. Hackl, B. Jüttler, M. Oberneder, and Z. Sír. Computational and Structural Advantages of Circular Boundary Representation. In Lecture Notes in Computer Science (LNCS), Proc. 10^th International Workshop on Algorithms and Data Structures (WADS), volume 4619, pages 374--385, Halifax, Nova Scotia, Canada, 2007. [ bib | .ps.gz ]
[329]: O. Aichholzer, F. Aurenhammer, T. Hackl, B. Kornberger, M. Peternell, and H. Pottmann. Approximating Boundary-Triangulated Objects with Balls. In Proc. 23^rd European Workshop on Computational Geometry EuroCG '07, pages 130--133, Graz, Austria, 2007. [ bib | .pdf ]
[330]: O. Aichholzer, F. Aurenhammer, T. Hackl, and B. Speckmann. On (Pointed) Minimum Weight Pseudo-Triangulations. In Proc. 19^th Annual Canadian Conference on Computational Geometry CCCG 2007, pages 209--212, Ottawa, Ontario, Canada, 2007. [ bib | .pdf ]
[331]: O. Aichholzer, F. Aurenhammer, T. Hackl, and C. Huemer. Connecting Colored Point Sets. Discrete Applied Mathematics, 155(3):271--278, 2007. [ bib | .ps.gz ]
[332]: O. Aichholzer, F. Aurenhammer, and T. Hackl. Pre-triangulations and liftable complexes. Discrete & Computational Geometry, 38:701--725, 2007. [ bib | .ps.gz ]
[333]: O. Aichholzer, T. Hackl, C. Huemer, F. Hurtado, H. Krasser, and B. Vogtenhuber. On the number of plane geometric graphs. Graphs and Combinatorics (Springer), 23(1):67--84, 2007. [ bib | .ps.gz ]
[334]: B. Vogtenhuber. On Plane Straight-Line Graphs. Master's thesis, IST-TU Graz, Austria, January 2007. Supervisor: Oswin Aichholzer. [ bib | .pdf ]
[335]: O. Aichholzer, J. García, D. Orden, and P.A. Ramos. New lower bounds for the number of (<=k)-edges and the rectilinear crossing number of k_n. Discrete & Computational Geometry, 38:1--14, 2007. [ bib | .ps.gz ]
[336]: O. Aichholzer, G. Rote, A. Schulz, and B. Vogtenhuber. Pointed Drawings of Planar Graphs. In Proc. 19th Annual Canadian Conference on Computational Geometry CCCG 2007, pages 237--240, Ottawa, Ontario, Canada, 2007. [ bib | .pdf ]
[337]: O. Aichholzer, C. Huemer, S. Kappes, B. Speckmann, and C. D. Tóth. Decompositions, Partitions, and Coverings with Convex Polygons and Pseudo-Triangles. Graphs and Combinatorics, 23(5):481--507, 2007. [ bib | .pdf ]
[338]: O. Aichholzer and K. Reinhardt. A quadratic distance bound on sliding between crossing-free spanning trees. Computational Geometry: Theory and Applications, special issue, 37:155--161, 2007. [ bib | .ps.gz ]
[339]: O. Aichholzer, J. García, D. Orden, and P.A. Ramos. New results on lower bounds for the number of (<=k)-facets. In Proceedings EuroComb'07, Electronic Notes in Discrete Mathematics, volume 29C, pages 189--193, 2007. [ bib | .pdf ]
[340]: E. Ackerman, O. Aichholzer, and B. Keszegh. Improved Upper Bounds on the Reflexivity of Point Sets. In Proc. 19th Annual Canadian Conference on Computational Geometry CCCG 2007, pages 29--32, Ottawa, Ontario, Canada, 2007. [ bib | .pdf ]
[341]: O. Aichholzer, F. Aurenhammer, C. Huemer, and B. Vogtenhuber. Gray code enumeration of plane straight-line graphs. Graphs and Combinatorics (Springer), 23(5):467--479, 2007. [ bib | DOI | .pdf ]
[342]: Gerald Steinbauer. Intelligent and Robust Control of Autonomous Mobile Robots. PhD thesis, Institute for Software Technology, TU Graz, Austria, October 2006. [ bib ]
[343]: Bernhard K. Aichernig and Carlo Corrales Delgado. From Faults via Test Purposes to Test Cases: on the Fault-based Testing of Concurrent Systems. In Luciano Baresi and Reiko Heckel, editors, Proceedings of FASE'06, Fundamental Approaches to Software Engineering, Vienna, Austria, March 27--29, 2006, volume 3922 of Lecture Notes in Computer Science, pages 324--338. Springer-Verlag, 2006. [ bib ]
[344]: Bernhard K. Aichernig and Carlo Corrales Delgado. From faults via test purposes to test cases: on the fault-based testing of concurrent systems. In FASE'06: Proceedings of the 9^th international conference on Fundamental Approaches to Software Engineering, pages 324--338, Berlin, Heidelberg, 2006. Springer-Verlag. [ bib | DOI ]
[345]: Bernhard K. Aichernig and Chris George. When Model-based Testing Fails. Electronic Notes in Theoretical Computer Science, 164(4):115--128, 2006. [ bib | DOI ]
[346]: Bernhard K. Aichernig and Jifeng He. Refinement and Test Case Generation in UTP. Electronic Notes in Theoretical Computer Science, 187:125--143, 2006. [ bib | DOI ]
[347]: Luís S. Barbosa, Sun Meng, Bernhard K. Aichernig, and Nuno Rodrigues. Mathematical Frameworks for Component Software: Models for Analysis and Synthesis, volume 2 of Series on Component-Based Software Development, chapter 3: On the Semantics of Componentware: a Coalgebraic Perspective, pages 69--118. World Scientific, 2006. ISBN 981-270-017-X. [ bib ]
[348]: Gerald Steinbauer, Alexander Hofmann, and Stephan Gspandl. "RoboCup - Spielwiese für AI". ÖGAI Journal, 25(2):23--26, 2006. [ bib ]
[349]: Gerald Steinbauer, Mathias Brandstöter, Martin Buchleitner ans Stefan Galler, Simon Jantscher, Martin Mörth Gerald Krammer, Jörg Weber, and Martin Weiglhofer. "Mostly Harmless Team Description 2006 - Robust Control of Mobile Robots.". In International RoboCup Symposium., Bremen, Germany, 2006. [ bib ]
[350]: Michael Hofbaur, Johannes Köb, Gerald Steinbauer, and Franz Wotawa. "Improving Robustness of Mobile Robots using Model-Based Reasoning.". In Proceedings of the ECAI-06 Workshop on Model-Based Systems, Riva del Garda, Italy, 2006. [ bib ]
[351]: Michael Hofbaur, Johannes Köb, Gerald Steinbauer, and Franz Wotawa. "Improving Robustness of Mobile Robots using Model-Based Reasoning". In 2006 International Symposium on Model-Based Reasoning on Engineering and Robotic Systems, Guangzhou, China, 2006. [ bib ]
[352]: O. Aichholzer, F. Aurenhammer, and T. Hackl. Pre-triangulations and liftable complexes. In 22^nd Ann. ACM Symp. Computational Geometry, pages 282--291, Sedona, Arizona, USA, 2006. [ bib | .ps.gz ]
[353]: O. Aichholzer, T. Hackl, C. Huemer, F. Hurtado, H. Krasser, and B. Vogtenhuber. On the number of plane graphs. In Proc. 17^th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 504--513, Miami, Florida, USA, 2006. [ bib | .pdf ]
[354]: O. Aichholzer and H. Krasser. Abstract Order Type Extension and New Results on the Rectilinear Crossing Number. Computational Geometry: Theory and Applications, Special Issue on the 21st European Workshop on Computational Geometry, 36(1):2--15, 2006. [ bib | .ps.gz ]
[355]: O. Aichholzer, F. Aurenhammer, C. Huemer, and H. Krasser. Transforming Spanning Trees and Pseudo-Triangulations. Information Processing Letters (IPL), 97(1):19--22, 2006. [ bib | .ps.gz | .pdf ]
[356]: O. Aichholzer, C. Huemer, S. Renkl, B. Speckmann, and C. D. Tóth. Decompositions, Partitions, and Coverings with Convex Polygons and Pseudo-Triangles. In Pawel Urzyczyn Rastislav Královic, editor, Proceedings 31^st International Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, volume 4162, pages 86--97, Stará Lesná, Slovakia, 2006. [ bib | .pdf ]
[357]: O. Aichholzer, F. Aurenhammer, C. Huemer, and B. Vogtenhuber. Gray code enumeration of plane straight-line graphs. In Proc. 22^nd European Workshop on Computational Geometry EuroCG '06, pages 71--74, Delphi, Greece, 2006. [ bib | .ps.gz ]
[358]: O. Aichholzer, D. Orden, and P.A. Ramos. On the Structure of sets attaining the rectilinear crossing number. In Proc. 22^nd European Workshop on Computational Geometry EuroCG '06, pages 43--46, Delphi, Greece, 2006. [ bib | .pdf ]
[359]: O. Aichholzer, J. García, D. Orden, and P.A. Ramos. New lower bounds for the number of (<=k)-edges and the rectilinear crossing number of k_n. In Actas de las IV Jornadas de Matematica Discreta y Algoritmica, pages 57--64, 2006. [ bib | .ps.gz ]
[360]: O. Aichholzer, F. Aurenhammer, and H. Krasser. On the Crossing Number of Complete Graphs. Computing, 76:165--176, 2006. [ bib | .ps.gz ]
[361]: Bernhard K. Aichernig. On the Value of Fault Injection on the Modeling Level. In Nico Plat and Peter Gorm Larsen, editors, Overture Workshop, Newcastle upon Tyne, UK, July 18, 2005, 2005. [ bib | .pdf ]
[362]: Bernhard K. Aichernig and Percy Antonio Pari Salas. Test Case Generation by OCL Mutation and Constraint Solving. In QSIC '05: Proceedings of the Fifth International Conference on Quality Software, pages 64--71, Washington, DC, USA, 2005. IEEE Computer Society. [ bib | DOI ]
[363]: Bernhard K. Aichernig and Percy Antonio Pari Salas. Test Case Generation by OCL Mutation and Constraint Solving. In Kai-Yuan Cai and Atsushi Ohnishi, editors, QSIC 2OO5, Fifth International Conference on Quality Software, Melbourne, Australia, September 19-21, 2005. IEEE Computer Society Press, 2005. [ bib ]
[364]: Li Dan and Bernhard K. Aichernig. Combining algebraic and model-based test case generation. In ICTAC'04: Proceedings of the First international conference on Theoretical Aspects of Computing, pages 250--264, Berlin, Heidelberg, 2005. Springer-Verlag. [ bib | DOI ]
[365]: Sun Meng and Bernhard K. Aichernig. Coalgebraic Component Specification and Verification in RSL. In Proceedings of the 6^th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2005, Dalian, China, December 5--8, 2005. IEEE Computer Society, 2005. [ bib ]
[366]: Sun Meng, Bernhard K. Aichernig, Luís S. Barbosa, and Zhang Naixiao. A Coalgebraic Semantic Framework for Component-based Development in UML. Electron. Notes Theor. Comput. Sci., 122:229--245, 2005. [ bib | DOI ]
[367]: Sun Meng, Bernhard K. Aichernig, and Zhang Naixiao. Coalgebraic Component Specification and Verification in RSL. In PDCAT '05: Proceedings of the Sixth International Conference on Parallel and Distributed Computing Applications and Technologies, pages 424--426, Washington, DC, USA, 2005. IEEE Computer Society. [ bib | DOI ]
[368]: Sun Meng, Zhang Naixiao, and Bernhard K. Aichernig. The Formal Foundations in RSL for UML Statechart Diagrams. Acta Scientiarum Naturalium Universitatis Pekinensis, 41(3):344--357, 2005. [ bib ]
[369]: Bernhard K. Aichernig and Bernhard Beckert, editors. Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, September 7--9, Koblenz, Germany. IEEE Computer Society, 2005. ISBN 0-7695-2435-4. [ bib | DOI ]
[370]: Sun Meng, Zhang Naixiao, and Bernhard K. Aichernig. "The Formal Foundations in RSL for UML Statechart Diagrams". Acta Scientiarum Naturalium Universitatis Pekinensis, 41(3):344--357, 2005. ISSN 0479-8023. [ bib | http | .pdf ]
[371]: Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. "Autonome mobile Roboter - Anwendung von AI zur intelligenten Kontrolle". ÖVE Verbandszeitschrift Elektrotechnik und Informationstechnik (e&i), (7/8), 2005. [ bib ]
[372]: Gerald Steinbauer, Jörg Weber, and Franz Wotawa. "From the real-world to its qualitative representation - Practical lessons learned.". In 18th International Workshop on Qualitative Reasoning, pages 186--191, Graz, 2005. [ bib ]
[373]: Gerald Steinbauer and Franz Wotawa. "Detecting and locating faults in the control software of autonomous mobile robots.". In 16th International Workshop on Principles of Diagnosis, pages 13--18, Monterey, USA, 2005. [ bib ]
[374]: Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. "Plan Execution in Dynamic Environments.". In 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems., pages 208--217, Bari, Italy, 2005. Springer. [ bib ]
[375]: Harld Burgsteiner, Mark Kröll, Alexander Leopold, and Gerald Steinbauer. "Movement Prediction from real-world Images using a Liquid State Machine.". In 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems., pages 121--130, Bari, Italy, 2005. Springer. [ bib ]
[376]: Gerald Steinbauer, Martin Mörth, and Franz Wotawa. "Real-Time Diagnosis and Repair of Faults of Robot Control Software.". In Proceedings of the International RoboCup Symposium., Osaka, Japan, 2005. [ bib ]
[377]: Gerald Steinbauer and Franz Wotawa. "Detecting and locating faults in the control software of autonomous mobile robots.". In Proceedings of the 19^th International Joint Conference on AI (IJCAI-05), pages 1742--1743, Edinburgh, UK, 2005. [ bib ]
[378]: Gerald Steinbauer and Franz Wotawa. "Challenges in runtime detecting and locating faults in autonomous mobile robots". In Working Notes of the IJCAI-05 Workshop on Model-Based Systems, Edinburgh, Scotland, 2005. [ bib ]
[379]: O. Aichholzer, T. Hackl, C. Huemer, F. Hurtado, H. Krasser, and B. Vogtenhuber. Bounding the number of plane graphs. In Proc. 15^th Annual Fall Workshop on Computational Geometry and Visualization, pages 31--32, Philadelphia, Pennsylvania, USA, 2005. [ bib ]
[380]: O. Aichholzer, F. Aurenhammer, P. Gonzalez-Nava, T. Hackl, C. Huemer, F. Hurtado, H. Krasser, S. Ray, and B. Vogtenhuber. Matching Edges and Faces in Polygonal Partitions. In Proc. 17^th Annual Canadian Conference on Computational Geometry CCCG 2005, pages 123--126, Windsor, Ontario, Canada, 2005. [ bib | .ps.gz ]
[381]: O. Aichholzer, F. Aurenhammer, C. Huemer, and H. Krasser. Transforming Spanning Trees and Pseudo-Triangulations. In Proc. 21^th European Workshop on Computational Geometry EWCG '05, pages 81--84, Eindhoven, The Nederlands, 2005. [ bib | .ps.gz | .pdf ]
[382]: O. Aichholzer, D. Bremner, E.D. Demaine, F. Hurtado, E. Kranakis, H. Krasser, S. Ramaswami, S. Sethia, and J. Urrutia. Games on Triangulations. Theoretical Computer Science, 343(1-2):42--71, 2005. [ bib | .pdf ]
[383]: O. Aichholzer, C. Huemer, S. Renkl, B. Speckmann, and C. D. Tóth. On Pseudo-Convex Decompositions, Partitions, and Coverings. In Proc. 21^th European Workshop on Computational Geometry EWCG '05, pages 89--92, Eindhoven, The Nederlands, 2005. [ bib | .ps.gz | .pdf ]
[384]: O. Aichholzer and H. Krasser. Abstract Order Type Extension and New Results on the Rectilinear Crossing Number. In Proc. 21^th Ann. ACM Symp. Computational Geometry, pages 91--98, Pisa, Italy, 2005. [ bib | .ps.gz ]
[385]: O. Aichholzer and H. Krasser. Abstract Order Type Extension and New Results on the Rectilinear Crossing Number. In Proc. 21^th European Workshop on Computational Geometry EWCG '05, pages 61--64, Eindhoven, The Nederlands, 2005. [ bib | .ps.gz | .pdf ]
[386]: Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. "Application of Qualitative Reasoning to Robotic Soccer.". In 18th International Workshop on Qualitative Reasoning., Illinois, USA, August 2004. [ bib ]
[387]: Bernhard K. Aichernig and Chris George. When specification-based testing fails. In Proceedings of PRISE 2004, the First Conference on the PRInciples of Software Engineering, Buenos Aires, Argentina, November 22 - 27, 2004., 2004. [ bib ]
[388]: Li Dan and Bernhard K. Aichernig. Combining Algebraic and Model-based Test Case Generation. In Proceedings of ICTAC 2004, the First International Colloquium on Theoretical Aspects of Computing, Guiyang, China 20-24 September 2004, volume 3407 of Lecture Notes in Computer Science, pages 250--264. Springer-Verlag, 2004. [ bib ]
[389]: Gerald Steinbauer and Horst Bischof. "Illumination Insensitive Robot Self-Localization Using Panoramic Eigenspaces.". In International Robocup Symposium., Lisbon, Portugal, 2004. [ bib ]
[390]: Gerald Steinbauer, Christian Deutsch, Gordon Fraser, Mathias Hagler, Arndt Mühlenfeld, Stefan Richter, Gernot Wöber, and Jürgen Wolf. "Mostly Harmless Team Description 2004.". In International Robocup Symposium., Lisbon, Portugal, 2004. [ bib ]
[391]: Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. "A Modular Architecture for a Multi-purpose Mobile Robot.". In Innovations in Applied Artificial Intelligence, 17th Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE, volume 3029 of Lecture Notes in Artificial Intelligence, Ottawa, Canada, 2004. Springer. [ bib ]
[392]: Gerald Steinbauer and Franz Wotawa. "Mobile robots in exhibitions. games and education. Do they really help?". In 1st CLAWAR/Euron Workshop on Robots in Entertainment, Leisure and Hobby, pages 117--118, Vienna, 2004. [ bib ]
[393]: T. Hackl. Manipulation of Pseudo-Triangular Surfaces. Master's thesis, IGI-TU Graz, Austria, 2004. [ bib | .ps.gz | .pdf ]
[394]: O. Aichholzer, D. Orden, F. Santos, and B. Speckmann. On the Number of Pseudo-Triangulations of Certain Point Sets. In Proc. 20^th European Workshop on Computational Geometry EWCG '04, pages 119--122, Sevilla, Spain, 2004. [ bib | .ps.gz ]
[395]: O. Aichholzer, F. Aurenhammer, and B. Palop. Quickest Paths, Straight Skeletons, and the City Voronoi Diagram. Discrete & Computational Geometry, 31(1):17--35, 2004. [ bib | .ps.gz ]
[396]: O. Aichholzer and K. Reinhardt. A quadratic distance bound on sliding between crossing-free spanning trees - Extended Abstract. In Proc. 20^th European Workshop on Computational Geometry EWCG '04, pages 13--16, Sevilla, Spain, 2004. [ bib | .ps.gz ]
[397]: O. Aichholzer, C. Huemer, and H. Krasser. Triangulations Without Pointed Spanning Trees - Extended Abstract. In Proc. 20^th European Workshop on Computational Geometry EWCG '04, pages 221--224, Sevilla, Spain, 2004. [ bib | .ps.gz ]
[398]: O. Aichholzer, F. Hurtado, and M. Noy. A Lower Bound on the Number of Triangulations of Planar Point Sets. Computational Geometry: Theory and Applications, 29(2):135--145, 2004. [ bib | .ps.gz | .pdf ]
[399]: O. Aichholzer, F. Aurenhammer, H. Krasser, and B. Speckmann. Convexity Minimizes Pseudo-Triangulations. Computational Geometry: Theory and Applications, 28(1):3--10, 2004. [ bib | .ps.gz ]
[400]: Bernhard K. Aichernig. Contract-based Testing. In Bernhard K. Aichernig and Tom Maibaum, editors, Formal Methods at the Crossroads: from Panacea to Foundational Support, volume 2757 of Lecture Notes in Computer Science, pages 34--48. Springer-Verlag, 2003. [ bib ]
[401]: Bernhard K. Aichernig. Mutation Testing in the Refinement Calculus. Formal Aspects of Computing Journal, 15(2):280--295, 2003. [ bib ]
[402]: Bernhard K. Aichernig. Test Derivation in a Refinement Process. In RCS'03, the 2^nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments, June 3, 2003, Turku, Finland), 2003. [ bib ]
[403]: Bernhard K. Aichernig. The Commuting V-Diagram: On the Relation of Refinement and Testing. In Proceedings of CSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8^th Kurt Gödel Colloquium, 25-30 August 2003, Vienna, Austria, Lecture Notes in Computer Science. Springer-Verlag, 2003. [ bib ]
[404]: Bernhard K. Aichernig and Tom Maibaum, editors. "Formal Methods at the Crossroads. From Panacea to Foundational Support. 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18--20, 2002, Revised Papers", volume 2757 of Lecture Notes in Computer Science. Springer-Verlag, 2003. ISBN 3-540-20527-6. [ bib | http ]
[405]: Sun Meng and Bernhard K. Aichernig. A Coalgebraic Calculus for Component Based Systems. In Proceedings of FACS'03, Workshop on Formal Aspects of Component Software, Satellite Workshop of the FM 2003, Pisa, Italy, September 8-9, 2003, 2003. [ bib ]
[406]: Bernhard K. Aichernig. "Mutation Testing in the Refinement Calculus". Formal Aspects of Computing, 15(2-3):280--295, 2003. [ bib | DOI ]
[407]: Gerald Steinbauer. "RoboCup in Austria". ÖGAI Journal, 22(3):2--7, 2003. [ bib ]
[408]: Gerald Steinbauer, Michael Faschinger, Gordon Fraser, Arndt Mühlenfeld, Stefan Richter, Gernot Wöber, and Jürgen Wolf. "The Mostly Harmless RoboCup Middle Size League Team". ÖGAI Journal, 22(3):8--13, 2003. [ bib ]
[409]: Gerald Steinbauer, Michael Faschinger, Gordon Fraser, Arndt Mühlenfeld, Stefan Richter, Gernot Wöber, and Jürgen Wolf. "Mostly Harmless Team Description.". In Daniel Polani, Brett Browning, Andrea Bondarini, and Kazuo Yoshida, editors, RoboCup 2003: Robot Soccer World Cup VII, volume 3020 of Lecture Notes in Artificial Intelligence, Padova, Italy, 2003. Springer. [ bib ]
[410]: Gerald Steinbauer, Arndt Mühlenfeld, Roland Koholka, Robert Röher, Harald Hartl, and Franz Wotawa. "Modulbasiertes Hardware-Design für Autonome Mobile Mehrzweck-Roboter.". In Informationstagung Mikroelektronik 2003, Vienna, Austria, 2003. ÖVE. [ bib ]
[411]: O. Aichholzer, M. Hoffmann, B. Speckmann, and C. D. Tóth. Degree Bounds for Constrained Pseudo-Triangulations. In Proc. 15th Annual Canadian Conference on Computational Geometry CCCG 2003, pages 155--158, Halifax, Nova Scotia, Canada, 2003. [ bib | .ps.gz ]
[412]: O. Aichholzer, D. Orden, F. Santos, and B. Speckmann. On the Number of Pseudo-Triangulations of Certain Point Sets. In Proc. 15th Annual Canadian Conference on Computational Geometry CCCG 2003, pages 141--144, Halifax, Nova Scotia, Canada, 2003. [ bib | .ps.gz ]
[413]: O. Aichholzer, F. Aurenhammer, P. Brass, and H. Krasser. Pseudo-Triangulations from Surfaces and a Novel Type of Edge Flip. SIAM Journal on Computing, 32:1621--1653, 2003. [ bib | .ps.gz ]
[414]: O. Aichholzer, D. Bremner, E.D. Demaine, D. Meijer, V. Sacristán, and M. Soss. Long Proteins with Unique Optimal Foldings in the H-P Model. Computational Geometry: Theory and Applications, 25:139--159, 2003. [ bib | .ps.gz ]
[415]: O. Aichholzer, G. Rote, B. Speckmann, and I. Streinu. The Zigzag Path of a Pseudo-Triangulation. In Lecture Notes in Computer Science, Proc. 8th International Workshop on Algorithms and Data Structures (WADS), volume 2748, pages 377--389, 2003. [ bib | .ps.gz ]
[416]: O. Aichholzer, F. Aurenhammer, and H. Krasser. Adapting (Pseudo)-Triangulations with a Near-Linear Number of Edge Flips. In Lecture Notes in Computer Science 2748, Proc. 8th International Workshop on Algorithms and Data Structures (WADS), volume 2748, pages 12--24, 2003. [ bib | .ps.gz ]
[417]: O. Aichholzer, F. Aurenhammer, F. Hurtado, and H. Krasser. Towards Compatible Triangulations. Theoretical Computer Science, 296:3--13, 2003. Special Issue. [ bib | .ps.gz ]
[418]: O. Aichholzer, F. Aurenhammer, P. Brass, and H. Krasser. Spatial Embedding of Pseudo-Triangulations. In Proc. 19^th Ann. ACM Symp. Computational Geometry, volume 19, pages 144--153, San Diego, California, USA, 2003. [ bib | .ps.gz ]
[419]: O. Aichholzer, D. Bremner, E.D. Demaine, F. Hurtado, E. Kranakis, H. Krasser, S. Ramaswami, S. Sethia, and J. Urrutia. Geometric Games on Triangulations. In Proc. 19^th European Workshop on Computational Geometry CG '03 Bonn, pages 89--92, Bonn, Germany, 2003. [ bib | .ps.gz ]
[420]: O. Aichholzer, D. Bremner, E.D. Demaine, F. Hurtado, E. Kranakis, H. Krasser, S. Ramaswami, S. Sethia, and J. Urrutia. Playing with Triangulations. In Lecture Notes in Computer Science 2866, Japanese Conference, JCDCG 2002, pages 22--37, 2003. [ bib | .ps.gz ]
[421]: Bernhard K. Aichernig. Contract-based Mutation Testing in the Refinement Calculus. In REFINE'02, the British Computer Society - Formal Aspects of Computing refinement workshop, Copenhagen, Denmark, July 20-21, 2002, affiliated with FME 2002, volume 70 No. 3 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. [ bib ]
[422]: Wolfgang Maass, Gerald Steinbauer, and Roland Koholka. "Autonomous fast learning in a mobile robot.". In Gregory D. Hager, Henrik I. Christensen, Horst Bunke, and Rolf Klein, editors, Sensor Based Intelligent Robots. International Workshop, Dagstuhl, 2000, Selected Revised Papers., volume 2238, Dagstuhl, 2002. Springer. [ bib ]
[423]: Gerald Steinbauer, Roland Koholka, and Wolfgang Maass. "A very short story about autonomous robots". Special Issue on Foundations of Information Processing of TELEMATIK, 1:26--29, 2002. [ bib ]
[424]: O. Aichholzer, F. Aurenhammer, and T. Werner. Algorithmic Fun - Abalone. Special Issue on Foundations of Information Processing of TELEMATIK, 1:4--6, 2002. [ bib | .ps.gz ]
[425]: O. Aichholzer, D. Bremner, E.D. Demaine, F. Hurtado, E. Kranakis, H. Krasser, S. Ramaswami, S. Sethia, and J. Urrutia. Playing with Triangulations. In Proc. Japan Conference on Discrete and Computational Geometry JCDCG 2002, pages 46--54, Tokyo, Japan, 2002. [ bib | .ps.gz ]
[426]: O. Aichholzer, B. Speckmann, and I. Streinu. The Path of a Pseudo-Triangulation. In Abstracts of the DIMACS Workshop on Computational Geometry 2002, page 2, Piscataway (NJ), USA, 2002. [ bib | .pdf ]
[427]: O. Aichholzer, F. Aurenhammer, H. Krasser, and B. Speckmann. Convexity Minimizes Pseudo-Triangulations. In Proc. 14th Annual Canadian Conference on Computational Geometry CCCG 2002, pages 158--161, Lethbridge, Alberta, Canada, 2002. [ bib | .ps.gz ]
[428]: O. Aichholzer, F. Aurenhammer, and H. Krasser. On the Crossing Number of Complete Graphs. In Proc. 18^th Ann. ACM Symp. Computational Geometry, pages 19--24, Barcelona, Spain, 2002. [ bib | .ps.gz ]
[429]: O. Aichholzer and F. Aurenhammer. Voronoi Diagrams - Computational Geometry's Favorite. Special Issue on Foundations of Information Processing of TELEMATIK, 1:7--11, 2002. [ bib | .ps.gz ]
[430]: O. Aichholzer, F. Aurenhammer, and H. Krasser. On the Crossing Number of Complete Graphs - Extended Abstract. In Proc. 18^th European Workshop on Computational Geometry CG '02 Warszawa, pages 90--92, Warszawa, Poland, 2002. [ bib | .ps.gz ]
[431]: O. Aichholzer, C. Cortés, E.D. Demaine, V. Dujmović, J. Erickson, H. Meijer, M. Overmars, B. Palop, S. Ramaswami, and G.T. Toussaint. Flipturning Polygons. Discrete & Computational Geometry, 28(2):231--253, 2002. [Report UU-CS-2000-31, Universiteit Utrecht, The Netherlands, 2000]. [ bib | .ps.gz ]
[432]: O. Aichholzer, L.S. Alboul, and F. Hurtado. On Flips in Polyhedral Surfaces. International Journal of Foundations of Computer Science (IJFCS), special issue on Volume and Surface Triangulations, 13(2):303--311, 2002. [ bib | .ps.gz ]
[433]: O. Aichholzer, F. Aurenhammer, and H. Krasser. Enumerating Order Types for Small Point Sets with Applications. Order, 19:265--281, 2002. [ bib | .ps.gz ]
[434]: O. Aichholzer, F. Aurenhammer, and H. Krasser. Progress on rectilinear crossing numbers. Technical report, IGI-TU Graz, Austria, 2002. [ bib | .ps.gz ]
[435]: O. Aichholzer, F. Aurenhammer, and H. Krasser. Points and Combinatorics. Special Issue on Foundations of Information Processing of TELEMATIK, 1:12--17, 2002. [ bib | .ps.gz ]
[436]: O. Aichholzer, F. Aurenhammer, and B. Palop. Quickest Paths, Straight Skeletons, and the City Voronoi Diagram. In Proc. 18^th Ann. ACM Symp. Computational Geometry, pages 151--159, Barcelona, Spain, 2002. [ bib | .ps.gz ]
[437]: O. Aichholzer, F. Aurenhammer, and F. Hurtado. Sequences of spanning trees and a fixed tree theorem. Computational Geometry: Theory and Applications, 21(1--2):3--20, 2002. Special Issue. [Report MA2-IR-00-00026, Universitat Politećnica de Catalunya, Barcelona, Spain, 2000]. [ bib | .ps.gz ]
[438]: Gerald Steinbauer. "Machine Learning for an autonomous mobile robot.". Master's thesis, Graz University of Technology, Institute for Theoretical Computer Science, Graz, Austria, September 2001. [ bib ]
[439]: Bernhard K. Aichernig. Test-Design through Abstraction --- a Systematic Approach Based on the Refinement Calculus. Journal of Universal Computer Science, 7(8):710--735, August 2001. [ bib ]
[440]: Bernhard K. Aichernig. Test-Design through Abstraction --- a Systematic Approach Based on the Refinement Calculus. Journal of Universal Computer Science, 7(8):710--735, August 2001. [ bib | DOI | .pdf ]
[441]: Bernhard Aichernig. Systematic Black-Box Testing of Computer-Based Systems through Formal Abstraction Techniques. PhD thesis, Institute for Software Technology, TU Graz, Austria, January 2001. Supervisor: Peter Lucas. [ bib ]
[442]: Bernhard K. Aichernig. Test-Case Calculation through Abstraction. In José Nuno Oliveira and Pamela Zave, editors, Proceedings of Formal Methods Europe 2001, FME 2001: Formal Methods for Increasing Software Productivity, March 12--16 2001, Berlin, Germany, volume 2021 of Lecture Notes in Computer Science, pages 571--589. Springer Verlag, 2001. [ bib ]
[443]: Bernhard K. Aichernig, Brigitte Fröhlich, and Andreas Kerschbaumer, editors. "Formal Aspects of Software Engineering. Colloquium in Honor of Peter Lucas, May 18--19, 2001", volume 7, number 8 of Journal of Universal Computer Science (special issue). Springer-Verlag and Know Center Graz, 2001. [ bib | http ]
[444]: O. Aichholzer, F. Aurenhammer, C. Icking, R. Klein, E. Langetepe, and G. Rote. Generalized self-approaching curves. Discrete Applied Mathematics, 109(1-2):3--24, 2001. Special Issue. [SFB-Report F003-134, TU Graz, Austria, 1998]. [ bib | .ps.gz | .pdf ]
[445]: O. Aichholzer and H. Krasser. The Point Set Order Type Data Base: A Collection of Applications and Results. In Proc. 13th Annual Canadian Conference on Computational Geometry CCCG 2001, pages 17--20, Waterloo, Ontario, Canada, 2001. [ bib | .ps.gz ]
[446]: O. Aichholzer, F. Hurtado, and M. Noy. On the Number of Triangulations Every Planar Point Set Must Have. In Proc. 13th Annual Canadian Conference on Computational Geometry CCCG 2001, pages 13--16, Waterloo, Ontario, Canada, 2001. [ bib | .ps.gz ]
[447]: O. Aichholzer, F. Aurenhammer, and H. Krasser. Enumerating Order Types for Small Point Sets with Applications. In Proc. 17^th Ann. ACM Symp. Computational Geometry, pages 11--18, Medford, Massachusetts, USA, 2001. [ bib | .ps.gz ]
[448]: O. Aichholzer, L.S. Alboul, and F. Hurtado. On Flips in Polyhedral Surfaces. In Proc. 17^th European Workshop on Computational Geometry CG '2001, pages 27--30, Berlin, Germany, 2001. [ bib | .ps.gz ]
[449]: O. Aichholzer, F. Aurenhammer, and H. Krasser. On Compatible Triangulations of Point Sets. In Proc. 17^th European Workshop on Computational Geometry CG '2001, pages 23--26, Berlin, Germany, 2001. [ bib | .ps.gz ]
[450]: O. Aichholzer, E.D. Demaine, J. Erickson, F. Hurtado, M. Overmars, M.A. Soss, and G.T. Toussaint. Reconfiguring Convex Polygons. Computational Geometry: Theory and Applications, 20:85--95, 2001. [Report UU-CS-2000-30, Universiteit Utrecht, The Netherlands, 2000]. [ bib | .ps.gz | .pdf ]
[451]: O. Aichholzer, D. Bremner, E.D. Demaine, D. Meijer, V. Sacristán, and M. Soss. Long Proteins with Unique Optimal Foldings in the H-P Model. In Proc. 17^th European Workshop on Computational Geometry CG '2001, pages 59--62, Berlin, Germany, 2001. [ bib | .ps.gz ]
[452]: O. Aichholzer, F. Aurenhammer, B. Brandtstätter, H. Krasser, C. Magele, M. Mühlmann, and W. Renhart. Evolution Strategy and Hierarchical Clustering. In 13^th COMPUMAG Conference on the Computation of Electromagnetic Fields, Lyon-Evian, France, 2001. [ bib | .ps.gz ]
[453]: O. Aichholzer, F. Aurenhammer, F. Hurtado, and H. Krasser. Towards Compatible Triangulations. In Jie Wang, editor, Proc. 7^th Ann. Int'l. Computing and Combinatorics Conf. COCOON'01, Lecture Notes in Computer Science, volume 2108, pages 101--110, Guilin, China, 2001. Springer Verlag. [ bib | .ps.gz ]
[454]: Bernhard K. Aichernig and Reinhold Kainhofer. Modeling and Validating Hybrid Systems Using VDM and Mathematica. In C.Micheal Holloway, editor, Lfm2000, Fifth NASA Langley Formal Methods Workshop, Williamsburg, Virginia, June 2000, pages 35--46. NASA, June 2000. CP-2000-210100. [ bib ]
[455]: Johann Hörl and Bernhard K. Aichernig. Validating Voice Communication Requirements Using Lightweight Formal Methods. IEEE Software, 17(3):21--27, 2000. [ bib | DOI ]
[456]: Bernhard K. Aichernig, Andreas Gerstinger, and Robert Aster. Formal Specification Techniques as a Catalyst in Validation. In Proceedings of the 5^th IEEE High Assurance Systems Engineering Symposium (HASE 2000), November 15--17, Albuquerque, New Mexico, pages 203--207. IEEE, 2000. [ bib ]
[457]: Johann Hörl and Bernhard K. Aichernig. Requirements Validation of a Voice Communication System Used in Air Traffic Control. In ICRE '00: Proceedings of the 4^th International Conference on Requirements Engineering (ICRE'00), page 190, Washington, DC, USA, 2000. IEEE Computer Society. [ bib ]
[458]: Johann Hörl and Bernhard K. Aichernig. Requirements Validation of a Voice Communication System used in Air Traffic Control, an Industrial Application of Light-weight Formal Methods (abstract). In Proceedings of the Fourth International Conference on Requirements Engineering (ICRE2000), June 19--23, 2000, Schaumburg, Illinois, page 190. IEEE, 2000. Selected as one of three best papers. [ bib ]
[459]: O. Aichholzer, F. Aurenhammer, B. Brandtstätter, T. Ebner, H. Krasser, and C. Magele. Niching evolution strategy with cluster algorithms. In 9^th Biennial IEEE Conf. Electromagnetic Field Computations, Milwaukee, Wisconsin, USA, 2000. [ bib | .ps.gz ]
[460]: O. Aichholzer, C. Cortés, E.D. Demaine, V. Dujmović, J. Erickson, H. Meijer, M. Overmars, B. Palop, S. Ramaswami, and G.T. Toussaint. Flipturning Polygons. In Proc. Japan Conference on Discrete and Computational Geometry JCDCG 2000, Tokay University, Tokyo, Japan, 2000. [ bib | .ps.gz ]
[461]: O. Aichholzer, F. Aurenhammer, and F. Hurtado. Edge Operations on Non-Crossing Spanning Trees. In Proc. 16^th European Workshop on Computational Geometry CG '2000, pages 121--125, Eilat, Israel, 2000. [ bib | .ps.gz ]
[462]: O. Aichholzer. Extremal Properties of 0/1-Polytopes of Dimension 5. In G. Ziegler and G. Kalai, editors, Polytopes - Combinatorics and Computation, pages 111--130. Birkhäuser, 2000. [SFB-Report F003-132, TU Graz, Austria, 1998]. [ bib | .ps.gz ]
[463]: O. Aichholzer, E.D. Demaine, J. Erickson, F. Hurtado, M. Overmars, M.A. Soss, and G.T. Toussaint. Reconfiguring Convex Polygons. In Proc. 12th Annual Canadian Conference on Computational Geometry CCCG 2000, pages 17--20, Fredericton, New Brunswick, Canada, 2000. [ bib | .ps.gz ]
[464]: Bernhard K. Aichernig. Automated Black-Box Testing with Abstract VDM Oracles. In John Fitzgerald and Peter Gorm Larsen, editors, Workshop Materials: VDM in Practice!, Part of the FM'99 World Congress on Formal Methods, Toulouse, pages 57--66, September 1999. [ bib ]
[465]: Rudi Schlatte and Bernhard K. Aichernig. Database Development of a Work-Flow Planning and Tracking System Using VDM-SL. In John Fitzgerald and Peter Gorm Larsen, editors, Workshop Materials: VDM in Practice!, Part of the FM'99 World Congress on Formal Methods, Toulouse, September 1999. [ bib ]
[466]: Bernhard K. Aichernig and Andreas Kerschbaumer. Property Orientation in the Model Oriented Vienna Development Method (VDM). Technical Report IST-TEC-99-02, Institute for Software Technology (IST), Graz University of Technology, February 1999. Presented at VDM-Workshop at FM'99, Toulouse, France, September 20--24. [ bib ]
[467]: Johann Hörl and Bernhard K. Aichernig. Formal Specification of a Voice Communication System used in Air Traffic Control, An Industrial Application of Light-weight Formal Methods using VDM++. Technical Report IST-TEC-99-03, Institute for Software Technology (IST), Graz University of Technology, February 1999. [ bib ]
[468]: Bernhard K. Aichernig. Automated Black-Box Testing with Abstract VDM Oracles. In M. Felici, K. Kanoun, and A. Pasquini, editors, Computer Safety, Reliability and Security: proceedings of the 18^th International Conference, SAFECOMP'99, Toulouse, France, September 1999, volume 1698 of Lecture Notes in Computer Science, pages 250--259. Springer, 1999. [ bib ]
[469]: Bernhard K. Aichernig. Test-Case Generation as a Refinement Problem. Technical Report IST-TEC-99-21, Institute for Software Technology (IST), Graz University of Technology, 1999. [ bib ]
[470]: Bernhard K. Aichernig. Executable specifications in software reliability engineering. In 2nd Workshop on Formal Descriptions and Software Reliability (FDSR), Boca Raton, Florida, 31st of October 1999. [ bib ]
[471]: Bernhard K. Aichernig and Peter Lucas. Formale Methoden in der Praxis. In Unterlagen zum 1. Österreichischen ISA-EUNET Workshop, Wien. Österreichische Computer Gesellschaft, AK Software Qualität und Verläszlichkeit, 28. April 1999. [ bib ]
[472]: Johann Hörl and Bernhard K. Aichernig. Formal Specification of a Voice Communication System Used in Air Traffic Control. In FM '99: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II, page 1868, London, UK, UK, 1999. Springer-Verlag. [ bib ]
[473]: Johann Hörl and Bernhard K. Aichernig. Formal Specification of a Voice Communication System used in Air Traffic Control, An Industrial Application of Light-weight Formal Methods using VDM++ (abstract). In J.M. Wing, J. Woodcock, and J. Davies, editors, Proceedings of FM'99 -- Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999, volume 1709 of Lecture Notes in Computer Science, page 1868. Springer, 1999. [ bib ]
[474]: O. Aichholzer. The Path of a Triangulation. In Proc. 15^th Ann. ACM Symp. Computational Geometry, pages 14--23, Miami Beach, Florida, USA, 1999. [ bib | .ps.gz ]
[475]: O. Aichholzer, F. Aurenhammer, D.Z. Chen, D.T. Lee, and E. Papadopoulou. Skew Voronoi diagrams. Int'l. Journal of Computational Geometry & Applications, 9:235--247, 1999. [ bib | .ps.gz ]
[476]: O. Aichholzer, F. Aurenhammer, and R. Hainz. New results on MWT subgraphs. Information Processing Letters, 69:215--219, 1999. [SFB Report F003-140, TU Graz, Austria, 1998]. [ bib | .ps.gz ]
[477]: Bernhard K. Aichernig. A Telephone Exchange Specification in VDM-SL. Technical Report IST-TEC-98-04, Institute for Software Technology (IST), Graz University of Technology, December 1998. [ bib ]
[478]: Bernhard K. Aichernig. Automated Requirements Testing with Abstract Oracles. In ISSRE'98: The Ninth International Symposium on Software Reliability Engineering, Paderborn, Germany, pages 21--22, IBM Thomas J.Watson Research Center, P.O.Box 218, Route 134, Yorktown Heights, NY, USA, November 1998. Ram Chillarege. ISBN 3-00-003410-2. [ bib ]
[479]: Bernhard K. Aichernig. Teaching Programming to the Uninitiated using Mathematica. Technical Report IST-TEC-98-03, Institute for Software Technology (IST), Graz University of Technology, May 1998. [ bib ]
[480]: Bernhard K. Aichernig and Andreas Kerschbaumer. Static and Dynamic Semantics of a Simple Programming Language. Technical Report IST-TEC-98-01, Institute for Software Technology (IST), Graz University of Technology, May 1998. (PostScript available on demand). [ bib ]
[481]: Bernhard K. Aichernig and Peter Lucas. Softwareentwicklung --- eine Ingenieursdisziplin!(?). Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV), 4(2):2--8, 1998. ISSN 1028-5068. [ bib ]
[482]: O. Aichholzer, F. Aurenhammer, G. Rote, and Y.-F. Xu. Constant-level greedy triangulations approximate the MWT well. Journal of Combinatorial Optimization, 2:361--369, 1998. [SFB-Report F003-050, TU Graz, Austria, 1995]. [ bib | .ps.gz ]
[483]: O. Aichholzer, F. Aurenhammer, C. Icking, R. Klein, E. Langetepe, and G. Rote. Generalized self-approaching curves. In Proc. 14^th European Workshop on Computational Geometry CG '98, pages 15--18, Barcelona, Spain, 1998. [ bib | .ps.gz ]
[484]: O. Aichholzer, F. Aurenhammer, C. Icking, R. Klein, E. Langetepe, and G. Rote. Generalized self-approaching curves. In Proc. 9^th Int. Symp. Algorithms and Computation ISAAC'98, Lecture Notes in Computer Science, volume 1533, pages 317--326, Taejon, Korea, 1998. Springer Verlag. [ bib | .ps.gz ]
[485]: O. Aichholzer and F. Aurenhammer. Straight skeletons for general polygonal figures in the plane. In A.M. Samoilenko, editor, Voronoi's Impact on Modern Sciences II, volume 21, pages 7--21. Proc. Institute of Mathematics of the National Academy of Sciences of Ukraine, Kiev, Ukraine, 1998. [ bib | .ps.gz ]
[486]: O. Aichholzer. Efficient {0,1}-String Searching Based on Pre-clustering. In Proc. 14^th European Workshop on Computational Geometry CG '98, pages 11--13, Barcelona, Spain, 1998. [SFB Report F003-94, TU Graz, Austria, 1996]. [ bib | .ps.gz ]
[487]: Bernhard K. Aichernig. A Proof Obligation Generator for the IFAD VDM-SL Toolbox. Master's thesis, Institute for Software Technology, TU-Graz, Austria, March 1997. Supervisor: Peter Gorm Larsen and Peter Lucas. [ bib ]
[488]: Bernhard K. Aichernig. A Proof Obligation Generator for the IFAD VDM-SL Toolbox. Master's thesis, Institute for Software Technology, TU-Graz, Austria, March 1997. Supervisor: Peter Gorm Larsen and Peter Lucas. [ bib ]
[489]: Bernhard K. Aichernig. FME'97 --- Formale Methoden in Graz. Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV), 3(3):34--35, 1997. ISSN 1028-5068. [ bib ]
[490]: Bernhard K. Aichernig and Peter Gorm Larsen. A Proof Obligation Generator for VDM-SL. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science, 1997. [ bib ]
[491]: Bernhard K. Aichernig and Peter Gorm Larsen. A Proof Obligation Generator for VDM-SL. In FME '97: Proceedings of the 4^th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods, pages 338--357, London, UK, UK, 1997. Springer-Verlag. [ bib ]
[492]: O. Aichholzer, H. Alt, and G. Rote. Matching Shapes with a Reference Point. Int'l Journal of Computational Geometry & Applications, 7(4):349--363, 1997. [ bib | .ps.gz ]
[493]: R. Hainz, O. Aichholzer, and F. Aurenhammer. New results on minimum-weight triangulations and the LMT skeleton. In Proc. 13^th European Workshop on Computational Geometry CG '97, pages 4--6, Würzburg, Germany, 1997. [ bib | .ps.gz ]
[494]: O. Aichholzer, F. Aurenhammer, D.Z. Chen, D.T. Lee, A. Mukhopadhyay, and E. Papadopoulou. Voronoi diagrams for direction-sensitive distances (communication). In Proc. 13^th Ann. ACM Symp. Computational Geometry, pages 418--420, Nice, France, 1997. [SFB Report F003-098, TU Graz, Austria, 1996]. [ bib | .ps.gz ]
[495]: O. Aichholzer. Combinatorial & Computational Properties of the Hypercube - New Results on Covering, Slicing, Clustering and Searching on the Hypercube. PhD thesis, IGI-TU Graz, Austria, 1997. [ bib | .ps.gz ]
[496]: O. Aichholzer. The Path of a Triangulation. In Proc. 13^th European Workshop on Computational Geometry CG '97, pages 1--3, Würzburg, Germany, 1997. [ bib | .ps.gz ]
[497]: O. Aichholzer, F. Aurenhammer, S.-W. Cheng, N. Katoh, G. Rote, M. Taschwer, and Y.-F. Xu. Triangulations intersect nicely. Discrete & Computational Geometry, 16:339--359, 1996. Special Issue. [SFB Report F003-030, TU Graz, Austria, 1995]. [ bib | .ps.gz ]
[498]: O. Aichholzer and F. Aurenhammer. Classifying hyperplanes in hypercubes. SIAM Journal on Discrete Mathematics, 9(2):225--232, 1996. [IIG-Report-Series 408, TU Graz, Austria, 1995]. [ bib | .ps.gz ]
[499]: O. Aichholzer, F. Aurenhammer, G. Rote, and Y.-F. Xu. Constant-level greedy triangulations approximate the MWT well. In Cheng Du, Zhang, editor, Proc. 2^nd Int'l. Symp. Operations Research & Applications ISORA'96, Lecture Notes in Operations Research, volume 2, pages 309--318, Guilin, P. R. China, 1996. World Publishing Corporation. [ bib | .ps.gz ]
[500]: O. Aichholzer, F. Aurenhammer, G. Rote, and Y.-F. Xu. New greedy triangulation algorithms. In Proc. 12^th European Workshop on Computational Geometry CG '96, pages 11--14, Münster, Germany, 1996. [ bib | .ps.gz ]
[501]: O. Aichholzer and F. Aurenhammer. Straight skeletons for general polygonal figures. In Proc. 2^nd Ann. Int'l. Computing and Combinatorics Conf. COCOON'96, Lecture Notes in Computer Science, volume 1090, pages 117--126, Hong Kong, 1996. Springer Verlag. [IIG-Report-Series 423, TU Graz, Austria, 1995]. [ bib | .ps.gz ]
[502]: O. Aichholzer. Clustering the Hypercube. SFB-Report F003-93, SFB 'Optimierung und Kontrolle', TU Graz, Austria, 1996. [ bib | .ps.gz ]
[503]: O. Aichholzer. Local properties of triangulations. In Proc. 11^th European Workshop on Computational Geometry CG '95, pages 27--30, Hagenberg/Linz, Austria, 1995. [ bib | .ps.gz ]
[504]: O. Aichholzer, F. Aurenhammer, and G. Rote. Optimal graph orientation with storage applications. SFB-Report F003-51, SFB 'Optimierung und Kontrolle', TU Graz, Austria, 1995. [ bib | .ps.gz ]
[505]: O. Aichholzer, D. Alberts, F. Aurenhammer, and B. Gärtner. A novel type of skeleton for polygons. Journal of Universal Computer Science, 1(12):752--761, 1995. [IIG-Report-Series 424, TU Graz, Austria, 1995]. [ bib | .ps.gz ]
[506]: O. Aichholzer, D. Alberts, F. Aurenhammer, and B. Gärtner. Straight skeletons of simple polygons. In Proc. 4^th Int. Symp. of LIESMARS, pages 114--124, Wuhan, P. R. China, 1995. [ bib | .ps.gz ]
[507]: O. Aichholzer, R.L.S. Drysdale, and G. Rote. A Simple Linear Time Greedy Triangulation Algorithm for Uniformly Distributed Points. IIG-Report-Series 408, TU Graz, Austria, 1995. Presented at the Workshop on Computational Geometry, Army MSI Cornell, Stony Brook, 1994. [ bib | .ps.gz ]
[508]: O. Aichholzer, F. Aurenhammer, G. Rote, and M. Taschwer. Triangulations intersect nicely. In Proc. 11^th Ann. ACM Symp. Computational Geometry, pages 220--229, Vancouver, Canada, 1995. [ bib | .ps.gz ]
[509]: O. Aichholzer, H. Alt, and G. Rote. Matching Shapes with a Reference Point. In Proc. 10^th European Workshop on Computational Geometry CG '94, pages 81--84, Santander, Spain, 1994. [ bib | .ps.gz ]
[510]: O. Aichholzer and F. Aurenhammer. Classifying hyperplanes in hypercubes. In Proc. 10^th European Workshop on Computational Geometry CG '94, pages 53--57, Santander, Spain, 1994. [ bib | .ps.gz ]
[511]: O. Aichholzer, H. Alt, and G. Rote. Matching Shapes with a Reference Point. In Proc. 10^th Ann. ACM Symp. Computational Geometry, pages 85--92, Stony Brook, New York, USA, 1994. [ bib | .ps.gz ]
[512]: O. Aichholzer and H. Hassler. A fast method for modulus reduction in Residue Number System. In Proc. epp'93, pages 41--54, Vienna, Austria, 1993. [IIG-Report-Series 312, TU Graz, Austria, 1991]. [ bib | .ps.gz ]
[513]: O. Aichholzer. Hyperebenen in Hyperkuben - Eine Klassifizierung und Quantifizierung. Master's thesis, IGI-TU Graz, Austria, 1992. [ bib | .ps.gz ]

This file was generated by bibtex2html 1.98.