Klemens Böhm
Orcid: 0000-0002-1706-1913Affiliations:
- Karlsruhe Institute of Technology, IPD, Germany
According to our database1,
Klemens Böhm
authored at least 266 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
2023
CH-Bench: a user-oriented benchmark for systems for efficient distant reading (design, performance, and insights).
Int. J. Digit. Libr., December, 2023
Inf. Syst., March, 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Proceedings of the Discovery Science - 26th International Conference, 2023
2022
Mach. Learn., 2022
Swellfish privacy: Supporting time-dependent relevance for continuous differential privacy.
Inf. Syst., 2022
Establishing trajectories of moving objects without identities: The intricacies of cell tracking and a solution.
Inf. Syst., 2022
Proceedings of the 24th IEEE Conference on Business Informatics, 2022
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022
Proceedings of the Business Modeling and Software Design - 12th International Symposium, 2022
2021
An Ensemble Technique for Better Decisions Based on Data Streams and its Application to Data Privacy.
IEEE Trans. Knowl. Data Eng., 2021
ACM Trans. Knowl. Discov. Data, 2021
ACM Trans. Knowl. Discov. Data, 2021
An overview and a benchmark of active learning for outlier detection with one-class classifiers.
Expert Syst. Appl., 2021
Distributed Parallel Databases, 2021
Distributed Parallel Databases, 2021
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021
Proceedings of the e-Energy '21: The Twelfth ACM International Conference on Future Energy Systems, Virtual Event, Torino, Italy, 28 June, 2021
Proceedings of the Database Systems for Advanced Applications, 2021
2020
IEEE Trans. Knowl. Data Eng., 2020
Improving semantic change analysis by combining word embeddings and word frequencies.
Int. J. Digit. Libr., 2020
Int. J. Digit. Libr., 2020
Incremental Real-Time Personalization in Human Activity Recognition Using Domain Adaptive Batch Normalization.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2020
Proceedings of the 22nd IEEE Conference on Business Informatics, 2020
Proceedings of the 2020 SIAM International Conference on Data Mining, 2020
Proceedings of the 2020 SIAM International Conference on Data Mining, 2020
Proceedings of the 20th IEEE International Conference on Data Mining, 2020
Data Science - more than just Machine Learning: A summary of the Data Science Session at INFORMATIK 2020.
Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020
Privacy Measures and Storage Technologies for Battery-Based Load Hiding - an Overview and Experimental Study.
Proceedings of the e-Energy '20: The Eleventh ACM International Conference on Future Energy Systems, 2020
Proceedings of the 7th IEEE International Conference on Data Science and Advanced Analytics, 2020
2019
it Inf. Technol., 2019
Proceedings of the 31st International Conference on Scientific and Statistical Database Management, 2019
Proceedings of the 31st International Conference on Scientific and Statistical Database Management, 2019
Proceedings of the 31st International Conference on Scientific and Statistical Database Management, 2019
Proceedings of the 16th International Symposium on Spatial and Temporal Databases, 2019
Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019
Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019
Learning from Few Samples: Lexical Substitution with Word Embeddings for Short Text Classification.
Proceedings of the 19th ACM/IEEE Joint Conference on Digital Libraries, 2019
Proceedings of the Tenth ACM International Conference on Future Energy Systems, 2019
Energy Time-Series Features for Emerging Applications on the Basis of Human-Readable Machine Descriptions.
Proceedings of the Tenth ACM International Conference on Future Energy Systems, 2019
Proceedings of the Tenth ACM International Conference on Future Energy Systems, 2019
Proceedings of the Advances in Database Technology, 2019
Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019
Unsupervised Artificial Neural Networks for Outlier Detection in High-Dimensional Data.
Proceedings of the Advances in Databases and Information Systems, 2019
2018
CoRR, 2018
Proceedings of the 30th International Conference on Scientific and Statistical Database Management, 2018
Proceedings of the 30th International Conference on Scientific and Statistical Database Management, 2018
Proceedings of the 2018 IEEE International Conference on Communications, 2018
Proceedings of the 18th ACM/IEEE on Joint Conference on Digital Libraries, 2018
Proceedings of the 34th IEEE International Conference on Data Engineering, 2018
Proceedings of the Ninth International Conference on Future Energy Systems, 2018
Proceedings of the Ninth International Conference on Future Energy Systems, 2018
Proceedings of the Ninth International Conference on Future Energy Systems, 2018
On Complexity and Efficiency of Mutual Information Estimation on Static and Dynamic Data.
Proceedings of the 21st International Conference on Extending Database Technology, 2018
Proceedings of the 5th IEEE International Conference on Data Science and Advanced Analytics, 2018
Proceedings of the 22nd Conference on Computational Natural Language Learning, 2018
Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018
2017
An evaluation of combinations of lossy compression and change-detection approaches for time-series data.
Inf. Syst., 2017
Big Data Res., 2017
Proceedings of the 2017 ACM/IEEE Joint Conference on Digital Libraries, 2017
2016
Property specification, process verification, and reporting - A case study with vehicle-commissioning processes.
Inf. Syst., 2016
Towards Effective Structure-Based Assessment of Proposals and Arguments in Online Deliberation.
Int. J. Syst. Serv. Oriented Eng., 2016
Distributed Parallel Databases, 2016
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016
Proceedings of the Seventh International Conference on Future Energy Systems, Waterloo, ON, Canada, June 21, 2016
Proceedings of the CAiSE'16 Forum, 2016
2015
World Wide Web, 2015
VLDB J., 2015
IEEE Trans. Knowl. Data Eng., 2015
Protecting the Dawid-Skene algorithm against low-competence raters and collusion attacks with gold-selection strategies.
Soc. Netw. Anal. Min., 2015
A new verification technique for large processes based on identification of relevant tasks.
Inf. Syst., 2015
Inf. Syst., 2015
Data Min. Knowl. Discov., 2015
Proceedings of the 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), 2015
Proceedings of the 27th International Conference on Scientific and Statistical Database Management, 2015
Proceedings of the 27th International Conference on Scientific and Statistical Database Management, 2015
Proceedings of the 2015 SIAM International Conference on Data Mining, Vancouver, BC, Canada, April 30, 2015
Proceedings of the 18th International Conference on Extending Database Technology, 2015
Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference (EDBT/ICDT), 2015
Proceedings of the Advanced Information Systems Engineering, 2015
2014
Assessing the suitability of an honest rating mechanism for the collaborative creation of structured knowledge.
World Wide Web, 2014
Pattern-sensitive Time-series Anonymization and its Application to Energy-Consumption Data.
Open J. Inf. Syst., 2014
Int. J. Digit. Libr., 2014
Incentivizing High-Quality Reviews in Peer-to-Peer Settings: A Feasibility Study with Student Assignments.
Int. J. Virtual Communities Soc. Netw., 2014
Data Min. Knowl. Discov., 2014
Data mining for defects in multicore applications: an entropy-based call-graph technique.
Concurr. Comput. Pract. Exp., 2014
A Near-Linear Time Subspace Search Scheme for Unsupervised Selection of Correlated Features.
Big Data Res., 2014
Proceedings of the IEEE 16th Conference on Business Informatics, 2014
Local context selection for outlier ranking in graphs with multiple numeric node attributes.
Proceedings of the Conference on Scientific and Statistical Database Management, 2014
Proceedings of the Conference on Scientific and Statistical Database Management, 2014
Proceedings of the 31th International Conference on Machine Learning, 2014
FACTS: A Framework for Anonymity towards Comparability, Transparency, and Sharing - Exploratory Paper.
Proceedings of the Advanced Information Systems Engineering, 2014
User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes.
Proceedings of the Business Process Management - 12th International Conference, 2014
Proceedings of the 2014 IEEE Fourth International Conference on Big Data and Cloud Computing, 2014
2013
Proceedings of the Influence of Technology on Social Network Analysis and Mining, 2013
Soc. Netw. Anal. Min., 2013
Int. J. Parallel Program., 2013
Proceedings of the IEEE 15th Conference on Business Informatics, 2013
CMI: An Information-Theoretic Contrast Measure for Enhancing Subspace Cluster and Outlier Detection.
Proceedings of the 13th SIAM International Conference on Data Mining, 2013
Proceedings of the 2013 IEEE 13th International Conference on Data Mining, 2013
Proceedings of the Workshops Proceedings of the 29th IEEE International Conference on Data Engineering, 2013
Proceedings of the Digital Libraries: Social Media and Community Networks, 2013
Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013
Proceedings of the 2013 International Conference on Cloud and Green Computing, Karlsruhe, Germany, September 30, 2013
Proceedings of the 2013 IEEE International Conference on Big Data (IEEE BigData 2013), 2013
2012
Sensitivity of Self-tuning Histograms: Query Order Affecting Accuracy and Robustness.
Proceedings of the Scientific and Statistical Database Management, 2012
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2012
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012
Proceedings of the 12th IEEE International Conference on Data Mining, 2012
Proceedings of the IEEE 28th International Conference on Data Engineering (ICDE 2012), 2012
Peer-Supervised Learning with Built-In Quality Control Based on Multiple-Choice Questions: A Case Study.
Proceedings of the 12th IEEE International Conference on Advanced Learning Technologies, 2012
Proceedings of the Web Technologies and Applications - 14th Asia-Pacific Web Conference, 2012
2011
Web Intell. Agent Syst., 2011
Anonymous Search Histories Featuring Personalized Advertisement - Balancing Privacy with Economic Interests.
Trans. Data Priv., 2011
Efficient Selectivity Estimation by Histogram Construction Based on Subspace Clustering.
Proceedings of the Scientific and Statistical Database Management, 2011
Accurate Cost Estimation Using Distribution-Based Cardinality Estimates for Multi-dimensional Queries.
Proceedings of the Scientific and Statistical Database Management, 2011
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011
Proceedings of the Eleventh SIAM International Conference on Data Mining, 2011
Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2011
Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2011
The Architecture of a Secure Business-Process-Management System in Service-Oriented Environments.
Proceedings of the 9th IEEE European Conference on Web Services, 2011
Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2011
How agents can help curbing fuel combustion: a performance study of intersection control for fuel-operated vehicles.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011
A Bonus Mechanism to Stimulate Reciprocity in the Presence of Manipulated Feedback.
Proceedings of the Information Management and Market Engineering Vol. II, 2011
2010
Proceedings of the Managing and Mining Graph Data, 2010
Web Intell. Agent Syst., 2010
From source code to runtime behaviour: Software metrics help to select the computer architecture.
Knowl. Based Syst., 2010
J. Theor. Appl. Electron. Commer. Res., 2010
Distributed Parallel Databases, 2010
Query Dissemination in Sensor Networks - Predicting Reachability and Energy Consumption.
Ad Hoc Sens. Wirel. Networks, 2010
Proceedings of the 12th IEEE Conference on Commerce and Enterprise Computing, 2010
Tackling Compliance Deficits of Data-Protection Law with User Collaboration - A Feasibility Demonstration with Human Participants.
Proceedings of the 12th IEEE Conference on Commerce and Enterprise Computing, 2010
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010
Proceedings of the Testing, 2010
Proceedings of the Scientific and Statistical Database Management, 2010
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010
Proceedings of the Research and Development in Intelligent Systems XXVII, 2010
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2010
Proceedings of the 2010 Joint International Conference on Digital Libraries, 2010
Towards Efficient Equilibria of Combinations of Network-Formation and Interaction Strategies.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010
Proceedings of the 18th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2010
Proceedings of the Research and Advanced Technology for Digital Libraries, 2010
Proceedings of the 2010 EDBT/ICDT Workshops, Lausanne, Switzerland, March 22-26, 2010, 2010
Proceedings of the EDBT 2010, 2010
Secure Business Processes in Service-Oriented Architectures - A Requirements Analysis.
Proceedings of the 8th IEEE European Conference on Web Services (ECOWS 2010), 2010
Reviewing the reviewers: A study of author perception on peer reviews in computer science.
Proceedings of the 6th International Conference on Collaborative Computing: Networking, 2010
Proceedings of the 19th ACM Conference on Information and Knowledge Management, 2010
Proceedings of the 19th ACM Conference on Information and Knowledge Management, 2010
Proceedings of the 19th ACM Conference on Information and Knowledge Management, 2010
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2010
2009
A Wavelet Transform for Efficient Consolidation of Sensor Relations with Quality Guarantees.
Proc. VLDB Endow., 2009
Understanding User Preferences and Awareness: Privacy Mechanisms in Location-Based Services.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009
Proceedings of the Advances in Intelligent Data Analysis VIII, 2009
Proceedings of the 25th International Conference on Data Engineering, 2009
Creating Digital Resources from Legacy Documents: An Experience Report from the Biosystematics Domain.
Proceedings of the Semantic Web: Research and Applications, 2009
Proceedings of the Next Generation Society. Technological and Legal Issues, 2009
Proceedings of the EDBT 2009, 2009
Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009
Proceedings of the 10th Annual International Conference on Digital Government Research, 2009
Proceedings of the Multi-Agent Systems for Traffic and Transportation Engineering., 2009
2008
Auction-Based Traffic Management: Towards Effective Concurrent Utilization of Road Intersections.
Proceedings of the 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, 2008
Competition vs. Fairness - Analyzing Structured Networks by Means of User Experiments.
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2008
Proceedings of the 14th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2008
Proceedings of the Trust Management II, 2008
Proceedings of the 12th International Database Engineering and Applications Symposium (IDEAS 2008), 2008
Online vs. Offline Behavior: How to Design Strategic Agents for Distributed Coordinator-Free Environments.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2008
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2008
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008
Proceedings of the 20. GI-Workshop on Foundations of Databases (Grundlagen von Datenbanken), 2008
Proceedings of the Collaborative Computing: Networking, 2008
Peer production of structured knowledge -: an empirical study of ratings and incentive mechanisms.
Proceedings of the 17th ACM Conference on Information and Knowledge Management, 2008
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
2007
Proceedings of the 9th IEEE International Conference on E-Commerce Technology (CEC 2007) / 4th IEEE International Conference on Enterprise Computing, 2007
The Dangers of Poorly Connected Peers in Structured P2P Networks and a Solution Based on Incentives.
Proceedings of the 2007 IEEE / WIC / ACM International Conference on Web Intelligence, 2007
Indirect partner interaction in peer-to-peer networks: stimulating cooperation by means of structure.
Proceedings of the Proceedings 8th ACM Conference on Electronic Commerce (EC-2007), 2007
Semi-Automated XML Markup of Biosystematic Legacy Literature with the Goldengate Editor.
Proceedings of the Biocomputing 2007, 2007
Building Data-Intensive Grid Applications with Globus Toolkit - An Evaluation Based on Web Crawling.
Proceedings of the Service-Oriented Computing, 2007
Empirical Evaluation of Semi-automated XML Annotation of Text Documents with the GoldenGATE Editor.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2007
Proceedings of the Cooperative Information Agents XI, 11th International Workshop, 2007
Proceedings of the Datenbanksysteme in Business, 2007
Anreizmechanismen für Peer-to-Peer Web Crawling unter Berücksichtigung bösartiger Teilnehmer.
Proceedings of the Datenbanksysteme in Business, 2007
Traffic Management Based on Negotiations between Vehicles - A Feasibility Demonstration Using Agents.
Proceedings of the Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis, 2007
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007
2006
Proceedings of the 32nd International Conference on Very Large Data Bases, 2006
Incentives engineering for structured P2P systems - a feasibility demonstration using economic experiments.
Proceedings of the Proceedings 7th ACM Conference on Electronic Commerce (EC-2006), 2006
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006
Strategic Properties of Peer-to-Peer Data Structures and Behaviour of Human Peers in Economic Experiments.
Proceedings of the 22nd International Conference on Data Engineering Workshops, 2006
Proceedings of the Workshop on Linking Natural Language and Biology, 2006
Proceedings of the Multiagent Engineering, Theory and Applications in Enterprises., 2006
2005
Fachinformationssystem Informatik (FIS-I) und Semantische Technologien für Informationsportale (SemIPort).
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005
Summary of the Results of the Break-out Session "Social Issues around the Semantic Web".
Proceedings of the Semantic Interoperability and Integration, 2005
Proceedings of the Third Annual Conference on Communication Networks and Services Research (CNSR 2005), 2005
Self-Organization in Overlay Networks.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005
Proceedings of the From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments, 2005
2004
Knowl. Inf. Syst., 2004
Proceedings of the Software Engineering and Middleware, 4th International Workshop, 2004
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004
Database support for species extraction from the biosystematics literature: a feasibility demonstration.
Proceedings of the 2004 ACM CIKM International Conference on Information and Knowledge Management, 2004
2003
Proceedings of the BTW 2003, 2003
2002
FAS - A Freshness-Sensitive Coordination Middleware for a Cluster of OLAP Components.
Proceedings of 28th International Conference on Very Large Data Bases, 2002
Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, 2002
OLAP Query Evaluation in a Database Cluster: A Performance Study on Intra-Query Parallelism.
Proceedings of the Advances in Databases and Information Systems, 2002
2001
Proceedings of the VLDB 2001, 2001
Scalable Distributed Query and Update Service Implementations for XML Document Elements.
Proceedings of the Eleventh International Workshop on Research Issues in Data Engineering: Document Management for Data Intensive Business and Scientific Applications, 2001
Implementing Relevance Feedback Techniques for Large Image Collections Efficiently.
Proceedings of the MIS '01, 2001
Proceedings of the 17th International Conference on Data Engineering, 2001
High-level Parallelism in a Database Cluster: A Feasibility Study Using Document Services.
Proceedings of the 17th International Conference on Data Engineering, 2001
Proceedings of the 17th International Conference on Data Engineering, 2001
Proceedings of the 2001 ACM CIKM International Conference on Information and Knowledge Management, 2001
2000
Proceedings of the WISE 2000, 2000
Evaluating the Coordination Overhead of Replica Maintenance in a Cluster of Databases.
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000
Interactive-Time Similarity Search for Large Image Collections Using Parallel VA-Files.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2000
Proceedings of the Advances in Database Technology, 2000
Proceedings of the Advances in Database Technology, 2000
Proceedings of IEEE Advances in Digital Libraries 2000 (ADL 2000), 2000
1999
Multim. Tools Appl., 1999
Working Together in Harmony - An Implementation of the CORBA Object Query Service and Its Evaluation.
Proceedings of the 15th International Conference on Data Engineering, 1999
Proceedings of the State-of-the-Art in Content-Based Image and Video Retrieval [Dagstuhl Seminar, 1999
1998
Query Optimization for Structured Documents Based on Knowledge on the Document Type Definition.
Proceedings of the IEEE Forum on Research and Technology Advances in Digital Libraries, 1998
Metadata Handling in HyperStorM.
Proceedings of the Multimedia Data Management: Using Metadata to Integrate and Apply Digital Media, 1998
1997
Verwendung objektorientierter Datenbanktechnologie zur Verwaltung strukturierter Dokumente.
PhD thesis, 1997
Structured Document Storage and Refined Declarative and Navigational Access Mechanisms in HyperStorM.
VLDB J., 1997
Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997
1996
HyperStorM - Administering Structured Documents Using Object-Oriented Database Technology.
Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996
Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996
Proceedings of the Informationsserver für das Internet: Anforderungen, 1996
1994
Proceedings of the Digital Libraries: Current Issues, 1994
Structured Document Handling - A Case For Integrating Databases and Information Retrieval.
Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29, 1994
Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29, 1994
1993
The Prospects of Publishing using Advanced Database Concepts.
Electron. Publ., 1993
Real-Time Object Specification Logic.
Proceedings of the Fourth International Workshop on the Deductive Approach to Information Systems and Databases, 1993