ติดตาม
Sven Hartmann
Sven Hartmann
Professor of Computer Science, Clausthal University of Technology
ยืนยันอีเมลแล้วที่ tu-clausthal.de
ชื่อ
อ้างโดย
อ้างโดย
ปี
Efficient reasoning about a robust XML key fragment
S Hartmann, S Link
ACM Transactions on Database Systems (TODS) 34 (2), 1-33, 2009
862009
More functional dependencies for XML
S Hartmann, S Link
East European Conference on Advances in Databases and Information Systems …, 2003
842003
On orthogonal double covers of graphs
HDOF Gronau, M Grüttmüller, S Hartmann, U Leck, V Leck
Designs, codes and cryptography 27 (1), 49-91, 2002
842002
The implication problem of data dependencies over SQL table definitions: axiomatic, algorithmic and logical characterizations
S Hartmann, S Link
ACM Transactions on Database Systems (TODS) 37 (2), 1-40, 2012
792012
English sentence structures and EER modeling
S Hartmann, S Link
ACM International Conference Proceeding Series 247, 27-35, 2007
662007
Design by example for SQL table definitions with functional dependencies
S Hartmann, M Kirchberg, S Link
The VLDB Journal 21, 121-144, 2012
652012
Location-aware and budget-constrained service deployment for composite applications in multi-cloud environment
T Shi, H Ma, G Chen, S Hartmann
IEEE Transactions on Parallel and Distributed Systems 31 (8), 1954-1969, 2020
622020
The fuel-efficient platooning of heavy duty vehicles by mathematical programming and genetic algorithm
A Nourmohammadzadeh, S Hartmann
Theory and Practice of Natural Computing: 5th International Conference, TPNC …, 2016
602016
On the implication problem for cardinality constraints and functional dependencies
S Hartmann
Annals of Mathematics and Artificial Intelligence 33, 253-307, 2001
602001
Numerical constraints on XML data
S Hartmann, S Link
Information and Computation 208 (5), 521-544, 2010
55*2010
Axiomatising functional dependencies for XML with frequencies
S Hartmann, T Trinh
International Symposium on Foundations of Information and Knowledge Systems …, 2006
442006
On the consistency of int-cardinality constraints
S Hartmann
International Conference on Conceptual Modeling, 150-163, 1998
441998
On Codd families of keys over incomplete relations
S Hartmann, U Leck, S Link
The Computer Journal 54 (7), 1166-1180, 2011
422011
Characterising nested database dependencies by fragments of propositional logic
S Hartmann, S Link
Annals of Pure and Applied Logic 152 (1-3), 84-106, 2008
422008
Reasoning about participation constraints and Chen's constraints
S Hartmann
Proceedings of the 14th Australasian database conference-Volume 17, 105-113, 2003
422003
Coping with inconsistent constraint specifications
S Hartmann
International Conference on Conceptual Modeling, 241-255, 2001
422001
When data dependencies over SQL tables meet the Logics of Paradox and S-3
S Hartmann, S Link
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on …, 2010
362010
On simple and supersimple transversal designs
S Hartmann
Journal of Combinatorial Designs 8 (5), 311-320, 2000
352000
Cost-effective web application replication and deployment in multi-cloud environment
T Shi, H Ma, G Chen, S Hartmann
IEEE Transactions on Parallel and Distributed Systems 33 (8), 1982-1995, 2021
342021
Fuel-efficient truck platooning by a novel meta-heuristic inspired from ant colony optimisation
A Nourmohammadzadeh, S Hartmann
Soft Computing 23, 1439-1452, 2019
342019
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–20