dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Heinrich Hußmann Home Page Coauthor index pubzone.org

Heinrich Hussmann

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander De Luca, Alina Hang, Frederik Brudy, Christian Lindner, Heinrich Hussmann: Touch me once and i know it's you!: implicit authentication based on touch screen patterns. CHI 2012: 987-996
2011
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander De Luca, Bernhard Frauendienst, Max-Emanuel Maurer, Julian Seifert, Doris Hausen, Niels Kammerer, Heinrich Hussmann: Does MoodyBoard make internet use more secure?: evaluating an ambient security visualization tool. CHI 2011: 887-890
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax-Emanuel Maurer, Alexander De Luca, Heinrich Hussmann: Data type based security alert dialogs. CHI Extended Abstracts 2011: 2359-2364
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Sauer, Kai Breiner, Heinrich Hussmann, Gerrit Meixner, Andreas Pleuss, Jan Van den Bergh: Combining Design and Engineering of Interactive Systems through Models and Tools (ComDeisMoto). INTERACT (4) 2011: 724-725
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBettina Conradi, Verena Lerch, Martin Hommer, Robert Kowalski, Ioanna Vletsou, Heinrich Hussmann: Flow of electrons: an augmented workspace for learning physical computing experientially. ITS 2011: 182-191
2010
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander De Luca, Katja Hertzschuch, Heinrich Hussmann: ColorPIN: securing PIN entry through indirect input. CHI 2010: 1103-1106
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Van den Bergh, Gerrit Meixner, Kai Breiner, Andreas Pleuss, Stefan Sauer, Heinrich Hussmann: Model-driven development of advanced user interfaces. CHI Extended Abstracts 2010: 4429-4432
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLinshu Duan, Heinrich Hussmann, Alexander Höfer: A Test-Oriented HMI Specification Model for Model-Based Testing of Automotive Human-Machine Interfaces. GI Jahrestagung (2) 2010: 339-344
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorence T. Balagtas-Fernandez, Max Tafelmayer, Heinrich Hussmann: Mobia Modeler: easing the creation process of mobile applications for non-technical users. IUI 2010: 269-272
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael Wimmer, Fabian Hennecke, Florian Schulz, Sebastian Boring, Andreas Butz, Heinrich Hußmann: Curve: revisiting the digital desk. NordiCHI 2010: 561-570
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax-Emanuel Maurer, Doris Hausen, Alexander De Luca, Heinrich Hussmann: Mobile or desktop websites?: website usage on multitouch devices. NordiCHI 2010: 739-742
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Streng, Karsten Stegmann, Sebastian Boring, Sonja Böhm, Frank Fischer, Heinrich Hussmann: Measuring effects of private and shared displays in small-group knowledge sharing processes. NordiCHI 2010: 789-792
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulian Seifert, Alexander De Luca, Bettina Conradi, Heinrich Hussmann: TreasurePhone: Context-Sensitive User Data Protection on Mobile Phones. Pervasive 2010: 130-137
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander De Luca, Marc Langheinrich, Heinrich Hussmann: Towards understanding ATM security: a field study of real world ATM use. SOUPS 2010
2009
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRainer Malaka, Andreas Butz, Heinrich Hussmann: Medieninformatik - Eine Einführung. Pearson Studium 2009: 1-456
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorence T. Balagtas-Fernandez, Heinrich Hussmann: A Methodology and Framework to Simplify Usability Analysis of Mobile Applications. ASE 2009: 520-524
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander De Luca, Emanuel von Zezschwitz, Heinrich Hußmann: Vibrapass: secure authentication based on shared lies. CHI 2009: 913-916
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Stegmann, Sara Streng, Max Halbinger, Jonas Koch, Frank Fischer, Heinrich Hußmann: eXtremely simple scripting (XSS): a framework to speed up the development of computer-supported collaboration scripts. CSCL (2) 2009: 195-197
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Rohs, Paul Holleis, Matthias Kranz, Heinrich Hußmann, Paul Lukowicz: Vorwort der Workshop-Leitung. GI Jahrestagung 2009: 258-260
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorence T. Balagtas-Fernandez, Heinrich Hussmann: Evaluation of User-Interfaces for Mobile Application Development Environments. HCI (1) 2009: 204-213
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorence T. Balagtas-Fernandez, Jenny Forrai, Heinrich Hussmann: Evaluation of User Interface Design and Input Methods for Applications on Mobile Touch Screen Devices. INTERACT (1) 2009: 243-246
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorence T. Balagtas-Fernandez, Heinrich Hussmann: Applying Domain-Specific Modeling to Mobile Health Monitoring Applications. ITNG 2009: 1682-1683
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerrit Meixner, Daniel Görlich, Kai Breiner, Heinrich Hußmann, Andreas Pleuß, Stefan Sauer, Jan Van den Bergh: Fourth international workshop on model driven development of advanced user interfaces. IUI 2009: 503-504
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Streng, Karsten Stegmann, Heinrich Hußmann, Frank Fischer: Metaphor or diagram?: comparing different representations for group mirrors. OZCHI 2009: 249-256
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander De Luca, Bernhard Frauendienst, Sebastian Boring, Heinrich Hussmann: My phone is my keypad: privacy-enhanced PIN-entry on public terminals. OZCHI 2009: 401-404
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander De Luca, Martin Denzel, Heinrich Hussmann: Look into my eyes!: can you guess my password? SOUPS 2009
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Pleuß, Goetz Botterweck, Heinrich Hußmann: Modeling advanced concepts of interactive multimedia applications. VL/HCC 2009: 31-38
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Broll, Enrico Rukzio, Massimo Paolucci, Matthias Wagner, Albrecht Schmidt, Heinrich Hussmann: Perci: Pervasive Service Interaction with the Internet of Things. IEEE Internet Computing 13(6): 74-81 (2009)
2008
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorence T. Balagtas-Fernandez, Heinrich Hussmann: Model-Driven Development of Mobile Applications. ASE 2008: 509-512
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander De Luca, Roman Weiss, Heinrich Hußmann, Xueli An: Eyepass - eye-stroke authentication for public terminals. CHI Extended Abstracts 2008: 3003-3008
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Rohs, Paul Holleis, Matthias Kranz, Heinrich Hußmann: Mobile and Embedded Interactive Systems (MEIS'08). GI Jahrestagung (1) 2008: 255-256
2007
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Pleuß, Jan Van den Bergh, Heinrich Hußmann, Stefan Sauer, Daniel Görlich: Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces, Nashville, Tennessee, USA, October 1, 2007 CEUR-WS.org 2007
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Holleis, Friederike Otto, Heinrich Hussmann, Albrecht Schmidt: Keystroke-level model for advanced mobile phone interaction. CHI 2007: 1505-1514
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Pleuß, Heinrich Hußmann: Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications. HCI (1) 2007: 1168-1177
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Drewes, Heinrich Hußmann, Albrecht Schmidt: Blickgesten als Fernbedienung. Mensch & Computer 2007: 79-88
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Pleuss, Arnd Vitzthum, Heinrich Hussmann: Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications. MoDELS 2007: 241-255
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Pleuß, Jan Van den Bergh, Stefan Sauer, Daniel Görlich, Heinrich Hußmann: Third International Workshop on Model Driven Development of Advanced User Interfaces. MoDELS Workshops 2007: 59-64
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander De Luca, Roman Weiss, Heinrich Hussmann: PassShape: stroke based shape passwords. OZCHI 2007: 239-240
2006
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Pleuß, Jan Van den Bergh, Stefan Sauer, Heinrich Hußmann, Alexander Bödcher: Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report. MoDELS Workshops 2006: 101-105
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Atterer, Albrecht Schmidt, Heinrich Hußmann: Extending Web Engineering Models and Tools for Automatic Usability Validation. J. Web Eng. 5(1): 43-64 (2006)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnd Vitzthum, Heinrich Hussmann: Modeling Augmented Reality User Interfaces with SSIML/AR. Journal of Multimedia 1(3): 13-22 (2006)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz: SoSyM special section on service-based software engineering. Software and System Modeling 5(2): 170-171 (2006)
2005
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Pleuß, Jan Van den Bergh, Heinrich Hußmann, Stefan Sauer: MDDAUI '05, Model Driven Development of Advanced User Interfaces 2005, Proceedings of the MoDELS'05 Workshop on Model Driven Development of Advanced User Interfaces, Montego Bay, Jamaica, October 2, 2005 CEUR-WS.org 2005
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer: Tool Support for OCL and Related Formalisms - Needs and Trends. MoDELS Satellite Events 2005: 1-9
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Pleuß, Jan Van den Bergh, Stefan Sauer, Heinrich Hußmann: Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI). MoDELS Satellite Events 2005: 182-190
2004
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Michel Bruel, Geri Georg, Heinrich Hußmann, Ileana Ober, Christoph Pohl, Jon Whittle, Steffen Zschaler: Models for Non-functional Aspects of Component-Based Software (NfC'04). UML Satellite Activities 2004: 62-66
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer: OCL and Model Driven Engineering. UML Satellite Activities 2004: 67-75
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Rukzio, Albrecht Schmidt, Heinrich Hußmann: Physical Posters as Gateways to Context-Aware Services for Mobile Devices. WMCSA 2004: 10-19
2003
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBerthold F. Koch, Heinrich Hußmann: Overview of the Project AQUILA (IST-1999-10077). Art-QoS 2003: 154-164
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Aigner, Henrike Berthold, Elke Franz, Steffen Göbel, Hermann Härtig, Heinrich Hußmann, Klaus Meißner, Klaus Meyer-Wegener, Marcus Meyerhöfer, Andreas Pfitzmann, Simone Röttger, Alexander Schill, Thomas Springer, Frank Wehner: COMQUAD: Komponentenbasierte Softwaresysteme mit zusagbaren quantitativen Eigenschaften und Adaptionsfähigkeit. Inform., Forsch. Entwickl. 18(1): 39-40 (2003)
2002
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Marc Jézéquel, Heinrich Hußmann, Stephen Cook: UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings Springer 2002
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirgit Demuth, Mike Fischer, Heinrich Hußmann: Experience in Early and Late Software Engineering Project Courses. CSEE&T 2002: 241-
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Hennicker, Heinrich Hußmann, Michel Bidoit: On the Precise Meaning of OCL Constraints. Object Modeling with the OCL 2002: 69-84
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann, Birgit Demuth, Frank Finger: Modular architecture for a toolset supporting OCL. Sci. Comput. Program. 44(1): 51-69 (2002)
2001
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings Springer 2001
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirgit Demuth, Heinrich Hußmann, Sten Loecher: OCL as a Specification Language for Business Rules in Database Applications. UML 2001: 104-117
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: Workshops and Tutorials at the UML 2001 Conference. UML 2001: 503-508
2000
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirgit Demuth, Heinrich Hußmann, Steffen Zschaler, Lothar Schmitz: A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience. CSEE&T 2000: 283-293
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann: Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. FASE 2000: 127-146
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann, Birgit Demuth, Frank Finger: Modular Architecture for a Toolset Supporting OCL. UML 2000: 278-293
1999
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel Wieringa, Egidio Astesiano, Gianna Reggio, Alain Le Guennec, Heinrich Hußmann, Klaas van den Berg, Pim van den Broek: Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? ECOOP Workshops 1999: 49-55
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung? FBT 1999: 1-6
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirgit Demuth, Heinrich Hußmann: Using UML/OCL Constraints for Relational Database Design. UML 1999: 598-613
1997
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: Formal Foundations for Software Engineeing Methods Springer 1997
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann, F. J. Herrera, R. Pasquali, P. Todorova, Iakovos S. Venieris, Fabrizio Zizza: A Transnational IN/B-ISDN Integrated Network for the Provision of Multimedia Services. ECMAST 1997: 19-36
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanna De Zen, Lorenzo Faglia, Heinrich Hußmann, Alexander W. van der Vekens: Proposal for an IN Switching State Model in an Integrated IN/B-ISDN Scenario. IS&N 1997: 179-188
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: Intelligent ATM Networks: Services and Realisation Alternatives. IS&N 1997: 87-96
1996
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Schätz, Heinrich Hußmann, Manfred Broy: Graphical Development of Consistent System Specifications. FME 1996: 248-267
1995
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelix Cornelius, Heinrich Hußmann, Michael Löwe: The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. KORSO Book 1995: 417-432
1994
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann, Barbara Paech: Software Engineering im Unterricht der Hochschulen SEUH '94, Workshop des German Chapter of the ACM und der Gesellschaft für Informatik (GI) am 24. und 25. Februar 1994 in München Teubner 1994
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: Axiomatic Specification of Large Information Systems: Experiences and Consequences. COMPASS/ADT 1994: 336-350
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: Formal Foundations for Pragmatic Software Engineering Methods. GI Jahrestagung 1994: 27-34
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: Agenda für die Arbeitsgruppe CASE- Werkzeuge. SEUH 1994: 145-148
1993
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann, Jacques Loeckx, Wolfgang Reif: KORSO: Das Verbundprojekt "Korrekte Software". GI Jahrestagung 1993: 266-271
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: "CASE-Werkzeuge" - Hauptseminar mit Industriekontakten. SEUH 1993: 125-134
1992
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Fraus, Heinrich Hußmann: An Inductive Theorem Prover Based on Narrowing. LPAR 1992: 475-477
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. J. Log. Program. 12(3&4): 237-255 (1992)
1991
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hussmann: A Case Study Towards Algebraic Verification of Code. AMAST 1991: 254-263
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Fraus, Heinrich Hußmann: A Narrowing-Based Theorem Prover. PLILP 1991: 421-422
1988
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: Prototyping Non-Deterministic Algebraic Specifications using the RAP System. ADT 1988
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. ALP 1988: 31-40
1987
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann, Alfons Geser: The RAP System as a Tool for Testing COLD Specifications. Algebraic Methods 1987: 331-345
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann, Christian Rank: Specification and Prototyping of a Compiler for a Small Applicative Language. Algebraic Methods 1987: 403-418
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: The Passau RAP System: Rapid Prototyping for Algebraic Specifications. CTRS 1987: 264-265
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfons Geser, Heinrich Hußmann, Andreas Mück: A Compiler for a Class of Conditional Term Rewriting Systems. CTRS 1987: 84-90
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: The Passau RAP System: Rapid Prototyping for Algebraic Specifications. STACS 1987: 475-476
1986
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Broy, Alfons Geser, Heinrich Hußmann: Towards Advanced Programming Environments Based on Algebraic Concepts. Advanced Programming Environments 1986: 554-470
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: The Passau RAP System: Prototyping Algebraic Specifications Using Conditional Narrowing. CADE 1986: 689-690
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfons Geser, Heinrich Hußmann: Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution. ESOP 1986: 339-350
1985
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: Unification in Conditional Equational Theories. European Conference on Computer Algebra (2) 1985: 543-553

Coauthor Index

1Ronald Aigner [41]
2Xueli An [61]
3Egidio Astesiano [30] [32]
4Richard Atterer [51]
5Thomas Baar [44] [47]
6Florence T. Balagtas-Fernandez [62] [69] [70] [71] [75] [82]
7Klaas van den Berg [30]
8Jan Van den Bergh [46] [48] [52] [54] [59] [68] [84] [87]
9Henrike Berthold [41]
10Jean Bézivin [44]
11Michel Bidoit [38]
12Alexander Bödcher [52]
13Sonja Böhm [79]
14Sebastian Boring [66] [79] [81]
15Goetz Botterweck [64]
16Kai Breiner [68] [84] [87]
17Pim van den Broek (P. M. van den Broek) [30]
18Gregor Broll [63]
19Manfred Broy [4] [23] [49]
20Frederik Brudy [90]
21Jean-Michel Bruel [45]
22Andreas Butz [76] [81]
23Dan Ioan Chiorean (Dan Chiorean) [47]
24Christine Choppy [32]
25Bettina Conradi [78] [86]
26Stephen Cook [40]
27Felix Cornelius [22]
28Alexandre L. Correa [47]
29Birgit Demuth [28] [31] [33] [35] [37] [39]
30Martin Denzel [65]
31Heiko Drewes [56]
32Linshu Duan [83]
33Lorenzo Faglia [25]
34Frank Finger [31] [37]
35Frank Fischer [67] [73] [79]
36Mike Fischer [39]
37Jenny Forrai [70]
38Elke Franz [41]
39Bernhard Frauendienst [66] [89]
40Ulrich Fraus [12] [15]
41Tracy Gardner [44]
42Geri Georg [45]
43Alfons Geser [2] [4] [6] [9]
44Steffen Göbel [41]
45Martin Gogolla [44] [47]
46Daniel Görlich [54] [59] [68]
47Alain Le Guennec [30]
48Reiner Hähnle [44]
49Max Halbinger [73]
50Alina Hang [90]
51Hermann Härtig (Hermann Haertig) [41]
52Doris Hausen [80] [89]
53Fabian Hennecke [81]
54Rolf Hennicker [38]
55F. J. Herrera [26]
56Katja Hertzschuch [85]
57Alexander Höfer [83]
58Paul Holleis [58] [60] [72]
59Martin Hommer [86]
60Jean-Marc Jézéquel [40]
61Niels Kammerer [89]
62Berthold F. Koch [42]
63Jonas Koch [73]
64Robert Kowalski [86]
65Matthias Kranz [60] [72]
66Ingolf Krüger (Ingolf H. Krüger) [49]
67Marc Langheinrich [77]
68Verena Lerch [86]
69Christian Lindner [90]
70Sten Loecher [35]
71Jacques Loeckx [17]
72Michael Löwe [22]
73Alexander De Luca [53] [61] [65] [66] [74] [77] [78] [80] [85] [88] [89] [90]
74Paul Lukowicz [72]
75Rainer Malaka [76]
76Max-Emanuel Maurer [80] [88] [89]
77Klaus Meißner [41]
78Gerrit Meixner [68] [84] [87]
79Klaus Meyer-Wegener [41]
80Marcus Meyerhöfer [41]
81Andreas Mück [6]
82Ileana Ober [45]
83Friederike Otto [58]
84Barbara Paech [21]
85Massimo Paolucci [63]
86R. Pasquali [26]
87Octavian Patrascoiu [44] [47]
88Andreas Pfitzmann [41]
89Andreas Pleuß (Andreas Pleuss) [46] [48] [52] [54] [55] [57] [59] [64] [68] [84] [87]
90Christoph Pohl [45]
91Christian Rank [8]
92Gianna Reggio [30] [32]
93Wolfgang Reif [17]
94Michael Rohs [60] [72]
95Simone Röttger [41]
96Enrico Rukzio [43] [63]
97Stefan Sauer [46] [48] [52] [54] [59] [68] [84] [87]
98Bernhard Schätz [23] [49]
99Alexander Schill [41]
100Albrecht Schmidt [43] [51] [56] [58] [63]
101Peter H. Schmitt [44] [47]
102Lothar Schmitz [33]
103Florian Schulz [81]
104Julian Seifert [78] [89]
105Thomas Springer [41]
106Karsten Stegmann [67] [73] [79]
107Sara Streng [67] [73] [79]
108Max Tafelmayer [82]
109P. Todorova [26]
110Alexander W. van der Vekens [25]
111Iakovos S. Venieris [26]
112Arnd Vitzthum [50] [55]
113Ioanna Vletsou [86]
114Matthias Wagner [63]
115Jos Warmer [44] [47]
116Frank Wehner [41]
117Roman Weiss [53] [61]
118Jon Whittle (Jonathan Whittle) [45]
119Roel Wieringa [30]
120Raphael Wimmer [81]
121Giovanna De Zen [25]
122Emanuel von Zezschwitz [74]
123Fabrizio Zizza [26]
124Steffen Zschaler [33] [45]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page