Sven Hartmann

According to our database1, Sven Hartmann authored at least 127 papers between 1995 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Fuel-efficient truck platooning by a novel meta-heuristic inspired from ant colony optimisation.
Soft Comput., 2019

Conformance testing of FMI calling sequence for simulation environments.
IJMSSC, 2019

A memetic NSGA-II with EDA-based local search for fully automated multiobjective web service composition.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019

Evolutionary Multitasking for Semantic Web Service Composition.
Proceedings of the IEEE Congress on Evolutionary Computation, 2019

2018
Towards FCA-facilitated Ontology-supported Recruitment Systems.
Enterprise Modelling and Information Systems Architectures, 2018

Knowledge-Driven Automated Web Service Composition - An EDA-Based Approach.
Proceedings of the Web Information Systems Engineering - WISE 2018, 2018

Fuel Efficient Truck Platooning with Time Restrictions and Multiple Speeds Solved by a Particle Swarm Optimisation.
Proceedings of the Theory and Practice of Natural Computing - 7th International Conference, 2018

Simulation infrastructure for aeronautical informatics education.
Proceedings of the 50th Computer Simulation Conference, 2018

An SQL Data Summarization Tool for the Acquisition of Meaningful Cardinality Constraints and Functional Dependencies.
Proceedings of the 34th IEEE International Conference on Data Engineering, 2018

Using a Conceptual Model to Transform Road Networks from OpenStreetMap to a Graph Database.
Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Extremal Combinatorics of SQL Keys.
Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

QoS-Aware Web Service Composition Using Graph Databases.
Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

Towards Fully Automated Semantic Web Service Composition Based on Estimation of Distribution Algorithm.
Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018

Big Data and Data Analytics in Aviation.
Proceedings of the Advances in Aeronautical Informatics, Technologies Towards Flight 4.0., 2018

2017
GP-Based Approach to Comprehensive Quality-Aware Automated Semantic Web Service Composition.
Proceedings of the Simulated Evolution and Learning - 11th International Conference, 2017

A parallel hybrid GA-PSO approach with dynamic rule-based parameter setting.
Proceedings of the Genetic and Evolutionary Computation Conference, 2017

A Fast Heuristic for Finding Near-Optimal Groups for Vehicle Platooning in Road Networks.
Proceedings of the Database and Expert Systems Applications, 2017

A QoS-Aware Web Service Composition Approach Based on Genetic Programming and Graph Databases.
Proceedings of the Database and Expert Systems Applications, 2017

Comprehensive Quality-Aware Automated Semantic Web Service Composition.
Proceedings of the AI 2017: Advances in Artificial Intelligence, 2017

2016
Providing Ontology-Based Privacy-Aware Data Access Through Web Services and Service Composition.
T. Large-Scale Data- and Knowledge-Centered Systems, 2016

The Fuel-Efficient Platooning of Heavy Duty Vehicles by Mathematical Programming and Genetic Algorithm.
Proceedings of the Theory and Practice of Natural Computing - 5th International Conference, 2016

A Link-Density-Based Algorithm for Finding Communities in Social Networks.
Proceedings of the Advances in Conceptual Modeling, 2016

Handling Branched Web Service Composition with a QoS-Aware Graph-Based Method.
Proceedings of the E-Commerce and Web Technologies - 17th International Conference, 2016

2015
Constructing Armstrong tables for general cardinality constraints and not-null constraints.
Ann. Math. Artif. Intell., 2015

Fault Classification of a Centrifugal Pump in Normal and Noisy Environment with Artificial Neural Network and Support Vector Machine Enhanced by a Genetic Algorithm.
Proceedings of the Theory and Practice of Natural Computing, 2015

Providing Ontology-Based Privacy-Aware Data Access Through Web Services.
Proceedings of the Advances in Conceptual Modeling, 2015

2013
The Finite Implication Problem for Expressive XML Keys: Foundations, Applications, and Performance Evaluation.
Trans. Large-Scale Data- and Knowledge-Centered Systems, 2013

Reasoning about functional and full hierarchical dependencies over partial relations.
Inf. Sci., 2013

Efficiency frontiers of XML cardinality constraints.
Data Knowl. Eng., 2013

Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211).
Dagstuhl Reports, 2013

Soft Cardinality Constraints on XML Data - How Exceptions Prove the Business Rule.
Proceedings of the Web Information Systems Engineering - WISE 2013, 2013

Normal Forms and Normalization for Probabilistic Databases under Sharp Constraints.
Proceedings of the Information Modelling and Knowledge Bases XXV, 2013

Information analysis for a future flight deck design in the context of 4D trajectory based operation.
Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2013

2012
Design by example for SQL table definitions with functional dependencies.
VLDB J., 2012

The implication problem of data dependencies over SQL table definitions: Axiomatic, algorithmic and logical characterizations.
ACM Trans. Database Syst., 2012

Probabilistic Conditional Independence under Schema Certainty and Uncertainty.
Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012

Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags.
Proceedings of the Foundations of Information and Knowledge Systems, 2012

Performance Analysis of Algorithms to Reason about XML Keys.
Proceedings of the Database and Expert Systems Applications, 2012

Signature-Based Inference-Usability Confinement for Relational Databases under Functional and Join Dependencies.
Proceedings of the Data and Applications Security and Privacy XXVI, 2012

Foundations for a Fourth Normal Form over SQL-Like Databases.
Proceedings of the Conceptual Modelling and Its Theoretical Foundations, 2012

2011
On Codd Families of Keys over Incomplete Relations.
Comput. J., 2011

Preface.
Ann. Math. Artif. Intell., 2011

The Boyce-Codd-Heath Normal Form for SQL.
Proceedings of the Logic, Language, Information and Computation, 2011

A Precious Class of Cardinality Constraints for Flexible XML Data Processing.
Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

Codd Table Representations under Weak Possible World Semantics.
Proceedings of the Database and Expert Systems Applications, 2011

2010
Numerical constraints on XML data.
Inf. Comput., 2010

Sample-based Decision Support for Specifying XML Constraints.
Journal of Research and Practice in Information Technology, 2010

Promoting the Semantic Capability of XML Keys.
Proceedings of the Database and XML Technologies, 2010

Solving the Implication Problem for XML Functional Dependencies with Properties.
Proceedings of the Logic, 2010

On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations.
Proceedings of the Logic, 2010

When data dependencies over SQL tables meet the logics of paradox and S-3.
Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

On the Existence of Armstrong Data Trees for XML Functional Dependencies.
Proceedings of the Foundations of Information and Knowledge Systems, 2010

Third International Workshop on Conceptual Modelling for Life Sciences Applications (CMLSA 2010).
Proceedings of the Advances in Conceptual Modeling - Applications and Challenges, 2010

Efficient Inference Control for Open Relational Queries.
Proceedings of the Data and Applications Security and Privacy XXIV, 2010

Ontology consolidation in bioinformatics.
Proceedings of the Conceptual Modelling 2010, 2010

Chasing after Secrets in Relational Databases.
Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010

2009
Efficient reasoning about a robust XML key fragment.
ACM Trans. Database Syst., 2009

Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner.
J. UCS, 2009

On Inferences ofWeak Multivalued Dependencies.
Fundam. Inform., 2009

Constraint acquisition for Entity-Relationship models.
Data Knowl. Eng., 2009

Maximal Flat Antichains of Minimum Weight.
Electr. J. Comb., 2009

On Matrix Representations of Participation Constraints.
Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009

Expressive, yet tractable XML keys.
Proceedings of the EDBT 2009, 2009

2008
More orthogonal double covers of complete graphs by Hamiltonian paths.
Discrete Mathematics, 2008

Mandatory representation designs I with k=2mod3.
Discrete Mathematics, 2008

Characterising nested database dependencies by fragments of propositional logic.
Ann. Pure Appl. Logic, 2008

Pan-orientable block designs.
Australasian J. Combinatorics, 2008

On the Notion of an XML Key.
Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

Preface to CMLSA 2008.
Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008

Boolean Constraints for XML Modeling.
Proceedings of the Information Modelling and Knowledge Bases XX, 2008

Constraint Acquisition - You Can Chase but You Cannot Find.
Proceedings of the Conceptual Modelling 2008, 2008

2007
Full hierarchical dependencies in fixed and undetermined universes.
Ann. Math. Artif. Intell., 2007

Numerical Constraints for XML.
Proceedings of the Logic, 2007

Unlocking Keys for XML Trees.
Proceedings of the Database Theory, 2007

Collection Type Constructors in Entity-Relationship Modeling.
Proceedings of the Conceptual Modeling, 2007

Preface to CMLSA 2007.
Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

XML Query Optimisation: Specify your Selectivity.
Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007

Efficient Reasoning About XFDs with Pre-image Semantics.
Proceedings of the Advances in Databases: Concepts, 2007

Cost-Based Vertical Fragmentation for XML.
Proceedings of the Advances in Web and Network Technologies, and Information Management, 2007

English Sentence Structures and EER Modeling.
Proceedings of the Conceptual Modelling 2007, Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM2007), Ballarat, Victoria, Australia, January 30, 2007

On Inferences of Full Hierarchical Dependencies.
Proceedings of the Computer Science 2007. Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007). Ballarat, Victoria, Australia, January 30, 2007

2006
Erratum to "Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets".
Theor. Comput. Sci., 2006

Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets.
Theor. Comput. Sci., 2006

Deciding implication for functional dependencies in complex-value databases.
Theor. Comput. Sci., 2006

On a problem of Fagin concerning multivalued dependencies in relational databases.
Theor. Comput. Sci., 2006

An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic.
Electr. Notes Theor. Comput. Sci., 2006

Functional and multivalued dependencies in nested databases generated by record and list constructor.
Ann. Math. Artif. Intell., 2006

Axiomatising Functional Dependencies for XML with Frequencies.
Proceedings of the Foundations of Information and Knowledge Systems, 2006

The Nested List Normal Form for Functional and Multivalued Dependencies.
Proceedings of the Foundations of Information and Knowledge Systems, 2006

Symptoms Ontology for Mapping Diagnostic Knowledge Systems.
Proceedings of the 19th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2006), 2006

Horn clauses and functional dependencies in complex-value databases.
Proceedings of the Database Technologies 2006, 2006

2005
The Implication Problem of Functional Dependencies in Complex-value Databases.
Electr. Notes Theor. Comput. Sci., 2005

Self-orthogonal decompositions of graphs into matchings.
Electronic Notes in Discrete Mathematics, 2005

Even Bonds of Prescribed Directed Parity.
Electr. J. Comb., 2005

Functional Dependencies over XML Documents with DTDs.
Acta Cybern., 2005

Higher-Order Entity Relationship Modelling with UML.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Formal Logic as a Learning Facilitation Tool
Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, 2005

Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective.
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

2004
Error-Robust Functional Dependencies.
Fundam. Inform., 2004

A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists.
Electr. Notes Theor. Comput. Sci., 2004

Orthogonal double covers of general graphs.
Discrete Applied Mathematics, 2004

Mobile Content Adaptation as an Optimisation Problem.
Proceedings of the Web Information Systems, 2004

Computing the Dependency Basis for Nested List Attributes.
Proceedings of the XIX Simpósio Brasileiro de Bancos de Dados, 2004

Multi-valued Dependencies in the Presence of Lists.
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists.
Proceedings of the Foundations of Information and Knowledge Systems, 2004

Weak Functional Dependencies in Higher-Order Datamodels.
Proceedings of the Foundations of Information and Knowledge Systems, 2004

Normalisation in the Presence of Lists.
Proceedings of the Database Technologies 2004, 2004

2003
Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model.
Inf. Process. Lett., 2003

On Functional Dependencies in Advanced Data Models.
Electr. Notes Theor. Comput. Sci., 2003

A New Normal Form for Conceptual Database.
Proceedings of the Information Modelling and Knowledge Bases XV, 2003

Reasoning about participation constraints and Chen's constraints.
Proceedings of the Database Technologies 2003, 2003

More Functional Dependencies for XML.
Proceedings of the Advances in Databases and Information Systems, 2003

2002
Orthogonal Decompositions of Complete Digraphs.
Graphs and Combinatorics, 2002

On Orthogonal Double Covers of Graphs.
Des. Codes Cryptogr., 2002

Minimal Sample Databases for Global Cardinality Constraints.
Proceedings of the Foundations of Information and Knowledge Systems, 2002

2001
Orthogonal directed covers by flowers.
Electronic Notes in Discrete Mathematics, 2001

Decomposing relationship types by pivoting and schema equivalence.
Data Knowl. Eng., 2001

On the implication problem for cardinality constraints and functional dependencies.
Ann. Math. Artif. Intell., 2001

Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling.
Proceedings of the Semantics in Databases, 2001

Coping with Inconsistent Constraint Specifications.
Proceedings of the Conceptual Modeling, 2001

2000
On Interactions of Cardinality Constraints, Key, and Functional Dependencies.
Proceedings of the Foundations of Information and Knowledge Systems, 2000

Decomposition by Pivoting and Path Cardinality Constraints.
Proceedings of the Conceptual Modeling, 2000

1999
Asymptotic Results on Suborthogonal "B"-decompositions of Complete Digraphs.
Discrete Applied Mathematics, 1999

1998
On the Consistency of Int-cardinality Constraints.
Proceedings of the Conceptual Modeling, 1998

1996
Über die Charakterisierung und Konstruktion von Entity-Relationship-Datenbanken mit Kardinalitätsbedingungen.
PhD thesis, 1996

Global Cardinality Constraints.
Proceedings of the Proccedings of the Workshop Challenges of Application and Challenges of Design, 1996

1995
Graph-Theoretical Methods to Construct Entity-Relationship Databases.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1995


  Loading...