The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Heinrich Hußmann Heinrich Hussmann ( http://dblp.L3S.de/Authors/Heinrich_Hußmann )

Publication years (Num. hits)
1985-1992 (15) 1993-1999 (15) 2000-2004 (15) 2005-2008 (17) 2009-2010 (23) 2011-2012 (5)
Publication types (Num. hits)
article(7) book(2) inproceedings(76) proceedings(5)
Venues (Conferences, Journals, ...)
CHI(5) GI Jahrestagung(5) UML(5) CHI Extended Abstracts(3) NordiCHI(3) OZCHI(3) SEUH(3) Algebraic Methods(2) ASE(2) CSEE&T(2) CTRS(2) FASE(2) HCI(2) INTERACT(2) IS&N(2) IUI(2) More (+10 of total 54)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 62 occurrences of 39 keywords

Results
Found 90 publication records. Showing 90 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alexander 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. Search on Bibsonomy CHI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stefan 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). Search on Bibsonomy INTERACT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexander 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. Search on Bibsonomy CHI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Max-Emanuel Maurer, Alexander De Luca, Heinrich Hussmann Data type based security alert dialogs. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bettina Conradi, Verena Lerch, Martin Hommer, Robert Kowalski, Ioanna Vletsou, Heinrich Hussmann Flow of electrons: an augmented workspace for learning physical computing experientially. Search on Bibsonomy ITS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Julian Seifert, Alexander De Luca, Bettina Conradi, Heinrich Hussmann TreasurePhone: Context-Sensitive User Data Protection on Mobile Phones. Search on Bibsonomy Pervasive The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexander De Luca, Marc Langheinrich, Heinrich Hussmann Towards understanding ATM security: a field study of real world ATM use. Search on Bibsonomy SOUPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF design implications, security, authentication, ATM, field study, lessons learned
1Sara 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. Search on Bibsonomy NordiCHI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Max-Emanuel Maurer, Doris Hausen, Alexander De Luca, Heinrich Hussmann Mobile or desktop websites?: website usage on multitouch devices. Search on Bibsonomy NordiCHI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Linshu Duan, Heinrich Hussmann, Alexander Höfer A Test-Oriented HMI Specification Model for Model-Based Testing of Automotive Human-Machine Interfaces. Search on Bibsonomy GI Jahrestagung The full citation details ... 2010 DBLP  BibTeX  RDF
1Jan Van den Bergh, Gerrit Meixner, Kai Breiner, Andreas Pleuss, Stefan Sauer, Heinrich Hussmann Model-driven development of advanced user interfaces. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2010 DBLP  DOI  BibTeX  RDF models, user-centered design, model-driven development
1Alexander De Luca, Katja Hertzschuch, Heinrich Hussmann ColorPIN: securing PIN entry through indirect input. Search on Bibsonomy CHI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF atm, colorpin, security, authentication
1Florence T. Balagtas-Fernandez, Max Tafelmayer, Heinrich Hussmann Mobia Modeler: easing the creation process of mobile applications for non-technical users. Search on Bibsonomy IUI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF user-centered design, mobile application, domain-specific modeling, modeling tools
1Raphael Wimmer, Fabian Hennecke, Florian Schulz, Sebastian Boring, Andreas Butz, Heinrich Hußmann Curve: revisiting the digital desk. Search on Bibsonomy NordiCHI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gregor Broll, Enrico Rukzio, Massimo Paolucci, Matthias Wagner, Albrecht Schmidt, Heinrich Hussmann Perci: Pervasive Service Interaction with the Internet of Things. Search on Bibsonomy IEEE Internet Computing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rainer Malaka, Andreas Butz, Heinrich Hussmann Medieninformatik - Eine Einführung. Search on Bibsonomy 2009   RDF
1Florence T. Balagtas-Fernandez, Heinrich Hussmann Applying Domain-Specific Modeling to Mobile Health Monitoring Applications. Search on Bibsonomy ITNG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mobile health monitoring, Model-driven development, domain-specific modeling, modeling tools
1Florence T. Balagtas-Fernandez, Heinrich Hussmann A Methodology and Framework to Simplify Usability Analysis of Mobile Applications. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF framework, methodology, usability evaluation, mobile applications
1Florence T. Balagtas-Fernandez, Jenny Forrai, Heinrich Hussmann Evaluation of User Interface Design and Input Methods for Applications on Mobile Touch Screen Devices. Search on Bibsonomy INTERACT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Florence T. Balagtas-Fernandez, Heinrich Hussmann Evaluation of User-Interfaces for Mobile Application Development Environments. Search on Bibsonomy HCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alexander De Luca, Martin Denzel, Heinrich Hussmann Look into my eyes!: can you guess my password? Search on Bibsonomy SOUPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF EyePassShapes, security, privacy, authentication, eye tracking, eye gestures
1Alexander De Luca, Bernhard Frauendienst, Sebastian Boring, Heinrich Hussmann My phone is my keypad: privacy-enhanced PIN-entry on public terminals. Search on Bibsonomy OZCHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF PIN entry, security, privacy, mobile devices
1Andreas Pleuß, Goetz Botterweck, Heinrich Hußmann Modeling advanced concepts of interactive multimedia applications. Search on Bibsonomy VL/HCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Karsten 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. Search on Bibsonomy CSCL The full citation details ... 2009 DBLP  BibTeX  RDF
1Sara Streng, Karsten Stegmann, Heinrich Hußmann, Frank Fischer Metaphor or diagram?: comparing different representations for group mirrors. Search on Bibsonomy OZCHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF group mirror, collaborative learning, metaphor, ambient display
1Michael Rohs, Paul Holleis, Matthias Kranz, Heinrich Hußmann, Paul Lukowicz Vorwort der Workshop-Leitung. Search on Bibsonomy GI Jahrestagung The full citation details ... 2009 DBLP  BibTeX  RDF
1Alexander De Luca, Emanuel von Zezschwitz, Heinrich Hußmann Vibrapass: secure authentication based on shared lies. Search on Bibsonomy CHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF lie input, public terminals, security, authentication
1Gerrit 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. Search on Bibsonomy IUI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mbuid, mdd, hci, task model
1Florence T. Balagtas-Fernandez, Heinrich Hussmann Model-Driven Development of Mobile Applications. Search on Bibsonomy ASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Rohs, Paul Holleis, Matthias Kranz, Heinrich Hußmann Mobile and Embedded Interactive Systems (MEIS'08). Search on Bibsonomy GI Jahrestagung The full citation details ... 2008 DBLP  BibTeX  RDF
1Alexander De Luca, Roman Weiss, Heinrich Hußmann, Xueli An Eyepass - eye-stroke authentication for public terminals. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security, privacy, authentication, eye-gestures
1Andreas Pleuss, Arnd Vitzthum, Heinrich Hussmann Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications. Search on Bibsonomy MoDELS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alexander De Luca, Roman Weiss, Heinrich Hussmann PassShape: stroke based shape passwords. Search on Bibsonomy OZCHI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF PassShape, shape passwords, security, authentication
1Paul Holleis, Friederike Otto, Heinrich Hussmann, Albrecht Schmidt Keystroke-level model for advanced mobile phone interaction. Search on Bibsonomy CHI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF keystroke-level model (KLM), mobile phone interaction, real world interaction, design decisions, user performance
1Andreas Pleuß, Heinrich Hußmann Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications. Search on Bibsonomy HCI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Andreas Pleuß, Jan Van den Bergh, Stefan Sauer, Daniel Görlich, Heinrich Hußmann Third International Workshop on Model Driven Development of Advanced User Interfaces. Search on Bibsonomy MoDELS Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Andreas 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 Search on Bibsonomy MDDAUI The full citation details ... 2007 DBLP  BibTeX  RDF
1Heiko Drewes, Heinrich Hußmann, Albrecht Schmidt Blickgesten als Fernbedienung. Search on Bibsonomy Mensch & Computer The full citation details ... 2007 DBLP  BibTeX  RDF
1Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz SoSyM special section on service-based software engineering. Search on Bibsonomy Software and System Modeling The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Model, Architecture, Semantics, Composition, Service, Description
1Arnd Vitzthum, Heinrich Hussmann Modeling Augmented Reality User Interfaces with SSIML/AR. Search on Bibsonomy Journal of Multimedia The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Richard Atterer, Albrecht Schmidt, Heinrich Hußmann Extending Web Engineering Models and Tools for Automatic Usability Validation. Search on Bibsonomy J. Web Eng. The full citation details ... 2006 DBLP  BibTeX  RDF
1Andreas 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. Search on Bibsonomy MoDELS Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas 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. Search on Bibsonomy MoDELS Satellite Events The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Andreas Pleuß, Jan Van den Bergh, Stefan Sauer, Heinrich Hußmann Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI). Search on Bibsonomy MoDELS Satellite Events The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Andreas 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 Search on Bibsonomy MDDAUI The full citation details ... 2005 DBLP  BibTeX  RDF
1Jean 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. Search on Bibsonomy UML Satellite Activities The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jean-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). Search on Bibsonomy UML Satellite Activities The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Enrico Rukzio, Albrecht Schmidt, Heinrich Hußmann Physical Posters as Gateways to Context-Aware Services for Mobile Devices. Search on Bibsonomy WMCSA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ronald 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. Search on Bibsonomy Inform., Forsch. Entwickl. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Berthold F. Koch, Heinrich Hußmann Overview of the Project AQUILA (IST-1999-10077). Search on Bibsonomy Art-QoS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Heinrich Hußmann, Birgit Demuth, Frank Finger Modular architecture for a toolset supporting OCL. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Jean-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 Search on Bibsonomy UML The full citation details ... 2002 DBLP  BibTeX  RDF
1Birgit Demuth, Mike Fischer, Heinrich Hußmann Experience in Early and Late Software Engineering Project Courses. (PDF / PS) Search on Bibsonomy CSEE&T The full citation details ... 2002 DBLP  DOI  BibTeX  RDF basic/complex project course, OOA/OOD, framework-based approach, Java, UML, software architecture, requirements engineering, project management, software engineering course
1Rolf Hennicker, Heinrich Hußmann, Michel Bidoit On the Precise Meaning of OCL Constraints. Search on Bibsonomy Object Modeling with the OCL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Heinrich Hußmann Workshops and Tutorials at the UML 2001 Conference. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Birgit Demuth, Heinrich Hußmann, Sten Loecher OCL as a Specification Language for Business Rules in Database Applications. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Heinrich Hußmann (eds.) 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 Search on Bibsonomy FASE The full citation details ... 2001 DBLP  BibTeX  RDF
1Heinrich Hußmann, Birgit Demuth, Frank Finger Modular Architecture for a Toolset Supporting OCL. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. Search on Bibsonomy FASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Birgit Demuth, Heinrich Hußmann, Steffen Zschaler, Lothar Schmitz A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience. (PDF / PS) Search on Bibsonomy CSEE&T The full citation details ... 2000 DBLP  DOI  BibTeX  RDF domain framework, Java, UML, patterns, teaching, object-oriented technology, software engineering course
1Roel 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? Search on Bibsonomy ECOOP Workshops The full citation details ... 1999 DBLP  BibTeX  RDF
1Birgit Demuth, Heinrich Hußmann Using UML/OCL Constraints for Relational Database Design. Search on Bibsonomy UML The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Heinrich Hußmann Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung? Search on Bibsonomy FBT The full citation details ... 1999 DBLP  BibTeX  RDF
1Heinrich Hußmann Formal Foundations for Software Engineeing Methods Search on Bibsonomy 1997   DOI  RDF
1Heinrich 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. Search on Bibsonomy ECMAST The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Giovanna 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. Search on Bibsonomy IS&N The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Heinrich Hußmann Intelligent ATM Networks: Services and Realisation Alternatives. Search on Bibsonomy IS&N The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Bernhard Schätz, Heinrich Hußmann, Manfred Broy Graphical Development of Consistent System Specifications. Search on Bibsonomy FME The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Felix Cornelius, Heinrich Hußmann, Michael Löwe The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. Search on Bibsonomy KORSO Book The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Heinrich Hußmann Axiomatic Specification of Large Information Systems: Experiences and Consequences. Search on Bibsonomy COMPASS/ADT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Heinrich Hußmann Formal Foundations for Pragmatic Software Engineering Methods. Search on Bibsonomy GI Jahrestagung The full citation details ... 1994 DBLP  BibTeX  RDF
1Heinrich 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 Search on Bibsonomy SEUH The full citation details ... 1994 DBLP  BibTeX  RDF
1Heinrich Hußmann Agenda für die Arbeitsgruppe CASE- Werkzeuge. Search on Bibsonomy SEUH The full citation details ... 1994 DBLP  BibTeX  RDF
1Heinrich Hußmann, Jacques Loeckx, Wolfgang Reif KORSO: Das Verbundprojekt "Korrekte Software". Search on Bibsonomy GI Jahrestagung The full citation details ... 1993 DBLP  BibTeX  RDF
1Heinrich Hußmann "CASE-Werkzeuge" - Hauptseminar mit Industriekontakten. Search on Bibsonomy SEUH The full citation details ... 1993 DBLP  BibTeX  RDF
1Heinrich Hußmann Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. Search on Bibsonomy J. Log. Program. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Ulrich Fraus, Heinrich Hußmann An Inductive Theorem Prover Based on Narrowing. Search on Bibsonomy LPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Heinrich Hussmann A Case Study Towards Algebraic Verification of Code. Search on Bibsonomy AMAST The full citation details ... 1991 DBLP  BibTeX  RDF
1Ulrich Fraus, Heinrich Hußmann A Narrowing-Based Theorem Prover. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Heinrich Hußmann Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Heinrich Hußmann Prototyping Non-Deterministic Algebraic Specifications using the RAP System. Search on Bibsonomy ADT The full citation details ... 1988 DBLP  BibTeX  RDF
1Heinrich Hußmann The Passau RAP System: Rapid Prototyping for Algebraic Specifications. Search on Bibsonomy STACS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Heinrich Hußmann, Christian Rank Specification and Prototyping of a Compiler for a Small Applicative Language. Search on Bibsonomy Algebraic Methods The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Heinrich Hußmann, Alfons Geser The RAP System as a Tool for Testing COLD Specifications. Search on Bibsonomy Algebraic Methods The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Heinrich Hußmann The Passau RAP System: Rapid Prototyping for Algebraic Specifications. Search on Bibsonomy CTRS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Alfons Geser, Heinrich Hußmann, Andreas Mück A Compiler for a Class of Conditional Term Rewriting Systems. Search on Bibsonomy CTRS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Heinrich Hußmann The Passau RAP System: Prototyping Algebraic Specifications Using Conditional Narrowing. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Manfred Broy, Alfons Geser, Heinrich Hußmann Towards Advanced Programming Environments Based on Algebraic Concepts. Search on Bibsonomy Advanced Programming Environments The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Alfons Geser, Heinrich Hußmann Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Heinrich Hußmann Unification in Conditional Equational Theories. Search on Bibsonomy European Conference on Computer Algebra The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #90 of 90 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.