Heinrich Hußmann
According to our database1,
Heinrich Hußmann
authored at least 166 papers
between 1985 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:
-
at dl.acm.org
On csauthors.net:
Bibliography
2019
Frontal Screens on Head-Mounted Displays to Increase Awareness of the HMD Users' State in Mixed Presence Collaboration.
CoRR, 2019
A Qualitative Post-Experience Method for Evaluating Changes in VR Presence Experience Over Time.
CoRR, 2019
Interaction Techniques for Cinematic Virtual Reality.
Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces, 2019
Investigating the Third Dimension for Authentication in Immersive Virtual Reality and in the Real World.
Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces, 2019
Real-Time Personalization in Adaptive IDEs.
Proceedings of the Adjunct Publication of the 27th Conference on User Modeling, 2019
Camera Heights in Cinematic Virtual Reality: How Viewers Perceive Mismatches Between Camera and Eye Height.
Proceedings of the 2019 ACM International Conference on Interactive Experiences for TV and Online Video, 2019
Understanding Emoji Interpretation through User Personality and Message Context.
Proceedings of the 21st International Conference on Human-Computer Interaction with Mobile Devices and Services, 2019
Understanding Algorithms through Exploration: Supporting Knowledge Acquisition in Primary Tasks.
Proceedings of Mensch und Computer 2019, Hamburg, Germany, September 8-11, 2019, 2019
When people and algorithms meet: user-reported problems in intelligent everyday applications.
Proceedings of the 24th International Conference on Intelligent User Interfaces, 2019
Investigating the Potential of EEG for Implicit Detection of Unknown Words for Foreign Language Learning.
Proceedings of the Human-Computer Interaction - INTERACT 2019, 2019
I Drive - You Trust: Explaining Driving Behavior Of Autonomous Cars.
Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019
A Review & Analysis of Mindfulness Research in HCI: Framing Current Lines of Research and Future Opportunities.
Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019
The Impact of Placebic Explanations on Trust in Intelligent Systems.
Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019
InCarAR: A Design Space Towards 3D Augmented Reality Applications in Vehicles.
Proceedings of the 11th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2019
2018
Privacy and personalization: the story of a cross-cultural field study.
Interactions, 2018
The impact of camera height in cinematic virtual reality.
Proceedings of the 24th ACM Symposium on Virtual Reality Software and Technology, 2018
Training in IVR: investigating the effect of instructor design on social presence and performance of the VR user.
Proceedings of the 24th ACM Symposium on Virtual Reality Software and Technology, 2018
Dynamic Subtitles in Cinematic Virtual Reality.
Proceedings of the 2018 ACM International Conference on Interactive Experiences for TV and Online Video, 2018
CVR-Analyzer: A Tool for Analyzing Cinematic Virtual Reality Viewing Patterns.
Proceedings of the Symposium on Spatial User Interaction, 2018
Spaceline: A Way of Interaction in Cinematic Virtual Reality.
Proceedings of the Symposium on Spatial User Interaction, 2018
Towards Finding Windows of Opportunity for Ubiquitous Healthy Eating Interventions.
Proceedings of the Persuasive Technology - 13th International Conference, 2018
Feeling alone in public: investigating the influence of spatial layout on users' VR experience.
Proceedings of the 10th Nordic Conference on Human-Computer Interaction, Oslo, 2018
Spaceline und Interaktion in Cinematischer Virtueller Realität.
Proceedings of the Mensch und Computer 2018, 2018
Trusting Strangers in Immersive Virtual Reality.
Proceedings of the 23rd International Conference on Intelligent User Interfaces Companion, 2018
Bringing Transparency Design into Practice.
Proceedings of the 23rd International Conference on Intelligent User Interfaces, 2018
Social Viewing in Cinematic Virtual Reality: Challenges and Opportunities.
Proceedings of the Interactive Storytelling, 2018
Positioning of Subtitles in Cinematic Virtual Reality.
Proceedings of the International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments, 2018
Lunchocracy: Improving Eating Dynamics in the Workplace Using a Bot-Based Anonymous Voting System.
Proceedings of the Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, 2018
Intelligent Interruptions for IVR: Investigating the Interplay between Presence, Workload and Attention.
Proceedings of the Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, 2018
Guiding the Viewer in Cinematic Virtual Reality by Diegetic Cues.
Proceedings of the Augmented Reality, Virtual Reality, and Computer Graphics, 2018
Defining Size Parameters for Touch Interaction in Substitutional Reality Environments.
Proceedings of the Augmented Reality, Virtual Reality, and Computer Graphics, 2018
Spatial statistics for analyzing data in cinematic virtual reality.
Proceedings of the 2018 International Conference on Advanced Visual Interfaces, 2018
Early Take-Over Preparation in Stereoscopic 3D.
Proceedings of the Adjunct Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2018
I Drive My Car and My States Drive Me: Visualizing Driver's Emotional and Physical States.
Proceedings of the Adjunct Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2018
Beyond Transportation: How to Keep Users Attached When They Are Neither Driving nor Owning Automated Cars?
Proceedings of the Adjunct Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2018
2017
Diegetic cues for guiding the viewer in cinematic virtual reality.
Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology, 2017
The bird is the word: a usability evaluation of emojis inside text passwords.
Proceedings of the 29th Australian Conference on Computer-Human Interaction, 2017
PASDJO: quantifying password strength perceptions with an online game.
Proceedings of the 29th Australian Conference on Computer-Human Interaction, 2017
Exploring Challenges in Automated Just-In-Time Adaptive Food Choice Interventions.
Proceedings of the 2nd International Workshop on Multimedia for Personal Health and Health Care, 2017
Understanding Shoulder Surfing in the Wild: Stories from Users and Observers.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017
2016
Eppur Si Muove - Considerations in the Research of Commercial Video Games.
Proceedings of the 8th International Conference on Games and Virtual Worlds for Serious Applications, 2016
On quantifying the effective password space of grid-based unlock gestures.
Proceedings of the 15th International Conference on Mobile and Ubiquitous Multimedia, 2016
Towards Tool Support for Team Awareness in Collaborative Argumentation.
Proceedings of the CSEDU 2016, 2016
You Can't Watch This!: Privacy-Respectful Photo Browsing on Smartphones.
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016
A Comparison of Cooperative and Competitive Visualizations for Co-located Collaboration.
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016
Indirect 2D Touch Panning: How Does It Affect Spatial Memory and Navigation Performance?
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016
My Scrawl Hides It All: Protecting Text Messages Against Shoulder Surfing With Handwritten Fonts.
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016
Novel Indirect Touch Input Techniques Applied to Finger-Forming 3D Models.
Proceedings of the International Working Conference on Advanced Visual Interfaces, 2016
DEMO: Web Application ArtEater.
Proceedings of the The 15th International Conference on Interaction Design and Children, 2016
2015
Explicit Fun, Implicit Learning in Multiplayer Online Battle Arenas: Methodological Proposal for Studying the Development of Cognitive Skills Using Commercial Video Games.
Proceedings of the 7th International Conference on Games and Virtual Worlds for Serious Applications, 2015
Perspective-dependent Indirect Touch Input for 3D Polygon Extrusion.
Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, 2015
Where Have You Been? Using Location-Based Security Questions for Fallback Authentication.
Proceedings of the Eleventh Symposium On Usable Privacy and Security, 2015
Locked Your Phone? Buy a New One? From Tales of Fallback Authentication on Smartphones to Actual Concepts.
Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services, 2015
Thinking Like Disney: Supporting the Disney Method Using Ambient Feedback Based on Group Performance.
Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015
Scientific Heroes: Multiplayer Online Battle Arenas Foster Players' Hypothetico-Deductive Reasoning.
Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play, 2015
Easy to Draw, but Hard to Trace?: On the Observability of Grid-based (Un)lock Patterns.
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015
SwiPIN: Fast and Secure PIN-Entry on Smartphones.
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015
Supporting the Disney Method with an Interactive Feedback System.
Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, 2015
A Concept for 3D Interaction on a Curved Touch Display.
Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, 2015
I Feel Like I'm Taking Selfies All Day!: Towards Understanding Biometric Authentication on Smartphones.
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015
I Know What You Did Last Week! Do You?: Dynamic Security Questions for Fallback Authentication on Smartphones.
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015
iHIP: Towards a User Centric Individual Human Interaction Proof Framework.
Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, 2015
The Broad View: How To Spawn a Radical Organizational Transformation 'En Passant'.
Proceedings of the Software, 2015
2014
Out of Shape, Out of Style, Out of Focus - Wie sich Computer besser in unseren Alltag integrieren (lassen).
Informatik Spektrum, 2014
Honey, I shrunk the keys: influences of mobile devices on password composition and authentication performance.
Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, 2014
Groupgarden: supporting brainstorming through a metaphorical group mirror on table or wall.
Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, 2014
Towards understanding spontaneous interaction on curved displays.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014
Now you see me, now you don't: protecting smartphone authentication from shoulder surfers.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014
Supporting debates with a real-time feedback system.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014
Using icon arrangement for fallback authentication on smartphones.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014
2013
Designing for expert users on a large non-standard display.
Proceedings of the ACM International Conference on Interactive Tabletops and Surfaces, 2013
Oh app, where art thou?: on app launching habits of smartphone users.
Proceedings of the 15th International Conference on Human-Computer Interaction with Mobile Devices and Services, 2013
Making graphic-based authentication secure against smudge attacks.
Proceedings of the 18th International Conference on Intelligent User Interfaces, 2013
Survival of the Shortest: A Retrospective Analysis of Influencing Factors on Password Composition.
Proceedings of the Human-Computer Interaction - INTERACT 2013, 2013
Long-Term Experiences with an Iterative Design of a QR-Code-Based Payment System for Beverages.
Proceedings of the Human-Computer Interaction - INTERACT 2013, 2013
Travel Routes or Geography Facts? An Evaluation of Voice Authentication User Interfaces.
Proceedings of the Human-Computer Interaction - INTERACT 2013, 2013
Using fake cursors to secure on-screen password entry.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013
2012
Too much information!: user attitudes towards smartphone sharing.
Proceedings of the Nordic Conference on Human-Computer Interaction, 2012
Touch me once and i know it's you!: implicit authentication based on touch screen patterns.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012
2011
Model-Driven Development of Interactive Multimedia Applications with MML.
Proceedings of the Model-Driven Development of Advanced User Interfaces, 2011
Flow of electrons: an augmented workspace for learning physical computing experientially.
Proceedings of the ACM International Conference on Interactive Tabletops and Surfaces, 2011
Combining Design and Engineering of Interactive Systems through Models and Tools (ComDeisMoto).
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011
Data type based security alert dialogs.
Proceedings of the International Conference on Human Factors in Computing Systems, 2011
Does MoodyBoard make internet use more secure?: evaluating an ambient security visualization tool.
Proceedings of the International Conference on Human Factors in Computing Systems, 2011
2010
Towards understanding ATM security: a field study of real world ATM use.
Proceedings of the Sixth Symposium on Usable Privacy and Security, 2010
TreasurePhone: Context-Sensitive User Data Protection on Mobile Phones.
Proceedings of the Pervasive Computing, 8th International Conference, 2010
Curve: revisiting the digital desk.
Proceedings of the 6th Nordic Conference on Human-Computer Interaction 2010, 2010
Measuring effects of private and shared displays in small-group knowledge sharing processes.
Proceedings of the 6th Nordic Conference on Human-Computer Interaction 2010, 2010
Mobile or desktop websites?: website usage on multitouch devices.
Proceedings of the 6th Nordic Conference on Human-Computer Interaction 2010, 2010
Mobia Modeler: easing the creation process of mobile applications for non-technical users.
Proceedings of the 15th International Conference on Intelligent User Interfaces, 2010
A Test-Oriented HMI Specification Model for Model-Based Testing of Automotive Human-Machine Interfaces.
Proceedings of the Informatik 2010: Service Science - Neue Perspektiven für die Informatik, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Band 2, 27.09., 2010
ColorPIN: securing PIN entry through indirect input.
Proceedings of the 28th International Conference on Human Factors in Computing Systems, 2010
Model-driven development of advanced user interfaces.
Proceedings of the 28th International Conference on Human Factors in Computing Systems, 2010
2009
Perci: Pervasive Service Interaction with the Internet of Things.
IEEE Internet Computing, 2009
Modeling advanced concepts of interactive multimedia applications.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009
Look into my eyes!: can you guess my password?
Proceedings of the 5th Symposium on Usable Privacy and Security, 2009
Metaphor or diagram?: comparing different representations for group mirrors.
Proceedings of the 21st Australasian Computer-Human Interaction Conference, 2009
My phone is my keypad: privacy-enhanced PIN-entry on public terminals.
Proceedings of the 21st Australasian Computer-Human Interaction Conference, 2009
A Methodology and Framework to Simplify Usability Analysis of Mobile Applications.
Proceedings of the ASE 2009, 2009
Fourth international workshop on model driven development of advanced user interfaces.
Proceedings of the 14th International Conference on Intelligent User Interfaces, 2009
Applying Domain-Specific Modeling to Mobile Health Monitoring Applications.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009
Evaluation of User Interface Design and Input Methods for Applications on Mobile Touch Screen Devices.
Proceedings of the Human-Computer Interaction, 2009
Evaluation of User-Interfaces for Mobile Application Development Environments.
Proceedings of the Human-Computer Interaction. New Trends, 13th International Conference, 2009
Vorwort der Workshop-Leitung.
Proceedings of the Informatik 2009: Im Focus das Leben, 2009
eXtremely simple scripting (XSS): a framework to speed up the development of computer-supported collaboration scripts.
Proceedings of the 8th International Conference on Computer Supported Collaborative Learning, 2009
Vibrapass: secure authentication based on shared lies.
Proceedings of the 27th International Conference on Human Factors in Computing Systems, 2009
Medieninformatik - Eine Einführung.
Pearson Studium, ISBN: 978-3-8273-7353-3, 2009
2008
Model-Driven Development of Mobile Applications.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008
Mobile and Embedded Interactive Systems (MEIS'08).
Proceedings of the INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8., 2008
Eyepass - eye-stroke authentication for public terminals.
Proceedings of the Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, 2008
2007
PassShape: stroke based shape passwords.
Proceedings of the 2007 Australasian Computer-Human Interaction Conference, 2007
Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications.
Proceedings of the Model Driven Engineering Languages and Systems, 2007
Third International Workshop on Model Driven Development of Advanced User Interfaces.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007
Blickgesten als Fernbedienung.
Proceedings of the Mensch & Computer 2007: Interaktion im Plural, 2007
Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications.
Proceedings of the Human-Computer Interaction. Interaction Design and Usability, 2007
Keystroke-level model for advanced mobile phone interaction.
Proceedings of the 2007 Conference on Human Factors in Computing Systems, 2007
2006
SoSyM special section on service-based software engineering.
Software and Systems Modeling, 2006
Extending Web Engineering Models and Tools for Automatic Usability Validation.
J. Web Eng., 2006
Modeling Augmented Reality User Interfaces with SSIML/AR.
Journal of Multimedia, 2006
Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report.
Proceedings of the Models in Software Engineering, 2006
2005
Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI).
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005
Tool Support for OCL and Related Formalisms - Needs and Trends.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005
2004
Physical Posters as Gateways to Context-Aware Services for Mobile Devices.
Proceedings of the 6th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2004), 2004
Models for Non-functional Aspects of Component-Based Software (NfC'04).
Proceedings of the UML Modeling Languages and Applications, 2004
OCL and Model Driven Engineering.
Proceedings of the UML Modeling Languages and Applications, 2004
2003
COMQUAD: Komponentenbasierte Softwaresysteme mit zusagbaren quantitativen Eigenschaften und Adaptionsfähigkeit.
Inform., Forsch. Entwickl., 2003
AQUILA: adaptive resource control for QoS using an IP-based layered architecture.
IEEE Communications Magazine, 2003
Overview of the Project AQUILA (IST-1999-10077).
Proceedings of the Architectures for Quality of Service in the Internet, 2003
2002
Modular architecture for a toolset supporting OCL.
Sci. Comput. Program., 2002
On the Precise Meaning of OCL Constraints.
Proceedings of the Object Modeling with the OCL, 2002
Experience in Early and Late Software Engineering Project Courses.
Proceedings of the 15th Conference on Software Engineering Education and Training (CSEET'02), 2002
2001
Workshops and Tutorials at the UML 2001 Conference.
Proceedings of the «UML» 2001, 2001
OCL as a Specification Language for Business Rules in Database Applications.
Proceedings of the «UML» 2001, 2001
2000
Modular Architecture for a Toolset Supporting OCL.
Proceedings of the «UML» 2000, 2000
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 2000
A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience.
Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000
1999
Using UML/OCL Constraints for Relational Database Design.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999
Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung?
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999
Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues?
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
1997
Proposal for an IN Switching State Model in an Integrated IN/B-ISDN Scenario.
Proceedings of the Intelligence in Services and Networks: Technology for Cooperative Competition, 1997
Intelligent ATM Networks: Services and Realisation Alternatives.
Proceedings of the Intelligence in Services and Networks: Technology for Cooperative Competition, 1997
A Transnational IN/B-ISDN Integrated Network for the Provision of Multimedia Services.
Proceedings of the Multimedia Applications, Services and Techniques, 1997
Formal Foundations for Software Engineeing Methods
Lecture Notes in Computer Science 1322, Springer, ISBN: 3-540-63613-7, 1997
1996
Graphical Development of Consistent System Specifications.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996
1995
The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System.
Proceedings of the KORSO, 1995
1994
Agenda für die Arbeitsgruppe CASE- Werkzeuge.
Proceedings of the Software Engineering im Unterricht der Hochschulen SEUH '94, 1994
Formal Foundations for Pragmatic Software Engineering Methods.
Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994
Axiomatic Specification of Large Information Systems: Experiences and Consequences.
Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994
1993
"CASE-Werkzeuge" - Hauptseminar mit Industriekontakten.
Proceedings of the Software Engineering im Unterricht der Hochschulen SEUH '93, 1993
KORSO: Das Verbundprojekt "Korrekte Software".
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993
1992
Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting.
J. Log. Program., 1992
An Inductive Theorem Prover Based on Narrowing.
Proceedings of the Logic Programming and Automated Reasoning, 1992
1991
A Narrowing-Based Theorem Prover.
Proceedings of the Programming Language Implementation and Logic Programming, 1991
A Case Study Towards Algebraic Verification of Code.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991
Nondeterministic algebraic specifications.
University of Passau, Germany, 1991
1989
Nichtdeterministische algebraische Spezifikationen.
PhD thesis, 1989
1988
Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting.
Proceedings of the Algebraic and Logic Programming, 1988
Prototyping Non-Deterministic Algebraic Specifications using the RAP System.
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988
1987
The Passau RAP System: Rapid Prototyping for Algebraic Specifications.
Proceedings of the STACS 87, 1987
A Compiler for a Class of Conditional Term Rewriting Systems.
Proceedings of the Conditional Term Rewriting Systems, 1987
Specification and Prototyping of a Compiler for a Small Applicative Language.
Proceedings of the Algebraic Methods: Theory, 1987
The RAP System as a Tool for Testing COLD Specifications.
Proceedings of the Algebraic Methods: Theory, 1987
1986
Towards Advanced Programming Environments Based on Algebraic Concepts.
Proceedings of the Advanced Programming Environments, 1986
Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution.
Proceedings of the ESOP 86, 1986
The Passau RAP System: Prototyping Algebraic Specifications Using Conditional Narrowing.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986
1985
Unification in Conditional Equational Theories.
Proceedings of the EUROCAL '85, 1985