default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSven Hartmann
Person information
- affiliation: Clausthal University of Technology, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 1996
[b1]Sven Hartmann:
Über die Charakterisierung und Konstruktion von Entity-Relationship-Datenbanken mit Kardinalitätsbedingungen. University of Rostock, Germany, 1996, pp. 1-95
Journal Articles
- 2024
- [j58]Yifan Yang
, Aaron Chen, Hui Ma, Sven Hartmann, Mengjie Zhang:
Enhancing generalization in genetic programming hyper-heuristics through mini-batch sampling strategies for dynamic workflow scheduling. Inf. Sci. 678: 120975 (2024) - [j57]Ahmad Naja, Siddharta Gupta, Umut Durak, Sven Hartmann:
Towards a Scenario Toolkit for Autonomous Systems. Simul. Notes Eur. 34(1): 13-21 (2024) - 2023
- [j56]Sebastian Link, Henning Koehler, Aniruddh Gandhi, Sven Hartmann, Bernhard Thalheim:
Cardinality constraints and functional dependencies in SQL: Taming data redundancy in logical database design. Inf. Syst. 115: 102208 (2023) - [j55]Chen Wang, Hui Ma, Gang Chen, Sven Hartmann:
Using an Estimation of Distribution Algorithm to Achieve Multitasking Semantic Web Service Composition. IEEE Trans. Evol. Comput. 27(3): 490-504 (2023) - [j54]Tao Shi, Hui Ma, Gang Chen, Sven Hartmann:
Auto-Scaling Containerized Applications in Geo-Distributed Clouds. IEEE Trans. Serv. Comput. 16(6): 4261-4274 (2023) - 2022
- [j53]Chen Wang, Hui Ma, Gang Chen, Sven Hartmann:
Memetic EDA-Based Approaches to QoS-Aware Fully Automated Semantic Web Service Composition. IEEE Trans. Evol. Comput. 26(3): 570-584 (2022) - [j52]Chen Wang, Hui Ma, Gang Chen, Sven Hartmann, Jürgen Branke:
Robustness Estimation and Optimisation for Semantic Web Service Composition With Stochastic Service Failures. IEEE Trans. Emerg. Top. Comput. Intell. 6(1): 77-92 (2022) - [j51]Tao Shi, Hui Ma, Gang Chen, Sven Hartmann:
Cost-Effective Web Application Replication and Deployment in Multi-Cloud Environment. IEEE Trans. Parallel Distributed Syst. 33(8): 1982-1995 (2022) - 2021
- [j50]Jerrold R. Griggs, Sven Hartmann, Thomas Kalinowski, Uwe Leck, Ian T. Roberts:
Minimum Weight Flat Antichains of Subsets. Order 38(3): 441-453 (2021) - [j49]Ziheng Wei, Sven Hartmann, Sebastian Link:
Algorithms for the discovery of embedded functional dependencies. VLDB J. 30(6): 1069-1093 (2021) - 2020
- [j48]Georg Kunert, Thorsten Pawletta, Sven Hartmann:
Reduction of Complexity in Q-Learning a Robot Control for an Assembly Cell by using Multiple Agents. Simul. Notes Eur. 30(3): 117-124 (2020) - [j47]Tao Shi, Hui Ma, Gang Chen, Sven Hartmann:
Location-Aware and Budget-Constrained Service Deployment for Composite Applications in Multi-Cloud Environment. IEEE Trans. Parallel Distributed Syst. 31(8): 1954-1969 (2020) - 2019
- [j46]Awad Mukbil, Umut Durak, Sven Hartmann:
Conformance testing of FMI calling sequence for simulation environments. Int. J. Model. Simul. Sci. Comput. 10(2): 1950008:1-1950008:28 (2019) - [j45]Hendrik Folkerts, Thorsten Pawletta, Christina Deatcu, Sven Hartmann:
Python-based eSES/MB Framework: Model Specification and Automatic Model Generation for Multiple Simulators. Simul. Notes Eur. 29(4): 207-215 (2019) - [j44]Abtin Nourmohammadzadeh, Sven Hartmann:
Fuel-efficient truck platooning by a novel meta-heuristic inspired from ant colony optimisation. Soft Comput. 23(5): 1439-1452 (2019) - 2018
- [j43]Hui Ma, Sven Hartmann, Panrawee Vechsamutvaree:
Towards FCA-facilitated Ontology-supported Recruitment Systems. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13(Special): 182-189 (2018) - [j42]Somaye Mahmoodi, Umut Durak, Sven Hartmann, Shafagh Jafer:
DO-330/ED-215 Overlay to the IEEE Recommended Practice for Distributed Simulation Engineering and Execution Process. J. Aerosp. Inf. Syst. 15(12): 696-705 (2018) - [j41]Shihui Chen, Umut Durak, Sven Hartmann:
Modeling and Simulation-based Development of Autonomy Features for Drones. Simul. Notes Eur. 28(2): 55-60 (2018) - 2017
- [j40]Chenfeng Zhu, Umut Durak, Sven Hartmann, Clément David:
Automatic Layout of Scilab/Xcos Diagrams. Simul. Notes Eur. 27(3): 143-151 (2017) - 2016
- [j39]Sven Hartmann, Hui Ma, Panrawee Vechsamutvaree:
Providing Ontology-Based Privacy-Aware Data Access Through Web Services and Service Composition. Trans. Large Scale Data Knowl. Centered Syst. 30: 109-131 (2016) - 2015
- [j38]Sven Hartmann, Henning Köhler, Uwe Leck, Sebastian Link, Bernhard Thalheim, Jing Wang:
Constructing Armstrong tables for general cardinality constraints and not-null constraints. Ann. Math. Artif. Intell. 73(1-2): 139-165 (2015) - 2013
- [j37]Flavio Ferrarotti, Sven Hartmann, Sebastian Link:
Efficiency frontiers of XML cardinality constraints. Data Knowl. Eng. 87: 297-319 (2013) - [j36]Flavio Ferrarotti, Sven Hartmann, Sebastian Link:
Reasoning about functional and full hierarchical dependencies over partial relations. Inf. Sci. 235: 150-173 (2013) - [j35]Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Mauricio Marín, Emir Muñoz:
The Finite Implication Problem for Expressive XML Keys: Foundations, Applications, and Performance Evaluation. Trans. Large Scale Data Knowl. Centered Syst. 10: 60-94 (2013) - 2012
- [j34]Sven Hartmann, Sebastian Link:
The implication problem of data dependencies over SQL table definitions: Axiomatic, algorithmic and logical characterizations. ACM Trans. Database Syst. 37(2): 13:1-13:40 (2012) - [j33]Sven Hartmann, Markus Kirchberg, Sebastian Link:
Design by example for SQL table definitions with functional dependencies. VLDB J. 21(1): 121-144 (2012) - 2011
- [j32]Sven Hartmann, Gabriele Kern-Isberner:
Preface. Ann. Math. Artif. Intell. 63(3-4): 209-211 (2011) - [j31]Sven Hartmann, Uwe Leck, Sebastian Link:
On Codd Families of Keys over Incomplete Relations. Comput. J. 54(7): 1166-1180 (2011) - 2010
- [j30]Sven Hartmann, Sebastian Link, Thu Trinh:
Sample-based Decision Support for Specifying XML Constraints. J. Res. Pract. Inf. Technol. 42(1): 15-34 (2010) - [j29]Sven Hartmann, Sebastian Link:
Numerical constraints on XML data. Inf. Comput. 208(5): 521-544 (2010) - 2009
- [j28]Martin Grüttmüller, Sven Hartmann, Thomas Kalinowski, Uwe Leck, Ian T. Roberts:
Maximal Flat Antichains of Minimum Weight. Electron. J. Comb. 16(1) (2009) - [j27]Sven Hartmann, Sebastian Link, Thu Trinh:
Constraint acquisition for Entity-Relationship models. Data Knowl. Eng. 68(10): 1128-1155 (2009) - [j26]Sven Hartmann, Sebastian Link:
On Inferences ofWeak Multivalued Dependencies. Fundam. Informaticae 92(1-2): 83-102 (2009) - [j25]Sven Hartmann, Sebastian Link:
Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner. J. Univers. Comput. Sci. 15(1): 112-156 (2009) - [j24]Sven Hartmann, Sebastian Link:
Efficient reasoning about a robust XML key fragment. ACM Trans. Database Syst. 34(2): 10:1-10:33 (2009) - 2008
- [j23]Martin Grüttmüller, Sven Hartmann:
Pan-orientable block designs. Australas. J Comb. 40: 57-68 (2008) - [j22]Sven Hartmann, Sebastian Link:
Characterising nested database dependencies by fragments of propositional logic. Ann. Pure Appl. Log. 152(1-3): 84-106 (2008) - [j21]Sven Hartmann, Uwe Leck, Volker Leck:
More orthogonal double covers of complete graphs by Hamiltonian paths. Discret. Math. 308(12): 2502-2508 (2008) - [j20]Gennian Ge, Martin Grüttmüller, Sven Hartmann, Rolf S. Rees:
Mandatory representation designs I with k=2mod3. Discret. Math. 308(23): 5394-5406 (2008) - 2007
- [j19]Sven Hartmann, Henning Köhler, Sebastian Link:
Full hierarchical dependencies in fixed and undetermined universes. Ann. Math. Artif. Intell. 50(1-2): 195-226 (2007) - 2006
- [j18]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
Functional and multivalued dependencies in nested databases generated by record and list constructor. Ann. Math. Artif. Intell. 46(1-2): 114-164 (2006) - [j17]Sven Hartmann, Sebastian Link:
On a problem of Fagin concerning multivalued dependencies in relational databases. Theor. Comput. Sci. 353(1-3): 53-62 (2006) - [j16]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets. Theor. Comput. Sci. 355(2): 167-196 (2006) - [j15]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
Erratum to "Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets". Theor. Comput. Sci. 360(1-3): 459 (2006) - [j14]Sven Hartmann, Sebastian Link:
Deciding implication for functional dependencies in complex-value databases. Theor. Comput. Sci. 364(2): 212-240 (2006) - 2005
- [j13]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
Functional Dependencies over XML Documents with DTDs. Acta Cybern. 17(1): 153-171 (2005) - [j12]Sven Hartmann, Charles H. C. Little:
Even Bonds of Prescribed Directed Parity. Electron. J. Comb. 12 (2005) - [j11]Sven Hartmann, Uwe Leck:
Self-orthogonal decompositions of graphs into matchings. Electron. Notes Discret. Math. 23: 5-11 (2005) - 2004
- [j10]Sven Hartmann, Ulrike Schumacher:
Orthogonal double covers of general graphs. Discret. Appl. Math. 138(1-2): 107-116 (2004) - [j9]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe, Bernhard Thalheim:
Error-Robust Functional Dependencies. Fundam. Informaticae 59(4): 365-372 (2004) - 2003
- [j8]Sven Hartmann, Anne Hoffmann, Sebastian Link, Klaus-Dieter Schewe:
Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model. Inf. Process. Lett. 87(3): 133-137 (2003) - 2002
- [j7]Hans-Dietrich O. F. Gronau, Martin Grüttmüller, Sven Hartmann, Uwe Leck, Volker Leck:
On Orthogonal Double Covers of Graphs. Des. Codes Cryptogr. 27(1-2): 49-91 (2002) - [j6]Sven Hartmann:
Orthogonal Decompositions of Complete Digraphs. Graphs Comb. 18(2): 285-302 (2002) - 2001
- [j5]Sven Hartmann:
On the implication problem for cardinality constraints and functional dependencies. Ann. Math. Artif. Intell. 33(2-4): 253-307 (2001) - [j4]Sven Hartmann:
Decomposing relationship types by pivoting and schema equivalence. Data Knowl. Eng. 39(1): 75-99 (2001) - [j3]Sven Hartmann:
Orthogonal directed covers by flowers. Electron. Notes Discret. Math. 10: 143-145 (2001) - 1999
- [j2]Sven Hartmann:
Asymptotic Results on Suborthogonal "B"-decompositions of Complete Digraphs. Discret. Appl. Math. 95(1-3): 311-320 (1999) - 1998
- [j1]Werner Bernzen, B. Riege, Sven Hartmann:
Modelling and Model Fitting of Flexible Robots - a Multibody System Toolkit Approach. J. Intell. Robotic Syst. 22(2): 165-175 (1998)
Conference and Workshop Papers
- 2024
- [c109]Fengyang Sun, Gang Chen, Hui Ma, Sven Hartmann:
Population-Based Incremental Learning for Effective IoT Service Composition with Replication. SSE 2024: 74-76 - [c108]Zhengxin Fang, Hui Ma, Gang Chen, Sven Hartmann, Chen Wang:
Leveraging LLM in Genetic Programming Hyper-heuristics for Dynamic Microservice Deployment. AI (1) 2024: 86-97 - [c107]Denis Kruschinski, Dylan Tchawou Ngassam, Umut Durak, Sven Hartmann:
An MLOps Framework to Data-Driven Modelling of Digital Twins with an Application to Virtual Test Rigs. ER (Workshops) 2024: 71-86 - [c106]Sarmad Rezayat, Gerrit Burmester, Hui Ma, Sven Hartmann:
Conceptual Framework for Designing Hippocratic APIs. ER 2024: 355-376 - 2023
- [c105]Zhengxin Fang, Hui Ma, Gang Chen, Sven Hartmann:
A Group Genetic Algorithm for Energy-Efficient Resource Allocation in Container-Based Clouds with Heterogeneous Physical Machines. AI (2) 2023: 453-465 - [c104]Fengyang Sun, Hui Ma, Gang Chen, Sven Hartmann:
IoT Service Composition - An Estimation of Distribution Algorithm with Adaptive Bias. CEC 2023: 1-8 - [c103]Hui Ma, Sven Hartmann, Gang Chen, Yifan Yang:
A model-driven machine learning approach to dynamic multi-workflow scheduling. ER (Companion) 2023 - [c102]Gerrit Burmester, David Kugelmann, Dietrich Steinmetz, Hui Ma, Sven Hartmann:
A Conceptual Modeling Approach for Risk Assessment and Mitigation in Collision-Free UAV Routing Planning for Beyond-the-Visual-Line-of-Sight Flights. ER 2023: 394-411 - [c101]Zhengxin Fang, Hui Ma, Gang Chen, Sven Hartmann:
Energy-Efficient and Communication-Aware Resource Allocation in Container-Based Cloud with Group Genetic Algorithm. ICSOC (1) 2023: 212-226 - 2022
- [c100]Sakif Hossain, Fatema T. Johora, Jörg P. Müller, Sven Hartmann, Andreas Reinhardt:
SFMGNet: A Physics-Based Neural Network To Predict Pedestrian Trajectories. AAAI Spring Symposium: MAKE 2022 - [c99]Josh Trueman, Hui Ma, Aaron Chen, Sven Hartmann:
Multi-objective Social Network Detection - A Graph Database Supported NSGA-II Based Approach. ADC 2022: 21-33 - [c98]Dietrich Steinmetz, Felix Merz, Gerrit Burmester, Hui Ma, Sven Hartmann:
A Modeling Rule for Improving the Performance of Graph Models. ER 2022: 336-346 - [c97]Tao Shi, Sven Hartmann, Gang Chen, Hui Ma:
Location-Aware Cloud Service Brokering in Multi-cloud Environment. ICSOC Workshops 2022: 408-410 - 2021
- [c96]Roman Keller, Jiali Yao, Gisbert W. Teepe, Sven Hartmann, Kim-Morgaine Lohse, Florian von Wangenheim, Falk Müller-Riemenschneider, Jacqueline Louise Mair, Tobias Kowatsch:
Are Conversational Agents Used at Scale by Companies Offering Digital Health Services for the Management and Prevention of Diabetes? HEALTHINF 2021: 811-816 - [c95]Dietrich Steinmetz, Sven Hartmann, Hui Ma:
A Conceptual Modelling Approach for the Discovery and Management of Platoon Routes. ER 2021: 282-296 - [c94]Tao Shi, Hui Ma, Gang Chen, Sven Hartmann:
Location-Aware and Budget-Constrained Service Brokering in Multi-Cloud via Deep Reinforcement Learning. ICSOC 2021: 756-764 - [c93]Arnold Ariadi, Tao Shi, Hui Ma, Alexandre Sawczuk da Silva, Sven Hartmann:
A Graph Database Supported GA-Based Approach to Social Network Analysis. SSCI 2021: 1-8 - 2020
- [c92]Sven Hartmann, Jack Alshami, Hui Ma, Dietrich Steinmetz:
A Conceptual Framework for Dynamic Planning of Alternative Routes in Road Networks. ER 2020: 539-554 - [c91]Sakif Hossain, Fatema T. Johora, Jörg P. Müller, Sven Hartmann:
A Conceptual Model of Conflicts in Shared Spaces. ICIBE 2020: 228-235 - [c90]Russell Sabir, Daniele Rosato, Sven Hartmann, Clemens Gühmann:
Signal Generation using 1d Deep Convolutional Generative Adversarial Networks for Fault Diagnosis of Electrical Machines. ICPR 2020: 3907-3914 - [c89]Tao Shi, Hui Ma, Gang Chen, Sven Hartmann:
Location-Aware and Budget-Constrained Application Replication and Deployment in Multi-Cloud Environment. ICWS 2020: 110-117 - [c88]Ziheng Wei, Sven Hartmann, Sebastian Link:
Discovery Algorithms for Embedded Functional Dependencies. SIGMOD Conference 2020: 833-843 - 2019
- [c87]Chen Wang, Hui Ma, Gang Chen, Sven Hartmann:
Towards Robust Web Service Composition with Stochastic Service Failures Based on a Genetic Algorithm. Australasian Conference on Artificial Intelligence 2019: 445-459 - [c86]Chen Wang, Hui Ma, Gang Chen, Sven Hartmann:
Evolutionary Multitasking for Semantic Web Service Composition. CEC 2019: 2490-2497 - [c85]Dietrich Steinmetz, Felix Merz, Hui Ma, Sven Hartmann:
A Graph Model for Taxi Ride Sharing Supported by Graph Databases. ER 2019: 108-116 - [c84]Chen Wang, Hui Ma, Gang Chen, Sven Hartmann:
A memetic NSGA-II with EDA-based local search for fully automated multiobjective web service composition. GECCO (Companion) 2019: 421-422 - [c83]Russell Sabir, Daniele Rosato, Sven Hartmann, Clemens Gühmann:
LSTM Based Bearing Fault Diagnosis of Electrical Machines using Motor Current Signal. ICMLA 2019: 613-618 - [c82]Bikash Chandra Karmokar, Umut Durak, Sven Hartmann, Bernard P. Zeigler:
Towards a standard computational representation for system entity structures. SummerSim 2019: 54:1-54:11 - 2018
- [c81]Chen Wang, Hui Ma, Gang Chen, Sven Hartmann:
Towards Fully Automated Semantic Web Service Composition Based on Estimation of Distribution Algorithm. Australasian Conference on Artificial Intelligence 2018: 458-471 - [c80]Sven Hartmann, Markus Kirchberg, Henning Koehler, Uwe Leck, Sebastian Link:
Extremal Combinatorics of SQL Keys. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 75-91 - [c79]Hui Ma, Zhaojiang Chang, Alexandre Sawczuk da Silva, Sven Hartmann:
QoS-Aware Web Service Composition Using Graph Databases. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 336-351 - [c78]Dietrich Steinmetz, Daniel Dyballa, Hui Ma, Sven Hartmann:
Using a Conceptual Model to Transform Road Networks from OpenStreetMap to a Graph Database. ER 2018: 301-315 - [c77]Aniruddh Gandhi, Sven Hartmann, Henning Koehler, Sebastian Link:
An SQL Data Summarization Tool for the Acquisition of Meaningful Cardinality Constraints and Functional Dependencies. ICDE 2018: 1549-1552 - [c76]Haitao Wang, Shihui Chen, Umut Durak, Sven Hartmann:
Simulation infrastructure for aeronautical informatics education. SummerSim 2018: 11:1-11:12 - [c75]Abtin Nourmohammadzadeh, Sven Hartmann:
Fuel Efficient Truck Platooning with Time Restrictions and Multiple Speeds Solved by a Particle Swarm Optimisation. TPNC 2018: 188-200 - [c74]Chen Wang, Hui Ma, Aaron Chen, Sven Hartmann:
Knowledge-Driven Automated Web Service Composition - An EDA-Based Approach. WISE (2) 2018: 135-150 - 2017
- [c73]Chen Wang, Hui Ma, Aaron Chen, Sven Hartmann:
Comprehensive Quality-Aware Automated Semantic Web Service Composition. Australasian Conference on Artificial Intelligence 2017: 195-207 - [c72]Alexandre Sawczuk da Silva, Ewan Moshi, Hui Ma, Sven Hartmann:
A QoS-Aware Web Service Composition Approach Based on Genetic Programming and Graph Databases. DEXA (2) 2017: 37-44 - [c71]Dietrich Steinmetz, Gerrit Burmester, Sven Hartmann:
A Fast Heuristic for Finding Near-Optimal Groups for Vehicle Platooning in Road Networks. DEXA (2) 2017: 395-405 - [c70]Abtin Nourmohammadzadeh, Sven Hartmann, Hui Ma:
A parallel hybrid GA-PSO approach with dynamic rule-based parameter setting. GECCO (Companion) 2017: 215-216 - [c69]Chen Wang, Hui Ma, Aaron Chen, Sven Hartmann:
GP-Based Approach to Comprehensive Quality-Aware Automated Semantic Web Service Composition. SEAL 2017: 170-183 - 2016
- [c68]Alexandre Sawczuk da Silva, Hui Ma, Mengjie Zhang, Sven Hartmann:
Handling Branched Web Service Composition with a QoS-Aware Graph-Based Method. EC-Web 2016: 154-169 - [c67]Vladivy Poaka, Sven Hartmann, Hui Ma, Dietrich Steinmetz:
A Link-Density-Based Algorithm for Finding Communities in Social Networks. ER Workshops 2016: 76-85 - [c66]Abtin Nourmohammadzadeh, Sven Hartmann:
The Fuel-Efficient Platooning of Heavy Duty Vehicles by Mathematical Programming and Genetic Algorithm. TPNC 2016: 46-57 - 2015
- [c65]Sven Hartmann, Hui Ma, Panrawee Vechsamutvaree:
Providing Ontology-Based Privacy-Aware Data Access Through Web Services. ER Workshops 2015: 74-85 - [c64]Abtin Nourmohammadzadeh, Sven Hartmann:
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 2015: 58-70 - 2013
- [c63]Sven Hartmann:
Information analysis for a future flight deck design in the context of 4D trajectory based operation. ATACCS 2013: 140-143 - [c62]Sven Hartmann, Sebastian Link:
Normal Forms and Normalization for Probabilistic Databases under Sharp Constraints. EJC 2013: 1-16 - [c61]Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Mauricio Marín, Emir Muñoz:
Soft Cardinality Constraints on XML Data - How Exceptions Prove the Business Rule. WISE (1) 2013: 382-395 - 2012
- [c60]Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent:
Foundations for a Fourth Normal Form over SQL-Like Databases. Conceptual Modelling and Its Theoretical Foundations 2012: 85-100 - [c59]Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner, Torsten Schlotmann:
Signature-Based Inference-Usability Confinement for Relational Databases under Functional and Join Dependencies. DBSec 2012: 56-73 - [c58]Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Mauricio Marín, Emir Muñoz:
Performance Analysis of Algorithms to Reason about XML Keys. DEXA (1) 2012: 101-115 - [c57]Sven Hartmann, Henning Köhler, Sebastian Link, Bernhard Thalheim:
Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags. FoIKS 2012: 164-183 - [c56]Joachim Biskup, Sven Hartmann, Sebastian Link:
Probabilistic Conditional Independence under Schema Certainty and Uncertainty. SUM 2012: 365-378 - 2011
- [c55]Flavio Ferrarotti, Sven Hartmann, Van Bao Tran Le, Sebastian Link:
Codd Table Representations under Weak Possible World Semantics. DEXA (1) 2011: 125-139 - [c54]Flavio Ferrarotti, Sven Hartmann, Sebastian Link:
A Precious Class of Cardinality Constraints for Flexible XML Data Processing. ER 2011: 175-188 - [c53]Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent:
The Boyce-Codd-Heath Normal Form for SQL. WoLLIC 2011: 110-122 - 2010
- [c52]Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner:
Chasing after Secrets in Relational Databases. AMW 2010 - [c51]Sven Hartmann, Henning Köhler, Jing Wang:
Ontology consolidation in bioinformatics. APCCM 2010: 15-22 - [c50]Joachim Biskup, Sven Hartmann, Sebastian Link, Jan-Hendrik Lochner:
Efficient Inference Control for Open Relational Queries. DBSec 2010: 162-176 - [c49]Yi-Ping Phoebe Chen, Sven Hartmann, Jing Wang:
Third International Workshop on Conceptual Modelling for Life Sciences Applications (CMLSA 2010). ER Workshops 2010: 53 - [c48]Sven Hartmann, Henning Köhler, Thu Trinh:
On the Existence of Armstrong Data Trees for XML Functional Dependencies. FoIKS 2010: 94-113 - [c47]Sven Hartmann, Sebastian Link:
When data dependencies over SQL tables meet the logics of paradox and S-3. PODS 2010: 317-326 - [c46]Flavio Ferrarotti, Sven Hartmann, Sebastian Link:
On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations. WoLLIC 2010: 136-147 - [c45]Sven Hartmann, Sebastian Link, Thu Trinh:
Solving the Implication Problem for XML Functional Dependencies with Properties. WoLLIC 2010: 161-175 - [c44]Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Jing Wang:
Promoting the Semantic Capability of XML Keys. XSym 2010: 144-153 - 2009
- [c43]Sven Hartmann, Sebastian Link:
Expressive, yet tractable XML keys. EDBT 2009: 357-367 - [c42]Sven Hartmann, Uwe Leck, Sebastian Link:
On Matrix Representations of Participation Constraints. ER Workshops 2009: 75-84 - 2008
- [c41]Sven Hartmann, Sebastian Link, Thu Trinh:
Constraint Acquisition - You Can Chase but You Cannot Find. APCCM 2008: 59-68 - [c40]Sven Hartmann, Sebastian Link, Thu Trinh:
Boolean Constraints for XML Modeling. EJC 2008: 85-104 - [c39]Yi-Ping Phoebe Chen, Sven Hartmann, Markus Kirchberg:
Preface to CMLSA 2008. ER Workshops 2008: 1 - [c38]Sven Hartmann, Henning Köhler, Sebastian Link, Thu Trinh, Jing Wang:
On the Notion of an XML Key. SDKB 2008: 103-112 - 2007
- [c37]Sven Hartmann, Sebastian Link:
On Inferences of Full Hierarchical Dependencies. ACSC 2007: 69-78 - [c36]Sven Hartmann, Sebastian Link:
English Sentence Structures and EER Modeling. APCCM 2007: 27-35 - [c35]Sven Hartmann, Hui Ma, Klaus-Dieter Schewe:
Cost-Based Vertical Fragmentation for XML. APWeb/WAIM Workshops 2007: 12-24 - [c34]Sven Hartmann, Sebastian Link, Thu Trinh:
Efficient Reasoning About XFDs with Pre-image Semantics. DASFAA 2007: 1070-1074 - [c33]Sven Hartmann, Sebastian Link:
XML Query Optimisation: Specify your Selectivity. DEXA Workshops 2007: 30-34 - [c32]Yi-Ping Phoebe Chen, Sven Hartmann:
Preface to CMLSA 2007. ER Workshops 2007: 1-2 - [c31]Sven Hartmann, Sebastian Link:
Collection Type Constructors in Entity-Relationship Modeling. ER 2007: 307-322 - [c30]Sven Hartmann, Sebastian Link:
Unlocking Keys for XML Trees. ICDT 2007: 104-118 - [c29]Sven Hartmann, Sebastian Link:
Numerical Constraints for XML. WoLLIC 2007: 203-217 - 2006
- [c28]Sven Hartmann, Sebastian Link:
Horn clauses and functional dependencies in complex-value databases. ADC 2006: 21-30 - [c27]Robert Minchin, Fábio Porto, Christelle Vangenot, Sven Hartmann:
Symptoms Ontology for Mapping Diagnostic Knowledge Systems. CBMS 2006: 593-598 - [c26]Sven Hartmann, Sebastian Link:
The Nested List Normal Form for Functional and Multivalued Dependencies. FoIKS 2006: 137-158 - [c25]Sven Hartmann, Thu Trinh:
Axiomatising Functional Dependencies for XML with Frequencies. FoIKS 2006: 159-178 - 2005
- [c24]Sven Hartmann, Sebastian Link:
Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective. DEXA Workshops 2005: 818-822 - [c23]Alexei Tretiakov, Nian-Shing Chen, Kinshuk, Sven Hartmann:
Formal Logic as a Learning Facilitation Tool. ICALT 2005: 459-463 - [c22]Alexei Tretiakov, Sven Hartmann:
Higher-Order Entity Relationship Modelling with UML. QSIC 2005: 205-214 - [c21]Sven Hartmann, Sebastian Link:
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic. WoLLIC 2005: 73-85 - 2004
- [c20]Sebastian Link, Sven Hartmann:
Normalisation in the Presence of Lists. ADC 2004: 49-60 - [c19]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
Weak Functional Dependencies in Higher-Order Datamodels. FoIKS 2004: 116-133 - [c18]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists. FoIKS 2004: 134-154 - [c17]Sven Hartmann, Sebastian Link:
Multi-valued Dependencies in the Presence of Lists. PODS 2004: 330-341 - [c16]Sven Hartmann, Sebastian Link:
Computing the Dependency Basis for Nested List Attributes. SBBD 2004: 335-349 - [c15]Alexei Tretiakov, Sven Hartmann:
Mobile Content Adaptation as an Optimisation Problem. WISE Workshops 2004: 201-210 - [c14]Sven Hartmann, Sebastian Link:
The Implication Problem of Functional Dependencies in Complex-value Databases. WoLLIC 2004: 125-137 - [c13]Sven Hartmann, Sebastian Link:
A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists. CATS 2004: 171-194 - 2003
- [c12]Sven Hartmann, Sebastian Link:
More Functional Dependencies for XML. ADBIS 2003: 355-369 - [c11]Sven Hartmann:
Reasoning about participation constraints and Chen's constraints. ADC 2003: 105-113 - [c10]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
A New Normal Form for Conceptual Database. EJC 2003: 88-105 - [c9]Sven Hartmann, Sebastian Link:
On Functional Dependencies in Advanced Data Models. WoLLIC 2003: 117-128 - 2002
- [c8]Konrad Engel, Sven Hartmann:
Minimal Sample Databases for Global Cardinality Constraints. FoIKS 2002: 268-288 - 2001
- [c7]Sven Hartmann:
Coping with Inconsistent Constraint Specifications. ER 2001: 241-255 - [c6]Sven Hartmann:
Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling. Semantics in Databases 2001: 82-99 - 2000
- [c5]Sven Hartmann:
Decomposition by Pivoting and Path Cardinality Constraints. ER 2000: 126-139 - [c4]Sven Hartmann:
On Interactions of Cardinality Constraints, Key, and Functional Dependencies. FoIKS 2000: 136-155 - 1998
- [c3]Sven Hartmann:
On the Consistency of Int-cardinality Constraints. ER 1998: 150-163 - 1996
- [c2]Sven Hartmann:
Global Cardinality Constraints. ER Workshop Challenges of Application and Challenges of Design 1996: 196-206 - 1995
- [c1]Sven Hartmann:
Graph-Theoretical Methods to Construct Entity-Relationship Databases. WG 1995: 131-145
Parts in Books or Collections
- 2018
- [p1]Gerrit Burmester, Hui Ma, Dietrich Steinmetz, Sven Hartmann:
Big Data and Data Analytics in Aviation. Advances in Aeronautical Informatics 2018: 55-65
Editorship
- 2020
- [e19]Sven Hartmann, Josef Küng, Gabriele Kotsis, A Min Tjoa, Ismail Khalil:
Database and Expert Systems Applications - 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings, Part I. Lecture Notes in Computer Science 12391, Springer 2020, ISBN 978-3-030-59002-4 [contents] - [e18]Sven Hartmann, Josef Küng, Gabriele Kotsis, A Min Tjoa, Ismail Khalil:
Database and Expert Systems Applications - 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings, Part II. Lecture Notes in Computer Science 12392, Springer 2020, ISBN 978-3-030-59050-5 [contents] - 2019
- [e17]Sven Hartmann, Josef Küng, Sharma Chakravarthy, Gabriele Anderst-Kotsis, A Min Tjoa, Ismail Khalil:
Database and Expert Systems Applications - 30th International Conference, DEXA 2019, Linz, Austria, August 26-29, 2019, Proceedings, Part I. Lecture Notes in Computer Science 11706, Springer 2019, ISBN 978-3-030-27614-0 [contents] - [e16]Sven Hartmann, Josef Küng, Sharma Chakravarthy, Gabriele Anderst-Kotsis, A Min Tjoa, Ismail Khalil:
Database and Expert Systems Applications - 30th International Conference, DEXA 2019, Linz, Austria, August 26-29, 2019, Proceedings, Part II. Lecture Notes in Computer Science 11707, Springer 2019, ISBN 978-3-030-27617-1 [contents] - 2018
- [e15]Umut Durak, Jürgen Becker, Sven Hartmann, Nikolaos S. Voros:
Advances in Aeronautical Informatics, Technologies Towards Flight 4.0. Springer 2018, ISBN 978-3-319-75057-6 [contents] - [e14]Sven Hartmann, Hui Ma, Abdelkader Hameurlain, Günther Pernul, Roland R. Wagner:
Database and Expert Systems Applications - 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part I. Lecture Notes in Computer Science 11029, Springer 2018, ISBN 978-3-319-98808-5 [contents] - [e13]Sven Hartmann, Hui Ma, Abdelkader Hameurlain, Günther Pernul, Roland R. Wagner:
Database and Expert Systems Applications - 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part II. Lecture Notes in Computer Science 11030, Springer 2018, ISBN 978-3-319-98811-5 [contents] - [e12]Abdelkader Hameurlain, Roland R. Wagner, Sven Hartmann, Hui Ma:
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII - Special Issue on Database- and Expert-Systems Applications. Lecture Notes in Computer Science 11250, Springer 2018, ISBN 978-3-662-58383-8 [contents] - 2016
- [e11]Sven Hartmann, Hui Ma:
Database and Expert Systems Applications - 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part I. Lecture Notes in Computer Science 9827, Springer 2016, ISBN 978-3-319-44402-4 [contents] - [e10]Sven Hartmann, Hui Ma:
Database and Expert Systems Applications - 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II. Lecture Notes in Computer Science 9828, Springer 2016, ISBN 978-3-319-44405-5 [contents] - 2010
- [e9]Juan Trujillo, Gillian Dobbie, Hannu Kangassalo, Sven Hartmann, Markus Kirchberg, Matti Rossi, Iris Reinhartz-Berger, Esteban Zimányi, Flavius Frasincar:
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. Lecture Notes in Computer Science 6413, Springer 2010, ISBN 978-3-642-16384-5 [contents] - 2008
- [e8]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:
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. Lecture Notes in Computer Science 5232, Springer 2008, ISBN 978-3-540-87990-9 [contents] - [e7]Sven Hartmann, Gabriele Kern-Isberner:
Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings. Lecture Notes in Computer Science 4932, Springer 2008, ISBN 978-3-540-77683-3 [contents] - [e6]Sven Hartmann, Xiaofang Zhou, Markus Kirchberg:
Web Information Systems Engineering - WISE 2008 Workshops, WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings. Lecture Notes in Computer Science 5176, Springer 2008, ISBN 978-3-540-85199-8 [contents] - 2007
- [e5]John C. Grundy, Sven Hartmann, Alberto H. F. Laender, Leszek A. Maciaszek, John F. Roddick:
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. CRPIT 83, Australian Computer Society 2007, ISBN 978-1-920682-64-4 [contents] - [e4]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:
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. Lecture Notes in Computer Science 4802, Springer 2007, ISBN 978-3-540-76291-1 [contents] - 2006
- [e3]Markus Stumptner, Sven Hartmann, Yasushi Kiyoki:
Conceptual Modelling 2006, Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2005), Hobart, Tasmania, Australia, January 16-19 2006. CRPIT 53, Australian Computer Society 2006, ISBN 1-920-68235-X [contents] - 2005
- [e2]Sven Hartmann, Markus Stumptner:
Conceptual Modelling 2005, Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), Newcastle, NSW, Australia, January/February 2005. CRPIT 43, Australian Computer Society 2005, ISBN 1-920682-25-2 [contents] - 2004
- [e1]Sven Hartmann, John F. Roddick:
Conceptual Modelling 2004, First Asia-Pacific Conference on Conceptual Modelling (APCCM2004), Dunedin, New Zealand, January 18-22, 2004. CRPIT 31, Australian Computer Society 2004, ISBN 1-920682-13-9 [contents]
Informal and Other Publications
- 2022
- [i6]Sigrun May, Sven Hartmann, Frank Klawonn:
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 abs/2202.00598 (2022) - [i5]Sakif Hossain, Fatema T. Johora, Jörg P. Müller, Sven Hartmann, Andreas Reinhardt:
SFMGNet: A Physics-based Neural Network To Predict Pedestrian Trajectories. CoRR abs/2202.02791 (2022) - 2019
- [i4]Chen Wang, Hui Ma, Gang Chen, Sven Hartmann:
Evolutionary Multitasking for Semantic Web Service Composition. CoRR abs/1902.06370 (2019) - [i3]Chen Wang, Hui Ma, Gang Chen, Sven Hartmann:
Memetic EDA-Based Approaches to Comprehensive Quality-Aware Automated Semantic Web Service Composition. CoRR abs/1906.07900 (2019) - 2017
- [i2]Jerrold R. Griggs, Sven Hartmann, Thomas Kalinowski, Uwe Leck, Ian T. Roberts:
Full and maximal squashed flat antichains of minimum weight. CoRR abs/1704.00067 (2017) - 2013
- [i1]Diego Calvanese, Sven Hartmann, Ernest Teniente:
Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211). Dagstuhl Reports 3(5): 43-77 (2013)
Coauthor Index
Henning Köhler
aka: Henning Koehler
aka: Henning Koehler
[j56] [j49] [j38] [j37] [j36] [j35] [j34] [j33] [j31] [j30] [j29] [j27] [j26] [j25] [j24] [j22] [j19] [j18] [j17] [j16] [j15] [j14] [j13] [j9] [j8] [c88] [c80] [c77] [c62] [c61] [c60] [c59] [c58] [c57] [c56] [c55] [c54] [c53] [c52] [c50] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [c40] [c38] [c37] [c36] [c34] [c33] [c31] [c30] [c29] [c28] [c26] [c24] [c21] [c20] [c19] [c18] [c17] [c16] [c14] [c13] [c12] [c10] [c9]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
