Heinrich Hußmann Home Page Coauthor index pubzone.org

Heinrich Hussmann

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander De Luca, Emanuel von Zezschwitz, Laurent Pichler, Heinrich Hussmann: Using fake cursors to secure on-screen password entry. CHI 2013: 2399-2402
c77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Emanuel von Zezschwitz, Anton Koslow, Alexander De Luca, Heinrich Hussmann: Making graphic-based authentication secure against smudge attacks. IUI 2013: 277-286
2012
c76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander 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
c75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander 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
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Max-Emanuel Maurer, Alexander De Luca, Heinrich Hussmann: Data type based security alert dialogs. CHI Extended Abstracts 2011: 2359-2364
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefan 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
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bettina 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
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander De Luca, Katja Hertzschuch, Heinrich Hussmann: ColorPIN: securing PIN entry through indirect input. CHI 2010: 1103-1106
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan 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
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Linshu 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
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Florence T. Balagtas-Fernandez, Max Tafelmayer, Heinrich Hussmann: Mobia Modeler: easing the creation process of mobile applications for non-technical users. IUI 2010: 269-272
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raphael Wimmer, Fabian Hennecke, Florian Schulz, Sebastian Boring, Andreas Butz, Heinrich Hußmann: Curve: revisiting the digital desk. NordiCHI 2010: 561-570
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Max-Emanuel Maurer, Doris Hausen, Alexander De Luca, Heinrich Hussmann: Mobile or desktop websites?: website usage on multitouch devices. NordiCHI 2010: 739-742
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sara 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
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Julian Seifert, Alexander De Luca, Bettina Conradi, Heinrich Hussmann: TreasurePhone: Context-Sensitive User Data Protection on Mobile Phones. Pervasive 2010: 130-137
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander De Luca, Marc Langheinrich, Heinrich Hussmann: Towards understanding ATM security: a field study of real world ATM use. SOUPS 2010
2009
b2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rainer Malaka, Andreas Butz, Heinrich Hussmann: Medieninformatik - Eine Einführung. Pearson Studium 2009, isbn 978-3-8273-7353-3, pp. 1-456
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregor 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)
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander De Luca, Emanuel von Zezschwitz, Heinrich Hußmann: Vibrapass: secure authentication based on shared lies. CHI 2009: 913-916
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Karsten 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
c60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Rohs, Paul Holleis, Matthias Kranz, Heinrich Hußmann, Paul Lukowicz: Vorwort der Workshop-Leitung. GI Jahrestagung 2009: 258-260
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Florence T. Balagtas-Fernandez, Heinrich Hussmann: Evaluation of User-Interfaces for Mobile Application Development Environments. HCI (1) 2009: 204-213
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Florence 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
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Florence T. Balagtas-Fernandez, Heinrich Hussmann: Applying Domain-Specific Modeling to Mobile Health Monitoring Applications. ITNG 2009: 1682-1683
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gerrit 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
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Florence T. Balagtas-Fernandez, Heinrich Hussmann: A Methodology and Framework to Simplify Usability Analysis of Mobile Applications. ASE 2009: 520-524
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sara Streng, Karsten Stegmann, Heinrich Hußmann, Frank Fischer: Metaphor or diagram?: comparing different representations for group mirrors. OZCHI 2009: 249-256
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander De Luca, Bernhard Frauendienst, Sebastian Boring, Heinrich Hussmann: My phone is my keypad: privacy-enhanced PIN-entry on public terminals. OZCHI 2009: 401-404
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander De Luca, Martin Denzel, Heinrich Hussmann: Look into my eyes!: can you guess my password? SOUPS 2009
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Pleuß, Goetz Botterweck, Heinrich Hußmann: Modeling advanced concepts of interactive multimedia applications. VL/HCC 2009: 31-38
2008
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander De Luca, Roman Weiss, Heinrich Hußmann, Xueli An: Eyepass - eye-stroke authentication for public terminals. CHI Extended Abstracts 2008: 3003-3008
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Rohs, Paul Holleis, Matthias Kranz, Heinrich Hußmann: Mobile and Embedded Interactive Systems (MEIS'08). GI Jahrestagung (1) 2008: 255-256
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Florence T. Balagtas-Fernandez, Heinrich Hussmann: Model-Driven Development of Mobile Applications. ASE 2008: 509-512
2007
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Holleis, Friederike Otto, Heinrich Hussmann, Albrecht Schmidt: Keystroke-level model for advanced mobile phone interaction. CHI 2007: 1505-1514
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Pleuß, Heinrich Hußmann: Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications. HCI (1) 2007: 1168-1177
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heiko Drewes, Heinrich Hußmann, Albrecht Schmidt: Blickgesten als Fernbedienung. Mensch & Computer 2007: 79-88
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas 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
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Pleuss, Arnd Vitzthum, Heinrich Hussmann: Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications. MoDELS 2007: 241-255
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander De Luca, Roman Weiss, Heinrich Hussmann: PassShape: stroke based shape passwords. OZCHI 2007: 239-240
e5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Pleuß, Jan Van den Bergh, Heinrich Hußmann, Stefan Sauer, Daniel Görlich (Eds.): Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces, Nashville, Tennessee, USA, October 1, 2007. CEUR Workshop Proceedings 297, CEUR-WS.org 2007
2006
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arnd Vitzthum, Heinrich Hussmann: Modeling Augmented Reality User Interfaces with SSIML/AR. Journal of Multimedia 1(3): 13-22 (2006)
j5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Atterer, Albrecht Schmidt, Heinrich Hußmann: Extending Web Engineering Models and Tools for Automatic Usability Validation. J. Web Eng. 5(1): 43-64 (2006)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manfred 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)
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas 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
2005
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas 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
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas 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
e4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Pleuß, Jan Van den Bergh, Heinrich Hußmann, Stefan Sauer (Eds.): 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 Workshop Proceedings 159, CEUR-WS.org 2005
2004
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-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
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Rukzio, Albrecht Schmidt, Heinrich Hußmann: Physical Posters as Gateways to Context-Aware Services for Mobile Devices. WMCSA 2004: 10-19
2003
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ronald 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)
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Berthold F. Koch, Heinrich Hußmann: Overview of the Project AQUILA (IST-1999-10077). Art-QoS 2003: 154-164
2002
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann, Birgit Demuth, Frank Finger: Modular architecture for a toolset supporting OCL. Sci. Comput. Program. 44(1): 51-69 (2002)
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Birgit Demuth, Mike Fischer, Heinrich Hußmann: Experience in Early and Late Software Engineering Project Courses. CSEE&T 2002: 241-
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rolf Hennicker, Heinrich Hußmann, Michel Bidoit: On the Precise Meaning of OCL Constraints. Object Modeling with the OCL 2002: 69-84
e3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Marc Jézéquel, Heinrich Hußmann, Stephen Cook (Eds.): UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings. Lecture Notes in Computer Science 2460, Springer 2002, isbn 3-540-44254-5
2001
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Birgit Demuth, Heinrich Hußmann, Sten Loecher: OCL as a Specification Language for Business Rules in Database Applications. UML 2001: 104-117
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann: Workshops and Tutorials at the UML 2001 Conference. UML 2001: 503-508
e2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann (Ed.): 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. Lecture Notes in Computer Science 2029, Springer 2001, isbn 3-540-41863-6
2000
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Birgit Demuth, Heinrich Hußmann, Steffen Zschaler, Lothar Schmitz: A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience. CSEE&T 2000: 283-293
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann: Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. FASE 2000: 127-146
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann, Birgit Demuth, Frank Finger: Modular Architecture for a Toolset Supporting OCL. UML 2000: 278-293
1999
c27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roel 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
c26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann: Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung? FBT 1999: 1-6
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Birgit Demuth, Heinrich Hußmann: Using UML/OCL Constraints for Relational Database Design. UML 1999: 598-613
1997
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann: Formal Foundations for Software Engineeing Methods. Lecture Notes in Computer Science 1322, Springer 1997, isbn 3-540-63613-7
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich 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
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann: Intelligent ATM Networks: Services and Realisation Alternatives. IS&N 1997: 87-96
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giovanna 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
1996
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernhard Schätz, Heinrich Hußmann, Manfred Broy: Graphical Development of Consistent System Specifications. FME 1996: 248-267
1995
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Felix 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
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann: Axiomatic Specification of Large Information Systems: Experiences and Consequences. COMPASS/ADT 1994: 336-350
c18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann: Formal Foundations for Pragmatic Software Engineering Methods. GI Jahrestagung 1994: 27-34
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann: Agenda für die Arbeitsgruppe CASE- Werkzeuge. SEUH 1994: 145-148
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann, Barbara Paech (Eds.): 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. Berichte des German Chapter of the ACM 43, Teubner 1994, isbn 3-519-02684-8
1993
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann, Jacques Loeckx, Wolfgang Reif: KORSO: Das Verbundprojekt "Korrekte Software". GI Jahrestagung 1993: 266-271
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann: "CASE-Werkzeuge" - Hauptseminar mit Industriekontakten. SEUH 1993: 125-134
1992
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann: Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. J. Log. Program. 12(3&4): 237-255 (1992)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ulrich Fraus, Heinrich Hußmann: An Inductive Theorem Prover Based on Narrowing. LPAR 1992: 475-477
1991
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hussmann: A Case Study Towards Algebraic Verification of Code. AMAST 1991: 254-263
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ulrich Fraus, Heinrich Hußmann: A Narrowing-Based Theorem Prover. PLILP 1991: 421-422
1988
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann: Prototyping Non-Deterministic Algebraic Specifications using the RAP System. ADT 1988
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann: Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. ALP 1988: 31-40
1987
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann, Alfons Geser: The RAP System as a Tool for Testing COLD Specifications. Algebraic Methods 1987: 331-345
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann, Christian Rank: Specification and Prototyping of a Compiler for a Small Applicative Language. Algebraic Methods 1987: 403-418
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alfons Geser, Heinrich Hußmann, Andreas Mück: A Compiler for a Class of Conditional Term Rewriting Systems. CTRS 1987: 84-90
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann: The Passau RAP System: Rapid Prototyping for Algebraic Specifications. CTRS 1987: 264-265
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann: The Passau RAP System: Rapid Prototyping for Algebraic Specifications. STACS 1987: 475-476
1986
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann: The Passau RAP System: Prototyping Algebraic Specifications Using Conditional Narrowing. CADE 1986: 689-690
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alfons Geser, Heinrich Hußmann: Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution. ESOP 1986: 339-350
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manfred Broy, Alfons Geser, Heinrich Hußmann: Towards Advanced Programming Environments Based on Algebraic Concepts. Advanced Programming Environments 1986: 554-470
1985
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Heinrich Hußmann: Unification in Conditional Equational Theories. European Conference on Computer Algebra (2) 1985: 543-553

Coauthor Index

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

Colors in the list of coauthors

Last update Tue May 21 00:40:23 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page