Sven Hartmann

200 papers A* 3A 15B 10C 12Misc 10Journal 67Unranked 65
YearRankTypeTitle / Venue / Authors
2026 J jnl
Multi-objective IoT service composition with replication using memetic NSGA-II with bottleneck-driven local search.
Future Gener. Comput. Syst.
Fengyang Sun, Gang Chen, Hui Ma, Sven Hartmann
2025 — conf
A Communication-Aware and Energy-Efficient Genetic Programming Based Method for Dynamic Resource Allocation in Clouds.
EvoApplications (2)
Zhengxin Fang, Hui Ma, Gang Chen, Sven Hartmann, Shiping Chen
2025 — conf
CARGO-IoT: Cost-Aware Repair-Based Genetic Optimization for Budget-Constrained IoT Service Composition.
PRICAI (4)
Fengyang Sun, Gang Chen, Hui Ma, Sven Hartmann, Chen Wang
2025 J jnl
Dual-Tree Genetic Programming with Adaptive Mutation for Dynamic Workflow Scheduling in Cloud Computing.
IEEE Trans. Evol. Comput.
Yifan Yang, Gang Chen, Hui Ma, Sven Hartmann, Mengjie Zhang
2025 — conf
From ConOps to an Operational Domain Model: Harnessing LLMs for Conceptual Model Design.
ER (Workshops)
Siddhartha Gupta, Sarmad Rezayat, Gerrit Burmester, Umut Durak, Hui Ma, Sven Hartmann
2025 J jnl
From Iron Birds to Digital Twins with Engineering Simulators: Toward Virtual Certification.
J. Aerosp. Inf. Syst.
Hakan Aydemir, Ugur Zengin, Olivia J. Pinon Fischer, Umut Durak, Sven Hartmann
2024 — conf
An MLOps Framework to Data-Driven Modelling of Digital Twins with an Application to Virtual Test Rigs.
ER (Workshops)
Denis Kruschinski, Dylan Tchawou Ngassam, Umut Durak, Sven Hartmann
2024 A conf
Conceptual Framework for Designing Hippocratic APIs.
ER
Sarmad Rezayat, Gerrit Burmester, Hui Ma, Sven Hartmann
2024 J jnl
Enhancing generalization in genetic programming hyper-heuristics through mini-batch sampling strategies for dynamic workflow scheduling.
Inf. Sci.
Yifan Yang, Aaron Chen, Hui Ma, Sven Hartmann, Mengjie Zhang
2024 — conf
Leveraging LLM in Genetic Programming Hyper-heuristics for Dynamic Microservice Deployment.
AI (1)
Zhengxin Fang, Hui Ma, Gang Chen, Sven Hartmann, Chen Wang
2024 — conf
Population-Based Incremental Learning for Effective IoT Service Composition with Replication.
SSE
Fengyang Sun, Gang Chen, Hui Ma, Sven Hartmann
2024 J jnl
Towards a Scenario Toolkit for Autonomous Systems.
Simul. Notes Eur.
Ahmad Naja, Siddharta Gupta, Umut Durak, Sven Hartmann
2023 A conf
A Conceptual Modeling Approach for Risk Assessment and Mitigation in Collision-Free UAV Routing Planning for Beyond-the-Visual-Line-of-Sight Flights.
ER
Gerrit Burmester, David Kugelmann, Dietrich Steinmetz, Hui Ma, Sven Hartmann
2023 — conf
A Group Genetic Algorithm for Energy-Efficient Resource Allocation in Container-Based Clouds with Heterogeneous Physical Machines.
AI (2)
Zhengxin Fang, Hui Ma, Gang Chen, Sven Hartmann
2023 — conf
A model-driven machine learning approach to dynamic multi-workflow scheduling.
ER (Companion)
Hui Ma, Sven Hartmann, Gang Chen, Yifan Yang
2023 J jnl
Auto-Scaling Containerized Applications in Geo-Distributed Clouds.
IEEE Trans. Serv. Comput.
Tao Shi, Hui Ma, Gang Chen, Sven Hartmann
2023 J jnl
Cardinality constraints and functional dependencies in SQL: Taming data redundancy in logical database design.
Inf. Syst.
Sebastian Link, Henning Koehler, Aniruddh Gandhi, Sven Hartmann, Bernhard Thalheim
2023 — conf
Energy-Efficient and Communication-Aware Resource Allocation in Container-Based Cloud with Group Genetic Algorithm.
ICSOC (1)
Zhengxin Fang, Hui Ma, Gang Chen, Sven Hartmann
2023 B conf
IoT Service Composition - An Estimation of Distribution Algorithm with Adaptive Bias.
CEC
Fengyang Sun, Hui Ma, Gang Chen, Sven Hartmann
2023 J jnl
Using an Estimation of Distribution Algorithm to Achieve Multitasking Semantic Web Service Composition.
IEEE Trans. Evol. Comput.
Chen Wang, Hui Ma, Gang Chen, Sven Hartmann
2022 A conf
A Modeling Rule for Improving the Performance of Graph Models.
ER
Dietrich Steinmetz, Felix Merz, Gerrit Burmester, Hui Ma, Sven Hartmann
2022 J jnl
Combined Pruning for Nested Cross-Validation to Accelerate Automated Hyperparameter Optimization for Embedded Feature Selection in High-Dimensional Data with Very Small Sample Sizes.
CoRR
Sigrun May, Sven Hartmann, Frank Klawonn
2022 J jnl
Cost-Effective Web Application Replication and Deployment in Multi-Cloud Environment.
IEEE Trans. Parallel Distributed Syst.
Tao Shi, Hui Ma, Gang Chen, Sven Hartmann
2022 — conf
Location-Aware Cloud Service Brokering in Multi-cloud Environment.
ICSOC Workshops
Tao Shi, Sven Hartmann, Gang Chen, Hui Ma
2022 J jnl
Memetic EDA-Based Approaches to QoS-Aware Fully Automated Semantic Web Service Composition.
IEEE Trans. Evol. Comput.
Chen Wang, Hui Ma, Gang Chen, Sven Hartmann
2022 Misc conf
Multi-objective Social Network Detection - A Graph Database Supported NSGA-II Based Approach.
ADC
Josh Trueman, Hui Ma, Aaron Chen, Sven Hartmann
2022 J jnl
Robustness Estimation and Optimisation for Semantic Web Service Composition With Stochastic Service Failures.
IEEE Trans. Emerg. Top. Comput. Intell.
Chen Wang, Hui Ma, Gang Chen, Sven Hartmann, Jürgen Branke
2022 — conf
SFMGNet: A Physics-Based Neural Network To Predict Pedestrian Trajectories.
AAAI Spring Symposium: MAKE
Sakif Hossain, Fatema T. Johora, Jörg P. Müller, Sven Hartmann, Andreas Reinhardt
2022 J jnl
SFMGNet: A Physics-based Neural Network To Predict Pedestrian Trajectories.
CoRR
Sakif Hossain, Fatema T. Johora, Jörg P. Müller, Sven Hartmann, Andreas Reinhardt
2021 A conf
A Conceptual Modelling Approach for the Discovery and Management of Platoon Routes.
ER
Dietrich Steinmetz, Sven Hartmann, Hui Ma
2021 — conf
A Graph Database Supported GA-Based Approach to Social Network Analysis.
SSCI
Arnold Ariadi, Tao Shi, Hui Ma, Alexandre Sawczuk da Silva, Sven Hartmann
2021 J jnl
Algorithms for the discovery of embedded functional dependencies.
VLDB J.
Ziheng Wei, Sven Hartmann, Sebastian Link
2021 — conf
Are Conversational Agents Used at Scale by Companies Offering Digital Health Services for the Management and Prevention of Diabetes?
HEALTHINF
Roman Keller, Jiali Yao, Gisbert W. Teepe, Sven Hartmann, Kim-Morgaine Lohse, Florian von Wangenheim, Falk Müller-Riemenschneider, Jacqueline Louise Mair, Tobias Kowatsch
2021 A conf
Location-Aware and Budget-Constrained Service Brokering in Multi-Cloud via Deep Reinforcement Learning.
ICSOC
Tao Shi, Hui Ma, Gang Chen, Sven Hartmann
2021 J jnl
Minimum Weight Flat Antichains of Subsets.
Order
Jerrold R. Griggs, Sven Hartmann, Thomas Kalinowski, Uwe Leck, Ian T. Roberts
2020 A conf
A Conceptual Framework for Dynamic Planning of Alternative Routes in Road Networks.
ER
Sven Hartmann, Jack Alshami, Hui Ma, Dietrich Steinmetz
2020 — conf
A Conceptual Model of Conflicts in Shared Spaces.
ICIBE
Sakif Hossain, Fatema T. Johora, Jörg P. Müller, Sven Hartmann
2020 — ed.
Database and Expert Systems Applications - 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings, Part I
DEXA (1)
Sven Hartmann, Josef Küng, Gabriele Kotsis, A Min Tjoa, Ismail Khalil
2020 — ed.
Database and Expert Systems Applications - 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings, Part II
DEXA (2)
Sven Hartmann, Josef Küng, Gabriele Kotsis, A Min Tjoa, Ismail Khalil
2020 — conf
Discovery Algorithms for Embedded Functional Dependencies.
SIGMOD Conference
Ziheng Wei, Sven Hartmann, Sebastian Link
2020 A conf
Location-Aware and Budget-Constrained Application Replication and Deployment in Multi-Cloud Environment.
ICWS
Tao Shi, Hui Ma, Gang Chen, Sven Hartmann
2020 J jnl
Location-Aware and Budget-Constrained Service Deployment for Composite Applications in Multi-Cloud Environment.
IEEE Trans. Parallel Distributed Syst.
Tao Shi, Hui Ma, Gang Chen, Sven Hartmann
2020 J jnl
Reduction of Complexity in Q-Learning a Robot Control for an Assembly Cell by using Multiple Agents.
Simul. Notes Eur.
Georg Kunert, Thorsten Pawletta, Sven Hartmann
2020 B conf
Signal Generation using 1d Deep Convolutional Generative Adversarial Networks for Fault Diagnosis of Electrical Machines.
ICPR
Russell Sabir, Daniele Rosato, Sven Hartmann, Clemens Gühmann
2019 A conf
A Graph Model for Taxi Ride Sharing Supported by Graph Databases.
ER
Dietrich Steinmetz, Felix Merz, Hui Ma, Sven Hartmann
2019 — conf
A memetic NSGA-II with EDA-based local search for fully automated multiobjective web service composition.
GECCO (Companion)
Chen Wang, Hui Ma, Gang Chen, Sven Hartmann
2019 J jnl
Conformance testing of FMI calling sequence for simulation environments.
Int. J. Model. Simul. Sci. Comput.
Awad Mukbil, Umut Durak, Sven Hartmann
2019 — ed.
Database and Expert Systems Applications - 30th International Conference, DEXA 2019, Linz, Austria, August 26-29, 2019, Proceedings, Part I
DEXA (1)
Sven Hartmann, Josef Küng, Sharma Chakravarthy, Gabriele Anderst-Kotsis, A Min Tjoa, Ismail Khalil
2019 — ed.
Database and Expert Systems Applications - 30th International Conference, DEXA 2019, Linz, Austria, August 26-29, 2019, Proceedings, Part II
DEXA (2)
Sven Hartmann, Josef Küng, Sharma Chakravarthy, Gabriele Anderst-Kotsis, A Min Tjoa, Ismail Khalil
2019 B conf
Evolutionary Multitasking for Semantic Web Service Composition.
CEC
Chen Wang, Hui Ma, Gang Chen, Sven Hartmann
2019 J jnl
Evolutionary Multitasking for Semantic Web Service Composition.
CoRR
Chen Wang, Hui Ma, Gang Chen, Sven Hartmann
2019 J jnl
Fuel-efficient truck platooning by a novel meta-heuristic inspired from ant colony optimisation.
Soft Comput.
Abtin Nourmohammadzadeh, Sven Hartmann
2019 C conf
LSTM Based Bearing Fault Diagnosis of Electrical Machines using Motor Current Signal.
ICMLA
Russell Sabir, Daniele Rosato, Sven Hartmann, Clemens Gühmann
2019 J jnl
Memetic EDA-Based Approaches to Comprehensive Quality-Aware Automated Semantic Web Service Composition.
CoRR
Chen Wang, Hui Ma, Gang Chen, Sven Hartmann
2019 J jnl
Python-based eSES/MB Framework: Model Specification and Automatic Model Generation for Multiple Simulators.
Simul. Notes Eur.
Hendrik Folkerts, Thorsten Pawletta, Christina Deatcu, Sven Hartmann
2019 — conf
Towards Robust Web Service Composition with Stochastic Service Failures Based on a Genetic Algorithm.
Australasian Conference on Artificial Intelligence
Chen Wang, Hui Ma, Gang Chen, Sven Hartmann
2019 — conf
Towards a standard computational representation for system entity structures.
SummerSim
Bikash Chandra Karmokar, Umut Durak, Sven Hartmann, Bernard P. Zeigler
2018 — book
Advances in Aeronautical Informatics, Technologies Towards Flight 4.0.
Advances in Aeronautical Informatics
Umut Durak, Jürgen Becker, Sven Hartmann, Nikolaos S. Voros
2018 A* conf
An SQL Data Summarization Tool for the Acquisition of Meaningful Cardinality Constraints and Functional Dependencies.
ICDE
Aniruddh Gandhi, Sven Hartmann, Henning Koehler, Sebastian Link
2018 — ch.
Big Data and Data Analytics in Aviation.
Advances in Aeronautical Informatics
Gerrit Burmester, Hui Ma, Dietrich Steinmetz, Sven Hartmann
2018 J jnl
DO-330/ED-215 Overlay to the IEEE Recommended Practice for Distributed Simulation Engineering and Execution Process.
J. Aerosp. Inf. Syst.
Somaye Mahmoodi, Umut Durak, Sven Hartmann, Shafagh Jafer
2018 — ed.
Database and Expert Systems Applications - 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part I
DEXA (1)
Sven Hartmann, Hui Ma, Abdelkader Hameurlain, Günther Pernul, Roland R. Wagner
2018 — ed.
Database and Expert Systems Applications - 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part II
DEXA (2)
Sven Hartmann, Hui Ma, Abdelkader Hameurlain, Günther Pernul, Roland R. Wagner
2018 — conf
Extremal Combinatorics of SQL Keys.
Models: Concepts, Theory, Logic, Reasoning and Semantics
Sven Hartmann, Markus Kirchberg, Henning Koehler, Uwe Leck, Sebastian Link
2018 — conf
Fuel Efficient Truck Platooning with Time Restrictions and Multiple Speeds Solved by a Particle Swarm Optimisation.
TPNC
Abtin Nourmohammadzadeh, Sven Hartmann
2018 — conf
Knowledge-Driven Automated Web Service Composition - An EDA-Based Approach.
WISE (2)
Chen Wang, Hui Ma, Aaron Chen, Sven Hartmann
2018 J jnl
Modeling and Simulation-based Development of Autonomy Features for Drones.
Simul. Notes Eur.
Shihui Chen, Umut Durak, Sven Hartmann
2018 — conf
QoS-Aware Web Service Composition Using Graph Databases.
Models: Concepts, Theory, Logic, Reasoning and Semantics
Hui Ma, Zhaojiang Chang, Alexandre Sawczuk da Silva, Sven Hartmann
2018 — conf
Simulation infrastructure for aeronautical informatics education.
SummerSim
Haitao Wang, Shihui Chen, Umut Durak, Sven Hartmann
2018 J jnl
Towards FCA-facilitated Ontology-supported Recruitment Systems.
Enterp. Model. Inf. Syst. Archit.
Hui Ma, Sven Hartmann, Panrawee Vechsamutvaree
2018 — conf
Towards Fully Automated Semantic Web Service Composition Based on Estimation of Distribution Algorithm.
Australasian Conference on Artificial Intelligence
Chen Wang, Hui Ma, Gang Chen, Sven Hartmann
2018 — ed.
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII - Special Issue on Database- and Expert-Systems Applications
Trans. Large-Scale Data- and Knowledge-Centered Systems
Abdelkader Hameurlain, Roland R. Wagner, Sven Hartmann, Hui Ma
2018 A conf
Using a Conceptual Model to Transform Road Networks from OpenStreetMap to a Graph Database.
ER
Dietrich Steinmetz, Daniel Dyballa, Hui Ma, Sven Hartmann
2017 — conf
A Fast Heuristic for Finding Near-Optimal Groups for Vehicle Platooning in Road Networks.
DEXA (2)
Dietrich Steinmetz, Gerrit Burmester, Sven Hartmann
2017 — conf
A QoS-Aware Web Service Composition Approach Based on Genetic Programming and Graph Databases.
DEXA (2)
Alexandre Sawczuk da Silva, Ewan Moshi, Hui Ma, Sven Hartmann
2017 — conf
A parallel hybrid GA-PSO approach with dynamic rule-based parameter setting.
GECCO (Companion)
Abtin Nourmohammadzadeh, Sven Hartmann, Hui Ma
2017 J jnl
Automatic Layout of Scilab/Xcos Diagrams.
Simul. Notes Eur.
Chenfeng Zhu, Umut Durak, Sven Hartmann, Clément David
2017 — conf
Comprehensive Quality-Aware Automated Semantic Web Service Composition.
Australasian Conference on Artificial Intelligence
Chen Wang, Hui Ma, Aaron Chen, Sven Hartmann
2017 J jnl
Full and maximal squashed flat antichains of minimum weight.
CoRR
Jerrold R. Griggs, Sven Hartmann, Thomas Kalinowski, Uwe Leck, Ian T. Roberts
2017 — conf
GP-Based Approach to Comprehensive Quality-Aware Automated Semantic Web Service Composition.
SEAL
Chen Wang, Hui Ma, Aaron Chen, Sven Hartmann
2016 — conf
A Link-Density-Based Algorithm for Finding Communities in Social Networks.
ER Workshops
Vladivy Poaka, Sven Hartmann, Hui Ma, Dietrich Steinmetz
2016 — ed.
Database and Expert Systems Applications - 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part I
DEXA (1)
Sven Hartmann, Hui Ma
2016 — ed.
Database and Expert Systems Applications - 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II
DEXA (2)
Sven Hartmann, Hui Ma
2016 — conf
Handling Branched Web Service Composition with a QoS-Aware Graph-Based Method.
EC-Web
Alexandre Sawczuk da Silva, Hui Ma, Mengjie Zhang, Sven Hartmann
2016 J jnl
Providing Ontology-Based Privacy-Aware Data Access Through Web Services and Service Composition.
Trans. Large Scale Data Knowl. Centered Syst.
Sven Hartmann, Hui Ma, Panrawee Vechsamutvaree
2016 — conf
The Fuel-Efficient Platooning of Heavy Duty Vehicles by Mathematical Programming and Genetic Algorithm.
TPNC
Abtin Nourmohammadzadeh, Sven Hartmann
2015 J jnl
Constructing Armstrong tables for general cardinality constraints and not-null constraints.
Ann. Math. Artif. Intell.
Sven Hartmann, Henning Köhler, Uwe Leck, Sebastian Link, Bernhard Thalheim, Jing Wang
2015 — conf
Fault Classification of a Centrifugal Pump in Normal and Noisy Environment with Artificial Neural Network and Support Vector Machine Enhanced by a Genetic Algorithm.
TPNC
Abtin Nourmohammadzadeh, Sven Hartmann
2015 — conf
Providing Ontology-Based Privacy-Aware Data Access Through Web Services.
ER Workshops
Sven Hartmann, Hui Ma, Panrawee Vechsamutvaree
2013 J jnl
Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211).
Dagstuhl Reports
Diego Calvanese, Sven Hartmann, Ernest Teniente
2013 J jnl
Efficiency frontiers of XML cardinality constraints.
Data Knowl. Eng.
Flavio Ferrarotti, Sven Hartmann, Sebastian Link
2013 — conf
Information analysis for a future flight deck design in the context of 4D trajectory based operation.
ATACCS
Sven Hartmann
2013 C conf
Normal Forms and Normalization for Probabilistic Databases under Sharp Constraints.
EJC
Sven Hartmann, Sebastian Link
2013 J jnl
Reasoning about functional and full hierarchical dependencies over partial relations.
Inf. Sci.
Flavio Ferrarotti, Sven Hartmann, Sebastian Link
2013 — conf
Soft Cardinality Constraints on XML Data - How Exceptions Prove the Business Rule.
WISE (1)
Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Mauricio Marín, Emir Muñoz
2013 J jnl
The Finite Implication Problem for Expressive XML Keys: Foundations, Applications, and Performance Evaluation.
Trans. Large Scale Data Knowl. Centered Syst.
Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Mauricio Marín, Emir Muñoz
2012 — conf
Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags.
FoIKS
Sven Hartmann, Henning Köhler, Sebastian Link, Bernhard Thalheim
2012 J jnl
Design by example for SQL table definitions with functional dependencies.
VLDB J.
Sven Hartmann, Markus Kirchberg, Sebastian Link
2012 — conf
Foundations for a Fourth Normal Form over SQL-Like Databases.
Conceptual Modelling and Its Theoretical Foundations
Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent
2012 — conf
Performance Analysis of Algorithms to Reason about XML Keys.
DEXA (1)
Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Mauricio Marín, Emir Muñoz
2012 — conf
Probabilistic Conditional Independence under Schema Certainty and Uncertainty.
SUM
Joachim Biskup, Sven Hartmann, Sebastian Link
2012 B conf
Signature-Based Inference-Usability Confinement for Relational Databases under Functional and Join Dependencies.
DBSec
Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner, Torsten Schlotmann
2012 J jnl
The implication problem of data dependencies over SQL table definitions: Axiomatic, algorithmic and logical characterizations.
ACM Trans. Database Syst.
Sven Hartmann, Sebastian Link
2011 A conf
A Precious Class of Cardinality Constraints for Flexible XML Data Processing.
ER
Flavio Ferrarotti, Sven Hartmann, Sebastian Link
2011 — conf
Codd Table Representations under Weak Possible World Semantics.
DEXA (1)
Flavio Ferrarotti, Sven Hartmann, Van Bao Tran Le, Sebastian Link
2011 J jnl
On Codd Families of Keys over Incomplete Relations.
Comput. J.
Sven Hartmann, Uwe Leck, Sebastian Link
2011 J jnl
Preface.
Ann. Math. Artif. Intell.
Sven Hartmann, Gabriele Kern-Isberner
2011 C conf
The Boyce-Codd-Heath Normal Form for SQL.
WoLLIC
Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent
2010 — ed.
Advances in Conceptual Modeling - Applications and Challenges, ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
ER Workshops
Juan Trujillo, Gillian Dobbie, Hannu Kangassalo, Sven Hartmann, Markus Kirchberg, Matti Rossi, Iris Reinhartz-Berger, Esteban Zimányi, Flavius Frasincar
2010 — conf
Chasing after Secrets in Relational Databases.
AMW
Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner
2010 B conf
Efficient Inference Control for Open Relational Queries.
DBSec
Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner
2010 J jnl
Numerical constraints on XML data.
Inf. Comput.
Sven Hartmann, Sebastian Link
2010 — conf
On the Existence of Armstrong Data Trees for XML Functional Dependencies.
FoIKS
Sven Hartmann, Henning Köhler, Thu Trinh
2010 C conf
On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations.
WoLLIC
Flavio Ferrarotti, Sven Hartmann, Sebastian Link
2010 Misc conf
Ontology consolidation in bioinformatics.
APCCM
Sven Hartmann, Henning Köhler, Jing Wang
2010 — conf
Promoting the Semantic Capability of XML Keys.
XSym
Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Jing Wang
2010 J jnl
Sample-based Decision Support for Specifying XML Constraints.
J. Res. Pract. Inf. Technol.
Sven Hartmann, Sebastian Link, Thu Trinh
2010 C conf
Solving the Implication Problem for XML Functional Dependencies with Properties.
WoLLIC
Sven Hartmann, Sebastian Link, Thu Trinh
2010 — conf
Third International Workshop on Conceptual Modelling for Life Sciences Applications (CMLSA 2010).
ER Workshops
Yi-Ping Phoebe Chen, Sven Hartmann, Jing Wang
2010 A* conf
When data dependencies over SQL tables meet the logics of paradox and S-3.
PODS
Sven Hartmann, Sebastian Link
2009 J jnl
Constraint acquisition for Entity-Relationship models.
Data Knowl. Eng.
Sven Hartmann, Sebastian Link, Thu Trinh
2009 J jnl
Efficient reasoning about a robust XML key fragment.
ACM Trans. Database Syst.
Sven Hartmann, Sebastian Link
2009 B conf
Expressive, yet tractable XML keys.
EDBT
Sven Hartmann, Sebastian Link
2009 J jnl
Maximal Flat Antichains of Minimum Weight.
Electron. J. Comb.
Martin Grüttmüller, Sven Hartmann, Thomas Kalinowski, Uwe Leck, Ian T. Roberts
2009 J jnl
On Inferences ofWeak Multivalued Dependencies.
Fundam. Informaticae
Sven Hartmann, Sebastian Link
2009 — conf
On Matrix Representations of Participation Constraints.
ER Workshops
Sven Hartmann, Uwe Leck, Sebastian Link
2009 J jnl
Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner.
J. Univers. Comput. Sci.
Sven Hartmann, Sebastian Link
2008 — ed.
Advances in Conceptual Modeling - Challenges and Opportunities, ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20-23, 2008. Proceedings
ER Workshops
Il-Yeol Song, Mario Piattini, Yi-Ping Phoebe Chen, Sven Hartmann, Fabio Grandi, Juan Trujillo, Andreas L. Opdahl, Fernando Ferri, Patrizia Grifoni, Maria Chiara Caschera, Colette Rolland, Carson Woo, Camille Salinesi, Esteban Zimányi, Christophe Claramunt, Flavius Frasincar, Geert-Jan Houben, Philippe Thiran
2008 C conf
Boolean Constraints for XML Modeling.
EJC
Sven Hartmann, Sebastian Link, Thu Trinh
2008 J jnl
Characterising nested database dependencies by fragments of propositional logic.
Ann. Pure Appl. Log.
Sven Hartmann, Sebastian Link
2008 Misc conf
Constraint Acquisition - You Can Chase but You Cannot Find.
APCCM
Sven Hartmann, Sebastian Link, Thu Trinh
2008 — ed.
Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings
FoIKS
Sven Hartmann, Gabriele Kern-Isberner
2008 J jnl
Mandatory representation designs
Discret. Math.
Gennian Ge, Martin Grüttmüller, Sven Hartmann, Rolf S. Rees
2008 J jnl
More orthogonal double covers of complete graphs by Hamiltonian paths.
Discret. Math.
Sven Hartmann, Uwe Leck, Volker Leck
2008 — conf
On the Notion of an XML Key.
SDKB
Sven Hartmann, Henning Köhler, Sebastian Link, Thu Trinh, Jing Wang
2008 J jnl
Pan-orientable block designs.
Australas. J Comb.
Martin Grüttmüller, Sven Hartmann
2008 — conf
Preface to CMLSA 2008.
ER Workshops
Yi-Ping Phoebe Chen, Sven Hartmann, Markus Kirchberg
2008 — ed.
Web Information Systems Engineering - WISE 2008 Workshops, WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings
WISE Workshops
Sven Hartmann, Xiaofang Zhou, Markus Kirchberg
2007 — ed.
Advances in Conceptual Modeling - Foundations and Applications, ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings
ER Workshops
Jean-Luc Hainaut, Elke A. Rundensteiner, Markus Kirchberg, Michela Bertolotto, Mathias Brochhausen, Yi-Ping Phoebe Chen, Samira Si-Said Cherfi, Martin Doerr, Hyoil Han, Sven Hartmann, Jeffrey Parsons, Geert Poels, Colette Rolland, Juan Trujillo, Eric S. K. Yu, Esteban Zimányi
2007 — ed.
Challenges in Conceptual Modelling. Tutorials, posters, panels and industrial contributions at the 26th International Conference on Conceptual Modeling - ER 2007. Auckland, New Zealand, November 5-9, 2007. Proceedings
ER (Tutorials, Posters, Panels & Industrial Contributions)
John C. Grundy, Sven Hartmann, Alberto H. F. Laender, Leszek A. Maciaszek, John F. Roddick
2007 A conf
Collection Type Constructors in Entity-Relationship Modeling.
ER
Sven Hartmann, Sebastian Link
2007 — conf
Cost-Based Vertical Fragmentation for XML.
APWeb/WAIM Workshops
Sven Hartmann, Hui Ma, Klaus-Dieter Schewe
2007 B conf
Efficient Reasoning About XFDs with Pre-image Semantics.
DASFAA
Sven Hartmann, Sebastian Link, Thu Trinh
2007 Misc conf
English Sentence Structures and EER Modeling.
APCCM
Sven Hartmann, Sebastian Link
2007 J jnl
Full hierarchical dependencies in fixed and undetermined universes.
Ann. Math. Artif. Intell.
Sven Hartmann, Henning Köhler, Sebastian Link
2007 C conf
Numerical Constraints for XML.
WoLLIC
Sven Hartmann, Sebastian Link
2007 — conf
On Inferences of Full Hierarchical Dependencies.
ACSC
Sven Hartmann, Sebastian Link
2007 — conf
Preface to CMLSA 2007.
ER Workshops
Yi-Ping Phoebe Chen, Sven Hartmann
2007 A conf
Unlocking Keys for XML Trees.
ICDT
Sven Hartmann, Sebastian Link
2007 — conf
XML Query Optimisation: Specify your Selectivity.
DEXA Workshops
Sven Hartmann, Sebastian Link
2006 J jnl
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets.
Theor. Comput. Sci.
Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
2006 — conf
Axiomatising Functional Dependencies for XML with Frequencies.
FoIKS
Sven Hartmann, Thu Trinh
2006 Misc ed.
Conceptual Modelling 2006, Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2005), Hobart, Tasmania, Australia, January 16-19 2006
APCCM
Markus Stumptner, Sven Hartmann, Yasushi Kiyoki
2006 J jnl
Deciding implication for functional dependencies in complex-value databases.
Theor. Comput. Sci.
Sven Hartmann, Sebastian Link
2006 J jnl
Erratum to "Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets".
Theor. Comput. Sci.
Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
2006 J jnl
Functional and multivalued dependencies in nested databases generated by record and list constructor.
Ann. Math. Artif. Intell.
Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
2006 Misc conf
Horn clauses and functional dependencies in complex-value databases.
ADC
Sven Hartmann, Sebastian Link
2006 J jnl
On a problem of Fagin concerning multivalued dependencies in relational databases.
Theor. Comput. Sci.
Sven Hartmann, Sebastian Link
2006 B conf
Symptoms Ontology for Mapping Diagnostic Knowledge Systems.
CBMS
Robert Minchin, Fábio Porto, Christelle Vangenot, Sven Hartmann
2006 — conf
The Nested List Normal Form for Functional and Multivalued Dependencies.
FoIKS
Sven Hartmann, Sebastian Link
2005 C conf
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic.
WoLLIC
Sven Hartmann, Sebastian Link
2005 Misc ed.
Conceptual Modelling 2005, Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), Newcastle, NSW, Australia, January/February 2005
APCCM
Sven Hartmann, Markus Stumptner
2005 J jnl
Even Bonds of Prescribed Directed Parity.
Electron. J. Comb.
Sven Hartmann, Charles H. C. Little
2005 B conf
Formal Logic as a Learning Facilitation Tool
ICALT
Alexei Tretiakov, Nian-Shing Chen, Kinshuk, Sven Hartmann
2005 — conf
Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective.
DEXA Workshops
Sven Hartmann, Sebastian Link
2005 J jnl
Functional Dependencies over XML Documents with DTDs.
Acta Cybern.
Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
2005 — conf
Higher-Order Entity Relationship Modelling with UML.
QSIC
Alexei Tretiakov, Sven Hartmann
2005 J jnl
Self-orthogonal decompositions of graphs into matchings.
Electron. Notes Discret. Math.
Sven Hartmann, Uwe Leck
2004 — conf
A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists.
CATS
Sven Hartmann, Sebastian Link
2004 — conf
Computing the Dependency Basis for Nested List Attributes.
SBBD
Sven Hartmann, Sebastian Link
2004 Misc ed.
Conceptual Modelling 2004, First Asia-Pacific Conference on Conceptual Modelling (APCCM2004), Dunedin, New Zealand, January 18-22, 2004
APCCM
Sven Hartmann, John F. Roddick
2004 J jnl
Error-Robust Functional Dependencies.
Fundam. Informaticae
Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe, Bernhard Thalheim
2004 — conf
Mobile Content Adaptation as an Optimisation Problem.
WISE Workshops
Alexei Tretiakov, Sven Hartmann
2004 A* conf
Multi-valued Dependencies in the Presence of Lists.
PODS
Sven Hartmann, Sebastian Link
2004 Misc conf
Normalisation in the Presence of Lists.
ADC
Sebastian Link, Sven Hartmann
2004 J jnl
Orthogonal double covers of general graphs.
Discret. Appl. Math.
Sven Hartmann, Ulrike Schumacher
2004 — conf
Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists.
FoIKS
Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
2004 C conf
The Implication Problem of Functional Dependencies in Complex-value Databases.
WoLLIC
Sven Hartmann, Sebastian Link
2004 — conf
Weak Functional Dependencies in Higher-Order Datamodels.
FoIKS
Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
2003 C conf
A New Normal Form for Conceptual Database.
EJC
Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
2003 J jnl
Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model.
Inf. Process. Lett.
Sven Hartmann, Anne Hoffmann, Sebastian Link, Klaus-Dieter Schewe
2003 C conf
More Functional Dependencies for XML.
ADBIS
Sven Hartmann, Sebastian Link
2003 C conf
On Functional Dependencies in Advanced Data Models.
WoLLIC
Sven Hartmann, Sebastian Link
2003 Misc conf
Reasoning about participation constraints and Chen's constraints.
ADC
Sven Hartmann
2002 — conf
Minimal Sample Databases for Global Cardinality Constraints.
FoIKS
Konrad Engel, Sven Hartmann
2002 J jnl
On Orthogonal Double Covers of Graphs.
Des. Codes Cryptogr.
Hans-Dietrich O. F. Gronau, Martin Grüttmüller, Sven Hartmann, Uwe Leck, Volker Leck
2002 J jnl
Orthogonal Decompositions of Complete Digraphs.
Graphs Comb.
Sven Hartmann
2001 A conf
Coping with Inconsistent Constraint Specifications.
ER
Sven Hartmann
2001 J jnl
Decomposing relationship types by pivoting and schema equivalence.
Data Knowl. Eng.
Sven Hartmann
2001 J jnl
On the implication problem for cardinality constraints and functional dependencies.
Ann. Math. Artif. Intell.
Sven Hartmann
2001 J jnl
Orthogonal directed covers by flowers.
Electron. Notes Discret. Math.
Sven Hartmann
2001 — conf
Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling.
Semantics in Databases
Sven Hartmann
2000 A conf
Decomposition by Pivoting and Path Cardinality Constraints.
ER
Sven Hartmann
2000 — conf
On Interactions of Cardinality Constraints, Key, and Functional Dependencies.
FoIKS
Sven Hartmann
1999 J jnl
Asymptotic Results on Suborthogonal "B"-decompositions of Complete Digraphs.
Discret. Appl. Math.
Sven Hartmann
1998 J jnl
Modelling and Model Fitting of Flexible Robots - a Multibody System Toolkit Approach.
J. Intell. Robotic Syst.
Werner Bernzen, B. Riege, Sven Hartmann
1998 A conf
On the Consistency of Int-cardinality Constraints.
ER
Sven Hartmann
1996 — conf
Global Cardinality Constraints.
ER Workshop Challenges of Application and Challenges of Design
Sven Hartmann
1996 — —
Über die Charakterisierung und Konstruktion von Entity-Relationship-Datenbanken mit Kardinalitätsbedingungen.
Sven Hartmann
1995 B conf
Graph-Theoretical Methods to Construct Entity-Relationship Databases.
WG
Sven Hartmann