Dr. Manfred Reitenspieß

2023

• Ott F., Raichur NL., Ruegamer D., Feigl T., Neumann H., Bischl B., Mutschler C.:
  Benchmarking Visual-Inertial Deep Multimodal Fusion for Relative Pose Regression and Odometry-aided Absolute Pose Regression
  (2023), p. 1-29
  DOI: 10.48550/arXiv.2208.00919
  BibTeX: Download
  (Working Paper)

2021

• Altstidl TR., Kram S., Herrmann O., Stahlke M., Feigl T., Mutschler C.:
  Accuracy-Aware Compression of Channel Impulse Responses using Deep Learning
  International Conference on Indoor Positioning and Indoor Navigation (IPIN2021) (Lloret de Mar, 29.11.2021 - 02.12.2021)
  In: Proceedings of the International Conference on Indoor Positioning and Indoor Navigation (IPIN 2021) 2021
  DOI: 10.1109/IPIN51156.2021.9662545
  BibTeX: Download
• Dashuber V., Philippsen M., Weigend J.:
  A layered software city for dependency visualization (Best Paper Award)
  16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2021 (Virtual, originally Vienna, Austria, 08.02.2021 - 10.02.2021)
  In: Christophe Hurter, Helen Purchase, Jose Braz, Kadi Bouatouch (ed.): Proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 3: IVAPP, Portugal: 2021
  DOI: 10.5220/0010180200150026
  URL: http://www.ivapp.visigrapp.org
  BibTeX: Download
• Kamp M., Philippsen M.:
  Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible
  International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'2021) (Copenhagen, 17.01.2021 - 19.01.2021)
  In: Fritz Henglein, Sharon Shoham, Yakir Vizel (ed.): Verification, Model Checking, and Abstract Interpretation (VMCAI 2021), Cham: 2021
  DOI: 10.1007/978-3-030-67067-2_16
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/vmcai2021.pdf
  BibTeX: Download

2020

• Kamp M., Philippsen M.:
  Artifact for "Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible"
  Zenodo (2020)
  DOI: 10.5281/zenodo.4275482
  BibTeX: Download
  (online publication)
• Redzepagic A., Löffler C., Feigl T., Mutschler C.:
  A Sense of Quality for Augmented Reality Assisted Process Guidance
  International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct) (Ipojuca, Pernambuco, 09.11.2020 - 13.11.2020)
  In: IEEE Proc. International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct) 2020
  DOI: 10.1109/ISMAR-Adjunct51615.2020.00046
  BibTeX: Download

2019

• Feigl T., Kram S., Woller P., Siddiqui RH., Philippsen M., Mutschler C.:
  A Bidirectional LSTM for Estimating Dynamic Human Velocities from a Single IMU
  10th International Conference on Indoor Positioning and Indoor Navigation (IPIN) (Pisa, 30.09.2019 - 03.10.2019)
  In: IEEE (ed.): Proceedings of the 10th International Conference on Indoor Positioning and Indoor Navigation (IPIN) 2019
  DOI: 10.1109/IPIN.2019.8911814
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/IPIN2019.pdf
  BibTeX: Download
• Lugrin JL., Kern F., Kleinbeck C., Roth D., Daxer C., Feigl T., Mutschler C., Latoschik ME.:
  A Framework for Location-Based VR Applications
  GI VR/AR Workshop 2019 (Fulda, 17.09.2019 - 18.09.2019)
  In: Gesellschaft für Informatik e.V. (ed.): Virtuelle und Erweiterte Realitat: 16. Workshop der GI-Fachgruppe VR/AR (Berichte aus der Informatik) 2019
  URL: https://downloads.hci.informatik.uni-wuerzburg.de/2019-gi-vr-ar-framework-for-location-based-vr-applications.pdf
  BibTeX: Download
• Roth D., Brübach L., Westermeier F., Schell C., Feigl T., Latoschik ME.:
  A Social Interaction Interface Supporting Affective Augmentation Based on Neuronal Data
  Symposium on Spatial User Interaction (SUI'19) (New Orleans, 19.10.2019 - 20.10.2019)
  In: Christoph W. Borst, Arun K. Kulshreshth, Gerd Bruder, Stefania Serafin, Christian Sandor, Kyle Johnsen, Jinwei Ye, Daniel Roth, Sungchul Jung (ed.): Proceedings of the Symposium on Spatial User Interaction (SUI'19), New York, NY, USA: 2019
  DOI: 10.1145/3357251.3360018
  URL: https://dl.acm.org/citation.cfm?id=3357251.3360018
  BibTeX: Download

2018

• Lugrin JL., Kern F., Schmidt R., Kleinbeck C., Roth D., Daxer C., Feigl T., Mutschler C., Latoschik ME.:
  A Location-Based VR Museum
  10th International Conference on Virtual Worlds and Games for Serious Applications (VS Games 2018) (Würzburg, 05.09.2018 - 07.09.2018)
  In: Proceedings of the 10th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2018) 2018
  DOI: 10.1109/VS-Games.2018.8493404
  URL: http://doi.ieeecomputersociety.org/10.1109/VS-Games.2018.8493404
  BibTeX: Download

2017

• Feigl T., Mutschler C., Philippsen M., Kõre E.:
  Acoustical manipulation for redirected walking
  23rd ACM Symposium on Virtual Reality Software and Technology (VRST '17) (Gothenburg, 08.11.2017 - 10.11.2017)
  In: Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology (VRST '17), New York: 2017
  DOI: 10.1145/3139131.3141205
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/VRST2017.pdf
  BibTeX: Download
• Oster N., Kamp M., Philippsen M.:
  AuDoscore: Automatic Grading of Java or Scala Homework
  Third Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2017) (Potsdam, 05.10.2017 - 06.10.2017)
  In: Sven Strickroth Oliver Müller Michael Striewe (ed.): Proceedings of the Third Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2017) 2017
  Open Access: http://ceur-ws.org/Vol-2015/ABP2017_paper_01.pdf
  URL: http://ceur-ws.org/Vol-2015/ABP2017_paper_01.pdf
  BibTeX: Download

2016

• Kreutzer P., Dotzler G., Ring M., Eskofier B., Philippsen M.:
  Automatic clustering of code changes
  13th International Conference on Mining Software Repositories (MSR 2016) (Austin, TX, USA, 14.05.2016 - 15.05.2016)
  In: Proceedings of the 13th International Conference on Mining Software Repositories (MSR'16) 2016
  DOI: 10.1145/2901739.2901749
  URL: http://dl.acm.org/citation.cfm?id=2901749
  BibTeX: Download

2015

• Löffler C., Mutschler C., Philippsen M.:
  Approximative Event Processing on Sensor Data Streams (Best Poster and Demostration Award)
  9th ACM International Conference on Distributed Event-Based Systems (DEBS'15) (Oslo, 29.06.2015 - 03.07.2015)
  In: Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems (DEBS'15) 2015
  DOI: 10.1145/2675743.2776767
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/DEBS2015.pdf
  BibTeX: Download

2014

• Mutschler C., Philippsen M.:
  Adaptive Speculative Processing of Out-of-Order Event Streams
  In: ACM Transactions on Internet Technology 14 (2014), p. 4:1-4:24
  ISSN: 1533-5399
  DOI: 10.1145/2633686
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/ACM_TOIT2014.pdf
  BibTeX: Download
• Novac D.:
  Analysis of Transform-Domain Embedding and Statistical Detection of Watermarks (Diploma thesis, 2014)
  BibTeX: Download
• Tausch N., Philippsen M.:
  A Modular and Statically Typed Effectful Stack for Custom Graph Traversals
  8th International Workshop on Graph-Based Tools (GraBaTs 2014) (York, UK, 25.07.2014 - 25.07.2014)
  In: Tichy, Matthias ; Westfechtel, Bernhard (ed.): Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) 2014
  DOI: 10.14279/tuj.eceasst.68.952
  URL: http://journal.ub.tu-berlin.de/eceasst/article/view/952
  BibTeX: Download

2012

• Adersberger J.:
  Modellbasierte Extraktion, Repräsentation und Analyse von Traceability-Informationen (Dissertation, 2012)
  URL: https://www2.cs.fau.de/publication/download/2012_Dissertation_JosefAdersberger.pdf
  BibTeX: Download
• Dotzler G., Veldema R., Philippsen M.:
  Annotation Support for Generic Patches
  International Workshop on Recommendation Systems for Software Engineering (Zurich, Switzerland, 04.06.2012 - 04.06.2012)
  In: Proceedings of the Third International Workshop on Recommendation Systems for Software Engineering (RSSE 12) 2012
  DOI: 10.1109/RSSE.2012.6233400
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/DVP12.pdf
  BibTeX: Download
• Ellner R., Al-Hilank S., Jung M., Kips D., Philippsen M.:
  An Integrated Tool Chain for Software Process Modeling and Execution
  8th European Conference on Modeling Foundations and Applications (ECMFA 2012) (Lyngby, Denmark, 02.07.2012 - 05.07.2012)
  In: Störrle, Harald ; Botterweck, Goetz ; Bourdellès, Michel ; Kolovos, Dimitris ; Paige, Richard ; Roubtsova, Ella ; Rubin, Julia ; Tolvanen, Juha-Pekka (ed.): Joint Proceedings of co-located Events at the 8th European Conference on Modeling Foundations and Applications (ECMFA 2012), Copenhagen, Denmark: 2012
  URL: http://www2.imm.dtu.dk/conferences/ECMFA-2012/proceedings/PDF/ECMFA-2012-Workshop-Proceedings.pdf
  BibTeX: Download
• Novac D.:
  An Experimental Comparison of Resampling Detection Algorithms (Mid-study thesis, 2012)
  BibTeX: Download

2011

• Adersberger J.:
  Das Softwareleitstand-Prinzip: Softwarequalität kontinuierlich messen, analysieren und steuern
  German Testing Day 2011 (Frankfurt, 09.11.2011 - 09.11.2011)
  In: German Testing Day 2011 2011
  BibTeX: Download
• Ellner R., Al-Hilank S., Drexler J., Jung M., Kips D., Philippsen M.:
  A FUML-Based Distributed Execution Machine for Enacting Software Process Models
  Modelling Foundations and Applications (Birmingham, UK, 06.06.2011 - 09.06.2011)
  In: France, Robert ; Kuester, Jochen ; Bordbar, Behzad ; Paige, Richard (ed.): Proceedings 7th European Conference on Modeling Foundations and Applications, Berlin Heidelberg: 2011
  DOI: 10.1007/978-3-642-21470-7_3
  BibTeX: Download
• Stellwag P., Scheler F., Krainz J., Schröder-Preikschat W.:
  A Wait-Free NCAS Library for Parallel Applications with Timing Constraints
  16th ACM Symposium on Principles and Practice of Parallel Programming (PPoPP'11) (San Antonio, TX, 12.02.2011 - 16.02.2011)
  In: Proceedings of the 16th ACM Symposium on Principles and Practice of Parallel Programming 2011 (PPoPP 2011) 2011
  DOI: 10.1145/2038037.1941599
  URL: http://www4.informatik.uni-erlangen.de/Publications/2011/stellwag_ppopp2011_rtncas.pdf
  BibTeX: Download
• Tausch N., Philippsen M., Adersberger J.:
  A Statically Typed Query Language for Property Graphs
  15th International Database Engineering and Applications Symposium (IDEAS'11) (Lissabon, Portugal, 21.09.2011 - 23.09.2011)
  In: Bernardino, Jorge; Cruz, Isabel; Desai, Bipin C. (ed.): Proceedings of 15th International Database Engineering and Applications Symposium (IDEAS'11), New York: 2011
  DOI: 10.1145/2076623.2076653
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/Ntausch_ideas11.pdf
  BibTeX: Download
• Veldema R., Philippsen M.:
  A Hybrid Functional and Object-Oriented Language for a Multi-Core Future
  In: it - Information Technology 53 (2011), p. 84-90
  ISSN: 1611-2776
  DOI: 10.1524/itit.2011.0629
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/itit.2011.0629.pdf
  BibTeX: Download
• Weigend J., Siedersleben J., Adersberger J.:
  Dynamische Analyse mit dem Software-EKG
  In: Informatik-Spektrum 34 (2011), p. 484-495
  ISSN: 0170-6012
  DOI: 10.1007/s00287-011-0541-z
  BibTeX: Download
• Weigend J., Siedersleben J., Adersberger J.:
  Dynamische Analyse mit dem Software-EKG
  Software Engineering 2011 - Fachtagung des GI-Fachbereichs Softwaretechnik (Karlsruhe, 24.02.2011 - 25.02.2011)
  In: Ralf Reussner, Matthias Grund, Andreas Oberweis, Walter Tichy (ed.): Lecture Notes in Informatics (LNI), P-183, Bonn: 2011
  BibTeX: Download

2010

• Stellwag P., Krainz J., Schröder-Preikschat W.:
  A Wait-Free Dynamic Storage Allocator by Adopting the Helping Queue Pattern
  Parallel and Distributed Computing and Networks (PDCN 2010) (Innsbruck, Austria, 16.02.2010 - 18.02.2010)
  In: Proceedings Parallel and Distributed Computing and Networks (PDCN 2010), Calgary, AB, Canada: 2010
  DOI: 10.2316/P.2010.676-052
  URL: http://www4.informatik.uni-erlangen.de/Publications/2010/stellwag_pdcn2010_malloc.pdf
  BibTeX: Download
• Zvada S.:
  Attribute Grammar Based Genetic Programming (Dissertation, 2010)
  BibTeX: Download

2009

• Beyler JC., Klemm M., Clauss P., Philippsen M.:
  A meta-predictor framework for prefetching in object-based DSMs
  In: Concurrency and Computation-Practice & Experience 21 (2009), p. 1789-1803
  ISSN: 1532-0626
  DOI: 10.1002/cpe.1443
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/BKCP09.pdf
  BibTeX: Download
• Edelhäußer T., Kókai G.:
  Autonomous Configuration Method for Real-Time Location Systems
  NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2009) (San Francisco, CA, USA, 29.07.2009 - 01.08.2009)
  In: Suess, Martin ; Arslan, Tughrul (ed.): Proceedings NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2009) 2009
  DOI: 10.1109/AHS.2009.10
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/AHS2009.pdf
  BibTeX: Download
• Gnezdilov A., Wittmann S., Helwig S., Kókai G.:
  Acceleration of a Relative Positioning Framework
  In: International Journal of Computational Intelligence Research 5 (2009), p. 130-140
  ISSN: 0973-1873
  DOI: 10.5019/j.ijcir.2009.176
  BibTeX: Download
• Grimm R., Edelhäußer T., Kókai G.:
  An Efficient Configuration Method for RTLSs
  2nd International Symposium on Logistics and Industrial Informatics (LINDI 2009) (Linz, Austria, 10.09.2009 - 12.09.2009)
  In: Jacak, Witold ; Affenzeller, Michael (ed.): Proceeding 2nd International Symposium on Logistics and Industrial Informatics (LINDI 2009) 2009
  DOI: 10.1109/LINDI.2009.5258636
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/LINDI2009.pdf
  BibTeX: Download
• Kempf S.:
  A Language Independent JIT compiler library (Diploma thesis, 2009)
  URL: https://cs2-gitlab.cs.fau.de/i2public/thesis/-/blob/master/i2D00379.pdf
  BibTeX: Download
• Mutschler C.:
  Automatische Generierung von AUTOSAR Software Component Descriptions. (Other / na, 2009)
  URL: https://cs2-gitlab.cs.fau.de/i2public/thesis/-/blob/master/i2S00428.pdf
  BibTeX: Download
• Schell D.:
  Dynamische Programm-Code-Verwaltung und -Optimierung für eingebettete Systeme (Dissertation, 2009)
  URL: http://www.opus.ub.uni-erlangen.de/opus/volltexte/2009/1544/pdf/DominicSchellDissertation.pdf
  BibTeX: Download

2008

• Beyler JC., Klemm M., Philippsen M., Clauss P.:
  Automatic Prefetching with Binary Code Rewriting in Object-based DSMs (Best Paper)
  Euro-Par 2008 Conference (Las Palmas de Gran Canaria, Spain, 26.08.2008 - 29.08.2008)
  In: Luque, Emilio ; Margalef, Tomàs ; Benítez, Domingo (ed.): EuroPar 2008 - Parallel Processing, Berlin Heidelberg: 2008
  DOI: 10.1007/978-3-540-85451-7_69
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/dynamic_prefetcher.pdf
  BibTeX: Download
• Klemm M., Veldema R., Bezold M., Philippsen M.:
  A Proposal for OpenMP for Java
  International Workshop on OpenMP (IWOMP'05) (Reims, France, 01.06.2005 - 04.06.2005)
  In: Matthias S. Mueller, Barbara M. Chapman, Bronis R. de Supinski, Allen D. Malony, Michael Voss (ed.): OpenMP Shared Memory Parallel Programming, International Workshops IWOMP 2005 and IWOMP 2006, Berlin Heidelberg: 2008
  DOI: 10.1007/978-3-540-68555-5_33
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/java-openmp.pdf
  BibTeX: Download
• Klemm M., Veldema R., Philippsen M.:
  An Automatic Cost-based Framework for Seamless Application Migration in Grid Environments
  20th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS'08) (Orlando, FL, USA, 16.11.2008 - 18.11.2008)
  In: Proceedings of the 20th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS'08), Anaheim, CA, USA: 2008
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/OGRE-PDCS.pdf
  BibTeX: Download
• Pinte FA., Baier G., Saglietti F., Oster N.:
  Automatische Generierung optimaler modellbasierter Regressionstests
  Workshop on Model-Based Testing (MoTes 2008) (München, 08.09.2008 - 13.09.2008)
  In: Heinz-Gerd Hegering, Axel Lehmann, Hans Jürgen Ohlbach, Christian Scheideler (ed.): INFORMATIK 2008 - Beherrschbare Systeme dank Informatik (Band 1), Bonn: 2008
  BibTeX: Download
• Pinte FA., Saglietti F., Oster N.:
  Automatic Generation of Optimized Integration Test Data by Genetic Algorithms
  Software Engineering 2008 - Workshop "Testmethoden für Software - Von der Forschung in die Praxis" (München, 19.02.2008 - 19.02.2008)
  In: Walid Maalej, Bernd Bruegge (ed.): Software Engineering 2008 - Workshopband, Bonn: 2008
  URL: http://www11.informatik.uni-erlangen.de/Forschung/Publikationen/TESO%202008.pdf
  BibTeX: Download
• Veldema R., Larsen B., Philippsen M.:
  A DSM protocol aware of both thread migration and memory constraints (Best Paper)
  20th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS'08) (Orlando, FL, USA, 16.11.2008 - 18.11.2008)
  In: Gonzalez, Teofilo F. (ed.): Proceedings of the 20th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS'08), Anaheim, CA, USA: 2008
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/LVM-PDCS.pdf
  BibTeX: Download

2007

• Christoph D., Fühner T., Tollkühn B., Erdmann A., Kókai G.:
  Application of a memetic algorithm to the calibration of micro-lithography
  In: Grosan, Crina; Abraham, Ajith (ed.): Hybrid Evolutionary Algorithms, Berlin Heidelberg: Springer, 2007, p. 201-239
  ISBN: 978-3-540-73296-9
  DOI: 10.1007/978-3-540-73297-6
  BibTeX: Download
• Kókai G., Hofmann M., Klein A.:
  Adaptive Optimierung des Prefetch-Verhaltens bei objektorientierten Multi-Tier Client-Server-Systemen
  Knowledge Discovery, Data Mining, and Machine Learning (Halle, 24.09.2007 - 26.09.2007)
  In: Hinneburg, Alexander ; Klinkenberg, Ralf ; Mierswa, Ingo (ed.): Workshop-Week: Lernen-Wissen-Adaption (LWA 2007) 2007
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/lwa_2007.pdf
  BibTeX: Download
• Oster N.:
  Automatische Generierung optimaler struktureller Testdaten für objekt-orientierte Software mittels multi-objektiver Metaheuristiken (Dissertation, 2007)
  URL: https://www.ps.tf.fau.de/files/2020/04/norbertoster_dissertation2007.pdf
  BibTeX: Download
• Oster N., Saglietti F.:
  Automatische Testdatengenerierung mittels multi-objektiver Optimierung
  Software Engineering 2007 (Hamburg, 27.03.2007 - 30.03.2007)
  In: Wolf-Gideon Bleek, Henning Schwentner, Heinz Züllighoven (ed.): Software Engineering 2007 - Beiträge zu den Workshops, Bonn: 2007
  URL: http://subs.emis.de/LNI/Proceedings/Proceedings106/gi-proc-106-007.pdf
  BibTeX: Download
• Oster N., Schieber C., Saglietti F., Pinte FA.:
  Automatische, modellbasierte Testdatengenerierung durch Einsatz evolutionärer Verfahren
  Informatik 2007 - 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI) (Bremen, 24.09.2007 - 27.09.2007)
  In: Rainer Koschke, Otthein Herzog, Karl H Rödiger, Marc Ronthaler (ed.): Informatik 2007 - Informatik trifft Logistik, Bonn: 2007
  URL: http://cs.emis.de/LNI/Proceedings/Proceedings110/gi-proc-110-067.pdf
  BibTeX: Download

2006

• Danyi K., Kókai G., Csontos J.:
  A novel Mathematical Model for the Optimization of DNA-Chip Design and its Implementation
  EuroGP2006 & EvoCOP2006, incorporating EvoWorkshops 2006 (Budapest, 10.04.2006 - 12.04.2006)
  In: Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, Ernesto Costa, Carlos Cotta, Rolf Drechsler, Evelyne Lutton, Penousal Machado, Jason H. Moore, Juan Romero, George D. Smith, Giovanni Squillero, Hideyuki Takagi (ed.): Applications of Evolutionary Computing, Berlin Heidelberg: 2006
  DOI: 10.1007/11732242_3
  BibTeX: Download
• Janda P.:
  Automatic Design of Features for Classification of Physiological Signals Using Genetic Programming (Diploma thesis, 2006)
  URL: http://pswt.informatik.uni-erlangen.de/publication/download/DA-janda.pdf
  BibTeX: Download
• Oster N., Saglietti F.:
  Automatic Test Data Generation by Multi-Objective Optimisation
  25th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2006) (Gdansk, 26.09.2006 - 29.09.2006)
  In: Janusz Górski (ed.): Computer Safety, Reliability, and Security, Berlin Heidelberg: 2006
  DOI: 10.1007/11875567_32
  URL: http://link.springer.com/content/pdf/10.1007%2F11875567.pdf
  BibTeX: Download
• Otto S., Kirn S.:
  Adaption in distributed systems: an evolutionary approach
  8th Conference on Genetic and evolutionary computation (GECCO'06) (Seattle, WA, 08.07.2006 - 12.07.2006)
  In: Mike Cattolico (ed.): Proceedings of the 8th Conference on Genetic and evolutionary computation (GECCO'06), NY, USA: 2006
  DOI: 10.1145/1143997.1144031
  BibTeX: Download
• Wilke P.:
  An Integrated Framework for Distributed Timetabling
  Conf. on the Pratice and Theory of Automated Timetabling (PATAT 2006) (Brno, 30.08.2006 - 01.09.2006)
  In: Burke Edmund K., Rudová Hana (ed.): Proc. 6th Int. Conf. on the Pratice and Theory of Automated Timetabling (PATAT 2006) 2006
  BibTeX: Download

2005

• Böhm N., Kókai G., Mandl S.:
  An Evolutionary Approach to Tetris
  6th Metaheuristics International Conference (MIC 2005) (Wien, 22.08.2005 - 26.08.2005)
  In: 6th Metaheuristics International Conference 2005
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/mic.pdf
  BibTeX: Download
• Dormeyer R., Fischer I., Weber Russell S.:
  A Lexicon for Metaphors and Idioms
  In: Schnorbusch, Daniel ; Langer, Stefan (ed.): Semantik im Lexikon, Tübingen: Gunter Narr Verlag, 2005, p. 205-224 (Tübinger Beiträge zur Linguistik, Vol.479)
  ISBN: 3-8233-6099-X
  BibTeX: Download
• Kókai G., Frühauf HH., Xu F.:
  Adaptive smart antennae receiver controlled by a hardware-based genetic optimiser
  In: International Journal of Embedded Systems 1 (2005), p. 50-64
  ISSN: 1741-1068
  DOI: 10.1504/IJES.2005.008808
  BibTeX: Download
• Nijssen S., Meinl T., Karypis G.:
  3rd International Workshop on Mining Graphs, Trees and Sequences (MGTS 2005)
  2005
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/mgts2005.pdf
  BibTeX: Download
• Oster N.:
  Automated Generation and Evaluation of Dataflow-Based Test Data for Object-Oriented Software
  Second International Workshop on Software Quality (SOQUA 2005) (Erfurt, 20.09.2005 - 22.09.2005)
  In: Ralf Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker, Patrick J. Schroeder (ed.): Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Berlin Heidelberg: 2005
  DOI: 10.1007/11558569_16
  URL: http://link.springer.com/content/pdf/10.1007%2F11558569.pdf
  BibTeX: Download
• Otto S., Kirn S.:
  Adaption population size and strategies in multi agents systems using evolutionary computation
  In: Hohenheim (ed.): Technischer Bericht, Universität Hohenheim, 2005
  BibTeX: Download
  (Techreport)
• Wörlein M., Meinl T., Fischer I., Philippsen M.:
  A quantitative comparison of the subgraph miners MoFa, gSpan, FFSM, and Gaston
  9th European Conference on Principles and Practices of Knowledge Discovery in Databases (Porto, Portugal, 03.10.2005 - 07.10.2005)
  In: Jorge, Alipio; Torgo, Luis; Brazdil, Pavel; Camacho, Rui; Gama, Joao (ed.): Knowledge Discovery in Database: PKDD 2005, Berlin Heidelberg: 2005
  DOI: 10.1007/11564126_39
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/PKDD05.pdf
  BibTeX: Download

2004

• Barthelmann V.:
  Advanced Compiling Techniques to reduce RAM Usage of Static Operating Systems (Dissertation, 2004)
  URL: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/65
  BibTeX: Download
• Borgelt C., Meinl T., Berthold MR.:
  Advanced Pruning Strategies to Speed Up Mining Closed Molecular Fragments
  2004 IEEE Conference on Systems, Man & Cybernetics (Den Haag, 10.10.2004 - 13.10.2004)
  In: Thissen, Wil ; Wieringa, Peter ; Pantic, Maja ; Ludema, Marcel (ed.): Proceedings of the 2004 Intl Conference on Systems, Man and Cybernetics 2004
  DOI: 10.1109/ICSMC.2004.1401251
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/advancedPruning_SMC2004.pdf
  BibTeX: Download
• Hindel B., Hörmann K., Müller M., Schmied J.:
  Basiswissen Software-Projektmanagement - Aus- und Weiterbildung zum Certified Projektmanager nach iSQI-Standard
  Heidelberg: dpunkt.verlag, 2004
  ISBN: 3898642305
  BibTeX: Download
• Oster N.:
  Automatische Generierung optimaler datenflussorientierter Testdaten mittels evolutionärer Verfahren
  21. Treffen der Fachgruppe TAV [Test, Analyse und Verifikation von Software] (Berlin, 17.06.2004 - 18.06.2004)
  In: Udo Kelter (ed.): Softwaretechnik-Trends 2004
  URL: http://pi.informatik.uni-siegen.de/stt/24_3/01_Fachgruppenberichte/TAV/TAV21P4Oster.pdf
  BibTeX: Download
• Oster N., Dorn RD.:
  A Data Flow Approach to Testing Object-Oriented Java-Programs
  Probabilistic Safety Assessment and Management (PSAM7 - ESREL'04) (Berlin, 14.06.2004 - 18.06.2004)
  In: Cornelia Spitzer, Ulrich Schmocker, Vinh N. Dang (ed.): Probabilistic Safety Assessment and Managment, London: 2004
  DOI: 10.1007/978-0-85729-410-4_180
  URL: http://link.springer.com/chapter/10.1007%2F978-0-85729-410-4_180
  BibTeX: Download

2003

• Dormeyer Ricarda, Fischer Ingrid, Weber-Russell Sylvia:
  A lexicon for Metaphors and Idioms
  Arbeitsgruppe Semantisches Wissen im Lexikon (München, 26.02.2003 - 28.02.2003)
  In: Langer, Stefan ; Schnorbusch, Daniel (ed.): Semantik im Lexikon 2003
  URL: http://www.cis.uni-muenchen.de/events/dgfs2003/
  BibTeX: Download
• Gröbner M., Wilke P.:
  A General View on Timetabling Problems
  PATAT 2002 (Gent, 21.08.2003 - 23.08.2003)
  In: Proc. 4th Int. Conference on the Practice and Theory of Automated Timetabling IV, Berlin: 2003
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/AI02.ps.gz
  BibTeX: Download
• Gröbner M., Wilke P., Büttcher S.:
  A Standard Framework for Timetabling Problems
  4th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2002) (Gent, 21.08.2002 - 23.08.2002)
  In: Burke Edmund K., de Causmaecker Patrick (ed.): Practice and Theory of Automated Timetabling - 4th International Conference (PATAT 2002), Berlin Heidelberg: 2003
  DOI: 10.1007/b11828
  BibTeX: Download
• Prechelt L., Unger B., Philippsen M., Tichy WF.:
  A Controlled experiment on inheritance depth as a cost factor for maintenance
  In: Journal of Systems and Software 65 (2003), p. 115-126
  ISSN: 0164-1212
  DOI: 10.1016/S0164-1212(02)00053-5
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/jss.pdf
  BibTeX: Download
• Schulze M.:
  Ein sprachunabhängiger Ansatz zur Entwicklung deklarativer, robuster LA-Grammatiken mit einer exemplarischen Anwendung auf das Deutsche und das Englische (Dissertation, 2003)
  BibTeX: Download
• Tóth Z.:
  A graphical user interface for evolutionary algorithms
  In: Acta Cybernetica 16 (2003), p. 337-365
  ISSN: 0324-721X
  URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=0344736897&origin=inward
  BibTeX: Download
• Ványi R., Zvada S.:
  Avoiding syntactically incorrect individuals via parameterized operators applied on derivation trees
  2003 Congress on Evolutionary Computation, CEC 2003 (Canberra, ACT, Australia, 08.12.2003 - 12.12.2003)
  In: Sarker, R. ; Kazi, F. M. A. (ed.): Proceedings of the 2003 Congress on Evolutionary Computation (CEC 2003) 2003
  DOI: 10.1109/CEC.2003.1299442
  BibTeX: Download

2002

• Kókai G., Landorff B.:
  Ausarbeitung und Implementierung von Methoden um den Overfitting-Effekt im GeLog-System zu vermeiden
  Lehren - Lernen - Aktivität, Learning Lab Lower Saxony (Hannover, 07.10.2002 - 09.10.2002)
  In: Kókai, Gabriella ; Zeidler, Jens (ed.): Treffen der Fachgruppe Maschinelles Lernen, Wissensentdeckung, Data Mining der Gesellschaft für Informatik (FGML 2002) 2002
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/GELOG2002.ps.gz
  BibTeX: Download
• Kókai G., Tóth Z., Zvada S.:
  An Experimental Comparison of Genetic and Classical Concept Learning Methods
  Genetic and Evolutionary Computation Conference (GECCO 2002) (New York, NY, 09.07.2002 - 13.07.2002)
  In: Langdon, W.; Cantu-Paz, E.; Mathias, K.; Roy, R.; Davis, D.; Poli, R.; Balakrishnan, K.; Honavar, V.; Rudolph, G.; Wegener, J.; Bull, L.; Potter, M.; Schultz, A.; Miller, J.; Burke, E.; Jonoska, N. (ed.): Proceedings of the 2002 Genetic and Evolutionary Computation Conference (GECCO 2002) 2002
  URL: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2002/LCS051.pdf
  BibTeX: Download
• Tóth Z.:
  A Graphical User Interface for Evolutionary Algorithms
  Conference of PhD Students in Computer Science CS² (Szeged, Hungary, 01.07.2002 - 04.07.2002)
  In: Csendes, T. (ed.): Proceedings of the Conference of PhD Students in Computer Science CS² 2002
  BibTeX: Download
• Wilke P., Gröbner M., Oster N.:
  A Hybrid Genetic Algorithm for School Timetabling
  AI2002 15th Australian Joint Conference on Artificial Intelligence (Canberra, 02.12.2002 - 06.12.2002)
  In: Mc Kay B., Slaney J. (ed.): AI 2002: Advances in Artificial Intelligence - 15th Australian Joint Conference on Artificial Intelligence, Berlin Heidelberg: 2002
  DOI: 10.1007/3-540-36187-1_40
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/AI02.ps.gz
  BibTeX: Download

2001

• Köth O., Minas M.:
  Abstraction in graph-transformation based diagram editors
  Second International Workshop on Graph Transformation and Visual Modeling Techniques (Crete, Greece, 12.07.2001 - 13.07.2001)
  In: Second International Workshop on Graph Transformation and Visual Modeling Techniques, Amsterdam: 2001
  DOI: 10.1016/S1571-0661(04)00182-3
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/RULE2001.pdf
  BibTeX: Download
• Tóth Z., Kókai G.:
  An evolutionary optimum searching tool
  14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 (Budapest, 04.06.2001 - 07.06.2001)
  In: Monostori, Laszlo, Vancza, Jozsef, Ali, Moonis (ed.): Engineering of Intelligent Systems 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Berlin Heidelberg: 2001
  DOI: 10.1007/3-540-45517-5
  BibTeX: Download
• Tóth Z., Kókai G.:
  An Experimental Evaluation of the Genetic Evolutionary Algorithms Programming Library
  Treffen der Fachgruppe maschinelles Lernen der Gesellschaft für Informatik (FGML 2001) (Dortmund, 08.10.2001 - 10.10.2001)
  In: Klinkenberg, Ralf (ed.): Treffen der Fachgruppe maschinelles Lernen der Gesellschaft für Informatik (FGML 2002) 2001
  BibTeX: Download
• Volle V.:
  Verteilte Konfigurationsverwaltung im Kontext des Software Engineering Porzesses (Dissertation, 2001)
  BibTeX: Download

2000

• Fischer I., Koch M., Berthold MR.:
  Attributed Graph Transformation with Partial Attribution
  Proc. Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra 2000) (Berlin, 25.03.2000 - 27.03.2000)
  In: Ehrig, Hartmut ; Taentzer, Gabi (ed.): Proc. Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra 2000), Berlin: 2000
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/AttrNN.ps.gz
  BibTeX: Download
• Hoffmann B., Minas M.:
  A generic model for diagram syntax and semantics
  GT-VMT'2002, Graph Transformation and Visual Modeling Techniques (ICALP Workshop) (Genova, Switzerland, 15.07.2000 - 16.07.2000)
  In: Rolim, José (ed.): Proceedings of the ICALP Workshops on Graph Transformation and Visual Modelling Techniques (GT-VMT'2002), Waterloo, Onterio/CA: 2000
  URL: http://www.di.unipi.it/~andrea/Workshops/ICALP2K-Satellite/GT-VMT.html
  BibTeX: Download
• Philippsen M.:
  A survey on concurrent object-oriented languages
  In: Concurrency and Computation-Practice & Experience 12 (2000), p. 917-980
  ISSN: 1532-0626
  DOI: 10.1002/1096-9128(20000825)12:103.0.CO;2-F
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/cool-survey.pdf
  BibTeX: Download

1999

• Bardohl R., Minas M., Schürr A., Taentzer G.:
  Application of graph transformation to visual languages
  In: Handbook of Graph Grammars and Computing by Graph Transformation, Singapur: World Scientific Publisher, 1999, p. 105-180 (Applications, Languages and Tools, Vol.2)
  ISBN: 978-981-02-4020-2
  DOI: 10.1142/9789812815149_0003
  BibTeX: Download
• Nester C., Philippsen M., Haumacher B.:
  A more efficient RMI
  ACM 1999 conference on Java Grande (San Francisco, CA, 12.06.1999 - 14.06.1999)
  In: Fox, Geoffrey; Schauser, Klaus; Snir, Marc (ed.): Proceedings of the ACM 1999 conference on Java Grande, New York: 1999
  DOI: 10.1145/304065.304117
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/serialrmi.pdf
  BibTeX: Download

1998

• Dormeyer R., Fischer I., Keil M.:
  A Database for Verbal Idioms
  Conference of the European Association for Lexicography (Euralex'98) (Liège, Belgium, 04.08.1998 - 08.08.1998)
  In: Fontenelle, Th. ; Hilismann, Ph. ; Michiels, A. ; Moulin, A. ; Theissen, S. (ed.): Proceedings of the Conference of the European Association for Lexicography (Euralex'98), Liège: 1998
  Open Access: http://www.euralex.org/elx_proceedings/Euralex1998_1/Ricarda%20DORMEYER,%20Ingrid%20FISCHER%20&%20Martina%20KEILA%20Database%20for%20Verbal%20Idioms.pdf
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/euralex98.ps.gz
  BibTeX: Download
• Minas M.:
  Automatically generating environments for dynamic diagram languages
  IEEE Symposium on Visual Languages (VL'98) (Halifax, Canada, 01.09.1998 - 04.09.1998)
  In: IEEE (ed.): Proceedings of the IEEE Symposium on Visual Languages (VL'98), Los Alamitos: 1998
  DOI: 10.1109/VL.1998.706137
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/VL98.pdf
  BibTeX: Download

1996

• Heidenreich G., Minas M., Kips D.:
  A New Approach to Consistency Control in Software Engineering
  18th International Conference on Software Engineering (ICSE 1996) (Berlin, 25.03.1996 - 29.03.1996)
  In: Proceedings of the 18th International Conference on Software Engineering (ICSE 1996), New York: 1996
  DOI: 10.1109/ICSE.1996.493424
  BibTeX: Download
• Minas M., Shklar L.:
  A high-level visual language for generating web structures
  IEEE Symposium on Visual Languages (VL '96) (Boulder, CO, 03.09.1996 - 06.09.1996)
  In: Proceedings of the IEEE Symposium on Visual Languages (VL '96), Los Alamitos: 1996
  DOI: 10.1109/VL.1996.545299
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/VL96.pdf
  BibTeX: Download

1995

• Philippsen M.:
  Automatic alignment of array data and processes to reduce comminication time on DMPPs
  Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'95) (Santa Barbara/CA/USA, 19.07.1995 - 21.07.1995)
  In: Wexelblat, Richard L. (ed.): Proceedings of the 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'95), New York: 1995
  DOI: 10.1145/209936.209953
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/Alignment-2.pdf
  BibTeX: Download
• Philippsen M., Heinz EA.:
  Automatic synchronization elimination in synchronous FORALLs
  The Fifth Symposium on the Frontiers of Massively Parallel Computation (Frontiers'95) (Mc Lean, VA/USA, 06.02.1995 - 09.02.1995)
  In: Frontiers '95 : The Fifth Symposium on the Frontiers of Massively Parallel Computation, Los Alamitos, CA: 1995
  DOI: 10.1109/FMPC.1995.380435
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/front95.pdf
  BibTeX: Download
• Schneider HJ.:
  A note on outward and inward productions in the categorical graph-grammar approach and delta-grammars
  In: Electronic Notes in Theoretical Computer Science - (1995), p. 238-245
  ISSN: 1571-0661
  DOI: 10.1016/S1571-0661(05)80202-6
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/schneider_ENTCS1995.pdf
  BibTeX: Download
• Wilke P.:
  An Integrated Development Environment for Neural Networks, Genetic Algorithms and Fuzzy Logic
  Third European Congress on Intelligent Techniques and Soft Computing (EUFIT'95) (Aachen, 28.08.1995 - 31.08.1995)
  In: Zimmermann H.-J. (ed.): Proceedings of the Third European Congress on Intelligent Techniques and Soft Computing (EUFIT'95) 1995
  BibTeX: Download

1994

• Philippsen M.:
  Automatic alignment of array data and processes to reduce communication time on DMPPs
  (1994)
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/Alignment-2.pdf
  BibTeX: Download
  (Techreport)
• Viehstädt G.:
  A Generator for Diagram Editors (Dissertation, 1994)
  BibTeX: Download

1993

• Elsharkawi A.:
  Knowledge Representation Techniques Using Neural Networks for Robotic Fine-Manipulation (Dissertation, 1993)
  BibTeX: Download
• Schorr R.:
  Ausnahmebehandlung in verteilten Programmiersprachen: Sprach- und Verifikationskonzepte (Dissertation, 1993)
  BibTeX: Download

1992

• Philippsen M.:
  Automatic data distribution for nearest neighbor networks
  Fourth Symposium on the Frontiers of Massively Parallel Computation (Frontiers '92) (Mc Lean, VA, USA, 19.10.1992 - 21.10.1992)
  In: Proceedings of the Fourth Symposium on the Frontiers of Massively Parallel Computation (Frontiers '92) 1992
  DOI: 10.1109/FMPC.1992.234890
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/front92.pdf
  BibTeX: Download
• Tichy WF., Philippsen M., Hatcher P.:
  A critique of the programming language C*
  In: Communications of the ACM 35 (1992), p. 21-24
  ISSN: 0001-0782
  DOI: 10.1145/129888.376122
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/CstarCritique.pdf
  BibTeX: Download
• Zanzinger M.:
  ROSE - Konzeption und Implementierung einer Programmierumgebung für rechnerorganisierte Software-Entwicklung (Dissertation, 1992)
  BibTeX: Download

1991

• Jacob C., Wilke P.:
  A Distributed Network Simulation Environment for Multi-Processing Systems
  IEEE International Joint Conference on Neural Networks (IJCNN'91) (SIngapore, 18.11.1991 - 21.11.1991)
  In: IEEE (ed.): Proceedings of the IEEE International Joint Conference on Neural Networks (IJCNN'91) 1991
  DOI: 10.1109/IJCNN.1991.170556
  BibTeX: Download
• Tichy WF., Philippsen M., Hatcher P.:
  A critique of the programming language C*
  (1991)
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/CstarCritique.pdf
  BibTeX: Download
  (Techreport)

1990

• Feder-Andres C.:
  Ausnahmebehandlung in objektorienierte Programmiersprachen (Dissertation, 1990)
  DOI: 10.1007/978-3-642-84166-8
  BibTeX: Download

1989

• Geus L.:
  Konzepte für Robotersprachen - Ein Sprachenwurf (Dissertation, 1989)
  BibTeX: Download
• Roderus H.:
  Beschreibung und Analyse kontextfreier Sprachen unter durchgängiger Verwendung von Graphen (Dissertation, 1989)
  BibTeX: Download
• Schneider HJ.:
  A description of the Rendezvous concept by hypergraph grammars
  (1989)
  URL: https://cs2-gitlab.cs.fau.de/i2public/publications/-/blob/master/schneider_Rendez-vous_1989.pdf
  BibTeX: Download
  (Techreport)

1988

• Andres C.:
  Ein graphentheoretischer Ansatz zur rechnergestützten parallelen Komposition von Prozessen für verteilte Echtzeitsysteme (Dissertation, 1988)
  BibTeX: Download

1986

• Völk A.:
  Ein vollständiges Mengenkonzept in Programmiersprachen - Realisierung mit unkonventioneller Hardware (Dissertation, 1986)
  BibTeX: Download

1982

• Grosch J.:
  Eine Programmiersprache mit mengentheoretischen Konstrukten und deren effiziente Implementierung (Dissertation, 1982)
  BibTeX: Download

1981

• Lindstedt W.:
  Ein Verfahren zur Erstellung portabler algorithmischer Laufzeitprogramme (Dissertation, 1981)
  BibTeX: Download
• Schneider HJ.:
  Algebraic Specifications of the Software Controlling a Parcels Distribution Machine
  In: Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten, Wien: Springer, 1981, p. 173-180 (Computing Supplementum, Vol.3)
  ISBN: 978-3-211-81606-6
  DOI: 10.1007/978-3-7091-8596-4_12
  BibTeX: Download

1979

• Schneider HJ.:
  Axiomatische Spezifikation der Software zur Steuerung einer Paketverteilungsanlage
  (1979)
  BibTeX: Download
  (Techreport)

1978

• Altmann W.:
  Beschreibung von Programmmoduln zum Entwurf zuverlässiger Softwaresysteme (Dissertation, 1978)
  BibTeX: Download
• Nagl M.:
  Graph-Grammatiken - Theorie, Anwendungen, Implementierungen (Habilitation, 1978)
  BibTeX: Download
• Solymosi A.:
  Synthese von analysierenden Automaten auf Grund von formalen Grammatiken (Dissertation, 1978)
  BibTeX: Download
• Stöth G.:
  Höhere Programmiersprachen für Kleinrechner: Anforderungen, Entwicklungskriterien, Compileraspekte (Dissertation, 1978)
  BibTeX: Download
• Weber D.:
  Datengraphen und deren Transformation: Ein Konzept zur Spezifikation von Datentypen (Dissertation, 1978)
  BibTeX: Download

1977

• Brügmann HW.:
  EBIDIS Strukturierte Bildprogrammierung im Dialog (Dissertation, 1977)
  BibTeX: Download

1976

• Schneider HJ., Händler W., Hofmann F.:
  A general purpose array with a broad spectrum of applications
  Computer Architecture - Workshop of the Gesellschaft für Informatik (Erlangen, 22.03.1975 - 23.03.1975)
  In: Händler, Wolfgang (ed.): Informatik-Fachberichte - Computer Architecture, Workshop of the Gesellschaft für Informatik, Berlin Heidelberg: 1976
  DOI: 10.1007/978-3-642-66400-7
  BibTeX: Download

1975

• Weicker R.:
  Turingmaschinen mit assoziativem Speicherzugriff (Dissertation, 1975)
  BibTeX: Download

1974

• Nagl M.:
  Formale Sprachen von markierten Graphen (Dissertation, 1974)
  BibTeX: Download

1973

• Schneider HJ.:
  A necessary and sufficient condition for Chomsky-productions over partially ordered symbol sets
  GI. Gesellschaft für Informatik e.V. 2. Jahrestagung (Karlsruhe, 02.10.1972 - 04.10.1972)
  In: Deussen, Peter (ed.): GI. Gesellschaft für Informatik e.V. 2. Jahrestagung, Berlin Heidelberg: 1973
  DOI: 10.1007/978-3-642-80732-9
  BibTeX: Download