Heinrich Hußmann
Orcid: 0000-0003-1709-7905Affiliations:
- Ludwig Maximilian University of Munich, Germany
According to our database1,
Heinrich Hußmann
authored at least 221 papers
between 1985 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
The Tale of a Complicated Relationship: Insights from Users' Love/Breakup Letters to Their Smartphones before and during the COVID-19 Pandemic.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., March, 2023
CoRR, 2023
2022
How to Support Users in Understanding Intelligent Systems? An Analysis and Conceptual Framework of User Questions Considering User Mindsets, Involvement, and Knowledge Outcomes.
ACM Trans. Interact. Intell. Syst., December, 2022
The Influence of Transparency and Control on the Willingness of Data Sharing in Adaptive Mobile Apps.
Proc. ACM Hum. Comput. Interact., 2022
Multimodal Technol. Interact., 2022
Proceedings of the TEI '22: Sixteenth International Conference on Tangible, Embedded, and Embodied Interaction, Daejeon, Republic of Korea, February 13, 2022
Proceedings of the MuC '22: Mensch und Computer 2022, Darmstadt Germany, September 4, 2022
Enthusiasts, Pragmatists, and Skeptics: Investigating Users' Attitudes Towards Emotion- and Personality-Aware Voice Assistants across Cultures.
Proceedings of the MuC '22: Mensch und Computer 2022, Darmstadt Germany, September 4, 2022
Proceedings of the MuC '22: Mensch und Computer 2022, Darmstadt Germany, September 4, 2022
Proceedings of the ETRA 2022: Symposium on Eye Tracking Research and Applications, Seattle, WA, USA, June 8, 2022
Proceedings of the IDC '22: Interaction Design and Children, Braga, Portugal, June 27, 2022
Proceedings of the DIS '22: Designing Interactive Systems Conference, Virtual Event, Australia, June 13, 2022
2021
Social viewing in cinematic virtual reality: a design space for social movie applications.
Virtual Real., 2021
Proceedings of the IMX '21: ACM International Conference on Interactive Media Experiences, 2021
Why Did you Stop? - Investigating Origins and Effects of Interruptions during Mobile Language Learning.
Proceedings of the MuC '21: Mensch und Computer 2021, 2021
How to Manage Output Uncertainty: Targeting the Actual End User Problem in Interactions with AI.
Proceedings of the Joint Proceedings of the ACM IUI 2021 Workshops co-located with 26th ACM Conference on Intelligent User Interfaces (ACM IUI 2021), 2021
How to Support Users in Understanding Intelligent Systems? Structuring the Discussion.
Proceedings of the IUI '21: 26th International Conference on Intelligent User Interfaces, 2021
Proceedings of the Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30, 2021
Proceedings of the Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30, 2021
Proceedings of the Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30, 2021
Proceedings of the 2nd IEEE International Conference on Human-Machine Systems, 2021
Manipulating and Evaluating Levels of Personality Perceptions of Voice Assistants through Enactment-Based Dialogue Design.
Proceedings of the CUI 2021, 2021
Forward Reasoning Decision Support: Toward a More Complete View of the Human-AI Interaction Design Space.
Proceedings of the 14th Biannual Conference of the Italian SIGCHI Chapter, 2021
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021
On Ubiquitous Technology, a Digital World and their Influence on People's Feeling and Control of Presence in Everyday Life.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021
Proceedings of the 13th ACM SIGCHI Conference on Creativity and Cognition, 2021
Proceedings of the Augmented Reality, Virtual Reality, and Computer Graphics, 2021
2020
Invisible Boundaries for VR: Auditory and Haptic Signals as Indicators for Real World Boundaries.
IEEE Trans. Vis. Comput. Graph., 2020
A Method and Analysis to Elicit User-Reported Problems in Intelligent Everyday Applications.
ACM Trans. Interact. Intell. Syst., 2020
"I'd like an Explanation for That!"Exploring Reactions to Unexpected Autonomous Driving.
Proceedings of the MobileHCI '20: 22nd International Conference on Human-Computer Interaction with Mobile Devices and Services, 2020
Proceedings of the IUI '20: 25th International Conference on Intelligent User Interfaces, 2020
Seamless, Bi-directional Transitions along the Reality-Virtuality Continuum: A Conceptualization and Prototype Exploration.
Proceedings of the 2020 IEEE International Symposium on Mixed and Augmented Reality, 2020
The Predictive Corridor: A Virtual Augmented Driving Assistance System for Teleoperated Autonomous Vehicles.
Proceedings of the 30th International Conference on Artificial Reality and Telexistence, 2020
Proceedings of the 2nd Conference on Conversational User Interfaces, 2020
Developing a Personality Model for Speech-based Conversational Agents Using the Psycholexical Approach.
Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020
How to Trick AI: Users' Strategies for Protecting Themselves from Automatic Personality Assessment.
Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020
BrainCoDe: Electroencephalography-based Comprehension Detection during Reading and Listening.
Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020
Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020
How to Reduce the Effort: Comfortable Watching Techniques for Cinematic Virtual Reality.
Proceedings of the Augmented Reality, Virtual Reality, and Computer Graphics, 2020
Proceedings of the AVI '20: International Conference on Advanced Visual Interfaces, Island of Ischia, Italy, September 28, 2020
Proceedings of the AutomotiveUI '20: 12th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2020
Proceedings of the Adjunct Proceedings of the 12th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2020
2019
Multimodal Technol. Interact., 2019
DrawingPresence: A Method for Assessing Temporal Fluctuations of Presence Status in a VR Experience.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 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
Proceedings of the 25th ACM Symposium on Virtual Reality Software and Technology, 2019
Proceedings of the 25th ACM Symposium on Virtual Reality Software and Technology, 2019
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
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
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
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
Proceedings of the Interactive Storytelling, 2019
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
Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019
Proceedings of the 11th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2019
2018
EyeSpot: Leveraging Gaze to Protect Private Text Content on Mobile Devices from Shoulder Surfing.
Multimodal Technol. Interact., 2018
Interactions, 2018
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
Proceedings of the 2018 ACM International Conference on Interactive Experiences for TV and Online Video, 2018
Proceedings of the Symposium on Spatial User Interaction, 2018
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
Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia, 2018
Proceedings of the Mensch und Computer 2018, 2018
Proceedings of the 23rd International Conference on Intelligent User Interfaces Companion, 2018
Proceedings of the 23rd International Conference on Intelligent User Interfaces, 2018
Proceedings of the Interactive Storytelling, 2018
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
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
Proceedings of the 2018 International Conference on Advanced Visual Interfaces, 2018
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
Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology, 2017
Proceedings of the 29th Australian Conference on Computer-Human Interaction, 2017
Proceedings of the 29th Australian Conference on Computer-Human Interaction, 2017
Proceedings of the 2nd International Workshop on Multimedia for Personal Health and Health Care, 2017
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017
Proceedings of the 50 Jahre Universitäts-Informatik in München, 2017
2016
Proceedings of the 8th International Conference on Games and Virtual Worlds for Serious Applications, 2016
Proceedings of the 15th International Conference on Mobile and Ubiquitous Multimedia, 2016
Proceedings of the CSEDU 2016, 2016
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
Proceedings of the International Working Conference on Advanced Visual Interfaces, 2016
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
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
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015
Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, 2015
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
Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, 2015
Proceedings of the Software, 2015
2014
Out of Shape, Out of Style, Out of Focus - Wie sich Computer besser in unseren Alltag integrieren (lassen).
Inform. 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
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
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014
2013
Proceedings of the ACM International Conference on Interactive Tabletops and Surfaces, 2013
Proceedings of the 15th International Conference on Human-Computer Interaction with Mobile Devices and Services, 2013
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
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013
2012
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
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
Supporting Argumentative Knowledge Construction in Face-to-Face Settings: From ArgueTable to ArgueWall.
Proceedings of the 9th International Conference on Computer Supported Collaborative Learning, 2011
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
Proceedings of the Sixth Symposium on Usable Privacy and Security, 2010
Proceedings of the Pervasive Computing, 8th International Conference, 2010
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
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 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010
Proceedings of the 28th International Conference on Human Factors in Computing Systems, 2010
Proceedings of the 28th International Conference on Human Factors in Computing Systems, 2010
2009
IEEE Internet Comput., 2009
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009
Proceedings of the 5th Symposium on Usable Privacy and Security, 2009
Proceedings of the 21st Australasian Computer-Human Interaction Conference, 2009
Proceedings of the 21st Australasian Computer-Human Interaction Conference, 2009
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
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
Proceedings of the Human-Computer Interaction. New Trends, 13th International Conference, 2009
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 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
Proceedings of the 27th International Conference on Human Factors in Computing Systems, 2009
2008
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008
Proceedings of the Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, 2008
2007
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
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
Proceedings of the 2007 Conference on Human Factors in Computing Systems, 2007
2006
Softw. Syst. Model., 2006
J. Web Eng., 2006
Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report.
Proceedings of the Models in Software Engineering, 2006
2005
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005
2004
Proceedings of the 6th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2004), 2004
Proceedings of the UML Modeling Languages and Applications, 2004
Proceedings of the UML Modeling Languages and Applications, 2004
2003
COMQUAD: Komponentenbasierte Softwaresysteme mit zusagbaren quantitativen Eigenschaften und Adaptionsfähigkeit.
Inform. Forsch. Entwickl., 2003
IEEE Commun. Mag., 2003
Proceedings of the Architectures for Quality of Service in the Internet, 2003
2002
Proceedings of the Object Modeling with the OCL, 2002
Proceedings of the 15th Conference on Software Engineering Education and Training (CSEET'02), 2002
2001
Proceedings of the «UML» 2001, 2001
Proceedings of the «UML» 2001, 2001
2000
Implementing integrated and differentiated services for the Internet with ATM networks: a practical approach.
IEEE Commun. Mag., 2000
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 2000
Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000
1999
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
1998
IEEE Commun. Mag., 1998
1997
Proceedings of the Intelligence in Services and Networks: Technology for Cooperative Competition, 1997
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
Lecture Notes in Computer Science 1322, Springer, ISBN: 3-540-63613-7, 1997
1996
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
Proceedings of the Software Engineering im Unterricht der Hochschulen SEUH '94, 1994
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
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
Forschungsberichte, TU Munich, 1993
Forschungsberichte, TU Munich, 1993
"CASE-Werkzeuge" - Hauptseminar mit Industriekontakten.
Proceedings of the Software Engineering im Unterricht der Hochschulen SEUH '93, 1993
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993
1992
J. Log. Program., 1992
Proceedings of the Logic Programming and Automated Reasoning, 1992
1991
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
1989
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
Proceedings of the Conditional Term Rewriting Systems, 1987
Proceedings of the Conditional Term Rewriting Systems, 1987
Proceedings of the Algebraic Methods: Theory, 1987
Proceedings of the Algebraic Methods: Theory, 1987
1986
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