Recent Publications by Members of the Insitute

This list is also available as BiBTeX file.

2009

[1]: 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. .
[2]: 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. .
[3]: 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. .
[4]: 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. .
[5]: 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. .
[6]: 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. .
[7]: 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. .
[8]: 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. . Also available as Research Report RR-6748 "Counting Quadrics and Delaunay Triangulations and a new Convex Hull Theorem", INRIA, 2008, at http://hal.inria.fr/inria-00343651.
[9]: 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. .
[10]: 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. .
[11]: 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.
[12]: 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. .
[13]: O. Aichholzer, J. García, D. Orden, and P.A. Ramos. New results on lower bounds for the number of ( leq k)-facets. European Journal of Combinatorics, 30:1568-1574, 2009. .
[14]: 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, Proc. 11th International Workshop on Algorithms and Data Structures (WADS), volume 5664, pages 13-24, Banff, Alberta, Canada, 2009. .
[15]: 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. .
[16]: 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.
[17]: Andreas Beer, Johannes Gaertner, Nysret Musliu, Werner Schafhauser, and Wolfgang Slany. TEMPLE - a language for staff scheduling problems. In Euro 2009 - 23rd Europen Conference on Operational Research, July 2009. Abstract, accepted.
[18]: Andreas Beer, Johannes Gaertner, Nysret Musliu, Werner Schafhauser, and Wolfgang Slany. Local search for shift and break scheduling. In Euro 2009 - 23rd Europen Conference on Operational Research, July 2009. Abstract, accepted.
[19]: Andreas Beer, Johannes Gaertner, Nysret Musliu, Werner Schafhauser, and Wolfgang Slany. Testing while modelling staff scheduling problems. In Euro 2009 - 23rd Europen Conference on Operational Research, July 2009. Abstract, accepted.
[20]: Andreas Beer, Johannes Gaertner, Nysret Musliu, Werner Schafhauser, and Wolfgang Slany. A break scheduling system for supervision personnel using AI techniques. IEEE - Intelligent Systems, 2009. Accepted.
[21]: Zahid Hussain, Martin Lechner, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Martin Umgeher, and Peter Wolkerstorfer. Concept and design of a contextual mobile multimedia content usability study. In ACHI, pages 277-282. IEEE, 2009.

2008

[1]: 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. (Gzipped PostScript, 10 pages, 62603 bytes).
[2]: 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. .
[3]: 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. .
[4]: 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. . http://dx.doi.org/10.1016/j.endm.2008.06.040
[5]: 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. .
[6]: O. Aichholzer, R. Fabila-Monroy, D. Flores-Peñaloza, T. Hackl, C. Huemer, and J. Urrutia. Empty monochromatic triangles. In Proc. 20th Annual Canadian Conference on Computational Geometry CCCG 2008, pages 75-78, Montreal, Quebec, Canada, 2008. .
[7]: O. Aichholzer, C. Huemer, and H. Krasser. Triangulations without pointed spanning trees. Computational Geometry: Theory and Applications, 40(1):79-83, 2008. .
[8]: 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. .
[9]: Andreas Beer, Johannes Gaertner, Nysret Musliu, Werner Schafhauser, and Wolfgang Slany. An iterated local search algorithm for a real-life break scheduling problem. In Matheuristics2008 - Second International Workshop on Model Based Metaheuristics, Bertinoro (Italy), June 2008. Abstract.
[10]: Andreas Beer, Johannes Gaertner, Nysret Musliu, Werner Schafhauser, and Wolfgang Slany. Scheduling breaks in shift plans for call centers. In Proceedings of PATAT 2008 - The 7th International Conference on the Practice and Theory of Automated Timetabling, Montréal, August 2008.
[11]: 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. .
[12]: G. Fey, S. Staber, R. Bloem, and R. Drechsler. Automatic fault localization for property checking. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 27:1138-1149, 2008.
[13]: 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. .
[14]: Zahid Hussain, Martin Lechner, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Martin Umgeher, and Thomas Vlk. Optimizing Extreme Programming. In ICCCE 2008: Proceedings of the International Conference on Computer and Communication Engineering, Kuala Lumpur, Malaysia, pages 1052-1056. IEEE, 2008.
[15]: Zahid Hussain, Martin Lechner, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Martin Umgeher, Thomas Vlk, and Peter Wolkerstorfer. User interface design for a mobile multimedia application: An iterative approach. In Proc. IEEE Int. Conf. on Advances in Computer-Human Interaction (ACHI 2008), 2 2008.
[16]: Zahid Hussain, Martin Lechner, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Martin Umgeher, and Peter Wolkerstorfer. Integrating Extreme Programming and User-Centered Design. In PPIG 2008, The 20th Annual Psychology of Programming Interest Group Conference, Lancaster University, UK. 10th - 12th September 2008, 2008.
[17]: Zahid Hussain, Martin Lechner, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Martin Umgeher, and Peter Wolkerstorfer. Agile User-Centered Design Applied to a Mobile Multimedia Streaming Application. In USAB 2008, volume 5298/2008 of Lecture Notes in Computer Science, pages 313-330. Springer Berlin / Heidelberg, November 2008.
[18]: Zahid Hussain, Martin Lechner, Sara Shahzad, and Wolfgang Slany. Inside view of an extreme process. In Agile Processes in Software Engineering and Extreme Programming, LNBIP, pages 226-227. Springer Verlag, 2008. 9th International Conference, XP 2008, Limerick, Ireland.
[19]: Alexander Kleiner and Gerald Steinbauer. Automated learning of communication models of robot control software. In 3rd Austrian RoboCup Workshop, Villach, Austria, 2008. .
[20]: 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. .
[21]: 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.
[22]: 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.
[23]: Mihai Nica, Jörg Weber, and Franz Wotawa. How to debug sequential code by means of constraint representation. In 19th International Workshop on Principles of Diagnosis (DX-08), Leura, Australia, 2008.
[24]: 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 of Lecture Notes in Computer Science, pages 510-519, Wuhan,China, 2008. Springer.
[25]: Jörg Weber and Franz Wotawa. Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot. Applied Intelligence, 2008. Accepted for publication. Available online, DOI: 10.1007/s10489-008-0143-x.
[26]: Jörg Weber and Franz Wotawa. Dependent failures in consistency-based diagnosis. In 18th European Conference on Artificial Intelligence (ECAI 2008), pages 801 -- 802, Patras, Greece, 2008.
[27]: Jörg Weber and Franz Wotawa. Diagnosing dependent failures in the context of consistency-based diagnosis. In 19th International Workshop on Principles of Diagnosis (DX-08), Leura, Australia, 2008.

2007

[1]: 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. .
[2]: O. Aichholzer, F. Aurenhammer, T. Hackl, and C. Huemer. Connecting colored point sets. Discrete Applied Mathematics, 155(3):271-278, 2007. . Also available as FSP-report S092-45, Austria, 2006, at http://www.ig.jku.at/cgi-bin/CGI/Reports.pl.
[3]: O. Aichholzer, F. Aurenhammer, and T. Hackl. Pre-triangulations and liftable complexes. Discrete & Computational Geometry, 38:701-725, 2007. .
[4]: 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. (PostScript, 139344 bytes).
[5]: 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. (PDF, 191559 bytes). Also available as FSP-report S092-49, Austria, 2007, at http://www.ig.jku.at/cgi-bin/CGI/Reports.pl.
[6]: 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, Proc. 10th International Workshop on Algorithms and Data Structures (WADS), volume 4619, pages 374-385, Halifax, Nova Scotia, Canada, 2007. . Also available as FSP-report S092-38, Austria, 2006, at http://www.ig.jku.at/cgi-bin/CGI/Reports.pl.
[7]: O. Aichholzer, F. Aurenhammer, T. Hackl, and B. Speckmann. On (pointed) minimum weight pseudo-triangulations. In Proc. 19th Annual Canadian Conference on Computational Geometry CCCG 2007, pages 209-212, Ottawa, Ontario, Canada, 2007. .
[8]: O. Aichholzer, J. García, D. Orden, and P.A. Ramos. New lower bounds for the number of ( leq k)-edges and the rectilinear crossing number of k_n. Discrete & Computational Geometry, 38:1-14, 2007. . Also available as FSP-report S092-20, Austria, 2006, at http://www.ig.jku.at/cgi-bin/CGI/Reports.pl.
[9]: O. Aichholzer, J. García, D. Orden, and P.A. Ramos. New results on lower bounds for the number of ( leq k)-facets. In Proceedings EuroComb'07, Electronic Notes in Discrete Mathematics, volume 29C, pages 189-193, 2007. .
[10]: O. Aichholzer and T. Hackl, editors. Collection of Abstracts of the 23^rd European Workshop on Computational Geometry 2007, Graz, Austria, 2007. Available at the conference homepage http://ewcg07.tugraz.at/EuroCG2007Abstracts.pdf.
[11]: 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. (Gzipped PostScript, 16 pages, 238847 bytes).
[12]: 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. (PDF, 190360 bytes). Also available as FSP-report S092-48, Austria, 2007, at http://www.ig.jku.at/cgi-bin/CGI/Reports.pl.
[13]: 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, Proc. 10th International Workshop on Algorithms and Data Structures (WADS), volume 4619, pages 458-469, Halifax, Nova Scotia, Canada, 2007. (PDF, 426080 bytes).
[14]: 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. .
[15]: 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. .
[16]: 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. (PDF, 157146 bytes).
[17]: W. Aigner. The medial axis of planar shapes. Master's thesis, IGI-TU Graz, Austria, July 2007. Supervisor: Franz Aurenhammer. (Gzipped PostScript, 5769383 bytes).
[18]: B. Angerer, A. Griesmayer, and F. Wotawa. Maintaining temporal consistency in a multimedia knowledge base. In Workshop on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa '07), Hyderabad, India, January 2007.
[19]: Daniel Beck, Martin Buchleitner, Alexander Ferrein, Tim Niemüller, and Gerald Steinbauer. Mostly harmless & allemaniacs --- mixed innovations. In International RoboCup Symposium., Atlanta, USA, 2007. .
[20]: R. Bloem, R. Cavada, I. Pill, M. Roveri, and A. Tchaltsev. Rat: A tool for the formal analysis of requirements. In Computer Aided Verification, pages 263-267, 2007. .
[21]: R. Bloem, A.Cimatti, I. Pill, and M. Roveri. Symbolic implementation of alternating automata. International Journal of Foundations of Computer Science, 18(4):727-743, 2007. .
[22]: R. Bloem, S. Galler, B. Jobstmann, N. Piterman, A. Pnueli, and M. Weiglhofer. Specify, compile, run: Hardware form PSL. In 6th International Workshop on Compiler Optimization Meets Compiler Verification, 2007. To Appear in ENTCS. .
[23]: R. Bloem, S. Galler, B. Jobstmann, N. Piterman, A. Pnueli, and M. Weiglhofer. Automatic hardware synthesis from specifications: A case study. In Proceedings of the Design, Automation and Test in Europe, pages 1188-1193, 2007. .
[24]: 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.
[25]: Luca Di Gaspero, Johannes Gärtner, Guy Kortsarz, Nysret Musliu, Andrea Schaerf, and Wolfgang Slany. The minimum shift design problem: Theory and practice. Annals of Operations Research, 155(1):79-105, 2007.
[26]: Gordon Fraser, Bernhard Aichernig, and Franz Wotawa. Handling model changes: Regression testing and test-suite update with model-checkers. Electronic Notes in Theoretical Computer Science, 190:33-46, 2007. .
[27]: 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.
[28]: Gordon Fraser and Franz Wotawa. Test-case prioritization with model-checkers. In Proceedings of the IASTED International Conference on Software Engineering, Innsbruck, 2007. .
[29]: Gordon Fraser and Franz Wotawa. Redundancy based test-suite reduction. In Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering (FASE 2007), volume 4422 of Lecture Notes in Computer Science, pages 291-305. Springer, 2007. .
[30]: Gordon Fraser and Franz Wotawa. Using formal methods for ensuring quality requirements of systems. ÖVE Verbandszeitschrift Elektrotechnik und Informationstechnik (e&i), 124(1):13-16, 2007.
[31]: Gordon Fraser and Franz Wotawa. Using LTL rewriting to improve the performance of model-checker based test-case generation. In Proceedings of the Third Workshop on Advances in Model Based Testing (A-MOST 2007), pages 64-74, New York, NY, USA, 2007. ACM Press.
[32]: Gordon Fraser and Franz Wotawa. Mutant Minimization for Model-Checker Based Test-Case Generation. In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007, pages 161-168. IEEE Computer Society, 2007.
[33]: Gordon Fraser and Franz Wotawa. Test-case generation and coverage analysis for nondeterministic systems using model-checkers. In Proceedings of the International Conference on Software Engineering Advances (ICSEA 2007), page 45, Los Alamitos, CA, USA, 2007. IEEE Computer Society.
[34]: Gordon Fraser and Franz Wotawa. Creating test-cases incrementally with model-checkers. In Proceedings of the Workshop on Model-Based Testing (MOTES 2007) held in conjunction with the 37th Annual Congress of the Gesellschaft fuer Informatik, pages 415-420, 2007.
[35]: Gordon Fraser and Franz Wotawa. Improving model-checkers for software testing. In Proceedings of the International Conference on Software Quality (QSIC'07), pages 25-31. IEEE Computer Society, 2007.
[36]: Gordon Fraser and Franz Wotawa. Nondeterministic testing with linear model-checker counterexamples. In Proceedings of the International Conference on Software Quality (QSIC'07), pages 107-116. IEEE Computer Society, 2007.
[37]: Gordon Fraser and Franz Wotawa. Using Model-Checkers to Generate and Analyze Property Relevant Test-Cases. Software Quality Journal, 2007. To appear.
[38]: A. Griesmayer. Debugging Software: From Verification to Repair. PhD thesis, Graz University of Technology, Institute for Software Technology, Inffeldgasse 16b/2, 8010 Graz, Austria, March 2007. .
[39]: 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. .
[40]: Frank Harary, Wolfgang Slany, and Oleg Verbitsky. On the computational complexity of the forcing chromatic number. SIAM Journal on Computing, 37(1):1-19, 2007. Link to arXiv preprint.
[41]: Michael Hausenblas, Wolfgang Slany, and Danny Ayers. Performance and scalability metric for virtual RDF graphs. In Sören Auer, Chris Bizer, Tom Heath, and Gunnar Aastrand Grimnes, editors, Proceedings of the 4th European Semantic Web Conference (ESWC'07) / 3rd Workshop on Scripting for the Semantic Web (SFSW 07), volume 248. Sun SITE Central Europe, June 2007. ISSN 1613-0073.
[42]: 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.
[43]: 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. .
[44]: 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.
[45]: Zahid Hussain, Martin Lechner, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Martin Umgeher, and Thomas Vlk. The sustainable application of leadership and teaming in hrm - models for the todays organisations needs a meta-level perspective. In Technology Transfer Society Conference 2007 (T2S), 10 2007.
[46]: Zahid Hussain, Martin Lechner, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Martin Umgeher, Thomas Vlk, and Peter Wolkerstorfer. User interface design for a content-aware mobile multimedia application: An iterative approach. In Frontiers in Mobile and Web Computing: Proceedings of MoMM2007 & iiWAS2007 Workshops, volume 231, pages 115-120, Jakarta, Indonesia, December 2007. ISBN : 978-3-85403-231-1.
[47]: B. Jobstmann, S. Galler, M. Weiglhofer, and R. Bloem. Anzu: A tool for property synthesis. In Computer Aided Verification, pages 258-262, 2007. .
[48]: B. Jobstmann, S. Staber, A. Griesmayer, and R. Bloem. Finding and fixing faults. Journal of Computer and System Sciences, 2007. Accepted for publication.
[49]: Wolfgang Kienreich and Wolfgang Slany. On some winning strategies for the iterated prisoner's dilemma, or Mr. Nice Guy and the Cosa Nostra. In Graham Kendall, Xin Yao, and Siang Yew Chong, editors, The Iterated Prisoner's Dilemma: 20 Years On, chapter 8, pages 171-204. World Scientific, 2007. Link to arXiv preprint.
[50]: Safeeullah Soomro. Using abstract dependences to localize faults from procedural programs. In Artificial Intelligence and Applications, pages 180-185, AIA Innsbruck, Austria, 2007.
[51]: S. Staber and R. Bloem. Fault localization and correction with QBF. In Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007), Lisbon, Portugal, May 2007. LNCS 4501. .
[52]: 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. .
[53]: B. Vogtenhuber. On plane straight-line graphs. Master's thesis, IST-TU Graz, Austria, January 2007. Supervisor: Oswin Aichholzer. (PDF, 686647 bytes).
[54]: Jörg Weber and Franz Wotawa. Diagnosing dependent failures in the hardware and software of mobile autonomous robots. In 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2007), 2007.
[55]: Jörg Weber and Franz Wotawa. Diagnosing dependent failures - an extension of consistency-based diagnosis. In 18th International Workshop on Principles of Diagnosis (DX-07), Nashville, USA, 2007.
[56]: Jörg Weber and Franz Wotawa. AI-planning in a mobile autonomous robot with degraded software capabilities. In International Workshop on Moving Planning and Scheduling Systems into the Real World, Providence, Rhode Island, USA, 2007. At ICAPS'07.
[57]: Duminda Wijesekera, Lingya Sun, Paul Ammann, and Gordon Fraser. Relating counterexamples to test cases in ctl model checking specifications. In Proceedings of the Third Workshop on Advances in Model Based Testing (A-MOST 2007), pages 75-84, New York, NY, USA, 2007. ACM Press.
[58]: Peter Ziewer, Martin Ebner, Christian Safran, and Wolfgang Slany. Searching for classes of visual content in electronic lectures. In Gerald Friedland, Lars Knipping, and Nadine Ludwig, editors, Proceedings of the 9th IEEE International Symposium on Multimedia 2007 (ISM2007) / 2nd IEEE International Workshop on Multimedia Technologies for E-Learning (MTEL'07), Taichung, Taiwan, R.O.C., December 2007. IEEEXplore. Link to conference site

2006

[1]: 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.
[2]: Bernhard K. Aichernig and Chris George. When model-based testing fails. Electronic Notes in Theoretical Computer Science, 2006. Elsevier. Accepted for publication. (PDF).
[3]: Bernhard K. Aichernig and Jifeng He. Refinement and test case generation in UTP. Electronic Notes in Theoretical Computer Science, 2006. Accepted for publication. (PDF).
[4]: Bernhard K. Aichernig and Jifeng He. Testing for design faults. Formal Aspects of Computing Journal, 2006. Under Review. (PDF).
[5]: Bernhard K. Aichernig, He Jifeng, Zhiming Liu, and Mike Reed. Integrating theories and techniques for program modelling, design and verification. In Proceedings of the IFIP Working Conference on Verified Software: Theories, Tools, Experiments, Zürich, Switzerland, 10-13 October 2005, Lecture Notes in Computer Science. Springer-Verlag, 2006. Accepted for publication.
[6]: O. Aichholzer, F. Aurenhammer, and H. Krasser. On the crossing number of complete graphs. Computing, 76:165-176, 2006. .
[7]: O. Aichholzer, F. Aurenhammer, C. Huemer, and H. Krasser. Transforming spanning trees and pseudo-triangulations. Information Processing Letters (IPL), 97(1):19-22, 2006. . .
[8]: 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. . Also available as FSP-report S092-6, Austria, 2006, at http://www.ig.jku.at/cgi-bin/CGI/Reports.pl.
[9]: 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. (Gzipped PostScript, 11 pages, 112494 bytes). Also available as FSP-report S092-7, Austria, 2006, at http://www.ig.jku.at/cgi-bin/CGI/Reports.pl.
[10]: O. Aichholzer, J. García, D. Orden, and P.A. Ramos. New lower bounds for the number of ( leq 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. .
[11]: O. Aichholzer, T. Hackl, C. Huemer, F. Hurtado, H. Krasser, and B. Vogtenhuber. On the number of plane graphs. In Proc. 17th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 504-513, Miami, Florida, USA, 2006. (PDF, 198074 bytes). Also available as FSP-report S092-8, Austria, 2006, at http://www.ig.jku.at/cgi-bin/CGI/Reports.pl.
[12]: 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. .
[13]: 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. .
[14]: 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. .
[15]: 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 On the Semantics of Componentware: a Coalgebraic Perspective (Chapter 3). World Scientific, 2006. 58 pages. To be published in Winter 2006.
[16]: R. Bloem, A. Cimatti, I. Pill, M. Roveri, and S. Semprini. Symbolic implementation of alternating automata. In Implementation and Application of Automata, 11th International Conference, volume 4094 of Lecture Notes in Computer Science, pages 208-218. Springer Verlag, 2006. .
[17]: R. Bloem, A. Cimatti, I. Pill, M. Roveri, S. Semprini, and A. Tchaltsev. Rat: A tool for formal analysis of requirements. ECAI Systems demonstration, 2006.
[18]: R. Bloem, H. N. Gabow, and F. Somenzi. An algorithm for strongly connected component analysis in n log n symbolic steps. Formal Methods in System Design, 28:37-56, 2006. .
[19]: Gordon Fraser and Franz Wotawa. Property relevant software testing with model-checkers. SIGSOFT Softw. Eng. Notes, 31(6):1-10, 2006. .
[20]: Gordon Fraser and Franz Wotawa. Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis. In Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), pages 16-22, Los Alamitos, CA, USA, 2006. IEEE Computer Society. .
[21]: Gordon Fraser and Franz Wotawa. Using and improving requirement properties for mutation based test-case generation. 22. WI-MAW Rundbrief, Jahrgang 12(2):5-23, 2006. .
[22]: A. Griesmayer, R. Bloem, and B. Cook. Repair of boolean programs with an application to C. In T. Ball and R. B. Jones, editors, 18th Conference on Computer Aided Verification (CAV'06), pages 358-371, Seattle, Washington, USA, August 2006. (PDF, 264746 bytes).
[23]: A. Griesmayer, S. Staber, and R. Bloem. Automated fault localization for C programs. In First Workshop on Verification and Debugging (V&D'06), Seattle, Washington, USA, August 2006. To Appear. (PDF, 165356 bytes).
[24]: 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. .
[25]: 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. .
[26]: P. Hofmann. Infinite games engine. In Second International North American Conference on Intelligent Games and Simulation, Monterey, USA, September 2006.
[27]: Andreas Holzinger and Wolfgang Slany. XP + UE -> XU: Praktische Erfahrungen mit eXtreme Usability. Informatik-Spektrum, 29(2):91-97, April 2006.
[28]: B. Jobstmann. Property synthesis. In 9th SIGDA Ph.D. Forum at the Design Automation Conference (DAC 2006), San Francisco, California, USA, July 2006. (Poster, 329487 bytes).
[29]: B. Jobstmann and Roderick Bloem. Game-based and simulation-based improvements for LTL synthesis. In 3nd Workshop on Games in Design and Verification, Seattle, Washington, USA, 2006. (Slides, 874158 bytes).
[30]: B. Jobstmann and Roderick Bloem. Optimizations for LTL synthesis. In 6th Conferences on Formal Methods in Computer Aided Design (FMCAD '06, San Jose, California, USA, Nov 2006. (PostScript, 375284 bytes).
[31]: Susanne Kandl, Raimund Kirner, and Gordon Fraser. Verification of platform-independent and platform-specific semantics of dependable embedded systems. In Proceedings of the 3rd International Workshop on Dependable Embedded Systems (WDES 2006), 2006. To Appear.
[32]: Wolfgang Kienreich and Wolfgang Slany. On some winning strategies for the iterated prisoner's dilemma, or Mr. Nice Guy and the Cosa Nostra. In Graham Kendall, Xin Yao, and Siang Yew Chong, editors, The Iterated Prisoner's Dilemma: 20 Years On, chapter 8, pages 193-230. World Scientific, 2006. Link to arXiv preprint.
[33]: Daniel Köb and Franz Wotawa. Fundamentals of debugging using a resolution calculus. In Luciano Baresi and Reiko Heckel, editors, Fundamental Approaches to Software Engineering (FASE'06), volume 3922 of Lecture Notes in Computer Science, pages 278-292, Vienna, Austria, March 2006. Springer.
[34]: Karl Neuhold, Christian Schindler, and Wolfgang Slany. The htmlButler approach: Through shared ontologies and large scale cooperation to enhanced wrapper usability. In Proc. 6th International Conference on Knowledge Management (I-KNOW06), pages 35-38, 2006.
[35]: Bernhard Peischl, Safeeullah Soomro, and Franz Wotawa. Towards lightweihgt fault localization in procedural programs. In Proceedings of the 19th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE'06), Lecture Notes in Artificial Intelligence, pages 660-667, 2006.
[36]: Bernhard Peischl, Safeeullah Soomro, and Franz Wotawa. Lightweight fault localization with abstract dependences. In International Conference on Engineering of Intelligent Systems (ICEIS'06), pages 300-306. IEEE Computer Society, April 2006.
[37]: Bernhard Peischl, Safeeullah Soomro, and Franz Wotawa. Abstract dependence models in verification and debugging. In Balarmino Pulido Carlos Aloso Gonzalez, Teresa Escobet, editor, Proceedings of the 17th International Workshop on Principles of Diagnosis, DX Workshop Series, pages 203-210, July 2006.
[38]: Bernhard Peischl, Jörg Weber, and Franz Wotawa. Runtime fault detection and localization in component-oriented software systems. In Proceedings of the 17th International Workshop on Principles of Diagnosis (DX-06), DX Workshop Series, Peñaranda de Duero, Spain, June 2006.
[39]: Bernhard Peischl, Jörg Weber, and Franz Wotawa. Runtime fault detection and localization in component-oriented software systems. In MONET Workshop on Model-Based Systems at ECAI 2006, Riva del Garda, Italy, August 2006.
[40]: Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, and Alessandro Cimatti. Formal analysis of hardware requirements. In DAC '06: Proceedings of the 43rd annual conference on design automation, pages 821-826, New York, NY, USA, 2006. ACM Press. .
[41]: Christian Schindler, Pranjal Arya, Andreas Rath, and Wolfgang Slany. htmlButler: Wrapper usability enhancement through ontology sharing and large scale cooperation. Studies in Computational Intelligence, 14:85-94, January 2006.
[42]: Wolfgang Slany. Comparing mathematical, local search and hybrid heuristics for solving the minimum shift design problem with breaks. In Matheuristics 2006 Workshop on Mathematical Contributions to Metaheuristics, Bertinoro, Italy, August 2006.
[43]: S. Staber, G. Fey, R. Bloem, and R. Drechsler. Automatic fault localization for property checking. In E. Bin, A. Ziv., and S. Ur, editors, Second International Haifa Verification Conference (HVC 2006), pages 50-64, Haifa, Israel, October 2006. Springer-Verlag. LNCS 4383. .
[44]: Gerald Steinbauer. Intelligent and Robust Control of Autonomous Mobile Robots. PhD thesis, Institute for Software Technology, TU Graz, Austria, October 2006. .
[45]: 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. .
[46]: Gerald Steinbauer, Alexander Hofmann, and Stephan Gspandl. Robocup - spielwiese für ai. ÖGAI Journal, 25(2):23-26, 2006.
[47]: C. Wang, R. Bloem, K. Ravi, G. D. Hachtel, and F. Somenzi. Compositional SCC analysis for language emptiness. Formal Methods in System Design, 28:5-36, 2006. .
[48]: Jörg Weber and Franz Wotawa. Using AI techniques for fault localization in component-oriented software systems. In Proceedings of the 5th Mexican International Conference on Artificial Intelligence (MICAI 2006), Apizaco, Mexico, November 2006.
[49]: F. Wotawa and B. Angerer. Retaining consistency in temporal knowledge bases. In Advances in Applied Artificial Intelligence, 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, volume 4031 of Lecture Notes in Computer Science, pages 600-609, Annecy, France, June 2006. Springer.
[50]: Franz Wotawa and Bernhard Peischl. Automated source level error localization in hardware designs. IEEE Design and Test of Computers, 23(1):8-19, January/February 2006.

2005

[1]: 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. (PDF).
[2]: 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. (PDF).
[3]: 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. . . Also available as FSP-report S092-10, Austria, 2006, at http://www.ig.jku.at/cgi-bin/CGI/Reports.pl.
[4]: 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. 17th Annual Canadian Conference on Computational Geometry CCCG 2005, pages 123-126, Windsor, Ontario, Canada, 2005. (Gzipped PostScript, 4 pages, 56205 bytes). Also available as FSP-report S092-4, Austria, 2005, at http://www.ig.jku.at/cgi-bin/CGI/Reports.pl.
[5]: 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. .
[6]: O. Aichholzer, T. Hackl, C. Huemer, F. Hurtado, H. Krasser, and B. Vogtenhuber. Bounding the number of plane graphs. In Proc. 15th Annual Fall Workshop on Computational Geometry and Visualization, pages 31-32, Philadelphia, Pennsylvania, USA, 2005.
[7]: 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. . . Also available as FSP-report S092-3, Austria, 2005, at http://www.ig.jku.at/cgi-bin/CGI/Reports.pl.
[8]: 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. . .
[9]: 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. .
[10]: Pranjal Arya, Andreas Rath, Christian Schindler, and Wolfgang Slany. Enhancing wrapper usability through ontology sharing and large scale cooperation. In Workshop on Representation and Analysis of Web Space (RAWS-05), Prague-Tocna, pages 72-77, September 2005.
[11]: Pranjal Arya, Christian Schindler, and Wolfgang Slany. Human-agent interaction in the light of ontology sharing and large scale cooperation. In Int. Conf. on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC2005), pages 158-161, November 2005.
[12]: Bert Bredeweg, Michael Neuman, Tim Nuttle, Chris Price, Iain Russel, Janet Thomas, and Franz Wotawa. Vision for the future of education systems based on qualitative reasoning. In Proceedings of the 19th International Workshop on Qualitative Reasoning (QR-05), pages 38-46, May 2005.
[13]: 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. .
[14]: Rong Chen, Daniel Köb, and Franz Wotawa. Exploring object relations for automated fault localization. In 16th International Workshop on Principles of Diagnosis, pages 49-54, Monterey, California, USA, June 2005. (PDF, 128148 bytes).
[15]: Luca Di Gaspero, Johannes Gärtner, Guy Kortsarz, Nysret Musliu, Andrea Schaerf, and Wolfgang Slany. Theory and practice of the minimum shift design problem. In Metaheuristics: Progress as Real Problem Solvers, pages 159-180. Springer Verlag, 2005.
[16]: Guy Even, Guy Kortsarz, and Wolfgang Slany. On network design: fixed charge flows and the covering Steiner problem. ACM Transactions on Algorithms (TALG), 1(1):74-101, 2005.
[17]: 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.
[18]: 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. .
[19]: A. Griesmayer and R. Bloem. Repair of boolean programs using games. In 2nd Workshop on Games in Design and Verification, Edinburgh,Scotland, UK, 2005. (PostScript, 154453 bytes).
[20]: A. Griesmayer, R. Bloem, M.Hautzendorfer, and F. Wotawa. Formal verification of control software: A case study. In 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems., pages 783-788, Bari, Italy, 2005. Springer. (PostScript, 77141 bytes).
[21]: Frank Harary, Wolfgang Slany, and Oleg Verbitsky. On the computational complexity of the forcing chromatic number. In V. Diekert and B. Durand, editors, Proc. of the 22nd Int. Symp. on Theoretical Aspects of Computer Science (STACS 2005), Lecture Notes in Computer Science, Vol. 3404, pages 182-193. Springer-Verlag, Berlin Heidelberg, 2005.
[22]: Michael Hofbaur and Franz Wotawa. A diagnosis-based causal analysis method for concurrent hyprid automata. In Proceedings of the 16th International Workshop on Principles of Diagnosis (DX-05), pages 81-88, Monterey, California, USA, June 2005.
[23]: Andreas Holzinger, Maximilian Errath, Gig Searle, Bettina Thurnher, and Wolfgang Slany. From extreme programming and usability engineering to extreme usability in software engineering education (XP+UE->XU). In 29th Annual International Computer Software and Applications Conference (IEEE COMPSAC) 2005, pages 169-172, July 2005.
[24]: B. Jobstmann, A. Griesmayer, and R. Bloem. Program repair as a game. In K. Etessami and S. K. Rajamani, editors, 17th Conference on Computer Aided Verification (CAV '05), pages 226-238. Springer-Verlag, 2005. LNCS 3576. (Gzipped PostScript, 13 pages, 84861 bytes).
[25]: Daniel Köb. Extended Modeling for Automated Fault Localization in Object-Oriented Software. PhD thesis, Graz University of Technology, Institute for Software Technology, Inffeldgasse 16b/2, 8010 Graz, Austria, November 2005.
[26]: Daniel Köb, Rong Chen, and Franz Wotawa. Abstract model refinement for model-based program debugging. In 16th International Workshop on Principles of Diagnosis, pages 7-12, Monterey, California, USA, June 2005. (PDF, 112519 bytes).
[27]: Daniel Köb and Franz Wotawa. A comparison of fault explanation and localization. In 16th International Workshop on Principles of Diagnosis, pages 157-162, Monterey, California, USA, June 2005. Poster. (PDF, 114656 bytes).
[28]: B. Kornberger. Distributed computing for problems from combinatorial geometry. Master's thesis, IST-TU Graz, Austria, 2005. (PDF, 828987 bytes).
[29]: Sun Meng and Bernhard K. Aichernig. Coalgebraic component specification and verification in RSL. In Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2005, Dalian, China, December 5-8, 2005. IEEE Computer Society, 2005.
[30]: Sun Meng, Bernhard K. Aichernig, Luis S. Barbosa, and Zhang Naixiao. A coalgebraic semantic framework for component-based development in UML. Electronic Notes in Theoretical Computer Science, 122:229-245, 2005. Elsevier.
[31]: 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. (PDF).
[32]: Bernhard Peischl, Safeeullah Soomro, and Franz Wotawa. Lightweight debugging techniques. In Working Notes of the IJCAI-05 Workshop on Model-Based Systems, pages 53-58, Edinburgh, Scotland, 2005.
[33]: Bernhard Peischl and Franz Wotawa. Error traces in model-based debugging of hardware description languages. In AADEBUG'05: Proceedings of the sixth international symposium on Automated analysis-driven debugging, pages 43-48, New York, NY, USA, 2005. ACM Press.
[34]: Christian Schindler, Pranjal Arya, Andreas Rath, and Wolfgang Slany. htmlButler: Wrapper usability enhancement through ontology sharing and large scale cooperation. In Hypertext Conference 2005, Workshop on Adaptive and Personalized Semantic Web, September 2005.
[35]: S. Staber, B. Jobstmann, and R. Bloem. Finding and fixing faults. In D. Borrione and W. Paul, editors, 13th Conference on Correct Hardware Design and Verification Methods (CHARME '05), pages 35-49. Springer-Verlag, 2005. LNCS 3725. (Gzipped PostScript, 15 pages, 87066 bytes).
[36]: S. Staber, B. Jobstmann, and R. Bloem. Diagnosis is repair. In 16th International Workshop on Principles of Diagnosis, pages 169-174, Monterey, California, USA, June 2005. Poster. (Gzipped PostScript, 6 pages, 49624 bytes).
[37]: 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. .
[38]: 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. .
[39]: 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. .
[40]: 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. .
[41]: 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. .
[42]: Franz Wotawa and Safeeullah Soomro. Using abstract dependencies for debugging. In Proceedings of the 19th International Workshop on Qualitative Reasoning (QR-05), pages 23-28, May 2005.
[43]: Franz Wotawa and Safeeullah Soomro. Fault localization based on abstract dependencies. In 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, pages 357-359, Bari, Italy, 2005. Springer.

2004

[1]: 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. (PostScript). (PDF).
[2]: O. Aichholzer, F. Aurenhammer, H. Krasser, and B. Speckmann. Convexity minimizes pseudo-triangulations. Computational Geometry: Theory and Applications, 28(1):3-10, 2004. .
[3]: O. Aichholzer, F. Aurenhammer, and B. Palop. Quickest paths, straight skeletons, and the city Voronoi diagram. Discrete & Computational Geometry, 31(1):17-35, 2004. .
[4]: 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. .
[5]: 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. . . See also the Counting Triangulations - Olympics.
[6]: 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. .
[7]: 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. .
[8]: Robert Baumgartner, Georg Gottlob, Marcus Herzog, and Wolfgang Slany. Interactively adding web service interfaces to existing web applications. In Proceedings of the 2004 International Symposium on Applications and the Internet (SAINT 2004), pages 74-80. IEEE, 2004.
[9]: Robert Baumgartner, Georg Gottlob, Marcus Herzog, and Wolfgang Slany. Annotating the legacy web with lixto. In Proceedings of the 3rd International Semantic Web Conference (ISWC2004), 2004.
[10]: Rong Chen, Daniel Köb, Bernhard Peischl, and Franz Wotawa. Static and dynamic analysis in automated debugging. In MONET Workshop on Model-Based Systems at ECAI 2004, pages 3-8, Valencia, Spain, August 2004. (PDF, 108875 bytes).
[11]: Rong Chen, Daniel Köb, and Franz Wotawa. Exploiting static abstraction of data structures for debugging. In MONET Workshop on Model-Based Systems at ECAI 2004, Valencia, Spain, August 2004. (PDF, 153777 bytes).
[12]: Rong Chen, Daniel Köb, and Franz Wotawa. Improving fault localization of programs by using labeled dependencies. In Proceedings of th 27th German Conference on Artificial Intelligence (KI2004), Ulm, Germany, September 2004. (PDF, 225741 bytes).
[13]: Rong Chen, Daniel Köb, and Franz Wotawa. Diagnosing java programs with static abstractions of data structures. In International Conference on Intelligent Information Processing (IIP2004), Beijing, China, October 2004. (PDF, 144523 bytes).
[14]: Rong Chen and Franz Wotawa. Exploiting alias information to fault localization for java programs. In International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA2004), Gold Coast, Australia, July 2004. (PDF, 163921 bytes).
[15]: 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. (PostScript). (PDF).
[16]: Maximilian Errath, Andreas Holzinger, and Wolfgang Slany. Agile Software Entwicklung. OCG Journal, 29(5):4-6, 2004.
[17]: 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. .
[18]: 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. .
[19]: Gordon Fraser and Franz Wotawa. Cooperative planning and plan execution in partially observable dynamic domains. In Proceedings RoboCup 2004 Symposium, Lisboa, Portugal, 2004.
[20]: Johannes Gärtner, Nysret Musliu, and Wolfgang Slany. A heuristic based system for generation of shifts with breaks. In Proceedings of the twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (AI-2004), pages 95-106. Springer, 2004.
[21]: T. Hackl. Manipulation of pseudo-triangular surfaces. Master's thesis, IGI-TU Graz, Austria, 2004. . .
[22]: Frank Harary, Wolfgang Slany, and Oleg Verbitsky. On the lengths of symmetry breaking-preserving games on graphs. Theoretical Computer Science, 303(3):427-446, 2004.
[23]: Daniel Köb and Franz Wotawa. Introducing alias information into model-based debugging. In 15th International Workshop on Principles of Diagnosis, Carcassonne, France, June 2004. (PDF, 133804 bytes).
[24]: Daniel Köb and Franz Wotawa. Introducing alias information into model-based debugging. In 16th European Conference on Artificial Intelligence (ECAI), Valencia, Spain, August 2004. (PDF, 127973 bytes).
[25]: A. Leitner. Strategies to automatically test Eiffel programs. Master's thesis, Graz University of Technology, 2004.
[26]: Nysret Musliu, Andrea Schaerf, and Wolfgang Slany. Local search for shift design. European Journal of Operational Research, 153(1):51-64, 2004.
[27]: Bernhard Peischl and Franz Wotawa. Are error traces enough for automated fault localization in vhdl designs ? In Bernhard Rinner and Wilfried Elmenreich, editors, Proceedings of the Second Workshop on Intelligent Solutions in Embedded Systems (WISES'04), pages 49-60, 2004.
[28]: Bernhard Peischl and Franz Wotawa. Towards a model for automated fault localization in vhdl designs: Exploring counterexamples using a model-based diagnosis approach. In Proceedings of the 15th International Workshop on Principles of Diagnosis (DX-04), DX Workshop Series, pages 161-166, Carcassonne, France, June 2004.
[29]: Wolfgang Slany. Lixtoforall: Consumer-level semantic web-squeezing and aggregation. In Proceedings of the 3rd International Semantic Web Conference, poster track (ISWC2004), pages 73-74, 2004.
[30]: Gerald Steinbauer and Horst Bischof. Illumination insensitive robot self-localization using panoramic eigenspaces. In International Robocup Symposium., Lisbon, Portugal, 2004. .
[31]: 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. .
[32]: 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. .
[33]: Franz Wotawa. Debugging vhdl designs: Introducing multiple models and first empirical results. Applied Intelligence, 21:159-172, 2004.
[34]: Franz Wotawa. Towards a unified modeling language for diagnosis. In MONET Workshop on Model-based Systems (at ECAI 2004), Valencia, Spain, 2004.
[35]: Franz Wotawa. Using model-based reasoning for generating explanations from environmental models. In Research on Computing Science e-Environment:Progress and Challenge, volume 11, pages 341-354, San Jose, Costa Rica, October 2004.

2003

[1]: Bernhard K. Aichernig. Mutation Testing in the Refinement Calculus. Formal Aspects of Computing Journal, 15(2):280-295, 2003.
[2]: 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.
[3]: 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 8th Kurt Gödel Colloquium, 25-30 August 2003, Vienna, Austria, Lecture Notes in Computer Science. Springer-Verlag, 2003. (PostScript).
[4]: Bernhard K. Aichernig. Test Derivation in a Refinement Process. In RCS'03, the 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments, June 3, 2003, Turku, Finland), 2003. (PostScript).
[5]: 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. .
[6]: 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. .
[7]: O. Aichholzer, F. Aurenhammer, F. Hurtado, and H. Krasser. Towards compatible triangulations. Theoretical Computer Science, 296:3-13, 2003. Special Issue. .
[8]: 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. .
[9]: 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. .
[10]: 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. .
[11]: 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. .
[12]: 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. .
[13]: 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. .
[14]: 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. .
[15]: Daniel Köb Bernhard Peischl and Franz Wotawa. Debugging vhdl designs using temporal process instances. In Moonis Ali, editor, Proceedings of the 16th International Conference on Indusrial and Engineering Applications of Artificial Intelligence and Expert Systems ( IEA/AIE 2003), volume 2718 of Lecture Notes in Artificial Intelligence, pages 402-415, Loughbourough, UK, June 2003. Springer.
[16]: R. Bloem. Recent trends in computer-aided verification. CoLogNET Newsletter, 5, December 2003. .
[17]: Rong Chen and Franz Wotawa. Debugging with an enriched dependency-based model or how to distinguish between aliasing and value assignment. In Proceedings of the International Workshop on Qualitative Reasoning (QR-2003), Brasilia, Brazil, 2003. (PDF, 216942 bytes).
[18]: Ulises Cortes, Miquel Sanchez-Marre, and Franz Wotawa. Guest-editorial special issue on binding environmental sciences and artificial intelligence. Ai Communications, 16(4), 2003.
[19]: Luca Di Gaspero, Johannes Gärtner, Guy Kortsarz, Nysret Musliu, Andrea Schaerf, and Wolfgang Slany. The minimum shift design problem: theory and practice. In Proceedings of the European Symposium on Algorithms (ESA) 2003, pages 593-604, 2003.
[20]: Luca Di Gaspero, Johannes Gärtner, Guy Kortsarz, Nysret Musliu, Andrea Schaerf, and Wolfgang Slany. A hybrid network flow tabu search heuristic for the minimum shift design problem. In Proceedings of the 5th Metaheuristics International Conference (MIC'03), Kyoto, Japan, 2003.
[21]: Andreas Griesmayer. Architecture and Knowledge-Representation of the Web-based Math-Learning-System isac. Master's thesis, Graz University of Technology, Institute for Softwaretechnologie, Graz, Austria, Oct 2003.
[22]: Daniel Köb. Fault localization in vhdl programs with logical models and artificial intelligence techniques. Master's thesis, Graz University of Technology, Institute for Software Technology, Graz, Austria, January 2003.
[23]: Wolfgang Mayer, Markus Stumptner, and Franz Wotawa. Debugging program exceptions. In Proceedings of the Fourteenth International Workshop on Principles of Diagnosis, Washington D.C.,U.S.A., 2003.
[24]: 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.
[25]: Bernhard Peischl and Franz Wotawa. Towards a framework for automated debugging: Abstracting the temporal behavior of vhdl-rtl programs. In Proceedings of the 14th International Workshop on Principles of Diagnosis (DX-03), DX Workshop Series, pages 181-186, Washington DC, USA, June 2003.
[26]: Bernhard Peischl and Franz Wotawa. Computing diagnosis efficiently: A fast theorem prover for propositional horn theories. In Proceedings of the 14th International Workshop on Principles of Diagnosis (DX-03), DX Workshop Series, pages 175-180, Washington DC, USA, June 2003.
[27]: Bernhard Peischl and Franz Wotawa. Modeling state in software debugging of vhdl-rtl designs - a model based diagnosis approach. In Michiel Ronsse, editor, Proceedings to the 5th International Workshop on Automated and Algorithmic Debugging (AADEBUG 2003), pages 197-210, Ghent, Belgium, September 2003. Computer Research Repository (CoRR).
[28]: Bernhard Peischl and Franz Wotawa. Model-based diagnosis or reasoning from first principles. IEEE Intelligent Systems, 18(3):32-37, May June 2003.
[29]: Stefan Staber. Minimierung von Testfällen und Isolation der Ursache-Wirkung Kette in VHDL Programmen. Master's thesis, Graz University of Technology, Institute for Softwaretechnologie, August 2003.
[30]: Gerald Steinbauer. Robocup in austria. ÖGAI Journal, 22(3):2-7, 2003. .
[31]: 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. .
[32]: 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. .
[33]: 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. .
[34]: Markus Stumptner and Franz Wotawa. Coupling csp decomposition methods and diagnosis algorithms for tree-structured systems. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Acapulco, Mexico, August 2003.
[35]: Markus Stumptner and Franz Wotawa. Coupling csp decomposition methods and diagnosis algorithms for tree-structured systems. In Proceedings of the Fourteenth International Workshop on Principles of Diagnosis, Washington D.C.,U.S.A., 2003.
[36]: Markus Stumptner and Franz Wotawa. Coupling CSP decomposition methods and diagnosis algorithms for tree-structured systems. In Proceedings of the 18^th International Joint Conference on Artificial Intelligence (IJCAI-03), pages 388-393, Acapulco, Mexico, 2003.

2002

[1]: 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. (PostScript). (PDF).
[2]: 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. .
[3]: O. Aichholzer and F. Aurenhammer. Voronoi diagrams - computational geometry's favorite. Special Issue on Foundations of Information Processing of TELEMATIK, 1:7-11, 2002. .
[4]: 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 Politecnica de Catalunya, Barcelona, Spain, 2000]. . You can also download the nice program MST-Tool we used to check and visualize some of the presented results!
[5]: 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. . See also our crossing number homepage.
[6]: 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. . See also our crossing number homepage.
[7]: O. Aichholzer, F. Aurenhammer, and H. Krasser. Enumerating order types for small point sets with applications. Order, 19:265-281, 2002. . See also our order type homepage.
[8]: O. Aichholzer, F. Aurenhammer, and H. Krasser. Points and combinatorics. Special Issue on Foundations of Information Processing of TELEMATIK, 1:12-17, 2002. .
[9]: O. Aichholzer, F. Aurenhammer, and H. Krasser. Progress on rectilinear crossing numbers. Technical report, IGI-TU Graz, Austria, 2002. . See also our crossing number homepage.
[10]: 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. .
[11]: 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. .
[12]: O. Aichholzer, F. Aurenhammer, and T. Werner. Algorithmic fun - Abalone. Special Issue on Foundations of Information Processing of TELEMATIK, 1:4-6, 2002. .
[13]: 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. .
[14]: O. Aichholzer, C. Cortés, E.D. Demaine, V. Dujmovic, 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]. . See also Jeff'shomepage about this paper.
[15]: 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. .
[16]: Roderick Bloem and Franz Wotawa. Verification and fault localization for vhdl programs. Journal of the Telematics Engineering Society (TIV), 2:30-33, 2002. .
[17]: Guy Even, Guy Kortsarz, and Wolfgang Slany. On network design problems: Fixed cost flows and the covering Steiner problem. In 8th Scandinavian Workshop on Algorithm Theory (SWAT), LNCS 2368, pages 318-329, 2002.
[18]: Georg Gottlob, Martin Hutle, and Franz Wotawa. Combining hypertree, bicomp, and hinge decomposition. In Proceedings of the European Conference on Artificial Intelligence (ECAI), Lyon, France, jul 2002.
[19]: S. Gurumurthy, R. Bloem, and F. Somenzi. Fair simulation minimization. In E. Brinksma and K. G. Larsen, editors, Fourteenth Conference on Computer Aided Verification (CAV'02), pages 610-623. Springer-Verlag, Berlin, July 2002. LNCS 2404. .
[20]: Frank Harary, Wolfgang Slany, and Oleg Verbitsky. A symmetric strategy in graph avoidance games. In Richard J. Nowakowski, editor, More Games of No Chance, volume 42 of Mathematical Sciences Research Institute Publications, pages 369-381. Cambridge University Press, 2002. Link to pdf at MSRI.
[21]: Andreas Kerschbaumer. Non-refinement transformation of software architectural patterns. In RCS'02, International Workshop on Refinement of Critical Systems: Methods, Tools and Experience, January 2002. (PDF).
[22]: Andreas Kerschbaumer. Behavioral Refinement of Software Architectures. PhD thesis, Institute for Software Technology, TU Graz, Austria, August 2002. Supervisor: Peter Lucas. (PDF).
[23]: Daniel Köb. Formal refinement of a cash register system in VDM++. Technical Report IST-TEC-02-03, Institute for Software Technology, TU Graz, Austria, March 2002.
[24]: 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 of Lecture Notes in Computer Science, Dagstuhl, 2002. Springer. .
[25]: Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Observations and results gained from the jade project. In Proceedings of the Thirteenth International Workshop on Principles of Diagnosis, Semmering, Austria, April 2002.
[26]: Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Can ai help to improve debugging substantially? debugging experiences with value-based models. In Proceedings of the European Conference on Artificial Intelligence (ECAI), pages 417-421, Lyon, France, 2002. IOS Press.
[27]: Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Towards an integrated debugging environment. In Proceedings of the European Conference on Artificial Intelligence (ECAI), pages 422-426, Lyon, France, 2002. IOS Press.
[28]: Wolfgang Mayer, Markus Stumptner, and Franz Wotawa. Model-based Debugging or How to Diagnose Programs Automatically. In Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer LNAI, Cairns, Australia, June 2002.
[29]: Nysret Musliu, Johannes Gärtner, and Wolfgang Slany. Efficient generation of rotating workforce schedules. Discrete Applied Mathematics, 118(1-2):85-98, 2002. Link to arXiv preprint.
[30]: Walther Neuper and Franz Wotawa. Model-based Reasoning in Mathematical Tutoring Systems -- Preliminary Report. In Proc. of the Model-Based Educational Systems and Qualitative Reasoning Workshop, 6^th International Conference on Intelligent Tutoring Systems (ITS), pages 53-62, San Sebastian, Spain, jun 2002.
[31]: Bernhard Peischl and Franz Wotawa. Fixing faults in vhdl-rtl programs: An application of model-based diagnosis to digital circuit designs. Journal of the Austrian Society of Artificial Intelligence ("OGAI-Journal), 21(4):6-17, December 2002.
[32]: Wolfgang Slany. Endgame problems of Sim-like graph Ramsey avoidance games are PSPACE-complete. Theoretical Computer Science, 289(1):829-843, October 2002.
[33]: Wolfgang Slany. Theory and practice of the shift design problem (invited paper). In E.K. Burke and P. De Causmaecker, editors, Proc. of the 4th international conference on the Practice And Theory of Automated Timetabling (PATAT 2002), pages 53-56, Gent, Belgium, August 2002.
[34]: F. Somenzi, K. Ravi, and R. Bloem. Analysis of symbolic SCC hull algorithms. In M. D. Aagaard and J. W. O'Leary, editors, Formal Methods in Computer Aided Design, pages 88-105. Springer-Verlag, November 2002. LNCS 2517. .
[35]: 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.
[36]: Dominik Wieland, Franz Wotawa, and Gerhard Wotawa. From Neural Networks to Qualitative Models in Environmental Engineering. Computer-Aided Civil and Infrastructure Engineering, 17(2):104-118, 2002.
[37]: Franz Wotawa. Debugging Hardware Designs using a Value-Based Model. Applied Intelligence, 16(1):71-92, 2002.
[38]: Franz Wotawa. On the Relationship between Model-Based Debugging and Program Slicing. Artificial Intelligence, 135(1-2):124-143, 2002.

2001

[1]: 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. (PostScript). (PDF).
[2]: 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. (PostScript).
[3]: 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. (PostScript). (PDF).
[4]: 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. . See also our interactive web-page.
[5]: 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. .
[6]: 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. .
[7]: 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]. . .
[8]: 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. .
[9]: 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. . See also our order type homepage.
[10]: 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. .
[11]: 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]. . .
[12]: 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. . See also the Counting Triangulations - Olympics.
[13]: 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. . See also our order type homepage.
[14]: R. Bloem. Search Techniques and Automata for Symbolic Model Checking. PhD thesis, University of Colorado, Department of Computer Science, 2001. .
[15]: Ruth Fingerlos, Johannes Gärtner, Nysret Musliu, and Wolfgang Slany. Zyklische Schichtplanung. KI Journal, 2:31-34, May 2001.
[16]: Gerhard Fleischanderl, Herwig Schreiner, Thomas Havelka, Markus Stumptner, and Franz Wotawa. DiKe -- A Model-Based Diagnosis Kernel and its Application. In Proceedings of the Joint German/Austrian Conference on Artificial Intelligence (KI), Vienna, Austria, 2001.
[17]: Johannes Gärtner, Nysret Musliu, and Wolfgang Slany. Rota: a research project on algorithms for workforce scheduling and shift design optimization. AI Communications: The European Journal on Artificial Intelligence, 14(2):83-92, 2001.
[18]: Pilar Gómez, Angela Nebot, Francisco Mugica, and Franz Wotawa. Fuzzy inductive reasoning for the prediction of maximum ozone concentration. In Proceedings 13^th European Simulation Symposium (ESS-2001) -- Special Session on Modelling and Simulation in Ecology, Biology, and Environment, Marseilles, France, October 2001.
[19]: Frank Harary, Wolfgang Slany, and Oleg Verbitsky. A symmetric strategy in graph avoidance games. Technical Report DBAI-TR-2001-42, Institut für Informationssysteme der Technischen Universität Wien, September 2001. Link to arXiv preprint.
[20]: Nysret Musliu, Andrea Schaerf, and Wolfgang Slany. Local search for shift design. In J.P. de Sousa, editor, Proc. MIC'2001 --- 4th Metaheuristics Int. Conf., pages 465-470, Porto, Portugal, July 2001.
[21]: Nysret Musliu, Andrea Schaerf, and Wolfgang Slany. Local search for shift design. Technical Report DBAI-TR-2000-45, Institut für Informationssysteme der Technischen Universität Wien, 2001.
[22]: Walther A. Neuper. A `calculemus-approach' to high-school math ? In Steve Linto and Roberto Sebastiani, editors, Proceedings of the 9th Symposion on the Integration of Symbolic Computation and Mechanized Reasoning, Siena, Italy, June 2001.
[23]: Bernhard Peischl. A formal specification and annealing of a network-hub in VDM++. Technical Report IST-TEC-01-03, Institute for Software Technology, TU Graz, Austria, October 2001. (PostScript).
[24]: Wolfgang Slany. Evolutionary computing for shift scheduling and other combinatorial optimization problems (invited paper). In Problems in Applied Mathematics and Computational Intelligence (Vol. 3, Proceedings of the Int. Conf. on Evolutionary Computing (EC2001)), pages 113-118, Puerto De La Cruz, Spain, February 2001.
[25]: Wolfgang Slany. Contributions to schedule optimization methods. Habilitationsschrift, Technische Universität Wien, 2001.
[26]: Wolfgang Slany. The complexity of graph Ramsey games. In Tony Marsland and Ian Frank, editors, Computer and Games: Revised papers of the Second International Conference , CG2000, Hamamatsu, Japan, October 2000, volume 2063 of LNCS, pages 186-203. Springer, 2001.
[27]: 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. .
[28]: Markus Stumptner, Dominik Wieland, and Franz Wotawa. Analysing Models for Software Debugging. In Proceedings of the Twelfth International Workshop on Principles of Diagnosis, Sansicario, Italy, 2001.
[29]: Markus Stumptner, Dominik Wieland, and Franz Wotawa. Comparing Two Models for Software Debugging. In Proceedings of the Joint German/Austrian Conference on Artificial Intelligence (KI), Vienna, Austria, 2001.
[30]: Markus Stumptner and Franz Wotawa. Diagnosing tree-structured systems. Artificial Intelligence, 127(1):1-29, 2001.
[31]: C. Wang, R. Bloem, G. D. Hachtel, K. Ravi, and F. Somenzi. Divide and compose: SCC refinement for language emptiness. In International Conference on Concurrency Theory (CONCUR01), pages 456-471, Berlin, August 2001. Springer-Verlag. LNCS 2154. .
[32]: Franz Wotawa. A Variant of Reiter's Hitting-Set Algorithm. Information Processing Letters, 79(1):45-51, 2001.
[33]: Franz Wotawa. On the Relationship between Model-based Debugging and Programm Mutation. In Proceedings of the Twelfth International Workshop on Principles of Diagnosis, Sansicario, Italy, 2001.
[34]: Franz Wotawa. Using Multiple Models for Debugging VHDL Designs. In Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Budapest, Hungary, 2001. LNCS Springer Verlag.
[35]: Franz Wotawa. Der öGAI Preis. Journal of the Austrian Society for Artificial Intelligence, 20(3), 2001.
[36]: Franz Wotawa and Markus Stumptner. Modellbasierte Diagnose -- überblick und technische Anwendung. ÖVE Verbandszeitschrift Elektrotechnik und Informationstechnik (e&i), (7/8), 2001.
[37]: Franz Wotawa and Gerhard Wotawa. Deriving Qualitative Rules from Neural Networks -- A Case Study for Ozone Forecasting. AI Communications, 14(1), 2001.

2000

[1]: Bernhard K. Aichernig, Andreas Gerstinger, and Robert Aster. Formal specification techniques as a catalyst in validation. In Proceedings of the 5th IEEE High Assurance Systems Engineering Symposium (HASE 2000), November 15-17, Albuquerque, New Mexico, pages 203-207. IEEE, 2000. (PostScript). (PDF).
[2]: 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. (PostScript). (PDF).
[3]: 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]. . You can also investigate 0/1-polytopes by e-mail!
[4]: 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. .
[5]: 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. . You can download our MST-Tool.
[6]: O. Aichholzer, C. Cortés, E.D. Demaine, V. Dujmovic, 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. . See also Jeff'shomepage about this paper.
[7]: 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. .
[8]: Andreas Ausserhofer. Dynamic and parameterised animation of computer science topics. In Proceedings of the M/SET 2000 -- International Conference on Mathematics/Science Education and Technology, pages 33-38, San Diego, California, USA, February 2000. Association for the Advancement of Computing in Education. (PostScript).
[9]: Andreas Ausserhofer. Improvements in Web-based Educational Systems for Teaching Computing. PhD thesis, Institute for Software Technology, TU-Graz, Austria, January 2000. Supervisor: Peter Lucas. (PostScript).
[10]: R. Bloem and J. Engelfriet. A comparison of tree transductions defined by monadic second order logic and by attribute grammars. Journal of Computer and System Sciences, 61:1-60, 2000. .
[11]: R. Bloem, H. N. Gabow, and F. Somenzi. An algorithm for strongly connected component analysis in n log n symbolic steps. In W. A. Hunt, Jr. and S. D. Johnson, editors, Formal Methods in Computer Aided Design, pages 37-54. Springer-Verlag, November 2000. LNCS 1954. .
[12]: R. Bloem, I.-H. Moon, K. Ravi, and F. Somenzi. Approximations for fixpoint computations in symbolic model chec king. In In Proceedings of the World Multiconference on Systemics, C ybernetics and Informatics (SCI2000), Volume VIII, Part II, pages 701-706, Orlando, FL, July 2000. .
[13]: R. Bloem, K. Ravi, and F. Somenzi. Symbolic guided search for CTL model checking. In Proceedings of the Design Automation Conference, pages 29-34, Los Angeles, CA, June 2000. .
[14]: Georg Droschl, Walter Kuhn, Gerald Sonneck, and Michael Thuswald. A formal methods case study: Using `light-weight' VDM for the development of a security system module. In Proceedings of Safecomp 2000, 25-27 October 2000, Rotterdam, the Netherlands, 2000. To be published. (PostScript).
[15]: Gerhard Fleischanderl, Herwig Schreiner, Thomas Havelka, Markus Stumptner, and Franz Wotawa. An environment and language for industrial use of model-based diagnosis. In ECAI 2000 Workshop on Knowledge-Based Engineering, Berlin, 2000.
[16]: Gerhard Fleischanderl, Herwig Schreiner, Markus Stumptner, and Franz Wotawa. An Environment and Language for Industrial Use of Model-based Diagnosis. In ECAI'2000 Workshop on Knowledge-Based Systems for Model-Based Engineering, Berlin, Germany, 2000.
[17]: Frank Harary, Wolfgang Slany, and Oleg Verbitsky. A symmetric strategy in graph avoidance games. In MSRI-CGTR'2000, the 2nd Combinatorial Game Theory Research Workshop at the Mathematical Sciences Research Institute in Berkeley, California, July 2000. Link to slides and video at MSRI.
[18]: Thomas Havelka, Markus Stumptner, and Franz Wotawa. AD2L- A Programming Language for Model-Based Systems (Preliminary Report). In Proceedings of the Eleventh International Workshop on Principles of Diagnosis, Morelia, Mexico, June 2000.
[19]: Johann Hörl and Bernhard K. Aichernig. Validating voice communication requirements using lightweight formal methods. IEEE Software, pages 21-27, May/June 2000.
[20]: 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. (PostScript). (PDF).
[21]: Martin Ilkerl, Markus Stumptner, and Franz Wotawa. Model-based diagnosis and manufacturing control. In ECAI 2000 Workshop on Knowledge-Based Engineering, Berlin, 2000.
[22]: Martin Ilkerl, Markus Stumptner, and Franz Wotawa. Model-based Diagnosis in Manufacturing. In ECAI'2000 Workshop on Knowledge-Based Systems for Model-Based Engineering, Berlin, Germany, 2000.
[23]: Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Locating bugs in Java programs -- first results of the Java Diagnosis Experiments (Jade) project. In Proceedings IEA/AIE, New Orleans, 2000. Springer-Verlag.
[24]: Cristinel Mateis, Markus Stumptner, and Franz Wotawa. A Value-Based Diagnosis Model for Java Programs. In Proceedings of the Eleventh International Workshop on Principles of Diagnosis, Morelia, Mexico, June 2000.
[25]: Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Modeling Java Programs for Diagnosis. In Proceedings of the European Conference on Artificial Intelligence (ECAI), Berlin, Germany, August 2000.
[26]: Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. JADE - A Step towards an Intelligent Debugger. In Proc. DX'00 Workshop, Morelia, Mexico, June 2000.
[27]: Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. AI Support for Debugging Java Programs. In 3rd Workshop on Intelligent SW Eng., Limerick, Ireland, June 2000.
[28]: Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. JADE - AI Support for Debugging Java Programs. In Proceedings of the 12th International Conference on Tools with Artificial Intelligence, Canada, November 2000. Also appears in [27].
[29]: Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Model-Based Debugging of Java Programs. In Proceedings of the 4th International Workshop on Automated and Algorithmic Debugging, AADEBUG '00, Munich, Germany, 2000.
[30]: Nysret Muslija, Johannes Gärtner, and Wolfgang Slany. Efficient generation of rotating workforce schedules. Technical Report DBAI-TR-2000-35, Institut für Informationssysteme der Technischen Universität Wien, 2000. Link to arXiv preprint.
[31]: Nysret Muslija, Johannes Gärtner, and Wolfgang Slany. Efficient generation of rotating workforce schedules. In Edmund Burke and Wilhelm Erben, editors, Proceedings of the 3rd int. conf. on the practice and theory of automated timetabling (PATAT 2000), pages 314-332, August 2000. Link to arXiv preprint.
[32]: Walther A. Neuper. Mathematics tutoring III: Reactive user-guidance by an autonomous engine doing high-school math. Technical Report IST-TEC-00-11, Institute for Software Technology, TU-Graz, Austria, December 2000. (PostScript).
[33]: K. Ravi, R. Bloem, and F. Somenzi. A comparative study of symbolic algorithms for the computation of fair cycles. In W. A. Hunt, Jr. and S. D. Johnson, editors, Formal Methods in Computer Aided Design, pages 143-160. Springer-Verlag, November 2000. LNCS 1954. .
[34]: Wolfgang Slany. The complexity of graph Ramsey games. In Tony Marsland and Ian Frank, editors, Proceedings of the 2nd International Conference on Computers and Games, Hamamatsu, Japan, October 2000.
[35]: Wolfgang Slany. Theory and practice of shift scheduling (invited paper). In Proceedings of the Workshop on Algorithm Engineering as a New Paradigm: A Challenge to Hard Computation Problems, page 35, Research Institute for Mathematical Science, Kyoto University, Japan, October 2000.
[36]: Wolfgang Slany. Manpower shift scheduling (invited paper). In Proceedings of the Eurofuse Workshop on Scheduling and Planning, Mons, Belgium, April 2000.
[37]: Wolfgang Slany, Nysret Musliu, Guy Kortsarz, and Johannes Gärtner. Theory and practice of shift scheduling (invited paper). RIMS Kokyuroku of the Research Institute of Mathematical Sciences, Kyoto University, 1185:172-181, 2000.
[38]: F. Somenzi and R. Bloem. Efficient Büchi automata from LTL formulae. In E. A. Emerson and A. P. Sistla, editors, Twelfth Conference on Computer Aided Verification (CAV'00), pages 248-263. Springer-Verlag, Berlin, July 2000. LNCS 1855. .
[39]: Markus Stumptner and Franz Wotawa. Using Model-Based Reasoning for Locating Faults in VHDL Designs. Künstliche Intelligenz, 14(4):62-67, 2000.
[40]: Markus Stumptner and Franz Wotawa. Guest--Editorial Special Issue on Industrial Applications of Model-based Reasoning. AI Communications, 13(2), 2000.
[41]: Franz Wotawa. Debugging VHDL Designs using Model-Based Reasoning. Artificial Intelligence in Engineering, 14(4):331-351, 2000.
[42]: Franz Wotawa and Gerhard Wotawa. Deriving Qualitative Rules from Neural Networks in Environmental Science -- Preliminary Report. In ECAI'2000 Workshop on Binding Environmental Science and Artificial Intelligence (BESAI'2000), Berlin, Germany, 2000.

1999

[1]: 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. (PostScript).
[2]: 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. (PostScript). (PDF).
[3]: 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 18th International Conference, SAFECOMP'99, Toulouse, France, September 1999, volume 1698 of Lecture Notes in Computer Science, pages 250-259. Springer, 1999. (PostScript). (PDF).
[4]: Bernhard K. Aichernig. Test-case generation as a refinement problem. Technical Report IST-TEC-99-21, Institute for Software Technology, TU-Graz, Austria, 1999. (PostScript).
[5]: 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, TU-Graz, Austria, February 1999. Presented at VDM-Workshop at FM'99, Toulouse, France, September 20-24. (PostScript).
[6]: 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. (PostScript). (PDF).
[7]: O. Aichholzer. The path of a triangulation. In Proc. 15^th Ann. ACM Symp. Computational Geometry, pages 14-23, Miami Beach, Florida, USA, 1999. . For an implementation see my page on triangulation counting.
[8]: 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. . Click here for Figures and Animations of Skew Voronoi Diagrams
[9]: 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]. .
[10]: Thomas Albrecht, Gerhard Friedrich, Stefan Rohringer, Markus Stumptner, and Franz Wotawa. The Design Diagnosis of VHDL Specificiations Project (DDV) - Fault Localization in Hardware Designs. Journal of the Austrian Society for Artificial Intelligence, 18(1), 1999.
[11]: Andreas Ausserhofer. Web-based teaching and learning --- a panacea? IEEE Communications Magazine, Feature Topic on Tele-Learning, March 1999. (PostScript).
[12]: Andreas Ausserhofer. S.E.A.L. --- a new approach in teaching computing. In Proceedings of the Fourth International Conference on Computers and Advanced Technology in Education, Cherry Hill, New Jersey, USA, May 6-8 1999. International Association of Science and Technology for Development IASTED. To be published. (PostScript).
[13]: Andreas Ausserhofer. S.E.A.L. --- actual improvement in and new perspectives on future teaching computing. In Proceedings of the Sixteenth International Conference on Technology and Education, University of Edinburgh, Edinburgh, Scotland, March 29-31 1999. International Conferences on Technology and Education, Inc. To be published. (PostScript).
[14]: R. Bloem, K. Ravi, and F. Somenzi. Efficient decision procedures for model checking of linear time logic properties. In N. Halbwachs and D. Peled, editors, Eleventh Conference on Computer Aided Verification (CAV'99), pages 222-235. Springer-Verlag, Berlin, 1999. LNCS 1633. .
[15]: Georg Droschl. Using PVS for requirements analysis of an access control. Australian Journal of Information Systems, 7(1):146-157, September 1999. Special issue on Requirements Engineering.
[16]: Georg Droschl. Events and scenarios in VDM and PVS. In 3rd Irish Workshop in Formal Methods, Galway, Electronic Workshops in Computing. Springer-Verlag, July 1999. (PostScript).
[17]: Georg Droschl. Analyzing the requirements of an access control using VDMTools and PVS (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 1870. Springer, 1999. (PostScript).
[18]: Georg Droschl. Design and application of a test case generator for VDM-SL (extended abstract). 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. (PostScript).
[19]: Markus Stumptner und Franz Wotawa. Reconfiguration using model-based diagnosis. In Proceedings of the Tenth International Workshop on Principles of Diagnosis, Loch Awe, Scotland, 1999. Newer version of [sw98].
[20]: Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. Artificial Intelligence, 111(2):3-39, July 1999.
[21]: 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. (PostScript). (PDF).
[22]: 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, TU-Graz, Austria, February 1999. (PostScript).
[23]: Cristinel Mateis, Markus Stumptner, and Franz Wotawa. A Functional Dependency Model for Java Programs. Technical Report DBAI-TR-99/xx, Technische Universität Wien, Institut für Informationssysteme 184/2, Paniglgasse 16, A-1040 Wien, Austria, 1999.
[24]: Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Debugging of Java programs using a model-based approach. In Proceedings of the Tenth International Workshop on Principles of Diagnosis, Loch Awe, Scotland, 1999.
[25]: Nysret Muslija, Johannes Gärtner, and Wolfgang Slany. Shift scheduling from a combinatorial optimization point of view (abstract). In Third Alio-Euro Workshop on Applied Combinatorial Optimization, Erice-Italy, November 1999.
[26]: Walther Neuper. Mathematics tutoring II: A mathematics-engine for guided interaction. Technical Report IST-TEC-99-15, Institute for Software Technology, TU-Graz, Austria, August 1999. (PostScript).
[27]: Walter A. Neuper. Mathematics tutoring I: Problem types for mechanized problem solving. Technical Report IST-TEC-99-07, Institute for Software Technology, TU-Graz, Austria, February 1999. (PostScript).
[28]: Christian Piccardi and Franz Wotawa. Towards a framework for mobile diagnosis agents. In Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1999.
[29]: 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. (PostScript). (PDF).
[30]: Wolfgang Slany. The graph Ramsey achievement game is PSPACE-complete. In A. Sali, M. Simonovits, and V.T. Sós, editors, Research Communications of the conference held in memory of Paul Erd H os (ERD H OS'99), pages 231-235, Budapest, July 1999. János Bolyai Mathematical Society.
[31]: Wolfgang Slany. Graph Ramsey games. Technical Report DBAI-TR-99-34, Institut für Informationssysteme der Technischen Universität Wien, 1999. Link to arXiv preprint.
[32]: Markus Stumptner and Franz Wotawa. Debugging Functional Programs. In Proceedings 16^th International Joint Conf. on Artificial Intelligence, pages 1074-1079, Stockholm, Sweden, August 1999.
[33]: Markus Stumptner and Franz Wotawa. Detecting and locating faults in hardware designs. In AAAI 99 Workshop on Intelligent Software Engineering, Orlando, Florida, 1999. .
[34]: Markus Stumptner and Franz Wotawa. Jade -- java diagnosis experiments -- status and outlook. In IJCAI '99 Workshop on Qualitative and Model Based Reasoning for Complex Systems and their Control, Stockholm, Sweden, 1999.
[35]: S. Wahl, N. Muslija, R. Angelova, W. Slany, G. Herber, and M. Janke. Shiftplanassistant 4.0 -- state of development. Shiftwork International Newsletter, 16(2):124, September 1999. Abstract presented at the XIV International Symposium on Night and Shiftwork, September 13-17, 1999, Wiesensteig, Germany.
[36]: Dominik Wieland and Franz Wotawa. Local Maximum Ozone Concentration Prediction Using Neural Networks. In AAAI-99 Workshop on Environmental Decision Support Systems and Artificial Intelligence (W7), 1999.
[37]: Franz Wotawa. New Directions in Debugging Hardware Designs. Technical Report DBAI-TR-99-24, Technische Universität Wien, 1999.
[38]: Franz Wotawa. New Directions in Debugging Hardware Designs. In Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1999. Springer, Lecture Notes in Artificial Intelligence 462 (LNAI 462).
[39]: Franz Wotawa. Debugging synthesizeable VHDL Programs. In Proceedings of the Tenth International Workshop on Principles of Diagnosis, 1999.
[40]: Franz Wotawa. Guest--Editorial Special Issue on Model-Based Reasoning. AI Communications, 12(1/2), 1999.

1998

[1]: 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. (PostScript). (PDF).
[2]: Bernhard K. Aichernig. A telephone exchange specification in VDM-SL. Technical Report IST-TEC-98-04, Institute for Software Technology, TU-Graz, Austria, December 1998. (PostScript).
[3]: Bernhard K. Aichernig. Teaching programming to the uninitiated using Mathematica. Technical Report IST-TEC-98-03, Institute for Software Technology, TU-Graz, Austria, May 1998. (PostScript).
[4]: 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, TU-Graz, Austria, May 1998. (PostScript available on demand).
[5]: Bernhard K. Aichernig and Peter Lucas. Softwareentwicklung --- eine Ingenieursdisziplin!(?). Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV), 4(2):2-8, 1998. ISSN 1028-5068.
[6]: 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]. .
[7]: 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. .
[8]: 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. .
[9]: 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. .
[10]: 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]. .
[11]: Andreas Ausserhofer. Teaching computing using an interactive multiparadigm programming environment. In Proceedings of the Fifteenth International Conference on Technology and Education, pages 160-162, Santa Fe, New Mexico, USA, March 8-11 1998. International Conferences on Technology and Education, Inc. ISBN 0-9658957-2-6. (PostScript).
[12]: Georg Droschl. Increasing confidence in implicit function definition. In ISSRE'98: The Ninth International Symposium on Software Reliability Engineering, Paderborn, Germany, pages 51-52, 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. (PostScript).
[13]: Brigitte Fröhlich. Program Generation Based on Implicit Definitions in a VDM-like Language. PhD thesis, Institute for Software Technology, TU-Graz, Austria, December 1998. Supervisor: Peter Lucas. (PostScript).
[14]: Georg Gottlob, Nicola Leone, Wolfgang Slany, Helmut Veith, and Franz Wotawa. Research at DBAI on logic and complexity. Journal of the Austrian Society for Artificial Intelligence, 1998.
[15]: Andreas Raggl and Wolfgang Slany. A reusable iterative optimization library to solve combinatorial problems with approximate reasoning. International Journal of Approximate Reasoning, 19(1-2):161-191, July/August 1998.
[16]: Andreas Raggl and Wolfgang Slany. A reusable iterative optimization library to solve combinatorial problems with approximate reasoning. Technical Report DBAI-TR-98-23, Institut für Informationssysteme der Technischen Universität Wien, 1998. Link to arXiv preprint.
[17]: Wolfgang Slany. Industrial multiple criteria scheduling with fuzzy constraints. In Enrique Ruspini, Piero Bonissone, and Witold Pedrycz, editors, Handbook of Fuzzy Computations, chapter G16.1. Oxford University Press and IOP Publishing Ltd., New York and Bristol, 1st edition, 1998.
[18]: Wolfgang Slany. Approximate reasoning in scheduling (preface of the special issue). International Journal of Approximate Reasoning, 19(1-2):1-3, July/August 1998.
[19]: Markus Stumptner and Franz Wotawa. Model-based reconfiguration. In Proceedings Artificial Intelligence in Design, Lisbon, Portugal, 1998.
[20]: Markus Stumptner and Franz Wotawa. VHDLDIAG+:Value-level Diagnosis of VHDL Programs. Technical Report DBAI-MBD-TR-98-01, Technische Universität Wien, 1998.
[21]: Markus Stumptner and Franz Wotawa. VHDLDIAG+:Value-level Diagnosis of VHDL Programs. In Proceedings of the Ninth International Workshop on Principles of Diagnosis, Cape Cod, May 1998.
[22]: Markus Stumptner and Franz Wotawa. Model-based debugging of functional programs. In Proceedings of the Ninth International Workshop on Principles of Diagnosis, Cape Cod, May 1998.
[23]: Markus Stumptner and Franz Wotawa. A Survey of Intelligent Debugging. AI Communications, 11(1), 1998.
[24]: Markus Stumptner and Franz Wotawa. Mbd research activities at vienna university of technology. In Proceedings of the ECAI-98 Workshop W5 'Model-based systems and qualitative reasoning', Brighton, UK, August 1998.
[25]: Wolfgang Slany, editor. Special issue on approximate reasoning in scheduling. International Journal of Approximate Reasoning, 19(1-2):1-3, July/August 1998.

1997

[1]: Bernhard K. Aichernig. FME'97 --- Formale Methoden in Graz. Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV), 3(3):34-35, 1997. ISSN 1028-5068.
[2]: 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. (PostScript). (PDF).
[3]: 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. (PostScript). (PDF).
[4]: 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. .
[5]: 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. . For an implementation see my page on triangulation counting.
[6]: 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. .
[7]: 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]. .
[8]: Andreas Ausserhofer. Collaborative asynchronous teamwork in university lectures using the WWW and electronic discussion forums. In WebNet'97, Toronto, Canada, November 1-5 1997.
[9]: R. Bloem and J. Engelfriet. Monadic second order logic and node relations on graphs and trees. In J. Mycielski and G. Rozenberg, editors, Structures in Logic and Computer Science, pages 144-161. Springer Verlag, 1997. .
[10]: Markus Bonner, Stefan Mayer, Andreas Raggl, and Wolfgang Slany. FLIP++: A fuzzy logic inference processor library. In Trevor P. Martin and Anca L. Ralescu, editors, Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems, volume 1188 of Lecture Notes in Artificial Intelligence, pages 44-56. Springer, 1997.
[11]: J. Engelfriet and R. Bloem. Characterization of properties and relations defined in monadic second order logic on the nodes of trees. Technical Report TR97-03, Leiden Institute of Advanced Computer Science, 1997. .
[12]: Brigitte Fröhlich. Program generation based on postconditions. In M.H. Hmaza, editor, Software Engineering (SE'97), pages 62-66. IASTED, IASTED/ACTA Press, November 1997. ISBN: 0-88986-244-3. (PostScript).
[13]: Georg Gottlob and Wolfgang Slany. Report on the ASHCOMP 96 school and workshop on approximate solutions of hard combinatorial problems. Bulletin of the European Association for Theoretical Computer Science (EATCS), 61:125-130, February 1997.
[14]: 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. .
[15]: Peter Lucas. On teaching software architecture precisely. In 5th Annual Conference on the Teaching of Computing. Center for Teaching Computing, Dublin City University, August 1997. (PostScript).
[16]: Claus Reichel and Wolfgang Slany, editors. StarFLIP++ Version 1.0: A reusable iterative optimization library for combinatorial problems with fuzzy constraints. Compact disc, July 1997.
[17]: Claus Reichel and Wolfgang Slany, editors. StarFLIP++ Version 1.0: A reusable iterative optimization library for combinatorial problems with fuzzy constraints: Reference manual. Technical Report DBAI-TR-97-11, Institute of Information Systems (E184-2), Vienna University of Technology, June 1997.
[18]: Markus Stumptner and Franz Wotawa. Diagnosing Tree-Structured Systems. In Proceedings 15^th International Joint Conf. on Artificial Intelligence, Nagoya, Japan, 1997.
[19]: Markus Stumptner and Franz Wotawa. Diagnosing tree-structured systems. In Proceedings of the Eighth International Workshop on Principles of Diagnosis, Le Mont-Saint-Michel, France, 1997. Also appeared in IJCAI-97.

1996

[1]: O. Aichholzer. Clustering the hypercube. SFB-Report F003-93, SFB 'Optimierung und Kontrolle', TU Graz, Austria, 1996. .
[2]: 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]. .
[3]: 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]. .
[4]: 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]. .
[5]: 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. .
[6]: 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. .
[7]: R. Bloem. Attribute Grammars and Monadic Second Order Logic. Master's thesis, University of Leiden, the Netherlands, 1996. .
[8]: Markus Bonner, Stefan Mayer, Andreas Raggl, and Wolfgang Slany. Modeling constraints with the fuzzy logic inference processor FLIP++. In Hans-Jürgen Zimmermann, editor, EUFIT'96, Fourth European Congress on Intelligent Technologies and Soft Computing, volume 2, pages 1312-1316, Aachen, Germany, September 1996. Verlag Mainz.
[9]: Markus Bonner and Wolfgang Slany. Man machine cooperation for learning a complex control task with FLIP++. In Rudolf Felix, editor, European Workshop on Fuzzy Decision Analyis for Management, Planning and Optimization (EFDAN'96), pages 115-120, Dortmund, Germany, May 1996.
[10]: Markus Bonner and Wolfgang Slany. Man machine cooperation for learning a complex control task. CD-Studie 96/22, Christian Doppler Laboratory for Expert Systems, Vienna University of Technology, 1996.
[11]: Jürgen Dorn, Mario Girsch, Günther Skele, and Wolfgang Slany. Comparison of iterative improvement techniques for schedule optimization. European Journal of Operational Research, 94(2):349-361, October 1996.
[12]: Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. In Proceedings of the European Conference on Artificial Intelligence (ECAI), Budapest, August 1996.
[13]: Brigitte Froehlich and Peter Gorm Larsen. Combining VDM-SL specifications with C++ code. In James Woodcock Marie-Claude Gaudel, editor, FME'96: Industrial Benefit and Advances in Formal Methods, volume 1051 of LNCS, pages 179-194. Springer, March 1996. (PostScript).
[14]: Witold Hendrysiak, Andreas Raggl, and Wolfgang Slany. DomFLIP++. In Da Ruan, Pierre D'hondt, Paul Govaerts, and Etienne E. Kerre, editors, Intelligent Systems and Soft Computing for Nuclear Science and Industry, Proceedings of the 2nd International FLINS Workshop, pages 123-129, Mol, Belgium, September 1996. World Scientific.
[15]: Erich Peter Klement and Wolfgang Slany. Fuzzy logic in artificial intelligence. In Allen Kent and James G. Williams, editors, Encyclopedia of Computer Science and Technology, volume 34. Marcel Dekker, Inc. New York, 1996.
[16]: Fritz Leisch, Kurt Hornik, Markus Bonner, and Wolfgang Slany. A proposal of hard- and software for desulphurization control with neural networks and fuzzy logic. CD-Studie 96/21, Christian Doppler Laboratory for Expert Systems, Vienna University of Technology, 1996.
[17]: Peter Lucas and Franz Rendl. National report on computer science education at austrian universities. In Evaluation Conference on Inter University Cooperation in Europe. Center for Teaching Computing, Dublin City University, July 1996. (PostScript).
[18]: Stefan Mayer and Wolfgang Slany. InterFLIP++: A GUI for FLIP++. In Proceedings of the International Panel Conference on Soft and Intelligent Computing--SIC'96, pages 197-202, Budapest, Hungary, October 1996.
[19]: Ulrich Santa, Wolfgang Slany, and Mazen Younes. *FLIP++: a partial constraint satisfaction system for steelmaking scheduling. In Marc Wallace, editor, Proceedings of the Second International Conference on the Practical Applications of Constraint Technology (PACT'96): Scheduling, Resource Allocation, Planning, Configuration, pages 211-220, London, UK, April 1996.
[20]: Christian P. Schinagl. VDM specification of the steam-boiler control using rsl notation -- appendix. In J.-R. Abrial, E. Boerger, and H. Langmaak, editors, Formal Methods for Industrial Applications, Specifying the Steam Boiler Control, volume 1165 of LNCS. Springer, September 1996. On the attached CD-ROM. (PostScript).
[21]: Christian P. Schinagl. VDM specification of the steam-boiler control using rsl notation. In J.-R. Abrial, E. Boerger, and H. Langmaak, editors, Formal Methods for Industrial Applications, Specifying the Steam Boiler Control, volume 1165 of LNCS, pages 428-453. Springer, September 1996. (PostScript).
[22]: Wolfgang Slany. Scheduling as a fuzzy multiple criteria optimization problem. Fuzzy Sets and Systems, 78:197-222, March 1996.
[23]: Wolfgang Slany. CheckFLIP++: A knowledge acquisition tool for the fuzzy constraints-based *FLIP++ scheduling library. In Proceedings of the 6th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'96), volume 2, pages 611-616, Granada, Spain, July 1996.
[24]: Wolfgang Slany. DynaFLIP++: a knowledge interpreter that matches dynamic domain knowledge with static fuzzy constraints. In Proceedings of the 4th International Conference on Soft Computing--IIZUKA'96, volume 2, pages 955-958, Iizuka, Japan, October 1996.
[25]: Wolfgang Slany. A knowledge-base revision tool for the fuzzy constraints-based *FLIP++ scheduling library. In Proceedings of the 5th International Conference on Fuzzy Systems--FUZZ-IEEE'96, volume 1, pages 306-312, New Orleans, September 1996.
[26]: Wolfgang Slany and Ján Va v s v cák. A consistency checker for a fuzzy diagnosis system applied to warm rolling-mills in steelmaking plants. In Proceedings of the 5th International Conference on Fuzzy Systems--FUZZ-IEEE'96, volume 1, pages 206-212, New Orleans, September 1996.
[27]: Markus Stumptner and Franz Wotawa. A model-based approach to software debugging. Technical Report DBAI-MBD-TR-96-05, Technische Universität Wien, June 1996.
[28]: Markus Stumptner and Franz Wotawa. Model-based program debugging and repair. Technical Report DBAI-MBD-TR-96-06, Technische Universität Wien, April 1996.
[29]: Markus Stumptner and Franz Wotawa. Model-based diagnosis of hardware description languages. Technical Report DBAI-MBD-TR-96-07, Technische Universität Wien, May 1996.
[30]: Markus Stumptner and Franz Wotawa. A model-based tool for finding faults in hardware designs. In Proceedings Artificial Intelligence in Design, Stanford, 1996.
[31]: Markus Stumptner and Franz Wotawa. Model-based program debugging and repair. In Proceedings IEA/AIE, Fukuoka, 1996.
[32]: Markus Stumptner and Franz Wotawa. Model-based diagnosis of hardware description languages. In Proc. CESA'96 IMACS Multiconf., Lille, 1996.
[33]: Markus Stumptner and Franz Wotawa. A model-based approach to software debugging. In Proceedings of the Seventh International Workshop on Principles of Diagnosis, Val Morin, Canada, 1996.
[34]: Markus Stumptner and Franz Wotawa. Two algorithms for model-based diagnosis. Technical Report DBAI-MBD-TR-96-08, Technische Universität Wien, September 1996.
[35]: Franz Wotawa. Applying Model-Based Diagnosis to Software Debugging of Concurrent and Sequential Imperative Programming Languages. PhD thesis, Technische Universität Wien, 1996.
[36]: Ján Va v s v cák and Wolfgang Slany. The automatic check of knowledge base consistency. In Proc. of the Conference on Intelligent Technologies --- The Symposium on New Trends in Control of Large Scale Systems, pages 113-122, Herlany, Slovakia, November 1996.

1995

[1]: O. Aichholzer. Local properties of triangulations. In Proc. 11^th European Workshop on Computational Geometry CG '95, pages 27-30, Hagenberg/Linz, Austria, 1995. .
[2]: 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]. . Click here for the Online Version
[3]: 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. .
[4]: 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. .
[5]: 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. .
[6]: 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. .
[7]: Thomas Albrecht, Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. WFCOMP and VHDLDIAG: Two Tools for Utilizing the Hardware Design Cycle. Technical Report DBAI-MBD-TR-95-04, Technische Universität Wien, June 1995.
[8]: Markus Bonner, Stefan Mayer, Andreas Raggl, and Wolfgang Slany. FLIP++: A fuzzy logic inference processor library. In Workshop Notes of the IJCAI'95 Workshop on Fuzzy Logic in Artificial Intelligence, pages 83-92, Montreal, Canada, August 1995.
[9]: Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. Technical Report DBAI-MBD-TR-95-01, Technische Universität Wien, January 1995.
[10]: Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. In Proc. DX'95 Workshop, Goslar, October 1995.
[11]: Ali Gharakani and Wolfgang Slany. Hospital scheduling from a fuzzy logic programming perspective - a case study. In Workshop Notes of the IJCAI'95 Workshop on Fuzzy Logic in Artificial Intelligence, pages 66-76, Montreal, Canada, August 1995.
[12]: Wolfgang Slany. Dynamic constraints in the *FLIP++ optimization libraries. In Proceedings of the 6th International Fuzzy Systems Association World Congress (IFSA'95), volume 2, pages 13-16, Sao Paulo, Brazil, July 1995.
[13]: Wolfgang Slany. Comparing partial constraint satisfaction models. In Workshop Notes of the CP'95 Workshop on Over-Constrained Systems, pages 151-159, Cassis, France, September 1995.
[14]: Markus Stumptner and Franz Wotawa. A graph representation for diagnosing the execution of functional programs. Technical Report DBAI-MBD-TR-95-02, Technische Universität Wien, January 1995.
[15]: Markus Stumptner and Franz Wotawa. Modeling VHDL Programs for Diagnosis with Linear Computational Complexity. Technical Report DBAI-MBD-TR-95-03, Technische Universität Wien, June 1995.

1994

[1]: 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. .
[2]: 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. .
[3]: 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. .
[4]: Jürgen Dorn. Interaction with a scheduling system by soft constraints. SIGMAN Workshop on Scheduling in New Orleans, U.S.A., 1994.
[5]: Jürgen Dorn, Mario Girsch, Günther Skele, and Wolfgang Slany. Comparison of iterative improvement techniques for schedule optimization. CD-Technical Report 94/61, Christian Doppler Laboratory for Expert Systems, Vienna University of Technology, 1994.
[6]: Jürgen Dorn, Mario Girsch, Günter Skele, and Wolfgang Slany. Comparison of iterative improvement techniques for schedule optimization. In P. Prosser, editor, 13th UK Planning/Scheduling SIG Workshop, Glasgow, September 1994. appeared also as CD-TR 94/61.
[7]: Jürgen Dorn and Roger Kerr. Co-operating scheduling systems communicating through fuzzy sets. IFAC-IMS Workshop in Vienna, Austria., 1994.
[8]: Jürgen Dorn and Wolfgang Slany. A flow shop with compatibility constraints in a steelmaking plant. In Mark Fox and Monte Zweben, editors, Intelligent Scheduling, chapter 22, pages 629-654. Morgan Kaufmann, 1994.
[9]: Roger M. Kerr and Wolfgang Slany. Research issues and challenges in fuzzy scheduling. CD-Technical Report 94/68, Christian Doppler Laboratory for Expert Systems, Vienna University of Technology, 1994.
[10]: Erich Peter Klement and Wolfgang Slany. Fuzzy logic in artificial intelligence. CD-Technical Report 94/67, Christian Doppler Laboratory for Expert Systems, Vienna University of Technology, 1994.
[11]: Wolfgang Slany. Scheduling as a fuzzy multiple criteria optimization problem. CD-Technical Report 94/62, Christian Doppler Laboratory for Expert Systems, Vienna University of Technology, 1994.
[12]: Wolfgang Slany. Scheduling with fuzzy decision making methods (invited paper). In Mario Fedrizzi, Erich P. Klement, Aldo Ventre, and Alessandro Zorat, editors, Proceedings of CIFT'94: Current Issues in Fuzzy Technologies: Decision Models and Systems, pages 167-171, Trento, Italy, June 1994.
[13]: Wolfgang Slany. Fuzzy scheduling. CD-Technical Report 94/66, Christian Doppler Laboratory for Expert Systems, Vienna University of Technology, 1994.
[14]: Wolfgang Slany. Fuzzy Scheduling. PhD thesis, Vienna University of Technology, 1994.
[15]: Wolfgang Slany. Fuzzy expert system for maintenance interval prediction. Computers Chemical Engineering, 18:S155-S159, 1994.
[16]: Eva Valsky, Marcus Herzog, Riccardo Peratello, and Wolfgang Slany. The Department Information System of the Information Systems Department at the Vienna University of Technology. In Proceedings of the Eurographics Symposium and Workshop on Multimedia: Multimedia/Hypermedia in Open Distributed Environments, June 1994.