Wolfgang Mayer

According to our database1, Wolfgang Mayer authored at least 66 papers between 2002 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
JSS special issue program debugging and repair.
J. Syst. Softw., 2019

ASP-based Discovery of Semi-Markovian Causal Models under Weaker Assumptions.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Network Path Estimation in Uncertain Data via Entity Resolution.
Proceedings of the Data Mining - 17th Australasian Conference, AusDM 2019, Adelaide, SA, 2019

2018
Provenance-Aware LOD Datasets for Detecting Network Inconsistencies.
Proceedings of the Joint Proceedings of the International Workshops on Contextualized Knowledge Graphs, 2018

Automated Reasoning over Provenance-Aware Communication Network Knowledge in Support of Cyber-Situational Awareness.
Proceedings of the Knowledge Science, Engineering and Management, 2018

Representing network knowledge using provenance-aware formalisms for cyber-situational awareness.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

Spent Convictions and the Architecture for Establishing Legal Semantic Workflows.
Proceedings of the 2nd Workshop on Technologies for Regulatory Compliance co-located with the 31st International Conference on Legal Knowledge and Information Systems (JURIX 2018), 2018

FEDSA: A Data Federation Platform for Law Enforcement Management.
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

Relationship Matching of Data Sources: A Graph-Based Approach.
Proceedings of the Advanced Information Systems Engineering, 2018

Variety Management for Big Data.
Proceedings of the Semantic Applications, Methodology, Technology, Corporate Use., 2018

2017
Weakening faithfulness: some heuristic causal discovery algorithms.
Int. J. Data Sci. Anal., 2017

A conceptual framework for large-scale ecosystem interoperability and industrial product lifecycles.
Data Knowl. Eng., 2017

SAT-Based Causal Discovery under Weaker Assumptions.
Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, 2017

Semantic Workflows in Law Enforcement Investigations and Legal Requirements.
Proceedings of the 1st Workshop on Technologies for Regulatory Compliance co-located with the 30th International Conference on Legal Knowledge and Information Systems (JURIX 2017), 2017

Towards a Linked Information Architecture for Integrated Law Enforcement.
Proceedings of the Workshop on Linked Democracy: Artificial Intelligence for Democratic Innovation co-located with the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017

An Architecture for Establishing Legal Semantic Workflows in the Context of Integrated Law Enforcement.
Proceedings of the AI Approaches to the Complexity of Legal Systems, 2017

2015
Rule-based peer-to-peer framework for decentralised real-time service oriented architectures.
Sci. Comput. Program., 2015

Consistent Abstraction of Business Processes Based on Constraints.
J. Data Semant., 2015

Formalising natural language specifications using a cognitive linguistic/configuration based approach.
Inf. Syst., 2015

Change Propagation and Conflict Resolution for the Co-Evolution of Business Processes.
Int. J. Cooperative Inf. Syst., 2015

Multilevel Mapping of Ecosystem Descriptions - Short Paper.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Conferences, 2015

A Conceptual Framework for Large-scale Ecosystem Interoperability.
Proceedings of the Conceptual Modeling - 34th International Conference, 2015

2014
Semantic Interpretation of Requirements through Cognitive Grammar and Configuration.
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Multilevel modelling for interoperability.
Proceedings of the Workshop on Multi-Level Modelling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

An Ontological Core for Conformance Checking in the Engineering Life-cycle.
Proceedings of the Formal Ontology in Information Systems, 2014

Towards a Reference Architecture for the Co-evolution of Business Processes.
Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, 2014

Conflict Resolution for On-the-fly Change Propagation in Business Processes.
Proceedings of the Tenth Asia-Pacific Conference on Conceptual Modelling, 2014

2013
Performance analysis of a rule-based SOA component for real-time applications.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

On-the-Fly Change Propagation for the Co-evolution of Business Processes.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Conferences, 2013

A rule-based platform for distributed real-time SOA with application in defence systems.
Proceedings of the 2013 Military Communications and Information Systems Conference, 2013

Re-engineering the ISO 15926 Data Model: A Multi-level Metamodel Perspective.
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Formalising Natural Language Specifications Using a Cognitive Linguistics/Configuration Based Approach.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

Configuring Domain Knowledge for Natural Language Understanding.
Proceedings of the 15th International Configuration Workshop, 2013

Semantic Interoperability in the Oil and Gas Industry: A Challenging Testbed for Semantic Technologies.
Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013

2012
On the application of software modelling principles on ISO 15926.
Proceedings of the Modelling of the Physical World Workshop, 2012

A Knowledge-based Approach to the Configuration of Business Process Model Abstractions.
Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012

On computing correct processes and repairs sing partial behavioral models.
Proceedings of the ECAI 2012, 2012

Rule-Based Control of Decentralised Asynchronous SOA for Real-Time Applications.
Proceedings of the 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2012

2011
A declarative framework for work process configuration.
Artif. Intell. Eng. Des. Anal. Manuf., 2011

Inconsistencies in the Process Specification Language (PSL).
Proceedings of the First Workshop on Automated Theory Engineering, 2011

2010
Diagnosis of Service Failures by Trace Analysis with Partial Knowledge.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Diagnosing Process Trajectories Under Partially Known Behavior.
Proceedings of the ECAI 2010, 2010

Diagnosing Component Interaction Errors from Abstract Event Traces.
Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

2009
Semantic Service Discovery by Consistency-Based Matchmaking.
Proceedings of the Advances in Data and Web Management, Joint International Conferences, 2009

Refining spectrum-based fault localization rankings.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Service Composition as Generative Constraint Satisfaction.
Proceedings of the IEEE International Conference on Web Services, 2009

A Generative Framework for Service Process Composition.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Generative Composition of Web Services.
Proceedings of the Forum at the CAiSE 2009 Conference, 2009

2008
Ontology-based Process Modeling and Execution Using STEP/EXPRESS.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Evaluating Models for Model-Based Debugging.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Distributed Repair of Nondiagnosability.
Proceedings of the ECAI 2008, 2008

Knowledge-Intensive Process Modelling in Engineering Design.
Proceedings of the 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 2008

2007
Model-Based Debugging - State of the Art And Future Challenges.
Electron. Notes Theor. Comput. Sci., 2007

Abstract Interpretation of Programs for Model-Based Debugging.
Proceedings of the IJCAI 2007, 2007

Semantic Web Service Composition by Consistency-Based Model Refinement.
Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, 2007

2006
Debugging Failures in Web Services Coordination.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Better Debugging Through More Abstract Observations.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2004
Model-Based Debugging with High-Level Observations.
Proceedings of the Intelligent Information Processing II, 2004

High-Level Observations in Java Debugging.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Debugging Program Loops Using Approximate Modeling.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
Model-Based Debugging using Multiple Abstract Models
CoRR, 2003

Extending Diagnosis to Debug Programs with Exceptions.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002
Model-Based Debugging or How to Diagnose Programs Automatically.
Proceedings of the Developments in Applied Artificial Intelligence, 2002

Towards an Integrated Debugging Environment.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

Modeling Programs with Unstructured Control Flow for Debugging.
Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002


  Loading...