The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Heinrich Hußmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Heinrich Hußmann
    Prototyping Non-Deterministic Algebraic Specifications using the RAP System. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  2. Heinrich Hußmann
    Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. [Citation Graph (0, 0)][DBLP]
    ALP, 1988, pp:31-40 [Conf]
  3. Heinrich Hußmann, Alfons Geser
    The RAP System as a Tool for Testing COLD Specifications. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1987, pp:331-345 [Conf]
  4. Heinrich Hußmann, Christian Rank
    Specification and Prototyping of a Compiler for a Small Applicative Language. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1987, pp:403-418 [Conf]
  5. Berthold F. Koch, Heinrich Hußmann
    Overview of the Project AQUILA (IST-1999-10077). [Citation Graph (0, 0)][DBLP]
    Art-QoS, 2003, pp:154-164 [Conf]
  6. Heinrich Hußmann
    The Passau RAP System: Prototyping Algebraic Specifications Using Conditional Narrowing. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:689-690 [Conf]
  7. Heinrich Hußmann
    Axiomatic Specification of Large Information Systems: Experiences and Consequences. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:336-350 [Conf]
  8. Birgit Demuth, Mike Fischer, Heinrich Hußmann
    Experience in Early and Late Software Engineering Project Courses. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2002, pp:241-0 [Conf]
  9. Birgit Demuth, Heinrich Hußmann, Steffen Zschaler, Lothar Schmitz
    A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2000, pp:283-293 [Conf]
  10. Alfons Geser, Heinrich Hußmann, Andreas Mück
    A Compiler for a Class of Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1987, pp:84-90 [Conf]
  11. Heinrich Hußmann
    The Passau RAP System: Rapid Prototyping for Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    CTRS, 1987, pp:264-265 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    ECMAST, 1997, pp:19-36 [Conf]
  13. 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? [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:49-55 [Conf]
  14. Alfons Geser, Heinrich Hußmann
    Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution. [Citation Graph (0, 0)][DBLP]
    ESOP, 1986, pp:339-350 [Conf]
  15. Heinrich Hußmann
    Unification in Conditional Equational Theories. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (2), 1985, pp:543-553 [Conf]
  16. Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann
    Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:127-146 [Conf]
  17. Heinrich Hußmann
    Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung? [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:1-6 [Conf]
  18. Bernhard Schätz, Heinrich Hußmann, Manfred Broy
    Graphical Development of Consistent System Specifications. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:248-267 [Conf]
  19. Heinrich Hußmann
    Formal Foundations for Pragmatic Software Engineering Methods. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1994, pp:27-34 [Conf]
  20. Heinrich Hußmann, Jacques Loeckx, Wolfgang Reif
    KORSO: Das Verbundprojekt "Korrekte Software". [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1993, pp:266-271 [Conf]
  21. Manfred Broy, Alfons Geser, Heinrich Hußmann
    Towards Advanced Programming Environments Based on Algebraic Concepts. [Citation Graph (0, 0)][DBLP]
    Advanced Programming Environments, 1986, pp:554-470 [Conf]
  22. Heinrich Hußmann
    Intelligent ATM Networks: Services and Realisation Alternatives. [Citation Graph (0, 0)][DBLP]
    IS&N, 1997, pp:87-96 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    IS&N, 1997, pp:179-188 [Conf]
  24. Felix Cornelius, Heinrich Hußmann, Michael Löwe
    The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:417-432 [Conf]
  25. Ulrich Fraus, Heinrich Hußmann
    An Inductive Theorem Prover Based on Narrowing. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:475-477 [Conf]
  26. 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. [Citation Graph (0, 0)][DBLP]
    MoDELS Workshops, 2006, pp:101-105 [Conf]
  27. Rolf Hennicker, Heinrich Hußmann, Michel Bidoit
    On the Precise Meaning of OCL Constraints. [Citation Graph (0, 0)][DBLP]
    Object Modeling with the OCL, 2002, pp:69-84 [Conf]
  28. Ulrich Fraus, Heinrich Hußmann
    A Narrowing-Based Theorem Prover. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:421-422 [Conf]
  29. Heinrich Hußmann
    "CASE-Werkzeuge" - Hauptseminar mit Industriekontakten. [Citation Graph (0, 0)][DBLP]
    SEUH, 1993, pp:125-134 [Conf]
  30. Heinrich Hußmann
    Agenda für die Arbeitsgruppe CASE- Werkzeuge. [Citation Graph (0, 0)][DBLP]
    SEUH, 1994, pp:145-148 [Conf]
  31. Heinrich Hußmann
    The Passau RAP System: Rapid Prototyping for Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    STACS, 1987, pp:475-476 [Conf]
  32. 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). [Citation Graph (0, 0)][DBLP]
    UML Satellite Activities, 2004, pp:62-66 [Conf]
  33. 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. [Citation Graph (0, 0)][DBLP]
    MoDELS Satellite Events, 2005, pp:1-9 [Conf]
  34. Birgit Demuth, Heinrich Hußmann
    Using UML/OCL Constraints for Relational Database Design. [Citation Graph (0, 0)][DBLP]
    UML, 1999, pp:598-613 [Conf]
  35. Birgit Demuth, Heinrich Hußmann, Sten Loecher
    OCL as a Specification Language for Business Rules in Database Applications. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:104-117 [Conf]
  36. Jean 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. [Citation Graph (0, 0)][DBLP]
    UML Satellite Activities, 2004, pp:67-75 [Conf]
  37. Heinrich Hußmann
    Workshops and Tutorials at the UML 2001 Conference. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:503-508 [Conf]
  38. Heinrich Hußmann, Birgit Demuth, Frank Finger
    Modular Architecture for a Toolset Supporting OCL. [Citation Graph (0, 0)][DBLP]
    UML, 2000, pp:278-293 [Conf]
  39. Andreas Pleuß, Jan Van den Bergh, Stefan Sauer, Heinrich Hußmann
    Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI). [Citation Graph (0, 0)][DBLP]
    MoDELS Satellite Events, 2005, pp:182-190 [Conf]
  40. Enrico Rukzio, Albrecht Schmidt, Heinrich Hußmann
    Physical Posters as Gateways to Context-Aware Services for Mobile Devices. [Citation Graph (0, 0)][DBLP]
    WMCSA, 2004, pp:10-19 [Conf]
  41. 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. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 2003, v:18, n:1, pp:39-40 [Journal]
  42. Heinrich Hußmann
    Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1992, v:12, n:3&4, pp:237-255 [Journal]
  43. Richard Atterer, Albrecht Schmidt, Heinrich Hußmann
    Extending Web Engineering Models and Tools for Automatic Usability Validation. [Citation Graph (0, 0)][DBLP]
    J. Web Eng., 2006, v:5, n:1, pp:43-64 [Journal]
  44. Heinrich Hußmann, Birgit Demuth, Frank Finger
    Modular architecture for a toolset supporting OCL. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:44, n:1, pp:51-69 [Journal]
  45. Andreas Pleuß, Heinrich Hußmann
    Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications. [Citation Graph (0, 0)][DBLP]
    HCI (1), 2007, pp:1168-1177 [Conf]
  46. Heiko Drewes, Heinrich Hußmann, Albrecht Schmidt
    Blickgesten als Fernbedienung. [Citation Graph (0, 0)][DBLP]
    Mensch & Computer, 2007, pp:79-88 [Conf]

  47. Eyepass - eye-stroke authentication for public terminals. [Citation Graph (, )][DBLP]


  48. Vibrapass: secure authentication based on shared lies. [Citation Graph (, )][DBLP]


  49. Mobile and Embedded Interactive Systems (MEIS'08). [Citation Graph (, )][DBLP]


  50. Vorwort der Workshop-Leitung. [Citation Graph (, )][DBLP]


  51. Fourth international workshop on model driven development of advanced user interfaces. [Citation Graph (, )][DBLP]


  52. Third International Workshop on Model Driven Development of Advanced User Interfaces. [Citation Graph (, )][DBLP]


  53. Modeling advanced concepts of interactive multimedia applications. [Citation Graph (, )][DBLP]


  54. Metaphor or diagram?: comparing different representations for group mirrors. [Citation Graph (, )][DBLP]


Search in 0.009secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002