Christian Prehofer

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

Enhancing the Internet of Things with Knowledge-Driven Software-Defined Networking Technology: Future Perspectives.

[BibT_eX]

[DOI]

Sensors, 2020

Graphical Flow-based Spark Programming.

[BibT_eX]

[DOI]

J. Big Data, 2020

Efficient and Selective Upload of Data from Connected Vehicles.

[BibT_eX]

[DOI]

Zaryab Khan

Proceedings of the 6th International Conference on Vehicle Technology and Intelligent Transport Systems, 2020

Big Data Architectures for Vehicle Data Analysis.

[BibT_eX]

[DOI]

Shafqat Mehmood

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019

aFlux: Graphical flow-based data analytics.

[BibT_eX]

[DOI]

Softw. Impacts, 2019

HuMAn: Human Movement Analytics via WiFi Probes.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019

Adaptable Anomaly Detection in Traffic Flow Time Series.

[BibT_eX]

[DOI]

Md Rakibul Alam

Sasan Amini

Alessandro Attanasi

Proceedings of the 6th International Conference on Models and Technologies for Intelligent Transportation Systems, 2019

Cross-Device Radio Map Generation via Crowdsourcing.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Conference on Indoor Positioning and Indoor Navigation, 2019

A Novel Lightweight Particle Filter for Indoor Localization.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Conference on Indoor Positioning and Indoor Navigation, 2019

A Framework for Tunable Anomaly Detection.

[BibT_eX]

[DOI]

Md Rakibul Alam

Alessandro Attanasi

Proceedings of the IEEE International Conference on Software Architecture, 2019

2018

Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2017).

[BibT_eX]

[DOI]

Klaus Moessner

ACM SIGSOFT Softw. Eng. Notes, 2018

Dynamic Vertical Mapping with Crowdsourced Smartphone Sensor Data.

[BibT_eX]

[DOI]

Omid Reza Moslehi Rad

Dorota Iwaszczuk

Urs Hugentobler

Sensors, 2018

Stream Analytics in IoT Mashup Tools.

[BibT_eX]

[DOI]

Ioannis Varsamidakis

Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018

A Tool for Online Experiment-Driven Adaptation.

[BibT_eX]

[DOI]

Ali Naci Uysal

Proceedings of the 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2018

Distribution of Semantic Reasoning on the Edge of Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications, 2018

Extracting Semantics of Indoor Places based on Context Recognition.

[BibT_eX]

[DOI]

Frederik Fraaz

Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

Translating Multi-device Task Models to State Machines.

[BibT_eX]

[DOI]

Andreas Wagner

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Graphical Spark Programming in IoT Mashup Tools.

[BibT_eX]

[DOI]

Shilpa Ghanashyam Gore

Proceedings of the 2018 Fifth International Conference on Internet of Things: Systems, 2018

Adapting a system with noisy outputs with statistical guarantees.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Cost-Aware Stage-Based Experimentation: Challenges and Emerging Results.

[BibT_eX]

[DOI]

Taha Abdelmoutaleb Cherfia

Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

Application of IEC 61499 to develop apps for open platforms.

[BibT_eX]

[DOI]

Ernest Wozniak

Proceedings of the IEEE International Conference on Industrial Technology, 2018

2017

Informatikforschung für digitale Mobilitätsplattformen - Am Beispiel des TUM Living Lab Connected Mobility.

[BibT_eX]

[DOI]

Inform. Spektrum, 2017

Model Problem (CrowdNav) and Framework (RTX) for Self-Adaptation Based on Big Data Analytics (Artifact).

[BibT_eX]

[DOI]

Sanny Schmid

Dagstuhl Artifacts Ser., 2017

Big data analytics architecture for real-time traffic control.

[BibT_eX]

[DOI]

Sasan Amini

Proceedings of the 5th IEEE International Conference on Models and Technologies for Intelligent Transportation Systems, 2017

A novel approach for dynamic vertical indoor mapping through crowd-sourced smartphone sensor data.

[BibT_eX]

[DOI]

Omid Reza Moslehi Rad

Dorota Iwaszczuk

Urs Hugentobler

Proceedings of the 2017 International Conference on Indoor Positioning and Indoor Navigation, 2017

Self-Adaptation Based on Big Data Analytics: A Model Problem and Tool.

[BibT_eX]

[DOI]

Sanny Schmid

Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Transferring Remote Ontologies to the Edge of Internet of Things Systems.

[BibT_eX]

[DOI]

Proceedings of the Green, Pervasive, and Cloud Computing - 12th International Conference, 2017

Bootstrapping the Dynamic Generation of Indoor Maps with Crowdsourced Smartphone Sensor Data.

[BibT_eX]

[DOI]

Proceedings of the Geographical Information Systems Theory, Applications and Management, 2017

Adaptive Bootstrapping for Crowdsourced Indoor Maps.

[BibT_eX]

[DOI]

Proceedings of the GISTAM 2017, 2017

Theta Architecture: Preserving the Quality of Analytics in Data-Driven Systems.

[BibT_eX]

[DOI]

Vasileios Theodorou

Proceedings of the New Trends in Databases and Information Systems, 2017

Informatik-Forschung für digitale Mobilitätsplattformen.

[BibT_eX]

[DOI]

Proceedings of the 50 Jahre Universitäts-Informatik in München, 2017

Modeling RESTful Web of Things Services: Concepts and Tools.

[BibT_eX]

[DOI]

Proceedings of the Managing the Web of Things: Linking the Real World to the Web, 2017

2016

Empirische Forschung zu Software-Evolution - Bestandsaufnahme und Vision aus dem DFG-Schwerpunktprogramm Design for Future - Managed Software Evolution.

[BibT_eX]

[DOI]

Inform. Spektrum, 2016

Das Interview - Digitalisierung und die Rolle der Informatik in Anwendung und Forschung.

[BibT_eX]

[DOI]

Manfred Broy

Hermann Engesser

Inform. Spektrum, 2016

Towards Integration of Big Data Analytics in Internet of Things Mashup Tools.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on the Web of Things, 2016

QryGraph: A graphical tool for Big Data analytics.

[BibT_eX]

[DOI]

Sanny Schmid

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Generation of indoor navigable maps with crowdsourcing.

[BibT_eX]

[DOI]

Xiang Su

Proceedings of the 15th International Conference on Mobile and Ubiquitous Multimedia, 2016

Translating Task Models to State Machines.

[BibT_eX]

[DOI]

Andreas Wagner

Proceedings of the MODELSWARD 2016, 2016

A model-based approach for multi-device user interactions.

[BibT_eX]

[DOI]

Andreas Wagner

Yucheng Jin

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Towards Semantic Reasoning on the Edge of IoT Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on the Internet of Things, 2016

Property Preservation for Extension Patterns of State Transition Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Towards systematic live experimentation in software-intensive systems of systems.

[BibT_eX]

[DOI]

Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016

Towards Trusted Apps platforms for open CPS.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, 2016

Towards hierarchical information architectures in automotive systems.

[BibT_eX]

[DOI]

Martin E. Jobst

Proceedings of the 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, 2016

2015

Generic Operations on RESTful Resources in Mashup Tools.

[BibT_eX]

[DOI]

Dominik Schinner

Proceedings of the 6th International Workshop on the Web of Things, 2015

Model-based Performance Evaluation of Large-Scale Smart Metering Architectures.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Large-Scale Testing, 2015

Models at REST or modelling RESTful interfaces for the Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE World Forum on Internet of Things, 2015

Stream Processing on Demand for Lambda Architectures.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

TAPPS - Trusted Apps for Open Cyber-Physical Systems.

[BibT_eX]

[DOI]

George Kornaros

Michele Paolino

Proceedings of the E-Democracy - Citizen Rights in the World of the New Computing Paradigms, 2015

From Internet of Things Mashups to Model-Based Development.

[BibT_eX]

[DOI]

Luca Chiarabini

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014

Model-based Development and Performance Analysis for Evolving Manufacturing Systems.

[BibT_eX]

[DOI]

Autom., 2014

A Multi-Display System for Deploying and Controlling Home Automation.

[BibT_eX]

[DOI]

Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, 2014

Access Control for Apps Running on Constrained Devices in the Internet of Things.

[BibT_eX]

[DOI]

Andrei Mituca

Amir H. Moin

Proceedings of the 2014 International Workshop on Secure Internet of Things, 2014

Delta modeling for variant-rich and evolving manufacturing systems.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, 2014

Towards a 3-tier architecture for connected vehicles.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Connected Vehicles and Expo, 2014

Towards flexible and adaptive productions systems based on virtual cloud-based control.

[BibT_eX]

[DOI]

Alois Zoitl

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

Towards runtime adaptation in AUTOSAR.

[BibT_eX]

[DOI]

SIGBED Rev., 2013

Network-wide energy optimization for adaptive embedded systems.

[BibT_eX]

[DOI]

Patrick Heinrich

SIGBED Rev., 2013

Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems.

[BibT_eX]

[DOI]

J. Syst. Archit., 2013

Improving rescue information using C2C and C2I communication.

[BibT_eX]

[DOI]

Wolf A. Heidrich

Dominique Seydel

Proceedings of the 5th IEEE International Symposium on Wireless Vehicular Communications, 2013

Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination.

[BibT_eX]

[DOI]

Peter Scholz

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Early Energy Estimation in the Design Process of Networked Embedded Systems.

[BibT_eX]

Patrick Heinrich

Proceedings of the PECCS 2013, 2013

Feature-based Development of State Transition Diagrams with Property Preservation.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Network Performance Evaluation for Distributed Embedded Systems Using Feature Models.

[BibT_eX]

[DOI]

Martin Manderscheid

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

From the Internet of Things to Trusted Apps for Things.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013

2012

Behavioral Refinement and Compatibility of Statechart Extensions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

A Multi-Layered Control Approach for Self-Adaptation in Automotive Embedded Systems.

[BibT_eX]

[DOI]

Adv. Softw. Eng., 2012

Towards runtime adaptation in real-time, networked embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Self-adaptation in Automotive Embedded Systems using a Multi-layered Control Approach.

[BibT_eX]

Proceedings of the PECCS 2012, 2012

Analysis of Event Processing Design Patterns and Their Performance Dependency on I/O Notification Mechanisms.

[BibT_eX]

[DOI]

Ronald Strebelow

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2012

Performance Modeling of Design Patterns for Distributed Computation.

[BibT_eX]

[DOI]

Ronald Strebelow

Mirco Tribastone

Proceedings of the 20th IEEE International Symposium on Modeling, 2012

Timing constraints for runtime adaptation in real-time, networked embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

A hierarchical transaction concept for runtime adaptation in real-time, networked embedded systems.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011

Autonomic Trust Management for a Component-Based Software System.

[BibT_eX]

[DOI]

Zheng Yan

IEEE Trans. Dependable Secur. Comput., 2011

Towards Self-Adaptation in Real-Time, Networked Systems: Efficient Solving of System Constraints for Automotive Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

An Adaptive Control Model for Non-functional Feature Interactions.

[BibT_eX]

[DOI]

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010

Comparing practices for reuse in integration-oriented software product lines and large open source software projects.

[BibT_eX]

[DOI]

Jan Bosch

Softw. Pract. Exp., 2010

Practical Web-Based Smart Spaces.

[BibT_eX]

[DOI]

IEEE Pervasive Comput., 2010

Feature oriented-programming: back to the future.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010

On Patterns for Decentralized Control in Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

Software Engineering for Self-Adaptive Systems: A second Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010

2009

A Comparison of GIS Architectures for Implementing Indoor Location-based Services.

[BibT_eX]

[DOI]

Valerio Vianello

Cristiano di Flora

J. Softw., 2009

Real-world experiences with indoor location based services.

[BibT_eX]

[DOI]

Proceedings of the 2009 international conference on Pervasive services, 2009

Introduction.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2009 Parallel Processing, 2009

2008

Leveraging GIS Technologies for Web-Based Smart Places Services.

[BibT_eX]

[DOI]

Cristiano di Flora

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

Towards a Common Sensor Network API: Practical Experiences.

[BibT_eX]

[DOI]

Filip Suba

Proceedings of the 2008 International Symposium on Applications and the Internet, 2008

Approach for Dynamically Composing Decentralised Service Architectures with Cross-Cutting Constraints.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, Second European Conference, 2008

From SPLs to Open, Compositional Platforms.

[BibT_eX]

[DOI]

Proceedings of the Combining the Advantages of Product Lines and Open Source, 02.04., 2008

Experiences with Realizing Smart Space Web Service Applications.

[BibT_eX]

[DOI]

Cristiano di Flora

Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008

2007

A quality-of-service signaling architecture for seamless handover support in next generation, IP-based mobile networks.

[BibT_eX]

[DOI]

Wirel. Pers. Commun., 2007

Composable Mediation for Security-Aware Mobile Services.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2007

SPICE: Evolving IMS to Next Generation Service Platforms.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Symposium on Applications and the Internet, 2007

An Adaptive Trust Control Model for a Trustworthy Component Software Platform.

[BibT_eX]

[DOI]

Zheng Yan

Proceedings of the Autonomic and Trusted Computing, 4th International Conference, 2007

2006

Performance impact of multihop handovers in an IP-based multihop radio access network.

[BibT_eX]

[DOI]

Philipp Hofmann

ACM SIGMOBILE Mob. Comput. Commun. Rev., 2006

A Distributed End-to-End Reservation Protocol for IEEE 802.11-Based Wireless Mesh Networks.

[BibT_eX]

[DOI]

E. Carlson

Holger Karl

Adam Wolisz

IEEE J. Sel. Areas Commun., 2006

Context-aware handover using active network technology.

[BibT_eX]

[DOI]

Comput. Networks, 2006

An Optimised Gateway Selection Mechanism for Wireless Ad hoc Networks Connected to the Internet.

[BibT_eX]

[DOI]

Proceedings of the 63rd IEEE Vehicular Technology Conference, 2006

Challenges and new approaches for efficient data gathering and dissemination in pervasive wireless networks.

[BibT_eX]

[DOI]

Proceedings of the First International Conference in Integrated Internet Ad Hoc and Sensor Networks, 2006

Semantic reasoning about feature composition via multiple aspect-weavings.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2006

2005

Self-organization in communication networks: principles and design paradigms.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2005

Quality-of-service management for IP-based mobile networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Wireless Communications and Networking Conference, 2005

Visions for dynamic network scenarios in ubiquitous environments: applications and research issues.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM workshop on Dynamic interconnection of networks, 2005

On the evolution of a naming and addressing architecture in view of dynamic network interconnection.

[BibT_eX]

Nick Papadoglou

Martin Johnsson

Proceedings of the Third IASTED International Conference on Communications and Computer Networks, 2005

2004

Ambient networks: an architecture for communication networks beyond 3G.

[BibT_eX]

[DOI]

IEEE Wirel. Commun., 2004

Plug-and-play composition of features and feature interactions with statechart diagrams.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2004

Quality-of-service signaling for next-generation IP-based mobile networks.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2004

Performance analysis of Internet gateway discovery protocols in ad hoc networks.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE Wireless Communications and Networking Conference , 2004

A Framework for Self-organized Network Composition.

[BibT_eX]

[DOI]

Proceedings of the Autonomic Communication, First International IFIP Workshop, 2004

Transition Mechanism in IP-Based Wireless Networks.

[BibT_eX]

[DOI]

Srisakul Thakolsri

Wolfgang Kellerer

Proceedings of the 2004 Symposium on Applications and the Internet Workshops (SAINT 2004 Workshops), 2004

Performance Impact of Mobility in an Emulated IP-Based Multihop Radio Access Network.

[BibT_eX]

[DOI]

Philipp Hofmann

Jeremie Wehren

Proceedings of the Mobile and Wireless Communication Networks, 2004

2003

A framework for context-aware handover decisions.

[BibT_eX]

[DOI]

Nima Nafisi

Qing Wei

Proceedings of the IEEE 14th International Symposium on Personal, 2003

Analyses of addressing and QoS approaches for ad hoc connectivity with the Internet.

[BibT_eX]

[DOI]

Proceedings of the IEEE 14th International Symposium on Personal, 2003

Context-Aware Handover Based on Active Network Technology.

[BibT_eX]

[DOI]

Proceedings of the Active Networks, IFIP TC6 5th International Workshop, 2003

2002

An architecture supporting adaptation and evolution in fourth generation mobile communication systems.

[BibT_eX]

[DOI]

J. Commun. Networks, 2002

Active Networks for 4G Mobile Communication: Motivation, Architecture, and Application Scenarios.

[BibT_eX]

[DOI]

Qing Wei

Proceedings of the Active Networks, IFIP-TC6 4th International Working Conference, 2002

2001

Feature-oriented programming: A new way of object composition.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2001

2000

Implementing integrated and differentiated services for the Internet with ATM networks: a practical approach.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2000

1999

Higher-Order Narrowing with Definitional Trees.

[BibT_eX]

[DOI]

Michael Hanus

J. Funct. Program., 1999

Internet Service Architectures and ATM - The ELISA Approach.

[BibT_eX]

[DOI]

Berthold F. Koch

Proceedings of the Flexible Working - New Network Technologies, 1999

1998

Solving higher order equations: from logic to programming.

[BibT_eX]

[DOI]

Birkhäuser, ISBN: 978-3-7643-4032-2, 1998

1997

From Inheritance to Feature Interaction or Composing Monads.

[BibT_eX]

[DOI]

Proceedings of the Informatik '97, 1997

An Object-Oriented Approach to Feature Interaction.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

Feature Specification and Refinement with State Transition Diagrams.

[BibT_eX]

Cornel Klein

Bernhard Rumpe

Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

Feature-Oriented Programming: A Fresh Look at Objects.

[BibT_eX]

[DOI]

Proceedings of the ECOOP'97, 1997

1996

Higher-Order Proof by Consistency.

[BibT_eX]

[DOI]

Henrik Linnestad

Olav Lysne

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995

Solving higher order equations: from logic to programming.

[BibT_eX]

[DOI]

PhD thesis, 1995

Type Reconstruction for Type Classes.

[BibT_eX]

[DOI]

Tobias Nipkow

J. Funct. Program., 1995

A Call-by-Need Strategy for Higher-Order Functional-Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1995

Higher-Order Narrowing with Convergent Systems.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Higher-Order Narrowing

[BibT_eX]

[DOI]

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Interpreter Verification for a Functional Language.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

On Modularity in Term Rewriting and Narrowing.

[BibT_eX]

[DOI]

Proceedings of the Constraints in Computational Logics, First International Conference, 1994

Decidable Higher-Order Unification Problems.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Type Checking Type Classes.

[BibT_eX]

[DOI]

Tobias Nipkow

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

1992

An Efficient Constraint Language for Polymorphic Order-sorted Resoluton.

[BibT_eX]

[DOI]