Multi-objective IoT service composition with replication using memetic NSGA-II with bottleneck-driven local search.

Sven Hartmann http://www2.in.tu-clausthal.de/~hartmann/ https://dl.acm.org/profile/81100514456 https://orcid.org/0000-0003-4565-9645 Clausthal University of Technology, Germany

Fengyang Sun Gang Chen 0002 Hui Ma 0001 Sven Hartmann Multi-objective IoT service composition with replication using memetic NSGA-II with bottleneck-driven local search. 108039 2026 175 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2025.108039 db/journals/fgcs/fgcs175.html#SunCMH26 streams/journals/fgcs

Hakan Aydemir Ugur Zengin Olivia J. Pinon Fischer Umut Durak Sven Hartmann From Iron Birds to Digital Twins with Engineering Simulators: Toward Virtual Certification. 583-593 2025 22 J. Aerosp. Inf. Syst. 7 https://doi.org/10.2514/1.i011569 db/journals/jacic/jacic22.html#AydemirZFDH25 streams/journals/jacic

Yifan Yang 0002 Gang Chen 0002 Hui Ma 0001 Sven Hartmann Mengjie Zhang 0001 Dual-Tree Genetic Programming with Adaptive Mutation for Dynamic Workflow Scheduling in Cloud Computing. 1692-1706 2025 October 29 IEEE Trans. Evol. Comput. 5 https://doi.org/10.1109/TEVC.2024.3392968 https://www.wikidata.org/entity/Q135423490 db/journals/tec/tec29.html#YangCMHZ25 streams/journals/tec

Siddhartha Gupta Sarmad Rezayat Gerrit Burmester Umut Durak Hui Ma 0001 Sven Hartmann From ConOps to an Operational Domain Model: Harnessing LLMs for Conceptual Model Design. 137-156 2025 ER (Workshops) https://doi.org/10.1007/978-3-032-08620-4_9 conf/er/2025w db/conf/er/erw2025.html#GuptaRBDMH25 streams/conf/er Zhengxin Fang Hui Ma 0001 Gang Chen 0002 Sven Hartmann Shiping Chen 0001 A Communication-Aware and Energy-Efficient Genetic Programming Based Method for Dynamic Resource Allocation in Clouds. 421-436 2025 EvoApplications (2) https://doi.org/10.1007/978-3-031-90065-5_26 conf/evoapps/2025-2 db/conf/evoapps/evoapps2025-2.html#FangMCHC25 streams/conf/evoapps Fengyang Sun Gang Chen 0002 Hui Ma 0001 Sven Hartmann Chen Wang 0013 CARGO-IoT: Cost-Aware Repair-Based Genetic Optimization for Budget-Constrained IoT Service Composition. PRICAI (4) 2025 713-721 conf/pricai/2025-4 https://doi.org/10.1007/978-981-95-7081-2_51 db/conf/pricai/pricai2025-4.html#SunCMHW25 streams/conf/pricai

Yifan Yang 0002 Aaron Chen 0001 Hui Ma 0001 Sven Hartmann Mengjie Zhang 0001 Enhancing generalization in genetic programming hyper-heuristics through mini-batch sampling strategies for dynamic workflow scheduling. 120975 2024 678 Inf. Sci. https://doi.org/10.1016/j.ins.2024.120975 https://www.wikidata.org/entity/Q135423494 db/journals/isci/isci678.html#YangCMHZ24

Ahmad Naja Siddharta Gupta Umut Durak Sven Hartmann Towards a Scenario Toolkit for Autonomous Systems. 13-21 2024 34 Simul. Notes Eur. 1 https://doi.org/10.11128/sne.34.tn.10672 db/journals/simeuro/simeuro34.html#NajaGDH24

Fengyang Sun Gang Chen 0002 Hui Ma 0001 Sven Hartmann Population-Based Incremental Learning for Effective IoT Service Composition with Replication. 74-76 2024 SSE https://doi.org/10.1109/SSE62657.2024.00022 conf/IEEEscc/2024 db/conf/IEEEscc/scc2024.html#SunCMH24 streams/conf/IEEEscc Zhengxin Fang Hui Ma 0001 Gang Chen 0002 Sven Hartmann Chen Wang 0013 Leveraging LLM in Genetic Programming Hyper-heuristics for Dynamic Microservice Deployment. 86-97 2024 AI (1) https://doi.org/10.1007/978-981-96-0348-0_7 conf/ausai/2024-1 db/conf/ausai/ai2024-1.html#FangMCHW24 streams/conf/ausai 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. 71-86 2024 ER (Workshops) https://doi.org/10.1007/978-3-031-75599-6_5 conf/er/2024w db/conf/er/erw2024.html#KruschinskiNDH24 streams/conf/er Sarmad Rezayat Gerrit Burmester Hui Ma 0001 Sven Hartmann Conceptual Framework for Designing Hippocratic APIs. 355-376 2024 ER https://doi.org/10.1007/978-3-031-75872-0_19 conf/er/2024 db/conf/er/er2024.html#RezayatBMH24 streams/conf/er

Sebastian Link Henning Koehler Aniruddh Gandhi Sven Hartmann Bernhard Thalheim Cardinality constraints and functional dependencies in SQL: Taming data redundancy in logical database design. 102208 2023 May 115 Inf. Syst. https://doi.org/10.1016/j.is.2023.102208 db/journals/is/is115.html#LinkKGHT23

Chen Wang 0013 Hui Ma 0001 Gang Chen 0002 Sven Hartmann Using an Estimation of Distribution Algorithm to Achieve Multitasking Semantic Web Service Composition. 490-504 2023 27 IEEE Trans. Evol. Comput. 3 https://doi.org/10.1109/TEVC.2022.3170899 https://www.wikidata.org/entity/Q135277126 db/journals/tec/tec27.html#001300H23

Tao Shi Hui Ma 0001 Gang Chen 0002 Sven Hartmann Auto-Scaling Containerized Applications in Geo-Distributed Clouds. 4261-4274 2023 November - December 16 IEEE Trans. Serv. Comput. 6 https://doi.org/10.1109/TSC.2023.3317262 https://www.wikidata.org/entity/Q135423498 db/journals/tsc/tsc16.html#ShiMCH23

Zhengxin Fang Hui Ma 0001 Gang Chen 0002 Sven Hartmann A Group Genetic Algorithm for Energy-Efficient Resource Allocation in Container-Based Clouds with Heterogeneous Physical Machines. 453-465 2023 AI (2) https://doi.org/10.1007/978-981-99-8391-9_36 conf/ausai/2023-2 db/conf/ausai/ausai2023-2.html#FangMCH23 Fengyang Sun Hui Ma 0001 Gang Chen 0002 Sven Hartmann IoT Service Composition - An Estimation of Distribution Algorithm with Adaptive Bias. 1-8 2023 CEC https://doi.org/10.1109/CEC53210.2023.10254066 conf/cec/2023 db/conf/cec/cec2023.html#SunMCH23 Hui Ma 0001 Sven Hartmann Gang Chen 0002 Yifan Yang 0002 A model-driven machine learning approach to dynamic multi-workflow scheduling. 2023 ER (Companion) https://ceur-ws.org/Vol-3618/forum_paper_26.pdf conf/er/2023c db/conf/er/erc2023.html#0001HCY23 Gerrit Burmester David Kugelmann Dietrich Steinmetz Hui Ma 0001 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. 394-411 2023 ER https://doi.org/10.1007/978-3-031-47262-6_21 conf/er/2023 db/conf/er/er2023.html#BurmesterKSMH23 Zhengxin Fang Hui Ma 0001 Gang Chen 0002 Sven Hartmann Energy-Efficient and Communication-Aware Resource Allocation in Container-Based Cloud with Group Genetic Algorithm. 212-226 2023 ICSOC (1) https://doi.org/10.1007/978-3-031-48421-6_15 conf/icsoc/2023-1 db/conf/icsoc/icsoc2023-1.html#FangMCH23

Chen Wang 0013 Hui Ma 0001 Gang Chen 0002 Sven Hartmann Memetic EDA-Based Approaches to QoS-Aware Fully Automated Semantic Web Service Composition. 570-584 2022 26 IEEE Trans. Evol. Comput. 3 https://doi.org/10.1109/TEVC.2021.3127633 https://www.wikidata.org/entity/Q135277127 db/journals/tec/tec26.html#WangMCH22

Chen Wang 0013 Hui Ma 0001 Gang Chen 0002 Sven Hartmann Jürgen Branke Robustness Estimation and Optimisation for Semantic Web Service Composition With Stochastic Service Failures. 77-92 2022 6 IEEE Trans. Emerg. Top. Comput. Intell. 1 https://doi.org/10.1109/TETCI.2020.3027870 https://www.wikidata.org/entity/Q135277140 db/journals/tetci/tetci6.html#WangMCHB22

Tao Shi Hui Ma 0001 Gang Chen 0002 Sven Hartmann Cost-Effective Web Application Replication and Deployment in Multi-Cloud Environment. 1982-1995 2022 33 IEEE Trans. Parallel Distributed Syst. 8 https://doi.org/10.1109/TPDS.2021.3133884 https://www.wikidata.org/entity/Q135423519 db/journals/tpds/tpds33.html#ShiMCH22

Sakif Hossain Fatema T. Johora Jörg P. Müller Sven Hartmann Andreas Reinhardt 0001 SFMGNet: A Physics-Based Neural Network To Predict Pedestrian Trajectories. 2022 AAAI Spring Symposium: MAKE https://ceur-ws.org/Vol-3121/paper14.pdf conf/aaaiss/2022make db/conf/aaaiss/make2022.html#HossainJMH022 Josh Trueman Hui Ma 0001 Aaron Chen 0001 Sven Hartmann Multi-objective Social Network Detection - A Graph Database Supported NSGA-II Based Approach. 21-33 2022 ADC https://doi.org/10.1007/978-3-031-15512-3_2 conf/adc/2022 db/conf/adc/adc2022.html#TruemanMCH22 Dietrich Steinmetz Felix Merz Gerrit Burmester Hui Ma 0001 Sven Hartmann A Modeling Rule for Improving the Performance of Graph Models. 336-346 2022 ER https://doi.org/10.1007/978-3-031-17995-2_24 conf/er/2022 db/conf/er/er2022.html#SteinmetzMBMH22 Tao Shi Sven Hartmann Gang Chen 0002 Hui Ma 0001 Location-Aware Cloud Service Brokering in Multi-cloud Environment. 408-410 2022 ICSOC Workshops https://doi.org/10.1007/978-3-031-26507-5_42 conf/icsoc/2022w db/conf/icsoc/icsoc2022w.html#ShiHCM22

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. 2022 abs/2202.00598 CoRR https://arxiv.org/abs/2202.00598 db/journals/corr/corr2202.html#abs-2202-00598

Sakif Hossain Fatema T. Johora Jörg P. Müller Sven Hartmann Andreas Reinhardt 0001 SFMGNet: A Physics-based Neural Network To Predict Pedestrian Trajectories. 2022 abs/2202.02791 CoRR https://arxiv.org/abs/2202.02791 db/journals/corr/corr2202.html#abs-2202-02791

Jerrold R. Griggs Sven Hartmann Thomas Kalinowski Uwe Leck Ian T. Roberts Minimum Weight Flat Antichains of Subsets. 441-453 2021 38 Order 3 https://doi.org/10.1007/s11083-021-09550-x db/journals/order/order38.html#GriggsHKLR21

Ziheng Wei Sven Hartmann Sebastian Link Algorithms for the discovery of embedded functional dependencies. 1069-1093 2021 30 VLDB J. 6 https://doi.org/10.1007/s00778-021-00684-3 https://www.wikidata.org/entity/Q114228732 db/journals/vldb/vldb30.html#WeiHL21

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? 811-816 2021 HEALTHINF https://doi.org/10.5220/0010412708110816 conf/biostec/2021hi db/conf/biostec/healthinf2021.html#KellerYTHLWMMK21 Dietrich Steinmetz Sven Hartmann Hui Ma 0001 A Conceptual Modelling Approach for the Discovery and Management of Platoon Routes. 282-296 2021 ER https://doi.org/10.1007/978-3-030-89022-3_23 conf/er/2021 db/conf/er/er2021.html#SteinmetzHM21 Tao Shi Hui Ma 0001 Gang Chen 0002 Sven Hartmann Location-Aware and Budget-Constrained Service Brokering in Multi-Cloud via Deep Reinforcement Learning. 756-764 2021 ICSOC https://doi.org/10.1007/978-3-030-91431-8_52 conf/icsoc/2021 db/conf/icsoc/icsoc2021.html#Shi00H21 Arnold Ariadi Tao Shi Hui Ma 0001 Alexandre Sawczuk da Silva Sven Hartmann A Graph Database Supported GA-Based Approach to Social Network Analysis. 1-8 2021 SSCI https://doi.org/10.1109/SSCI50451.2021.9659546 conf/ssci/2021 db/conf/ssci/ssci2021.html#AriadiSMSH21

Georg Kunert Thorsten Pawletta Sven Hartmann Reduction of Complexity in Q-Learning a Robot Control for an Assembly Cell by using Multiple Agents. 117-124 2020 30 Simul. Notes Eur. 3 https://doi.org/10.11128/sne.30.tn.10524 db/journals/simeuro/simeuro30.html#KunertPH20

Tao Shi Hui Ma 0001 Gang Chen 0002 Sven Hartmann Location-Aware and Budget-Constrained Service Deployment for Composite Applications in Multi-Cloud Environment. 1954-1969 2020 31 IEEE Trans. Parallel Distributed Syst. 8 https://doi.org/10.1109/TPDS.2020.2981306 db/journals/tpds/tpds31.html#ShiMCH20

Sven Hartmann Jack Alshami Hui Ma 0001 Dietrich Steinmetz A Conceptual Framework for Dynamic Planning of Alternative Routes in Road Networks. 539-554 2020 ER https://doi.org/10.1007/978-3-030-62522-1_40 conf/er/2020 db/conf/er/er2020.html#HartmannA0S20 Sakif Hossain Fatema T. Johora Jörg P. Müller Sven Hartmann A Conceptual Model of Conflicts in Shared Spaces. 228-235 2020 ICIBE https://doi.org/10.1145/3429551.3429593 conf/icibe/2020 db/conf/icibe/icibe2020.html#HossainJMH20 Russell Sabir Daniele Rosato Sven Hartmann Clemens Gühmann Signal Generation using 1d Deep Convolutional Generative Adversarial Networks for Fault Diagnosis of Electrical Machines. 3907-3914 2020 ICPR https://doi.org/10.1109/ICPR48806.2021.9413119 conf/icpr/2020 db/conf/icpr/icpr2020.html#SabirRHG20 Tao Shi Hui Ma 0001 Gang Chen 0002 Sven Hartmann Location-Aware and Budget-Constrained Application Replication and Deployment in Multi-Cloud Environment. 110-117 2020 ICWS https://doi.org/10.1109/ICWS49710.2020.00022 conf/icws/2020 db/conf/icws/icws2020.html#ShiMCH20 Ziheng Wei Sven Hartmann Sebastian Link Discovery Algorithms for Embedded Functional Dependencies. 833-843 2020 SIGMOD Conference https://doi.org/10.1145/3318464.3389786 https://www.wikidata.org/entity/Q130836208 conf/sigmod/2020 db/conf/sigmod/sigmod2020.html#WeiHL20 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 DEXA (1) Springer 2020 Lecture Notes in Computer Science 12391 978-3-030-59002-4 978-3-030-59003-1 https://doi.org/10.1007/978-3-030-59003-1 db/conf/dexa/dexa2020-1.html 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 DEXA (2) Springer 2020 Lecture Notes in Computer Science 12392 978-3-030-59050-5 978-3-030-59051-2 https://doi.org/10.1007/978-3-030-59051-2 db/conf/dexa/dexa2020-2.html

Awad Mukbil Umut Durak Sven Hartmann Conformance testing of FMI calling sequence for simulation environments. 1950008:1-1950008:28 2019 10 Int. J. Model. Simul. Sci. Comput. 2 https://doi.org/10.1142/S1793962319500089 db/journals/ijmssc/ijmssc10.html#MukbilDH19

Hendrik Folkerts Thorsten Pawletta Christina Deatcu Sven Hartmann Python-based eSES/MB Framework: Model Specification and Automatic Model Generation for Multiple Simulators. 207-215 2019 29 Simul. Notes Eur. 4 https://doi.org/10.11128/sne.29.tn.10497 https://www.wikidata.org/entity/Q122928549 db/journals/simeuro/simeuro29.html#FolkertsPDH19

Abtin Nourmohammadzadeh Sven Hartmann Fuel-efficient truck platooning by a novel meta-heuristic inspired from ant colony optimisation. 1439-1452 2019 23 Soft Comput. 5 https://doi.org/10.1007/s00500-018-3518-x https://www.wikidata.org/entity/Q129218579 db/journals/soco/soco23.html#Nourmohammadzadeh19

Chen Wang 0013 Hui Ma 0001 Gang Chen 0002 Sven Hartmann Towards Robust Web Service Composition with Stochastic Service Failures Based on a Genetic Algorithm. 445-459 2019 Australasian Conference on Artificial Intelligence https://doi.org/10.1007/978-3-030-35288-2_36 conf/ausai/2019 db/conf/ausai/ausai2019.html#WangMCH19 Chen Wang 0013 Hui Ma 0001 Gang Chen 0002 Sven Hartmann Evolutionary Multitasking for Semantic Web Service Composition. 2490-2497 2019 CEC https://doi.org/10.1109/CEC.2019.8790085 conf/cec/2019 db/conf/cec/cec2019.html#Wang0CH19 Dietrich Steinmetz Felix Merz Hui Ma 0001 Sven Hartmann A Graph Model for Taxi Ride Sharing Supported by Graph Databases. 108-116 2019 ER https://doi.org/10.1007/978-3-030-33223-5_10 conf/er/2019 db/conf/er/er2019.html#SteinmetzM0H19 Chen Wang 0013 Hui Ma 0001 Gang Chen 0002 Sven Hartmann A memetic NSGA-II with EDA-based local search for fully automated multiobjective web service composition. 421-422 2019 GECCO (Companion) https://doi.org/10.1145/3319619.3321937 https://www.wikidata.org/entity/Q130891348 conf/gecco/2019c db/conf/gecco/gecco2019c.html#Wang00H19 Russell Sabir Daniele Rosato Sven Hartmann Clemens Gühmann LSTM Based Bearing Fault Diagnosis of Electrical Machines using Motor Current Signal. 613-618 2019 ICMLA https://doi.org/10.1109/ICMLA.2019.00113 conf/icmla/2019 db/conf/icmla/icmla2019.html#SabirRHG19 Bikash Chandra Karmokar Umut Durak Sven Hartmann Bernard P. Zeigler Towards a standard computational representation for system entity structures. 54:1-54:11 2019 SummerSim https://dl.acm.org/citation.cfm?id=3374192 conf/scsc/2019 db/conf/scsc/scsc2019.html#KarmokarDHZ19 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 DEXA (1) Springer 2019 Lecture Notes in Computer Science 11706 978-3-030-27614-0 978-3-030-27615-7 https://doi.org/10.1007/978-3-030-27615-7 db/conf/dexa/dexa2019-1.html 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 DEXA (2) Springer 2019 Lecture Notes in Computer Science 11707 978-3-030-27617-1 978-3-030-27618-8 https://doi.org/10.1007/978-3-030-27618-8 db/conf/dexa/dexa2019-2.html

Chen Wang 0013 Hui Ma 0001 Gang Chen 0002 Sven Hartmann Evolutionary Multitasking for Semantic Web Service Composition. 2019 abs/1902.06370 CoRR http://arxiv.org/abs/1902.06370 db/journals/corr/corr1902.html#abs-1902-06370

Chen Wang 0013 Hui Ma 0001 Gang Chen 0002 Sven Hartmann Memetic EDA-Based Approaches to Comprehensive Quality-Aware Automated Semantic Web Service Composition. 2019 abs/1906.07900 CoRR http://arxiv.org/abs/1906.07900 db/journals/corr/corr1906.html#abs-1906-07900

Hui Ma 0001 Sven Hartmann Panrawee Vechsamutvaree Towards FCA-facilitated Ontology-supported Recruitment Systems. 182-189 2018 13 Enterp. Model. Inf. Syst. Archit. Special https://doi.org/10.18417/emisa.si.hcm.13 db/journals/emisaij/emisaij13.html#0001HV18

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. 696-705 2018 December 15 J. Aerosp. Inf. Syst. 12 https://doi.org/10.2514/1.i010630 https://www.wikidata.org/entity/Q128913729 db/journals/jacic/jacic15.html#MahmoodiDHJ18

Shihui Chen Umut Durak Sven Hartmann Modeling and Simulation-based Development of Autonomy Features for Drones. 55-60 2018 28 Simul. Notes Eur. 2 https://doi.org/10.11128/sne.28.tn.10413 https://www.wikidata.org/entity/Q129371541 db/journals/simeuro/simeuro28.html#ChenDH18

Chen Wang 0013 Hui Ma 0001 Gang Chen 0002 Sven Hartmann Towards Fully Automated Semantic Web Service Composition Based on Estimation of Distribution Algorithm. 458-471 2018 Australasian Conference on Artificial Intelligence https://doi.org/10.1007/978-3-030-03991-2_42 conf/ausai/2018 db/conf/ausai/ausai2018.html#WangMCH18 Sven Hartmann Markus Kirchberg Henning Koehler Uwe Leck Sebastian Link Extremal Combinatorics of SQL Keys. 75-91 2018 Models: Concepts, Theory, Logic, Reasoning and Semantics conf/birthday/2018schewe db/conf/birthday/schewe2018.html#HartmannKKLL18 Hui Ma 0001 Zhaojiang Chang Alexandre Sawczuk da Silva Sven Hartmann QoS-Aware Web Service Composition Using Graph Databases. 336-351 2018 Models: Concepts, Theory, Logic, Reasoning and Semantics conf/birthday/2018schewe db/conf/birthday/schewe2018.html#0001CSH18 Dietrich Steinmetz Daniel Dyballa Hui Ma 0001 Sven Hartmann Using a Conceptual Model to Transform Road Networks from OpenStreetMap to a Graph Database. 301-315 2018 ER https://doi.org/10.1007/978-3-030-00847-5_22 conf/er/2018 db/conf/er/er2018.html#SteinmetzDMH18 Aniruddh Gandhi Sven Hartmann Henning Koehler Sebastian Link An SQL Data Summarization Tool for the Acquisition of Meaningful Cardinality Constraints and Functional Dependencies. 1549-1552 2018 ICDE https://doi.org/10.1109/ICDE.2018.00173 https://doi.ieeecomputersociety.org/10.1109/ICDE.2018.00173 conf/icde/2018 db/conf/icde/icde2018.html#GandhiHKL18 Haitao Wang Shihui Chen Umut Durak Sven Hartmann Simulation infrastructure for aeronautical informatics education. 11:1-11:12 2018 SummerSim http://dl.acm.org/citation.cfm?id=3275393 conf/scsc/2018 db/conf/scsc/scsc2018.html#WangCDH18 Abtin Nourmohammadzadeh Sven Hartmann Fuel Efficient Truck Platooning with Time Restrictions and Multiple Speeds Solved by a Particle Swarm Optimisation. 188-200 2018 TPNC https://doi.org/10.1007/978-3-030-04070-3_15 conf/tpnc/2018 db/conf/tpnc/tpnc2018.html#Nourmohammadzadeh18 Chen Wang 0013 Hui Ma 0001 Aaron Chen 0001 Sven Hartmann Knowledge-Driven Automated Web Service Composition - An EDA-Based Approach. 135-150 2018 WISE (2) https://doi.org/10.1007/978-3-030-02925-8_10 conf/wise/2018-2 db/conf/wise/wise2018-2.html#00130CH18 Gerrit Burmester Hui Ma 0001 Dietrich Steinmetz Sven Hartmann Big Data and Data Analytics in Aviation. 55-65 2018 Advances in Aeronautical Informatics books/sp/DBHV2018 https://doi.org/10.1007/978-3-319-75058-3_5 db/books/collections/DBHV2018.html#Burmester0SH18 Umut Durak Jürgen Becker 0001 Sven Hartmann Nikolaos S. Voros Advances in Aeronautical Informatics, Technologies Towards Flight 4.0. Advances in Aeronautical Informatics Springer 2018 978-3-319-75057-6 978-3-319-75058-3 https://doi.org/10.1007/978-3-319-75058-3 db/books/collections/DBHV2018.html Sven Hartmann Hui Ma 0001 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 DEXA (1) Springer 2018 Lecture Notes in Computer Science 11029 978-3-319-98808-5 978-3-319-98809-2 https://doi.org/10.1007/978-3-319-98809-2 db/conf/dexa/dexa2018-1.html Sven Hartmann Hui Ma 0001 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 DEXA (2) Springer 2018 Lecture Notes in Computer Science 11030 978-3-319-98811-5 978-3-319-98812-2 https://doi.org/10.1007/978-3-319-98812-2 https://www.wikidata.org/entity/Q134314024 db/conf/dexa/dexa2018-2.html Abdelkader Hameurlain Roland R. Wagner Sven Hartmann Hui Ma 0001 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 Springer 2018 Lecture Notes in Computer Science 11250 978-3-662-58383-8 978-3-662-58384-5 https://doi.org/10.1007/978-3-662-58384-5 db/journals/tlsdkcs/tlsdkcs38.html

Chenfeng Zhu Umut Durak Sven Hartmann Clément David Automatic Layout of Scilab/Xcos Diagrams. 143-151 2017 27 Simul. Notes Eur. 3 https://doi.org/10.11128/sne.27.sw.10384 db/journals/simeuro/simeuro27.html#ZhuDHD17

Chen Wang 0013 Hui Ma 0001 Aaron Chen 0001 Sven Hartmann Comprehensive Quality-Aware Automated Semantic Web Service Composition. 195-207 2017 Australasian Conference on Artificial Intelligence https://doi.org/10.1007/978-3-319-63004-5_16 conf/ausai/2017 db/conf/ausai/ausai2017.html#WangMCH17 Alexandre Sawczuk da Silva Ewan Moshi Hui Ma 0001 Sven Hartmann A QoS-Aware Web Service Composition Approach Based on Genetic Programming and Graph Databases. 37-44 2017 DEXA (2) https://doi.org/10.1007/978-3-319-64471-4_4 conf/dexa/2017-2 db/conf/dexa/dexa2017-2.html#SilvaMMH17 Dietrich Steinmetz Gerrit Burmester Sven Hartmann A Fast Heuristic for Finding Near-Optimal Groups for Vehicle Platooning in Road Networks. 395-405 2017 DEXA (2) https://doi.org/10.1007/978-3-319-64471-4_32 conf/dexa/2017-2 db/conf/dexa/dexa2017-2.html#SteinmetzBH17 Abtin Nourmohammadzadeh Sven Hartmann Hui Ma 0001 A parallel hybrid GA-PSO approach with dynamic rule-based parameter setting. 215-216 2017 GECCO (Companion) https://doi.org/10.1145/3067695.3076051 conf/gecco/2017c db/conf/gecco/gecco2017c.html#Nourmohammadzadeh17 Chen Wang 0013 Hui Ma 0001 Aaron Chen 0001 Sven Hartmann GP-Based Approach to Comprehensive Quality-Aware Automated Semantic Web Service Composition. 170-183 2017 SEAL https://doi.org/10.1007/978-3-319-68759-9_15 conf/seal/2017 db/conf/seal/seal2017.html#Wang0CH17

Jerrold R. Griggs Sven Hartmann Thomas Kalinowski Uwe Leck Ian T. Roberts Full and maximal squashed flat antichains of minimum weight. 2017 abs/1704.00067 CoRR http://arxiv.org/abs/1704.00067 db/journals/corr/corr1704.html#GriggsHKLR17

Sven Hartmann Hui Ma 0001 Panrawee Vechsamutvaree Providing Ontology-Based Privacy-Aware Data Access Through Web Services and Service Composition. 109-131 2016 30 Trans. Large Scale Data Knowl. Centered Syst. https://doi.org/10.1007/978-3-662-54054-1_5 journals/tlsdkcs/2016-30 db/journals/tlsdkcs/tlsdkcs30.html#HartmannMV16

Alexandre Sawczuk da Silva Hui Ma 0001 Mengjie Zhang 0001 Sven Hartmann Handling Branched Web Service Composition with a QoS-Aware Graph-Based Method. 154-169 2016 EC-Web https://doi.org/10.1007/978-3-319-53676-7_12 conf/ecweb/2016 db/conf/ecweb/ecweb2016.html#SilvaMZH16 Vladivy Poaka Sven Hartmann Hui Ma 0001 Dietrich Steinmetz A Link-Density-Based Algorithm for Finding Communities in Social Networks. 76-85 2016 ER Workshops https://doi.org/10.1007/978-3-319-47717-6_7 conf/er/2016w db/conf/er/erw2016.html#PoakaHMS16 Abtin Nourmohammadzadeh Sven Hartmann The Fuel-Efficient Platooning of Heavy Duty Vehicles by Mathematical Programming and Genetic Algorithm. 46-57 2016 TPNC https://doi.org/10.1007/978-3-319-49001-4_4 conf/tpnc/2016 db/conf/tpnc/tpnc2016.html#Nourmohammadzadeh16 Sven Hartmann Hui Ma 0001 Database and Expert Systems Applications - 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part I DEXA (1) Springer 2016 Lecture Notes in Computer Science 9827 978-3-319-44402-4 https://doi.org/10.1007/978-3-319-44403-1 db/conf/dexa/dexa2016-1.html Sven Hartmann Hui Ma 0001 Database and Expert Systems Applications - 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II DEXA (2) Springer 2016 Lecture Notes in Computer Science 9828 978-3-319-44405-5 https://doi.org/10.1007/978-3-319-44406-2 db/conf/dexa/dexa2016-2.html

Sven Hartmann Henning Köhler Uwe Leck Sebastian Link Bernhard Thalheim Jing Wang 0056 Constructing Armstrong tables for general cardinality constraints and not-null constraints. 139-165 2015 73 Ann. Math. Artif. Intell. 1-2 https://doi.org/10.1007/s10472-014-9423-9 db/journals/amai/amai73.html#HartmannKLLTW15

Sven Hartmann Hui Ma 0001 Panrawee Vechsamutvaree Providing Ontology-Based Privacy-Aware Data Access Through Web Services. 74-85 2015 ER Workshops https://doi.org/10.1007/978-3-319-25747-1_8 conf/er/2015w db/conf/er/erw2015.html#HartmannMV15 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. 58-70 2015 TPNC https://doi.org/10.1007/978-3-319-26841-5_5 conf/tpnc/2015 db/conf/tpnc/tpnc2015.html#Nourmohammadzadeh15

Flavio Ferrarotti Sven Hartmann Sebastian Link Efficiency frontiers of XML cardinality constraints. 297-319 2013 87 Data Knowl. Eng. https://doi.org/10.1016/j.datak.2012.09.004 db/journals/dke/dke87.html#FerrarottiHL13

Flavio Ferrarotti Sven Hartmann Sebastian Link Reasoning about functional and full hierarchical dependencies over partial relations. 150-173 2013 235 Inf. Sci. https://doi.org/10.1016/j.ins.2013.01.009 db/journals/isci/isci235.html#FerrarottiHL13

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. 60-94 2013 10 Trans. Large Scale Data Knowl. Centered Syst. https://doi.org/10.1007/978-3-642-41221-9_3 journals/tlsdkcs/2013-10 db/journals/tlsdkcs/tlsdkcs10.html#FerrarottiHLMM13

Sven Hartmann Information analysis for a future flight deck design in the context of 4D trajectory based operation. 140-143 2013 ATACCS https://doi.org/10.1145/2494493.2494515 conf/atacss/2013 db/conf/atacss/ataccs2013.html#Hartmann13 Sven Hartmann Sebastian Link Normal Forms and Normalization for Probabilistic Databases under Sharp Constraints. 1-16 2013 EJC https://doi.org/10.3233/978-1-61499-361-2-1 conf/ejc/2013 db/conf/ejc/ejc2013.html#HartmannL13 Flavio Ferrarotti Sven Hartmann Sebastian Link Mauricio Marín Emir Muñoz Soft Cardinality Constraints on XML Data - How Exceptions Prove the Business Rule. 382-395 2013 WISE (1) https://doi.org/10.1007/978-3-642-41230-1_32 https://www.wikidata.org/entity/Q57603798 conf/wise/2013-1 db/conf/wise/wise2013-1.html#FerrarottiHLMM13

Diego Calvanese Sven Hartmann Ernest Teniente Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211). 43-77 2013 3 Dagstuhl Reports 5 https://doi.org/10.4230/DagRep.3.5.43 db/journals/dagstuhl-reports/dagstuhl-reports3.html#CalvaneseHT13

Sven Hartmann Sebastian Link The implication problem of data dependencies over SQL table definitions: Axiomatic, algorithmic and logical characterizations. 13:1-13:40 2012 37 ACM Trans. Database Syst. 2 https://doi.org/10.1145/2188349.2188355 db/journals/tods/tods37.html#HartmannL12

Sven Hartmann Markus Kirchberg Sebastian Link Design by example for SQL table definitions with functional dependencies. 121-144 2012 21 VLDB J. 1 https://doi.org/10.1007/s00778-011-0239-5 db/journals/vldb/vldb21.html#HartmannKL12

Flavio Ferrarotti Sven Hartmann Henning Köhler Sebastian Link Millist W. Vincent Foundations for a Fourth Normal Form over SQL-Like Databases. 85-100 2012 Conceptual Modelling and Its Theoretical Foundations https://doi.org/10.1007/978-3-642-28279-9_8 conf/birthday/2012thalheim db/conf/birthday/thalheim2012.html#FerrarottiHKLV12 Joachim Biskup Sven Hartmann Sebastian Link Jan-Hendrik Lochner Torsten Schlotmann Signature-Based Inference-Usability Confinement for Relational Databases under Functional and Join Dependencies. 56-73 2012 DBSec https://doi.org/10.1007/978-3-642-31540-4_5 conf/dbsec/2012 db/conf/dbsec/dbsec2012.html#BiskupHLLS12 Flavio Ferrarotti Sven Hartmann Sebastian Link Mauricio Marín Emir Muñoz Performance Analysis of Algorithms to Reason about XML Keys. 101-115 2012 DEXA (1) https://doi.org/10.1007/978-3-642-32600-4_9 https://www.wikidata.org/entity/Q57603801 conf/dexa/2012-1 db/conf/dexa/dexa2012-1.html#FerrarottiHLMM12 Sven Hartmann Henning Köhler Sebastian Link Bernhard Thalheim Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags. 164-183 2012 FoIKS https://doi.org/10.1007/978-3-642-28472-4_10 https://www.wikidata.org/entity/Q57376306 conf/foiks/2012 db/conf/foiks/foiks2012.html#HartmannKLT12 Joachim Biskup Sven Hartmann Sebastian Link Probabilistic Conditional Independence under Schema Certainty and Uncertainty. 365-378 2012 SUM https://doi.org/10.1007/978-3-642-33362-0_28 conf/sum/2012 db/conf/sum/sum2012.html#BiskupHL12

Sven Hartmann Gabriele Kern-Isberner Preface. 209-211 2011 63 Ann. Math. Artif. Intell. 3-4 https://doi.org/10.1007/s10472-012-9281-2 db/journals/amai/amai63.html#HartmannK11

Sven Hartmann Uwe Leck Sebastian Link On Codd Families of Keys over Incomplete Relations. 1166-1180 2011 54 Comput. J. 7 https://doi.org/10.1093/comjnl/bxq073 db/journals/cj/cj54.html#HartmannLL11

Flavio Ferrarotti Sven Hartmann Van Bao Tran Le Sebastian Link Codd Table Representations under Weak Possible World Semantics. 125-139 2011 DEXA (1) https://doi.org/10.1007/978-3-642-23088-2_9 conf/dexa/2011-1 db/conf/dexa/dexa2011-1.html#FerrarottiHLL11 Flavio Ferrarotti Sven Hartmann Sebastian Link A Precious Class of Cardinality Constraints for Flexible XML Data Processing. 175-188 2011 ER https://doi.org/10.1007/978-3-642-24606-7_14 conf/er/2011 db/conf/er/er2011.html#FerrarottiHL11 Flavio Ferrarotti Sven Hartmann Henning Köhler Sebastian Link Millist W. Vincent The Boyce-Codd-Heath Normal Form for SQL. 110-122 2011 WoLLIC https://doi.org/10.1007/978-3-642-20920-8_14 conf/wollic/2011 db/conf/wollic/wollic2011.html#FerrarottiHKLV11

Sven Hartmann Sebastian Link Thu Trinh Sample-based Decision Support for Specifying XML Constraints. 15-34 2010 42 J. Res. Pract. Inf. Technol. 1 http://ws.acs.org.au/jrpit/JRPIT42.1.15.pdf db/journals/acj/acj42.html#HartmannLT10

Sven Hartmann Sebastian Link Numerical constraints on XML data. 521-544 2010 208 Inf. Comput. 5 https://doi.org/10.1016/j.ic.2008.09.004 db/journals/iandc/iandc208.html#HartmannL10

Joachim Biskup Sven Hartmann Sebastian Link Jan-Hendrik Lochner Chasing after Secrets in Relational Databases. 2010 AMW https://ceur-ws.org/Vol-619/paper13.pdf conf/amw/2010 db/conf/amw/amw2010.html#BiskupHLL10 Sven Hartmann Henning Köhler Jing Wang 0056 Ontology consolidation in bioinformatics. 15-22 2010 APCCM http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV110Hartmann.html conf/apccm/2010 db/conf/apccm/apccm2010.html#HartmannKW10 Joachim Biskup Sven Hartmann Sebastian Link Jan-Hendrik Lochner Efficient Inference Control for Open Relational Queries. 162-176 2010 DBSec https://doi.org/10.1007/978-3-642-13739-6_11 http://dl.ifip.org/db/conf/dbsec/dbsec2010/BiskupHLL10.pdf conf/dbsec/2010 db/conf/dbsec/dbsec2010.html#BiskupHLL10 Yi-Ping Phoebe Chen Sven Hartmann Jing Wang 0056 Third International Workshop on Conceptual Modelling for Life Sciences Applications (CMLSA 2010). 53 2010 ER Workshops https://doi.org/10.1007/978-3-642-16385-2_7 conf/er/2010w db/conf/er/erw2010.html#ChenHW10 Sven Hartmann Henning Köhler Thu Trinh On the Existence of Armstrong Data Trees for XML Functional Dependencies. 94-113 2010 FoIKS https://doi.org/10.1007/978-3-642-11829-6_9 conf/foiks/2009 db/conf/foiks/foiks2009.html#HartmannKT09 Sven Hartmann Sebastian Link When data dependencies over SQL tables meet the logics of paradox and S-3. 317-326 2010 PODS https://doi.org/10.1145/1807085.1807126 conf/pods/2010 db/conf/pods/pods2010.html#HartmannL10 Flavio Ferrarotti Sven Hartmann Sebastian Link On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations. 136-147 2010 WoLLIC https://doi.org/10.1007/978-3-642-13824-9_12 conf/wollic/2010 db/conf/wollic/wollic2010.html#FerrarottiHL10 Sven Hartmann Sebastian Link Thu Trinh Solving the Implication Problem for XML Functional Dependencies with Properties. 161-175 2010 WoLLIC https://doi.org/10.1007/978-3-642-13824-9_14 conf/wollic/2010 db/conf/wollic/wollic2010.html#HartmannLT10 Flavio Ferrarotti Sven Hartmann Sebastian Link Jing Wang 0056 Promoting the Semantic Capability of XML Keys. 144-153 2010 XSym https://doi.org/10.1007/978-3-642-15684-7_12 conf/xsym/2010 db/conf/xsym/xsym2010.html#FerrarottiHLW10 Juan Trujillo 0001 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 6413 2010 https://doi.org/10.1007/978-3-642-16385-2 978-3-642-16384-5 ER Workshops Lecture Notes in Computer Science Springer db/conf/er/erw2010.html

Martin Grüttmüller Sven Hartmann Thomas Kalinowski Uwe Leck Ian T. Roberts Maximal Flat Antichains of Minimum Weight. 2009 16 Electron. J. Comb. 1 https://doi.org/10.37236/158 db/journals/combinatorics/combinatorics16.html#GruttmullerHKLR09

Sven Hartmann Sebastian Link Thu Trinh Constraint acquisition for Entity-Relationship models. 1128-1155 2009 68 Data Knowl. Eng. 10 https://doi.org/10.1016/j.datak.2009.06.001 db/journals/dke/dke68.html#HartmannLT09

Sven Hartmann Sebastian Link On Inferences ofWeak Multivalued Dependencies. 83-102 2009 92 Fundam. Informaticae 1-2 https://doi.org/10.3233/FI-2009-0067 db/journals/fuin/fuin92.html#HartmannL09

Sven Hartmann Sebastian Link Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner. 112-156 2009 15 J. Univers. Comput. Sci. 1 https://doi.org/10.3217/jucs-015-01-0112 db/journals/jucs/jucs15.html#HartmannL09

Sven Hartmann Sebastian Link Efficient reasoning about a robust XML key fragment. 2009 34 ACM Trans. Database Syst. 2 https://doi.org/10.1145/1538909.1538912 db/journals/tods/tods34.html#HartmannL09 10:1-10:33

Sven Hartmann Sebastian Link Expressive, yet tractable XML keys. 357-367 2009 EDBT https://doi.org/10.1145/1516360.1516402 conf/edbt/2009 db/conf/edbt/edbt2009.html#HartmannL09 Sven Hartmann Uwe Leck Sebastian Link On Matrix Representations of Participation Constraints. 75-84 2009 ER Workshops https://doi.org/10.1007/978-3-642-04947-7_10 conf/er/2009w db/conf/er/erw2009.html#HartmannLL09

Martin Grüttmüller Sven Hartmann Pan-orientable block designs. 57-68 2008 40 Australas. J Comb. http://ajc.maths.uq.edu.au/pdf/40/ajc_v40_p057.pdf db/journals/ajc/ajc40.html#GruttmullerH08

Sven Hartmann Sebastian Link Characterising nested database dependencies by fragments of propositional logic. 84-106 2008 152 Ann. Pure Appl. Log. 1-3 https://doi.org/10.1016/j.apal.2007.11.004 db/journals/apal/apal152.html#HartmannL08

Sven Hartmann Uwe Leck Volker Leck More orthogonal double covers of complete graphs by Hamiltonian paths. 2502-2508 2008 308 Discret. Math. 12 https://doi.org/10.1016/j.disc.2007.05.026 db/journals/dm/dm308.html#HartmannLL08

Gennian Ge Martin Grüttmüller Sven Hartmann Rolf S. Rees Mandatory representation designs <i>I</i> with k=2mod3. 5394-5406 2008 308 Discret. Math. 23 https://doi.org/10.1016/j.disc.2007.10.004 db/journals/dm/dm308.html#GeGHR08

Sven Hartmann Sebastian Link Thu Trinh Constraint Acquisition - You Can Chase but You Cannot Find. 59-68 2008 APCCM http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV79Hartmann.html conf/apccm/2008 db/conf/apccm/apccm2008.html#HartmannLT08 Sven Hartmann Sebastian Link Thu Trinh Boolean Constraints for XML Modeling. 85-104 2008 EJC https://doi.org/10.3233/978-1-58603-957-8-85 conf/ejc/2008 db/conf/ejc/ejc2008.html#HartmannLT08 Yi-Ping Phoebe Chen Sven Hartmann Markus Kirchberg Preface to CMLSA 2008. 1 2008 ER Workshops https://doi.org/10.1007/978-3-540-87991-6_1 conf/er/2008w db/conf/er/erw2008.html#ChenHK08 Sven Hartmann Henning Köhler Sebastian Link Thu Trinh Jing Wang 0056 On the Notion of an XML Key. 103-112 2008 SDKB https://doi.org/10.1007/978-3-540-88594-8_5 conf/sdb/2008 db/conf/sdb/sdkb2008.html#HartmannKLTW08 Il-Yeol Song Mario Piattini Yi-Ping Phoebe Chen Sven Hartmann Fabio Grandi 0001 Juan Trujillo 0001 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 5232 2008 978-3-540-87990-9 ER Workshops Lecture Notes in Computer Science Springer https://doi.org/10.1007/978-3-540-87991-6 db/conf/er/erw2008.html Sven Hartmann Gabriele Kern-Isberner Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings FoIKS Lecture Notes in Computer Science 4932 Springer 2008 978-3-540-77683-3 https://doi.org/10.1007/978-3-540-77684-0 db/conf/foiks/foiks2008.html Sven Hartmann Xiaofang Zhou 0001 Markus Kirchberg Web Information Systems Engineering - WISE 2008 Workshops, WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings 5176 2008 978-3-540-85199-8 WISE Workshops Lecture Notes in Computer Science Springer https://doi.org/10.1007/978-3-540-85200-1 db/conf/wise/wise2008w.html

Sven Hartmann Henning Köhler Sebastian Link Full hierarchical dependencies in fixed and undetermined universes. 195-226 2007 50 Ann. Math. Artif. Intell. 1-2 https://doi.org/10.1007/s10472-007-9067-0 db/journals/amai/amai50.html#HartmannKL07

Sven Hartmann Sebastian Link On Inferences of Full Hierarchical Dependencies. 69-78 2007 ACSC http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV62Hartmann.html conf/acsc/2007 db/conf/acsc/acsc2007.html#HartmannL07 Sven Hartmann Sebastian Link English Sentence Structures and EER Modeling. 27-35 2007 APCCM http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV67Hartmann.html conf/apccm/2007 db/conf/apccm/apccm2007.html#HartmannL07 Sven Hartmann Hui Ma 0001 Klaus-Dieter Schewe Cost-Based Vertical Fragmentation for XML. 12-24 2007 conf/apweb/2007w APWeb/WAIM Workshops https://doi.org/10.1007/978-3-540-72909-9_2 db/conf/apweb/apweb2007w.html#HartmannMS07 Sven Hartmann Sebastian Link Thu Trinh Efficient Reasoning About XFDs with Pre-image Semantics. 1070-1074 2007 conf/dasfaa/2007 DASFAA https://doi.org/10.1007/978-3-540-71703-4_107 db/conf/dasfaa/dasfaa2007.html#HartmannLT07 Sven Hartmann Sebastian Link XML Query Optimisation: Specify your Selectivity. 30-34 2007 conf/dexaw/2007 DEXA Workshops https://doi.org/10.1109/DEXA.2007.19 https://doi.ieeecomputersociety.org/10.1109/DEXA.2007.19 db/conf/dexaw/dexaw2007.html#HartmannL07 Yi-Ping Phoebe Chen Sven Hartmann Preface to CMLSA 2007. 1-2 2007 conf/er/2007w ER Workshops https://doi.org/10.1007/978-3-540-76292-8_1 db/conf/er/erw2007.html#ChenH07 Sven Hartmann Sebastian Link Collection Type Constructors in Entity-Relationship Modeling. 307-322 2007 conf/er/2007 ER https://doi.org/10.1007/978-3-540-75563-0_22 db/conf/er/er2007.html#HartmannL07 Sven Hartmann Sebastian Link Unlocking Keys for XML Trees. 104-118 2007 conf/icdt/2007 ICDT https://doi.org/10.1007/11965893_8 db/conf/icdt/icdt2007.html#HartmannL07 Sven Hartmann Sebastian Link Numerical Constraints for XML. 203-217 2007 conf/wollic/2007 WoLLIC https://doi.org/10.1007/978-3-540-73445-1_15 db/conf/wollic/wollic2007.html#HartmannL07 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 83 2007 978-1-920682-64-4 CRPIT Australian Computer Society ER (Tutorials, Posters, Panels & Industrial Contributions) db/conf/er/ertppi2007.html 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 0001 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 ER Workshops Lecture Notes in Computer Science 4802 Springer 2007 978-3-540-76291-1 https://doi.org/10.1007/978-3-540-76292-8 db/conf/er/erw2007.html

Sven Hartmann Sebastian Link Klaus-Dieter Schewe Functional and multivalued dependencies in nested databases generated by record and list constructor. 114-164 2006 46 Ann. Math. Artif. Intell. 1-2 https://doi.org/10.1007/s10472-005-9015-9 db/journals/amai/amai46.html#HartmannLS06

Sven Hartmann Sebastian Link On a problem of Fagin concerning multivalued dependencies in relational databases. 53-62 2006 353 Theor. Comput. Sci. 1-3 https://doi.org/10.1016/j.tcs.2005.08.036 db/journals/tcs/tcs353.html#HartmannL06

Sven Hartmann Sebastian Link Klaus-Dieter Schewe Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets. 167-196 2006 355 Theor. Comput. Sci. 2 https://doi.org/10.1016/j.tcs.2006.01.008 db/journals/tcs/tcs355.html#HartmannLS06

Sven Hartmann Sebastian Link Klaus-Dieter Schewe Erratum to "Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets". 459 2006 360 Theor. Comput. Sci. 1-3 https://doi.org/10.1016/j.tcs.2006.05.001 db/journals/tcs/tcs360.html#HartmannLS06a

Sven Hartmann Sebastian Link Deciding implication for functional dependencies in complex-value databases. 212-240 2006 364 Theor. Comput. Sci. 2 https://doi.org/10.1016/j.tcs.2006.08.005 db/journals/tcs/tcs364.html#HartmannL06a

Sven Hartmann Sebastian Link Horn clauses and functional dependencies in complex-value databases. 21-30 2006 conf/adc/2006 ADC https://dl.acm.org/citation.cfm?id=1151739 db/conf/adc/adc2006.html#HartmannL06 Robert Minchin Fábio Porto 0001 Christelle Vangenot Sven Hartmann Symptoms Ontology for Mapping Diagnostic Knowledge Systems. 593-598 2006 conf/cbms/2006 CBMS https://doi.org/10.1109/CBMS.2006.152 https://doi.ieeecomputersociety.org/10.1109/CBMS.2006.152 db/conf/cbms/cbms2006.html#MinchinPVH06 Sven Hartmann Sebastian Link The Nested List Normal Form for Functional and Multivalued Dependencies. 137-158 2006 conf/foiks/2006 FoIKS https://doi.org/10.1007/11663881_9 db/conf/foiks/foiks2006.html#HartmannL06 Sven Hartmann Thu Trinh Axiomatising Functional Dependencies for XML with Frequencies. 159-178 2006 conf/foiks/2006 FoIKS https://doi.org/10.1007/11663881_10 db/conf/foiks/foiks2006.html#HartmannT06 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 APCCM CRPIT 53 Australian Computer Society 2006 1-920-68235-X https://dl.acm.org/citation.cfm?id=1151855 db/conf/apccm/apccm2006.html

Sven Hartmann Sebastian Link Klaus-Dieter Schewe Functional Dependencies over XML Documents with DTDs. 2005 17 Acta Cybern. 1 https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3659 db/journals/actaC/actaC17.html#HartmannLS05 153-171

Sven Hartmann Charles H. C. Little Even Bonds of Prescribed Directed Parity. 2005 12 Electron. J. Comb. https://doi.org/10.37236/1961 db/journals/combinatorics/combinatorics12.html#HartmannL05

Sven Hartmann Uwe Leck Self-orthogonal decompositions of graphs into matchings. 5-11 2005 23 Electron. Notes Discret. Math. https://doi.org/10.1016/j.endm.2005.06.102 db/journals/endm/endm23.html#HartmannL05

Sven Hartmann Sebastian Link Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective. 818-822 2005 conf/dexaw/2005 DEXA Workshops https://doi.org/10.1109/DEXA.2005.98 https://doi.ieeecomputersociety.org/10.1109/DEXA.2005.98 db/conf/dexaw/dexaw2005.html#HartmannL05 Alexei Tretiakov Nian-Shing Chen Kinshuk Sven Hartmann Formal Logic as a Learning Facilitation Tool 459-463 2005 conf/icalt/2005 ICALT https://doi.org/10.1109/ICALT.2005.159 https://doi.ieeecomputersociety.org/10.1109/ICALT.2005.159 db/conf/icalt/icalt2005.html#TretiakovCKH05 Alexei Tretiakov Sven Hartmann Higher-Order Entity Relationship Modelling with UML. 205-214 2005 conf/qsic/2005 QSIC https://doi.org/10.1109/QSIC.2005.35 https://doi.ieeecomputersociety.org/10.1109/QSIC.2005.35 db/conf/qsic/qsic2005.html#TretiakovH05 Sven Hartmann Sebastian Link An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic. 73-85 2005 conf/wollic/2005 WoLLIC https://doi.org/10.1016/j.entcs.2005.04.039 db/journals/entcs/entcs143.html#HartmannL06 Sven Hartmann Markus Stumptner Conceptual Modelling 2005, Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), Newcastle, NSW, Australia, January/February 2005 APCCM CRPIT 43 Australian Computer Society 2005 1-920682-25-2 db/conf/apccm/apccm2005.html

Sven Hartmann Ulrike Schumacher Orthogonal double covers of general graphs. 107-116 2004 138 Discret. Appl. Math. 1-2 https://doi.org/10.1016/S0166-218X(03)00274-9 db/journals/dam/dam138.html#HartmannS04

Sven Hartmann Sebastian Link Klaus-Dieter Schewe Bernhard Thalheim Error-Robust Functional Dependencies. 365-372 2004 59 Fundam. Informaticae 4 http://content.iospress.com/articles/fundamenta-informaticae/fi59-4-04 db/journals/fuin/fuin59.html#HartmannLST04

Sebastian Link Sven Hartmann Normalisation in the Presence of Lists. 49-60 2004 conf/adc/2004 ADC http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV27Link.html db/conf/adc/adc2004.html#LinkH04 Sven Hartmann Sebastian Link Klaus-Dieter Schewe Weak Functional Dependencies in Higher-Order Datamodels. 116-133 https://doi.org/10.1007/978-3-540-24627-5_9 2004 conf/foiks/2004 FoIKS db/conf/foiks/foiks2004.html#HartmannLS04 Sven Hartmann Sebastian Link Klaus-Dieter Schewe Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists. 134-154 https://doi.org/10.1007/978-3-540-24627-5_10 2004 conf/foiks/2004 FoIKS db/conf/foiks/foiks2004.html#HartmannLS04a Sven Hartmann Sebastian Link Multi-valued Dependencies in the Presence of Lists. 2004 conf/pods/2004 PODS https://doi.org/10.1145/1055558.1055603 http://www.acm.org/sigmod/pods/proc04/pdf/P-33.pdf db/conf/pods/pods2004.html#HartmannL04 330-341 Sven Hartmann Sebastian Link Computing the Dependency Basis for Nested List Attributes. 335-349 2004 conf/sbbd/2004 SBBD db/conf/sbbd/sbbd2004.html#HartmannL04 Alexei Tretiakov Sven Hartmann Mobile Content Adaptation as an Optimisation Problem. 201-210 https://doi.org/10.1007/978-3-540-30481-4_20 2004 conf/wise/2004-w WISE Workshops db/conf/wise/wise2004-w.html#TretiakovH04 Sven Hartmann Sebastian Link The Implication Problem of Functional Dependencies in Complex-value Databases. 125-137 2004 conf/wollic/2004 WoLLIC https://doi.org/10.1016/j.entcs.2004.04.051 db/journals/entcs/entcs123.html#HartmannL05 Sven Hartmann Sebastian Link A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists. 171-194 2004 conf/cats/2004 CATS https://doi.org/10.1016/j.entcs.2003.12.012 db/journals/entcs/entcs91.html#HartmannL04 Sven Hartmann John F. Roddick Conceptual Modelling 2004, First Asia-Pacific Conference on Conceptual Modelling (APCCM2004), Dunedin, New Zealand, January 18-22, 2004 APCCM CRPIT 31 Australian Computer Society 2004 1-920682-13-9 db/conf/apccm/apccm2004.html

Sven Hartmann Anne Hoffmann 0001 Sebastian Link Klaus-Dieter Schewe Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model. 133-137 2003 87 Inf. Process. Lett. 3 https://doi.org/10.1016/S0020-0190(03)00267-9 db/journals/ipl/ipl87.html#HartmannHLS03

Sven Hartmann Sebastian Link More Functional Dependencies for XML. 355-369 https://doi.org/10.1007/978-3-540-39403-7_27 2003 conf/adbis/2003 ADBIS db/conf/adbis/adbis2003.html#HartmannL03 Sven Hartmann Reasoning about participation constraints and Chen's constraints. 105-113 2003 conf/adc/2003 ADC http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV17Hartmann.html db/conf/adc/adc2003.html#Hartmann03 Sven Hartmann Sebastian Link Klaus-Dieter Schewe A New Normal Form for Conceptual Database. 88-105 2003 conf/ejc/2003 EJC db/conf/ejc/ejc2003.html#HartmannLS03 Sven Hartmann Sebastian Link On Functional Dependencies in Advanced Data Models. 2003 conf/wollic/2003 WoLLIC https://doi.org/10.1016/S1571-0661(04)80849-1 db/journals/entcs/entcs84.html#HartmannL03 117-128

Hans-Dietrich O. F. Gronau Martin Grüttmüller Sven Hartmann Uwe Leck Volker Leck On Orthogonal Double Covers of Graphs. 49-91 2002 27 Des. Codes Cryptogr. 1-2 db/journals/dcc/dcc27.html#GronauGHLL02

Sven Hartmann Orthogonal Decompositions of Complete Digraphs. 285-302 2002 18 Graphs Comb. 2 https://doi.org/10.1007/s003730200021 db/journals/gc/gc18.html#Hartmann02

Konrad Engel Sven Hartmann Minimal Sample Databases for Global Cardinality Constraints. 268-288 2002 conf/foiks/2002 FoIKS https://doi.org/10.1007/3-540-45758-5_17 db/conf/foiks/foiks2002.html#EngelH02

Sven Hartmann On the implication problem for cardinality constraints and functional dependencies. 253-307 2001 33 Ann. Math. Artif. Intell. 2-4 db/journals/amai/amai33.html#Hartmann01 https://doi.org/10.1023/A:1013133428451

Sven Hartmann Decomposing relationship types by pivoting and schema equivalence. 75-99 2001 39 Data Knowl. Eng. 1 db/journals/dke/dke39.html#Hartmann01 https://doi.org/10.1016/S0169-023X(01)00031-3 https://www.wikidata.org/entity/Q126310993

Sven Hartmann Orthogonal directed covers by flowers. 143-145 2001 10 Electron. Notes Discret. Math. https://doi.org/10.1016/S1571-0653(04)00380-4 db/journals/endm/endm10.html#Hartmann01

Sven Hartmann Coping with Inconsistent Constraint Specifications. 241-255 2001 conf/er/2001 ER https://doi.org/10.1007/3-540-45581-7_19 db/conf/er/er2001.html#Hartmann01 Sven Hartmann Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling. 82-99 2001 conf/sdb/2001 Semantics in Databases https://doi.org/10.1007/3-540-36596-6_5 db/conf/sdb/sdb2001.html#Hartmann01 Sven Hartmann Decomposition by Pivoting and Path Cardinality Constraints. 126-139 https://doi.org/10.1007/3-540-45393-8_10 2000 conf/er/2000 ER db/conf/er/er2000.html#Hartmann00 Sven Hartmann On Interactions of Cardinality Constraints, Key, and Functional Dependencies. 136-155 https://doi.org/10.1007/3-540-46564-2_9 2000 conf/foiks/2000 FoIKS db/conf/foiks/foiks2000.html#Hartmann00

Sven Hartmann Asymptotic Results on Suborthogonal "B"-decompositions of Complete Digraphs. 311-320 1999 95 Discret. Appl. Math. 1-3 https://doi.org/10.1016/S0166-218X(99)00083-9 db/journals/dam/dam95.html#Hartmann99

Werner Bernzen B. Riege Sven Hartmann Modelling and Model Fitting of Flexible Robots - a Multibody System Toolkit Approach. 165-175 1998 22 J. Intell. Robotic Syst. 2 https://doi.org/10.1023/A:1007984718156 db/journals/jirs/jirs22.html#BernzenRH98

Sven Hartmann On the Consistency of Int-cardinality Constraints. 150-163 er98/ER98-P150.pdf 1998 ER db/conf/er/er98.html#Hartmann98 conf/er/98 https://doi.org/10.1007/978-3-540-49524-6_12 conf/oodbs/BuchmannCV86 journals/tods/Chen76 ... ... ... conf/wg/Hartmann95 ... ... journals/is/LenzeriniN90 books/cs/Maier83 books/sp/ParedaensBGG89 conf/er/Thalheim92 ... ... Sven Hartmann Über die Charakterisierung und Konstruktion von Entity-Relationship-Datenbanken mit Kardinalitätsbedingungen. 1996 1-95 University of Rostock, Germany https://d-nb.info/952816067 Sven Hartmann Global Cardinality Constraints. 196-206 1996 ER Workshop Challenges of Application and Challenges of Design db/conf/er/er96w2.html#Hartmann96 er96-w2/ER96W2-P196.pdf conf/er/96w2 Sven Hartmann Graph-Theoretical Methods to Construct Entity-Relationship Databases. 131-145 1995 conf/wg/1995 WG db/conf/wg/wg95.html#Hartmann95 https://doi.org/10.1007/3-540-60618-1_71 Jack Alshami Arnold Ariadi Hakan Aydemir Jürgen Becker 0001 Werner Bernzen Michela Bertolotto Joachim Biskup Jürgen Branke Mathias Brochhausen Gerrit Burmester Diego Calvanese Maria Chiara Caschera Sharma Chakravarthy Zhaojiang Chang Gang Chen 0002Aaron Chen 0001 Nian-Shing Chen Shihui Chen Shiping Chen 0001 Yi-Ping Phoebe Chen Samira Si-Said Cherfi Christophe Claramunt Clément David Christina Deatcu Gillian Dobbie Martin Doerr Umut Durak Daniel Dyballa Konrad Engel Zhengxin Fang Flavio Ferrarotti Fernando Ferri Olivia J. Pinon Fischer Hendrik Folkerts Flavius Frasincar Aniruddh Gandhi Gennian Ge Fabio Grandi 0001 Patrizia Grifoni Jerrold R. Griggs Hans-Dietrich O. F. Gronau John C. Grundy Martin Grüttmüller Clemens Gühmann Siddharta Gupta Siddhartha Gupta Jean-Luc Hainaut Abdelkader Hameurlain Hyoil Han Anne Hoffmann 0001 Sakif Hossain Geert-Jan Houben Shafagh Jafer Fatema T. Johora Thomas Kalinowski Hannu Kangassalo Bikash Chandra Karmokar Roman Keller Gabriele Kern-Isberner Ismail Khalil Kinshuk Markus Kirchberg Yasushi Kiyoki Frank Klawonn Henning KöhlerHenning Koehler Gabriele KotsisGabriele Anderst-Kotsis Tobias Kowatsch Denis Kruschinski David Kugelmann Georg Kunert Josef Küng Alberto H. F. Laender Van Bao Tran Le Uwe Leck Volker Leck Sebastian Link Charles H. C. Little Jan-Hendrik Lochner Kim-Morgaine Lohse Hui Ma 0001 Leszek A. Maciaszek Somaye Mahmoodi Jacqueline Louise Mair Mauricio Marín Sigrun May Felix Merz Robert Minchin Ewan Moshi Awad Mukbil Jörg P. Müller Falk Müller-Riemenschneider Emir Muñoz Ahmad Naja Dylan Tchawou Ngassam Abtin Nourmohammadzadeh Andreas L. Opdahl Jeffrey Parsons Thorsten Pawletta Günther Pernul Mario Piattini Vladivy Poaka Geert Poels Fábio Porto 0001 Rolf S. Rees Andreas Reinhardt 0001 Iris Reinhartz-Berger Sarmad Rezayat B. Riege Ian T. Roberts John F. Roddick Colette Rolland Daniele Rosato Matti Rossi Elke A. Rundensteiner Russell Sabir Camille Salinesi Klaus-Dieter Schewe Torsten Schlotmann Ulrike Schumacher Tao Shi Alexandre Sawczuk da Silva Il-Yeol Song Dietrich Steinmetz Markus Stumptner Fengyang Sun Gisbert W. Teepe Ernest Teniente Bernhard Thalheim Philippe Thiran A Min Tjoa Alexei Tretiakov Thu Trinh Josh Trueman Juan Trujillo 0001 Christelle Vangenot Panrawee Vechsamutvaree Millist W. Vincent Nikos S. VorosNikolaos S. Voros Roland R. Wagner Chen Wang 0013 Haitao Wang Jing Wang 0056 Florian von Wangenheim Ziheng Wei Carson C. WooCarson Woo Yifan Yang 0002 Jiali Yao Eric S. K. Yu Bernard P. Zeigler Ugur Zengin Mengjie Zhang 0001 Xiaofang Zhou 0001 Chenfeng Zhu Esteban Zimányi