Heinrich Hußmann Home Page Coauthor index DBLP Vis 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 keys2010
71Electronic 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
2009
70Electronic 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
69Electronic 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
68Electronic 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
67Electronic 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
66Electronic 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
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
60no EE 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
28no EE 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
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinrich Hußmann: Formal Foundations for Software Engineeing Methods Springer 1997
26no EE 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
25no EE 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
24no EE 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
22no EE 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
20no EE 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
14no EE 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
7no EE 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
6no EE 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
4no EE 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
1no EE 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] [67] [68] [70] [71]
7Klaas van den Berg [30]
8Jan Van den Bergh [46] [48] [52] [54] [59] [66]
9Henrike Berthold [41]
10Jean Bézivin [44]
11Michel Bidoit [38]
12Alexander Bödcher [52]
13Goetz Botterweck [64]
14Kai Breiner [66]
15Pim van den Broek (P. M. van den Broek) [30]
16Gregor Broll [63]
17Manfred Broy [4] [23] [49]
18Jean-Michel Bruel [45]
19Dan Ioan Chiorean (Dan Chiorean) [47]
20Christine Choppy [32]
21Stephen Cook [40]
22Felix Cornelius [22]
23Alexandre L. Correa [47]
24Birgit Demuth [28] [31] [33] [35] [37] [39]
25Martin Denzel [65]
26Heiko Drewes [56]
27Lorenzo Faglia [25]
28Frank Finger [31] [37]
29Mike Fischer [39]
30Jenny Forrai [67]
31Elke Franz [41]
32Ulrich Fraus [12] [15]
33Tracy Gardner [44]
34Geri Georg [45]
35Alfons Geser [2] [4] [6] [9]
36Steffen Göbel [41]
37Martin Gogolla [44] [47]
38Daniel Görlich [54] [59] [66]
39Alain Le Guennec [30]
40Reiner Hähnle [44]
41Hermann Härtig (Hermann Haertig) [41]
42Rolf Hennicker [38]
43F. J. Herrera [26]
44Paul Holleis [58] [60]
45Jean-Marc Jézéquel [40]
46Berthold F. Koch [42]
47Matthias Kranz [60]
48Ingolf Krüger (Ingolf H. Krüger) [49]
49Sten Loecher [35]
50Jacques Loeckx [17]
51Michael Löwe [22]
52Alexander De Luca [53] [61] [65] [69]
53Klaus Meißner [41]
54Gerrit Meixner [66]
55Klaus Meyer-Wegener [41]
56Marcus Meyerhöfer [41]
57Andreas Mück [6]
58Ileana Ober [45]
59Friederike Otto [58]
60Barbara Paech [21]
61Massimo Paolucci [63]
62R. Pasquali [26]
63Octavian Patrascoiu [44] [47]
64Andreas Pfitzmann [41]
65Andreas Pleuß (Andreas Pleuss) [46] [48] [52] [54] [55] [57] [59] [64] [66]
66Christoph Pohl [45]
67Christian Rank [8]
68Gianna Reggio [30] [32]
69Wolfgang Reif [17]
70Michael Rohs [60]
71Simone Röttger [41]
72Enrico Rukzio [43] [63]
73Stefan Sauer [46] [48] [52] [54] [59] [66]
74Bernhard Schätz [23] [49]
75Alexander Schill [41]
76Albrecht Schmidt [43] [51] [56] [58] [63]
77Peter H. Schmitt [44] [47]
78Lothar Schmitz [33]
79Thomas Springer [41]
80Max Tafelmayer [71]
81P. Todorova [26]
82Alexander W. van der Vekens [25]
83Iakovos S. Venieris [26]
84Arnd Vitzthum [50] [55]
85Matthias Wagner [63]
86Jos Warmer [44] [47]
87Frank Wehner [41]
88Roman Weiss [53] [61]
89Jon Whittle (Jonathan Whittle) [45]
90Roel Wieringa [30]
91Giovanna De Zen [25]
92Emanuel von Zezschwitz [69]
93Fabrizio Zizza [26]
94Steffen Zschaler [33] [45]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)