You are here: HomeStaffKlaus-Dieter Schewe

Univ.-Prof. Dr. Klaus-Dieter Schewe

Contact

Klaus-Dieter Schewe
Laboratory Supervisor

Publications

[1] Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, and Pornpan Songprasop. Conceptual modelling of hybrid systems - structure and behaviour. In Model and Data Engineering - 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings, pages 277-290, 2017.
@inproceedings{Schewe2017b,
  title = {Conceptual Modelling of Hybrid Systems - Structure and Behaviour},
  author = {Andreea Buga and
 Atif Mashkoor and
 Sorana Tania Nemes and
 Klaus{-}Dieter Schewe and
 Pornpan Songprasop},
  booktitle = {Model and Data Engineering - 7th International Conference, {MEDI}
 2017, Barcelona, Spain, October 4-6, 2017, Proceedings},
  year = {2017},
  pages = {277--290},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/medi/BugaMNSS17},
  crossref = {DBLP:conf/medi/2017},
  doi = {10.1007/978-3-319-66854-3_21},
  timestamp = {Mon, 18 Sep 2017 14:09:18 +0200},
  url = {https://doi.org/10.1007/978-3-319-66854-3_21}
}
[2] Andreea Buga, Sorana Tania Nemes, and Klaus-Dieter Schewe. Conceptual modelling of autonomous multi-cloud interaction with reflective semantics. In Conceptual Modeling - 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings, Lecture Notes in Computer Science. Springer, 2017. To appear.
@inproceedings{Schewe2017a,
  title = {Conceptual Modelling of Autonomous Multi-Cloud Interaction with Reflective Semantics},
  author = {Andreea Buga and Sorana Tania Nemes and Klaus-Dieter Schewe},
  booktitle = {Conceptual Modeling - 36th International Conference, {ER} 2017, Valencia, Spain, November 6-9, 2017, Proceedings},
  year = {2017},
  note = {To appear},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  owner = {andreeabuga},
  timestamp = {2017.09.06}
}
[3] Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe, and Pornpan Songprasop. A conceptual model for systems engineering and its formal foundation. In Information Modelling and Knowledge Bases XXIX, 27th International Conference on Information Modelling and Knowledge Bases (EJC 2017), Krabi, Thailand, June 5-9, 2017, Frontiers in Artificial Intelligence and Applications. IOS Press, 2017. To appear.
@inproceedings{Schewe2017c,
  title = {A Conceptual Model for Systems Engineering and Its Formal Foundation},
  author = {Andreea Buga and Sorana Tania Nemes and Klaus-Dieter Schewe and Pornpan Songprasop},
  booktitle = {Information Modelling and Knowledge Bases XXIX, 27th International Conference on Information Modelling and Knowledge Bases {(EJC} 2017), Krabi, Thailand, June 5-9, 2017},
  year = {2017},
  note = {To appear},
  publisher = {{IOS} Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  owner = {andreeabuga},
  timestamp = {2017.09.06}
}
[4] Josef Küng Abdelkader Hameurlain, Roland Wagner, Klaus-Dieter Schewe, and Károly Bósa, editors. Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX - Special Issue on Cloud Computing, volume 10130 of Lecture Notes in Computer Science. Springer, 2016.
@proceedings{Hameurlain2016,
  title = {Transactions on Large-Scale Data- and Knowledge-Centered Systems {XXX}
 - Special Issue on Cloud Computing},
  year = {2016},
  editor = { Abdelkader Hameurlain, Josef K{\"{u}}ng and Roland Wagner and Klaus{-}Dieter Schewe and K{\'{a}}roly B{\'{o}}sa},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {10130},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/tlsdkcs/2016-30},
  doi = {10.1007/978-3-662-54054-1},
  isbn = {978-3-662-54053-4}
}
[5] Christine Natschläger, Felix Kossak, and Klaus-Dieter Schewe. Deontic bpmn: A powerful extension of bpmn with a trusted model transformation. Softw. Syst. Model., 14(2):765-793, May 2015.
@article{Natschlager:2015:DBP:2776899.2776923,
  title = {Deontic BPMN: A Powerful Extension of BPMN with a Trusted Model Transformation},
  author = {Natschl\"{a}ger, Christine and Kossak, Felix and Schewe, Klaus-Dieter},
  journal = {Softw. Syst. Model.},
  year = {2015},
  month = may,
  number = {2},
  pages = {765--793},
  volume = {14},
  acmid = {2776923},
  address = {Secaucus, NJ, USA},
  doi = {10.1007/s10270-013-0329-5},
  issn = {1619-1366},
  issue_date = {May 2015},
  keywords = {BPMN, Business process modelling, Deontic logic, Deterministic transformation, Graph transformation, Semantic analysis},
  numpages = {29},
  publisher = {Springer-Verlag New York, Inc.},
  url = {http://dx.doi.org/10.1007/s10270-013-0329-5}
}
[6] Klaus-Dieter Schewe. Rigorous semantics and refinement for business processes. In Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, volume 1356 of CEUR Workshop Proceedings, pages 1-2. CEUR-WS.org 2015, May 2015.
@inproceedings{Schewe2015d,
  title = {Rigorous semantics and refinement for business processes},
  author = {Klaus-Dieter Schewe},
  booktitle = {Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer},
  year = {2015},
  month = {May},
  pages = {1-2},
  publisher = {CEUR-WS.org 2015},
  series = {CEUR Workshop Proceedings},
  volume = {1356},
  owner = {Klaus-Dieter Schewe},
  timestamp = {2016.02.03}
}
[7] Károly Bósa, Roxana-Maria Holom, and Mircea Boris Vleju. Correct Software in Web Applications and Web Services, chapter A Formal Model of Client-Cloud Interaction, pages 83-144. Springer International Publishing, Cham, 2015.
@inbook{Bósa2015,
  title = {Correct Software in Web Applications and Web Services},
  author = {B{\'o}sa, K{\'a}roly
and Holom, Roxana-Maria
and Vleju, Mircea Boris},
  chapter = {A Formal Model of Client-Cloud Interaction},
  editor = {Thalheim, Bernhard
and Schewe, Klaus-Dieter
and Prinz, Andreas
and Buchberger, Bruno},
  pages = {83--144},
  publisher = {Springer International Publishing},
  year = {2015},
  address = {Cham},
  doi = {10.1007/978-3-319-17112-8_4},
  isbn = {978-3-319-17112-8},
  url = {http://dx.doi.org/10.1007/978-3-319-17112-8_4}
}
[8] Egon Börger and Klaus-Dieter Schewe. Concurrent abstract state machines. Acta Informatica, pages 1-24, 2015.
@article{Börger2015,
  title = {Concurrent abstract state machines},
  author = {B{\"o}rger, Egon
and Schewe, Klaus-Dieter},
  journal = {Acta Informatica},
  year = {2015},
  pages = {1--24},
  abstract = {A concurrent Abstract State Machine (ASM) is a family of agents each equipped with a sequential ASM to execute. We define the semantics of concurrent ASMs by concurrent ASM runs which overcome the problems of Gurevich's distributed ASM runs and generalize Lamport's sequentially consistent runs. A postulate characterizing an intuitive understanding of concurrency is formulated. It allows us to state and prove an extension of the sequential ASM thesis to a concurrent ASM thesis.},
  doi = {10.1007/s00236-015-0249-7},
  issn = {1432-0525},
  url = {http://dx.doi.org/10.1007/s00236-015-0249-7}
}
[9] F. Kossak, C. Illibauer, V. Geist, J. Kubovy, C. Natschläger, T. Ziebermayr, T. Kopetzky, B. Freudenthaler, and K.-D. Schewe. A Rigorous Semantics for BPMN 2.0 Process Diagrams. Springer-Verlag, 2015.
@book{Schewe2015c,
  title = {A Rigorous Semantics for BPMN 2.0 Process Diagrams},
  author = {F. Kossak and C. Illibauer and V. Geist and J. Kubovy and C. Natschl\"ager and T. Ziebermayr and T. Kopetzky and B. Freudenthaler and K.-D. Schewe},
  publisher = {Springer-Verlag},
  year = {2015}
}
[10] Harald Lampesberger and Mariam Rady. Correct Software in Web Applications and Web Services, chapter Monitoring of Client-Cloud Interaction, pages 177-228. Springer International Publishing, Cham, 2015.
@inbook{Lampesberger2015,
  title = {Correct Software in Web Applications and Web Services},
  author = {Lampesberger, Harald
and Rady, Mariam},
  chapter = {Monitoring of Client-Cloud Interaction},
  editor = {Thalheim, Bernhard
and Schewe, Klaus-Dieter
and Prinz, Andreas
and Buchberger, Bruno},
  pages = {177--228},
  publisher = {Springer International Publishing},
  year = {2015},
  address = {Cham},
  doi = {10.1007/978-3-319-17112-8_6},
  isbn = {978-3-319-17112-8},
  url = {http://dx.doi.org/10.1007/978-3-319-17112-8_6}
}
[11] Alejandra Lorena Paoletti, Jorge Martinez-Gil, and Klaus-Dieter Schewe. Database and Expert Systems Applications: 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part II, chapter Extending Knowledge-Based Profile Matching in the Human Resources Domain, pages 21-35. Springer International Publishing, Cham, 2015.
@inbook{Paoletti2015,
  title = {Database and Expert Systems Applications: 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part II},
  author = {Paoletti, Alejandra Lorena
and Martinez-Gil, Jorge
and Schewe, Klaus-Dieter},
  chapter = {Extending Knowledge-Based Profile Matching in the Human Resources Domain},
  editor = {Chen, Qiming
and Hameurlain, Abdelkader
and Toumani, Farouk
and Wagner, Roland
and Decker, Hendrik},
  pages = {21--35},
  publisher = {Springer International Publishing},
  year = {2015},
  address = {Cham},
  doi = {10.1007/978-3-319-22852-5_3},
  isbn = {978-3-319-22852-5},
  url = {http://dx.doi.org/10.1007/978-3-319-22852-5_3}
}
[12] K.-D. Schewe, V. Geist, C. Illibauer, F. Kossak, C. Natschläger-Carpella, T. Kopetzky, J. Kubovy, B. Freudenthaler, and T. Ziebermayr. Horizontal business process model integration. transactions of large-scale data and knowledge-centered systems. Springer LNCS, 8980:1-24, 2015. Vol. XVIII - Special Issue on Database and Expert Systems Applications, revised, selected papers from DEXA 2013.
@article{Schewe2015e,
  title = {Horizontal Business Process Model Integration. Transactions of Large-Scale Data and Knowledge-Centered Systems},
  author = {K.-D. Schewe and V. Geist and C. Illibauer and F. Kossak and C. Natschläger-Carpella and T. Kopetzky and J. Kubovy and B. Freudenthaler and T. Ziebermayr},
  journal = {Springer LNCS},
  year = {2015},
  note = {Vol. XVIII - Special Issue on Database and Expert Systems Applications, revised, selected papers from DEXA 2013},
  pages = {1-24},
  volume = {8980}
}
[13] Klaus-Dieter Schewe and Qing Wang. Correct Software in Web Applications and Web Services, chapter What Constitutes a Service on the Web?, pages 257-292. Springer International Publishing, Cham, 2015.
@inbook{Schewe2015a,
  title = {Correct Software in Web Applications and Web Services},
  author = {Schewe, Klaus-Dieter
and Wang, Qing},
  chapter = {What Constitutes a Service on the Web?},
  editor = {Thalheim, Bernhard
and Schewe, Klaus-Dieter
and Prinz, Andreas
and Buchberger, Bruno},
  pages = {257--292},
  publisher = {Springer International Publishing},
  year = {2015},
  address = {Cham},
  doi = {10.1007/978-3-319-17112-8_8},
  isbn = {978-3-319-17112-8},
  url = {http://dx.doi.org/10.1007/978-3-319-17112-8_8}
}
[14] Klaus-Dieter Schewe, Qing Wang, and Mariam Rady. Model and Data Engineering: 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings, chapter Knowledge-Based Entity Resolution with Contextual Information Defined over a Monoid, pages 128-135. Springer International Publishing, Cham, 2015.
@inbook{Schewe2015,
  title = {Model and Data Engineering: 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings},
  author = {Schewe, Klaus-Dieter
and Wang, Qing
and Rady, Mariam},
  chapter = {Knowledge-Based Entity Resolution with Contextual Information Defined over a Monoid},
  editor = {Bellatreche, Ladjel
and Manolopoulos, Yannis},
  pages = {128--135},
  publisher = {Springer International Publishing},
  year = {2015},
  address = {Cham},
  doi = {10.1007/978-3-319-23781-7_11},
  isbn = {978-3-319-23781-7},
  url = {http://dx.doi.org/10.1007/978-3-319-23781-7_11}
}
[15] Bernhard Thalheim and Klaus-Dieter Schewe. Correct Software in Web Applications and Web Services, chapter Codesign of Web Information Systems, pages 293-332. Springer International Publishing, Cham, 2015.
@inbook{Thalheim2015,
  title = {Correct Software in Web Applications and Web Services},
  author = {Thalheim, Bernhard
and Schewe, Klaus-Dieter},
  chapter = {Codesign of Web Information Systems},
  editor = {Thalheim, Bernhard
and Schewe, Klaus-Dieter
and Prinz, Andreas
and Buchberger, Bruno},
  pages = {293--332},
  publisher = {Springer International Publishing},
  year = {2015},
  address = {Cham},
  doi = {10.1007/978-3-319-17112-8_9},
  isbn = {978-3-319-17112-8},
  url = {http://dx.doi.org/10.1007/978-3-319-17112-8_9}
}
[16] Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, and Bruno Buchberger. Correct Software in Web Applications and Web Services. Springer Publishing Company, Incorporated, 2015.
@book{Thalheim:2015:CSW:2807323,
  title = {Correct Software in Web Applications and Web Services},
  author = {Thalheim, Bernhard and Schewe, Klaus-Dieter and Prinz, Andreas and Buchberger, Bruno},
  publisher = {Springer Publishing Company, Incorporated},
  year = {2015},
  isbn = {3319171119, 9783319171111}
}
[17] Qing Wang, Klaus-Dieter Schewe, and Woods Wang. Database Systems for Advanced Applications: 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part I, chapter Provenance-Aware Entity Resolution: Leveraging Provenance to Improve Quality, pages 474-490. Springer International Publishing, Cham, 2015.
@inbook{Wang2015,
  title = {Database Systems for Advanced Applications: 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part I},
  author = {Wang, Qing
and Schewe, Klaus-Dieter
and Wang, Woods},
  chapter = {Provenance-Aware Entity Resolution: Leveraging Provenance to Improve Quality},
  editor = {Renz, Matthias
and Shahabi, Cyrus
and Zhou, Xiaofang
and Cheema, Aamir Muhammad},
  pages = {474--490},
  publisher = {Springer International Publishing},
  year = {2015},
  address = {Cham},
  doi = {10.1007/978-3-319-18120-2_28},
  isbn = {978-3-319-18120-2},
  url = {http://dx.doi.org/10.1007/978-3-319-18120-2_28}
}
[18] E. Börger and K.-D. Schewe. Specifying transaction control to serialize concurrent program executions. In Y. Ait-Ameur et al., editor, ABZ 2014, volume 8477, pages 142-157. Springer LNCS, 2014.
@incollection{Schewe2014f,
  title = {Specifying Transaction Control to Serialize Concurrent Program Executions},
  author = {E. B\"orger and K.-D. Schewe},
  booktitle = {ABZ 2014},
  publisher = {Springer LNCS},
  year = {2014},
  editor = {{Y. Ait-Ameur et al.}},
  pages = {142-157},
  volume = {8477}
}
[19] H. Jaakkola, T. Nakanishi, S. Sasaki, K.-D. Schewe, and B. Thalheim. Conceptual modelling of collaboration for information systems, in information modelling and knowledge bases xxv. In T. Tokuda et al., editor, Frontiers in Artificial Intelligence and Applications, volume 260, pages 272-305. IOS Press, 2014.
@incollection{Schewe2014h,
  title = {Conceptual Modelling of Collaboration for Information Systems, in Information Modelling and Knowledge Bases XXV},
  author = {H. Jaakkola and T. Nakanishi and S. Sasaki and K.-D. Schewe and B. Thalheim},
  booktitle = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  year = {2014},
  editor = {{T. Tokuda et al.}},
  pages = {272-305},
  volume = {260}
}
[20] H. Ma and K.-D. Schewe. Query handling in geometric conceptual modelling, in information modelling and knowledge bases xxv. In T. Tokuda et al., editor, Frontiers in Artificial Intelligence and Applications, volume 260, pages 174-189. IOS Press, 2014.
@incollection{Schewe2014g,
  title = {Query Handling in Geometric Conceptual Modelling, in Information Modelling and Knowledge Bases XXV},
  author = {H. Ma and K.-D. Schewe},
  booktitle = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  year = {2014},
  editor = {{T. Tokuda et al.}},
  pages = {174-189},
  volume = {260}
}
[21] K.-D. Schewe and Q. Wang. A theoretical framework for knowledge-based entity resolution. Theoretical Computer Science, 549:101-126, 2014.
@article{Schewe2014b,
  title = {A Theoretical Framework for Knowledge-based Entity Resolution},
  author = {K.-D. Schewe and Q. Wang},
  journal = {Theoretical Computer Science},
  year = {2014},
  pages = {101-126},
  volume = {549}
}
[22] Y. Ait-Ameur and K.-D. Schewe, editors. Abstract State Machines, Alloy, B, VDM and Z - Proceedings ABZ 2014, volume 8477. Springer LNCS, 2014.
@book{Schewe2014d,
  title = {Abstract State Machines, Alloy, B, VDM and Z - Proceedings ABZ 2014},
  editor = {Y. Ait-Ameur and K.-D. Schewe},
  publisher = {Springer LNCS},
  year = {2014},
  volume = {8477}
}
[23] Frederic Boniol, Virginie Wiels, Y. Ait-Ameur, and K.-D. Schewe, editors. ABZ 2014 - The Landing Gear Case Study, volume 433. Springer CCIS, 2014.
@book{Schewe2014e,
  title = {ABZ 2014 - The Landing Gear Case Study},
  editor = {Frederic Boniol and Virginie Wiels and Y. Ait-Ameur and K.-D. Schewe},
  publisher = {Springer CCIS},
  year = {2014},
  volume = {433}
}
[24] F. Ferrarotti, G. Grossmann, K.-D. Schewe, and Q. Wang, editors. Conceptual Modelling with Specific Focus on Service-Oriented Systems, volume 20. Special Issue of Universal Computer Science, revised, selected papers from apccm 2013 & cms 2012 edition, 2014.
@book{Schewe2014c,
  title = {Conceptual Modelling with Specific Focus on Service-Oriented Systems},
  editor = {F. Ferrarotti and G. Grossmann and K.-D. Schewe and Q. Wang},
  publisher = {Special Issue of Universal Computer Science},
  year = {2014},
  edition = {Revised, selected papers from APCCM 2013 \& CMS 2012},
  volume = {20}
}
[25] Hui Ma and Klaus-Dieter Schewe. An algebra for geometric conceptual modelling. In Electronic Proceedings of the 23rd European Japanese Conference on Information Modelling and Knowledge Bases (EJC 2013), pages 184-202, June 2013.
@inproceedings{Ma2013b,
  title = {An algebra for geometric conceptual modelling},
  author = {Hui Ma and Klaus-Dieter Schewe},
  booktitle = {Electronic Proceedings of the 23rd European Japanese Conference on Information Modelling and Knowledge Bases (EJC 2013)},
  year = {2013},
  month = jun,
  pages = {184--202}
}
[26] Dominic Looser, Hui Ma, and Klaus-Dieter Schewe. Using formal concept analysis for ontology maintenance in human resource recruitment. In Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143, APCCM '13, pages 61-68. Australian Computer Society, Inc., 2013.
@inproceedings{Looser2013,
  title = {Using Formal Concept Analysis for Ontology Maintenance in Human Resource Recruitment},
  author = {Looser, Dominic and Ma, Hui and Schewe, Klaus-Dieter},
  booktitle = {Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143},
  year = {2013},
  pages = {61--68},
  publisher = {Australian Computer Society, Inc.},
  series = {APCCM '13},
  acmid = {2527204},
  isbn = {978-1-921770-28-9},
  location = {Adelaide, Australia},
  numpages = {8},
  url = {http://dl.acm.org/citation.cfm?id=2527198.2527204}
}
[27] Hui Ma, René Noack, Klaus-Dieter Schewe, Bernhard Thalheim, and Qing Wang. Complete conceptual schema algebras. Fundamenta Informaticae, 124(3):271-295, 6 2013.
@article{Ma2013a,
  title = {Complete Conceptual Schema Algebras},
  author = {Hui Ma and René Noack and Klaus-Dieter Schewe and Bernhard Thalheim and Qing Wang},
  journal = {Fundamenta Informaticae},
  year = {2013},
  month = {6},
  number = {3},
  pages = {271-295},
  volume = {124},
  abstract = {A schema algebra comprises operations on database schemata for a given data model. Such algebras are useful in database design as well as in schema integration. In this article we address the necessary theoretical underpinnings by introducing a novel notion of conceptual schema morphism that captures at the same time the conceptual schema and its semantics by means of the set of valid instances. This leads to a category of schemata that is finitely complete and co-complete. This is the basis for a notion of completeness of schema algebras, if it captures all universal constructions in the category of schemata. We exemplify this notion of completeness for a recently introduced particular schema algebra.},
  publisher = {IOS Press}
}
[28] Christine Natschläger, Felix Kossak, and Klaus-Dieter Schewe. Deontic bpmn: a powerful extension of bpmn with a trusted model transformation. Software & Systems Modeling, pages 1-29, 2013.
@article{natschlager2013deontic,
  title = {Deontic BPMN: a powerful extension of BPMN with a trusted model transformation},
  author = {Natschl{\"a}ger, Christine and Kossak, Felix and Schewe, Klaus-Dieter},
  journal = {Software \& Systems Modeling},
  year = {2013},
  pages = {1--29},
  publisher = {Springer}
}
[29] Klaus-Dieter Schewe. Horizontal and vertical business process model integration. In Database and Expert Systems Applications, volume 8055 of Lecture Notes in Computer Science, pages 1-3. Springer Berlin Heidelberg, 2013.
@incollection{Schewe2013c,
  title = {Horizontal and Vertical Business Process Model Integration},
  author = {Schewe, Klaus-Dieter},
  booktitle = {Database and Expert Systems Applications},
  publisher = {Springer Berlin Heidelberg},
  year = {2013},
  pages = {1-3},
  series = {Lecture Notes in Computer Science},
  volume = {8055},
  doi = {10.1007/978-3-642-40285-2_1},
  isbn = {978-3-642-40284-5},
  url = {http://dx.doi.org/10.1007/978-3-642-40285-2_1}
}
[30] Klaus-Dieter Schewe and Qing Wang. Knowledge-aware identity services. Knowledge and Information Systems, 36(2):335-357, 2013.
@article{Schewe2013a,
  title = {Knowledge-aware identity services},
  author = {Schewe, Klaus-Dieter and Wang, Qing},
  journal = {Knowledge and Information Systems},
  year = {2013},
  number = {2},
  pages = {335-357},
  volume = {36},
  doi = {10.1007/s10115-012-0533-6},
  issn = {0219-1377},
  keywords = {Identity; Knowledge model; Identity service; Identity knowledge},
  language = {English},
  publisher = {Springer London},
  url = {http://dx.doi.org/10.1007/s10115-012-0533-6}
}
[31] Abdelkader Hameurlain, Josef Küng, Roland Wagner, Stephen W. Liddle, Klaus-Dieter Schewe, and Xiaofang Zhou, editors. Transactions on Large-Scale Data- and Knowledge-Centered Systems X, volume 8220 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2013.
@book{Hameurlain2013,
  title = {{Transactions on Large-Scale Data- and Knowledge-Centered Systems X}},
  editor = {Hameurlain, Abdelkader and K\"{u}ng, Josef and Wagner, Roland and Liddle, Stephen W. and Schewe, Klaus-Dieter and Zhou, Xiaofang},
  publisher = {Springer Berlin Heidelberg},
  year = {2013},
  series = {Lecture Notes in Computer Science},
  volume = {8220},
  doi = {10.1007/978-3-642-41221-9},
  isbn = {978-3-642-41220-2},
  url = {http://link.springer.com/10.1007/978-3-642-41221-9}
}
[32] S. Liddle, K.-D. Schewe, and X. Zhou, editors. Database and Expert Systems Applications, Special Issue of Transactions of Large-Scale Data and Knowledge-Centered Systems, volume 8220. Springer LNCS, 2013. revised, selected papers from DEXA 2012.
@book{Schewe2013e,
  title = {Database and Expert Systems Applications, Special Issue of Transactions of Large-Scale Data and Knowledge-Centered Systems},
  editor = {S. Liddle and K.-D. Schewe and X. Zhou},
  publisher = {Springer LNCS},
  year = {2013},
  note = {revised, selected papers from DEXA 2012},
  volume = {8220}
}
[33] Klaus-Dieter Schewe and Bernhard Thalheim, editors. Semantics in Data and Knowledge Bases, volume 7693 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2013.
@book{Schewe2013b,
  title = {{Semantics in Data and Knowledge Bases}},
  editor = {Schewe, Klaus-Dieter and Thalheim, Bernhard},
  publisher = {Springer Berlin Heidelberg},
  year = {2013},
  series = {Lecture Notes in Computer Science},
  volume = {7693},
  doi = {10.1007/978-3-642-36008-4},
  isbn = {978-3-642-36007-7},
  url = {http://link.springer.com/10.1007/978-3-642-36008-4}
}
[34] Christine Natschläger, Felix Kossak, and Klaus-Dieter Schewe. Deontic bpmn: a powerful extension of bpmn with a trusted model transformation. Software & Systems Modeling, pages 1-29, 2013.
@article{Natschlaeger2013,
  title = {Deontic BPMN: a powerful extension of BPMN with a trusted model transformation},
  author = {Natschläger, Christine and Kossak, Felix and Schewe, Klaus-Dieter},
  journal = {Software \& Systems Modeling},
  year = {2013},
  pages = {1-29},
  doi = {10.1007/s10270-013-0329-5},
  issn = {1619-1366},
  keywords = {Business process modelling; BPMN; Deontic logic; Graph transformation; Deterministic transformation; Semantic analysis},
  language = {English},
  publisher = {Springer-Verlag},
  url = {http://dx.doi.org/10.1007/s10270-013-0329-5}
}
[35] Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, and Qing Wang. A formal model for the interoperability of service clouds. Service Oriented Computing and Applications, 6(3):189-205, 2012.
@article{Ma2012a,
  title = {A formal model for the interoperability of service clouds},
  author = {Ma, Hui and Schewe, Klaus-Dieter and Thalheim, Bernhard and Wang, Qing},
  journal = {Service Oriented Computing and Applications},
  year = {2012},
  number = {3},
  pages = {189-205},
  volume = {6},
  doi = {10.1007/s11761-012-0101-7},
  issn = {1863-2386},
  keywords = {Service cloud; Abstract state service; Service-oriented computing; Service mediation; Service ontology},
  language = {English},
  publisher = {Springer-Verlag},
  url = {http://dx.doi.org/10.1007/s11761-012-0101-7}
}
[36] Ji Ma and Klaus-Dieter Schewe. A temporalised belief logic for reasoning about authentication protocols. In 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), pages 1721-1728. IEEE, 2012.
@inproceedings{Ma2012b,
  title = {A Temporalised Belief Logic for Reasoning about Authentication Protocols},
  author = {Ma, Ji and Schewe, Klaus-Dieter},
  booktitle = {11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)},
  year = {2012},
  pages = {1721-1728},
  publisher = {IEEE},
  doi = {10.1109/TrustCom.2012.59},
  keywords = {inference mechanisms;security of data;temporal logic;agent beliefs;authentication protocol reasoning;communication systems;dynamic environments;logical framework;security mechanisms;security properties;temporalised belief logic;Authentication;Barium;Cognition;Protocols;Reliability;authentication protocols;belief logic;communication systems;temporal logic;temporalized belief logic;trust}
}
[37] Klaus-Dieter Schewe and Qing Wang. On the decidability and complexity of identity knowledge representation. In Database Systems for Advanced Applications, volume 7238 of Lecture Notes in Computer Science, pages 288-302. Springer Berlin Heidelberg, 2012.
@incollection{Schewe2012a,
  title = {On the Decidability and Complexity of Identity Knowledge Representation},
  author = {Schewe, Klaus-Dieter and Wang, Qing},
  booktitle = {Database Systems for Advanced Applications},
  publisher = {Springer Berlin Heidelberg},
  year = {2012},
  pages = {288--302},
  series = {Lecture Notes in Computer Science},
  volume = {7238},
  doi = {10.1007/978-3-642-29038-1_22},
  isbn = {978-3-642-29037-4},
  url = {http://dx.doi.org/10.1007/978-3-642-29038-1_22}
}
[38] Klaus-Dieter Schewe and Qing Wang. Preferential refinements of abstract state machines for service mediators. In 12th International Conference on Quality Software (QSIC), pages 158-166. IEEE, 2012.
@inproceedings{Schewe2012b,
  title = {Preferential Refinements of Abstract State Machines for Service Mediators},
  author = {Schewe, Klaus-Dieter and Qing Wang},
  booktitle = {12th International Conference on Quality Software (QSIC)},
  year = {2012},
  pages = {158--166},
  publisher = {IEEE},
  doi = {10.1109/QSIC.2012.22},
  issn = {1550-6002},
  keywords = {program compilers;service-oriented architecture;Kleene algebra;abstract state machines;distributed application;personalised mediators;preferential refinement;service mediators;service oriented computing;Abstracts;Database systems;Rain;Silicon;Time measurement;Web services;abstract state machine;personalisation;preference rules;refinement;service mediator}
}
[39] Klaus-Dieter Schewe and Qing Wang. A simplified parallel ASM thesis. In Abstract State Machines, Alloy, B, VDM, and Z, volume 7316 of Lecture Notes in Computer Science, pages 341-344. Springer Berlin Heidelberg, 2012.
@incollection{Schewe2012c,
  title = {A Simplified Parallel {ASM} Thesis},
  author = {Schewe, Klaus-Dieter and Wang, Qing},
  booktitle = {Abstract State Machines, Alloy, B, VDM, and Z},
  publisher = {Springer Berlin Heidelberg},
  year = {2012},
  pages = {341--344},
  series = {Lecture Notes in Computer Science},
  volume = {7316},
  doi = {10.1007/978-3-642-30885-7_27},
  isbn = {978-3-642-30884-0},
  keywords = {Abstract State Machine; bounded exploration; synchronous parallelism},
  url = {http://dx.doi.org/10.1007/978-3-642-30885-7_27}
}
[40] Klaus-Dieter Schewe and Qing Wang. Synchronous parallel database transformations. In Foundations of Information and Knowledge Systems, volume 7153 of Lecture Notes in Computer Science, pages 370-383. Springer Berlin Heidelberg, 2012.
@incollection{Schewe2012d,
  title = {Synchronous Parallel Database Transformations},
  author = {Schewe, Klaus-Dieter and Wang, Qing},
  booktitle = {Foundations of Information and Knowledge Systems},
  publisher = {Springer Berlin Heidelberg},
  year = {2012},
  pages = {370--383},
  series = {Lecture Notes in Computer Science},
  volume = {7153},
  doi = {10.1007/978-3-642-28472-4_21},
  isbn = {978-3-642-28471-7},
  keywords = {Abstract State Machine; database transformation; bounded exploration; synchronous parallelism},
  url = {http://dx.doi.org/10.1007/978-3-642-28472-4_21}
}
[41] Antje Düsterhöft, Meike Klettke, and Klaus-Dieter Schewe, editors. Conceptual Modelling and Its Theoretical Foundations, Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday, volume 7260 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, Berlin, Heidelberg, 2012.
@book{Dusterhoft2012,
  title = {{Conceptual Modelling and Its Theoretical Foundations, Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday}},
  editor = {D\"{u}sterh\"{o}ft, Antje and Klettke, Meike and Schewe, Klaus-Dieter},
  publisher = {Springer Berlin Heidelberg},
  year = {2012},
  address = {Berlin, Heidelberg},
  series = {Lecture Notes in Computer Science},
  volume = {7260},
  doi = {10.1007/978-3-642-28279-9},
  isbn = {978-3-642-28278-2},
  url = {http://link.springer.com/10.1007/978-3-642-28279-9}
}
[42] Abdelkader Hameurlain, Josef Küng, Roland Wagner, Stephen W. Liddle, Klaus-Dieter Schewe, and Xiaofang Zhou, editors. Transactions on Large-Scale Data- and Knowledge-Centered Systems VI, volume 7600 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012.
@book{Hameurlain2012,
  title = {{Transactions on Large-Scale Data- and Knowledge-Centered Systems VI}},
  editor = {Hameurlain, Abdelkader and K\"{u}ng, Josef and Wagner, Roland and Liddle, Stephen W. and Schewe, Klaus-Dieter and Zhou, Xiaofang},
  publisher = {Springer Berlin Heidelberg},
  year = {2012},
  series = {Lecture Notes in Computer Science},
  volume = {7600},
  doi = {10.1007/978-3-642-34179-3},
  isbn = {978-3-642-34178-6},
  url = {http://link.springer.com/10.1007/978-3-642-34179-3}
}
[43] Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, and Xiaofang Zhou, editors. Database and Expert Systems Applications, Part I, volume 7446 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012.
@book{Liddle2012a,
  title = {{Database and Expert Systems Applications, Part I}},
  editor = {Liddle, Stephen W. and Schewe, Klaus-Dieter and Tjoa, A Min and Zhou, Xiaofang},
  publisher = {Springer Berlin Heidelberg},
  year = {2012},
  series = {Lecture Notes in Computer Science},
  volume = {7446},
  doi = {10.1007/978-3-642-32600-4},
  isbn = {978-3-642-32599-1},
  url = {http://link.springer.com/10.1007/978-3-642-32600-4}
}
[44] Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, and Xiaofang Zhou, editors. Database and Expert Systems Applications, Part II, volume 7447 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012.
@book{Liddle2012b,
  title = {{Database and Expert Systems Applications, Part II}},
  editor = {Liddle, Stephen W. and Schewe, Klaus-Dieter and Tjoa, A Min and Zhou, Xiaofang},
  publisher = {Springer Berlin Heidelberg},
  year = {2012},
  series = {Lecture Notes in Computer Science},
  volume = {7447},
  doi = {10.1007/978-3-642-32597-7},
  isbn = {978-3-642-32596-0},
  url = {http://link.springer.com/10.1007/978-3-642-32597-7}
}
[45] Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, and Qing Wang, editors. Conceptual Modelling of Services, volume 18(17) of Special Issue of the Journal of Universal Computer Science, 2012.
@proceedings{Ma2011a,
  title = {Conceptual Modelling of Services},
  year = {2012},
  editor = {Hui Ma and Klaus-Dieter Schewe and Bernhard Thalheim and Qing Wang},
  series = {Special Issue of the Journal of Universal Computer Science},
  volume = {18(17)},
  doi = {10.3217/jucs-018-17},
  url = {http://dx.doi.org/10.3217/jucs-018-17}
}
[46] Christine Natschläger and Klaus-Dieter Schewe. A flattening approach for attributed type graphs with inheritance in algebraic graph transformation. In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2012), volume 47. Electronic Communications of the EASST, 2012.
@inproceedings{Natschlaeger2012,
  title = {A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation},
  author = {Natschläger, Christine and Schewe, Klaus-Dieter},
  booktitle = {Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2012)},
  year = {2012},
  publisher = {Electronic Communications of the EASST},
  volume = {47},
  abstract = {The algebraic graph transformation approach was initiated in 1973 and supports the rule-based modification of graphs based on pushout constructions. The vertex and edge types used within the rules (or productions) as well as possible inheritance relationships defined between them are specified in the type graph. However, the termination proof can only be accomplished for graph transformation systems without inheritance relationships. Thus, all graph transformation systems with inheritance relationships in the type graph must be flattened. To this end, the algebraic graph transformation approach provides a formal description for how to flatten the type graph as well as a definition of abstract and concrete productions. In this paper, we will extend the definitions to also consider vertices in negative application conditions with finer node types and positive application conditions. Furthermore, we will prove the semantic equivalence of the original and the flattened graph transformation system. The whole flattening algorithm is then implemented in a prototype which supports an abstract or concrete flattening of a given graph transformation system. The prototype is finally evaluated within a case study.},
  issn = {1863-2122},
  journal = {Electronic Communications of the EASST}
}
[47] Klaus-Dieter Schewe, Károly Bósa, Harald Lampesberger, Ji Ma, and Mircea Boris Vleju. The christian doppler laboratory for client-centric cloud computing. In 2nd Workshop on Software Services (WoSS 2011), Timisoara, Romania, June 2011.
@inproceedings{Schewe2011b,
  title = {The Christian Doppler Laboratory for Client-Centric Cloud Computing},
  author = {Schewe, Klaus-Dieter and K{\'a}roly B{\'o}sa and Harald Lampesberger and Ji Ma and Mircea Boris Vleju},
  booktitle = {2nd Workshop on Software Services (WoSS 2011)},
  year = {2011},
  address = {Timisoara, Romania},
  month = {June},
  abstract = {Though cloud computing is considered mature for practical application, there is a need for more research. The identified challenges primarily concern client-cloud interaction and cloud interoperability. As to the former one, we highlight the needs of clients, contracting and legal aspects, and missing foundations as necessary fields of investigation. For the latter one clouds are considered to constitute repositories of services, so the challenge is to realize web-scale, service-oriented, distributed computing.},
  comment = {Karoly Bosa},
  keywords = {cloud computing, research, service clouds},
  url = {http://cdcc.faw.jku.at/publications/kdschewe/schewe2011b.pdf}
}
[48] Antje Düsterhöft and Klaus-Dieter Schewe. Conceptual modelling of application stories. In David W. Embley and Bernhard Thalheim, editors, Handbook of Conceptual Modeling, pages 359-377. Springer Berlin Heidelberg, 2011.
@incollection{Dusterhoft2011,
  title = {Conceptual Modelling of Application Stories},
  author = {D\"usterh\"oft, Antje and Schewe, Klaus-Dieter},
  booktitle = {Handbook of Conceptual Modeling},
  publisher = {Springer Berlin Heidelberg},
  year = {2011},
  editor = {Embley, David W. and Thalheim, Bernhard},
  pages = {359-377},
  doi = {10.1007/978-3-642-15865-0_11},
  isbn = {978-3-642-15864-3},
  language = {English},
  url = {http://dx.doi.org/10.1007/978-3-642-15865-0_11}
}
[49] Hui Ma and Klaus-Dieter Schewe. Conceptual geometric modelling. In David W. Embley and Bernhard Thalheim, editors, Handbook of Conceptual Modeling, pages 421-440. Springer Berlin Heidelberg, 2011.
@incollection{Ma2011c,
  title = {Conceptual Geometric Modelling},
  author = {Ma, Hui and Schewe, Klaus-Dieter},
  booktitle = {Handbook of Conceptual Modeling},
  publisher = {Springer Berlin Heidelberg},
  year = {2011},
  editor = {Embley, David W. and Thalheim, Bernhard},
  pages = {421-440},
  doi = {10.1007/978-3-642-15865-0_13},
  isbn = {978-3-642-15864-3},
  language = {English},
  url = {http://dx.doi.org/10.1007/978-3-642-15865-0_13}
}
[50] Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, and Qing Wang. Cloud warehousing. Journal of Universal Computer Science, 17(8):1183-1201, 2011.
@article{Ma2011b,
  title = {Cloud Warehousing},
  author = {Hui Ma and Klaus-Dieter Schewe and Bernhard Thalheim and Qing Wang},
  journal = {Journal of Universal Computer Science},
  year = {2011},
  number = {8},
  pages = {1183-1201},
  volume = {17},
  abstract = {Data warehouses integrate and aggregate data from various sources to sup-port decision making within an enterprise. Usually, it is assumed that data are extracted from operational databases used by the enterprise. Cloud warehousing relaxes this view permitting data sources to be located anywhere on the world-wide web in a so-called "cloud", which is understood as a registry of services. Thus, we need a model of data-intensive web services, for which we adopt the view of the recently introduced model of abstract state services (AS2s). An AS2 combines a hidden database layer with an operation-equipped view layer, and thus provides an abstraction of web services that can be made available for use by other systems. In this paper we extend this model to an abstract model of clouds by means of an ontology for service description. The ontology can be speci
ed using description logics, where the ABox contains the set of services, and the TBox can be queried to find suitable services. Consequently, AS2 composition can be used for cloud warehousing.},
  doi = {10.3217/jucs-017-08-1183},
  keywords = {cloud computing, data warehouse, service-oriented computing, service composition, tenants, service ontology},
  url = {http://cdcc.faw.jku.at/publications/kdschewe/ma2011b.pdf}
}
[51] Klaus-Dieter Schewe, Károly Bósa, Harald Lampesberger, Ji Ma, Mariam Rady, and Mircea Boris Vleju. Challenges in cloud computing. Scalable Computing: Practice and Experience, 12(4):385-390, 2011.
@article{Schewe2011a,
  title = {Challenges in Cloud Computing},
  author = {Schewe, Klaus-Dieter and K{\'a}roly B{\'o}sa and Harald Lampesberger and Ji Ma and Mariam Rady and Mircea Boris Vleju},
  journal = {Scalable Computing: Practice and Experience},
  year = {2011},
  number = {4},
  pages = {385-390},
  volume = {12},
  comment = {Karoly Bosa}
}
[52] Klaus-Dieter Schewe and Bernhard Thalheim. Web information systems portfolios: A contribution to pragmatics. In Web Information Systems and Technologies, volume 75 of Lecture Notes in Business Information Processing, pages 147-161. Springer Berlin Heidelberg, 2011.
@incollection{Schewe2011d,
  title = {Web Information Systems Portfolios: A Contribution to Pragmatics},
  author = {Schewe, Klaus-Dieter and Thalheim, Bernhard},
  booktitle = {Web Information Systems and Technologies},
  publisher = {Springer Berlin Heidelberg},
  year = {2011},
  pages = {147--161},
  series = {Lecture Notes in Business Information Processing},
  volume = {75},
  doi = {10.1007/978-3-642-22810-0_11},
  isbn = {978-3-642-22809-4},
  keywords = {Pragmatics; Web information system; Information portfolio; Utilisation portfolio; Information services; Community systems},
  url = {http://dx.doi.org/10.1007/978-3-642-22810-0_11}
}
[53] Klaus-Dieter Schewe and Bernhard Thalheim. About semantics. In Semantics in Data and Knowledge Bases, volume 6834 of Lecture Notes in Computer Science, pages 1-22. Springer Berlin Heidelberg, 2011.
@incollection{Schewe2011f,
  title = {About Semantics},
  author = {Schewe, Klaus-Dieter and Thalheim, Bernhard},
  booktitle = {Semantics in Data and Knowledge Bases},
  publisher = {Springer Berlin Heidelberg},
  year = {2011},
  pages = {1-22},
  series = {Lecture Notes in Computer Science},
  volume = {6834},
  doi = {10.1007/978-3-642-23441-5_1},
  isbn = {978-3-642-23440-8},
  url = {http://dx.doi.org/10.1007/978-3-642-23441-5_1}
}
[54] Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, and Xiaofang Zhou, editors. Database and Expert Systems Applications, Part I, volume 6860 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2011.
@book{Hameurlain2011a,
  title = {{Database and Expert Systems Applications, Part I}},
  editor = {Hameurlain, Abdelkader and Liddle, Stephen W. and Schewe, Klaus-Dieter and Zhou, Xiaofang},
  publisher = {Springer Berlin Heidelberg},
  year = {2011},
  series = {Lecture Notes in Computer Science},
  volume = {6860},
  doi = {10.1007/978-3-642-23088-2},
  isbn = {978-3-642-23087-5},
  url = {http://link.springer.com/10.1007/978-3-642-23088-2}
}
[55] Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, and Xiaofang Zhou, editors. Database and Expert Systems Applications, Part II, volume 6861 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2011.
@book{Hameurlain2011b,
  title = {{Database and Expert Systems Applications, Part II}},
  editor = {Hameurlain, Abdelkader and Liddle, Stephen W. and Schewe, Klaus-Dieter and Zhou, Xiaofang},
  publisher = {Springer Berlin Heidelberg},
  year = {2011},
  series = {Lecture Notes in Computer Science},
  volume = {6861},
  doi = {10.1007/978-3-642-23091-2},
  isbn = {978-3-642-23090-5},
  url = {http://link.springer.com/10.1007/978-3-642-23091-2}
}
[56] Klaus-Dieter Schewe and Bernhard Thalheim, editors. Semantics in Data and Knowledge Bases, volume 6834 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2011.
@book{Schewe2011c,
  title = {{Semantics in Data and Knowledge Bases}},
  editor = {Schewe, Klaus-Dieter and Thalheim, Bernhard},
  publisher = {Springer Berlin Heidelberg},
  year = {2011},
  series = {Lecture Notes in Computer Science},
  volume = {6834},
  doi = {10.1007/978-3-642-23441-5},
  isbn = {978-3-642-23440-8},
  url = {http://link.springer.com/10.1007/978-3-642-23441-5}
}
[57] Attila Sali and Klaus-Dieter Schewe. Weak functional dependencies on trees with restructuring. Acta Cybernetica, 20(2):285-329, 2011.
@article{Sali2011,
  title = {Weak Functional Dependencies on Trees with Restructuring},
  author = {Attila Sali and Klaus-Dieter Schewe},
  journal = {Acta Cybernetica},
  year = {2011},
  number = {2},
  pages = {285-329},
  volume = {20},
  abstract = {We present an axiomatisation for weak functional dependencies, i.e. disjunctions of functional dependencies, in the presence of several constructors for complex values. The investigated constructors capture records, sets, multisets, lists, disjoint union and optionality, i.e. the complex values are indeed trees. The constructors cover the gist of all complex value data models including object oriented databases and XML. Functional and weak functional dependencies are expressed on a lattice of subattributes, which even carries the structure of a Brouwer algebra as long as the union-constructor is absent. Its presence, however, complicates all results and proofs significantly. The reason for this is that the union-constructor causes non-trivial restructuring rules to hold. In particular, if either the set- or the the union-constructor is absent, a subset of the rules is complete for the implication of ordinary functional dependencies, while in the general case no finite axiomatisation for functional dependencies exists.}
}
[58] Klaus-Dieter Schewe and Qing Wang. Partial updates in complex-value databases. In Information Modelling and Knowledge Bases XXII, volume 225 of Frontiers in Artificial Intelligence and Applications, pages 37-56. IOS Press, 2011.
@incollection{Schewe2011e,
  title = {Partial Updates in Complex-Value Databases},
  author = {Klaus-Dieter Schewe and Qing Wang},
  booktitle = {Information Modelling and Knowledge Bases XXII},
  publisher = {IOS Press},
  year = {2011},
  pages = {37--56},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {225},
  isbn = {78-1-60750-689-8}
}
[59] Bernhard Thalheim and Klaus-Dieter Schewe. Null value algebras and logics. In Information Modelling and Knowledge Bases XXII, volume 225 of Frontiers in Artificial Intelligence and Applications, pages 354-367. IOS Press, 2011.
@incollection{Thalheim2011a,
  title = {Null value algebras and logics},
  author = {Bernhard Thalheim and Klaus-Dieter Schewe},
  booktitle = {Information Modelling and Knowledge Bases XXII},
  publisher = {IOS Press},
  year = {2011},
  pages = {354--367},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {225},
  isbn = {78-1-60750-689-8}
}

This file was generated by bibtex2html 1.95.

Other Publications

Refereed Journal Articles

  1. H. Ma, R. Noack, K.-D. Schewe, B. Thalheim, Q. Wang: Complete Conceptual Schema Algebras, Fundamenta Informaticae, 2012 (to appear)

  2. H. Ma, K.-D. Schewe, B. Thalheim, Q. Wang: A Formal Model for the Interoperability of Service Clouds, Service-Oriented Computing and Applications, 2012 (to appear)

  3. A. Sali, K.-D. Schewe: Weak Functional Dependencies on Trees with Restructuring, Acta Cybernetica, vol. 20 (2), pp. 285-329, 2011.

  4. K.-D. Schewe, K. Bosa, H. Lampesberger, J. Ma, M. Rady, B. Vleju: Challenges in Cloud Computing, Scalable Computing: Practice and Experience, vol. 12 (4), pp. 385-390, 2011.

  5. H. Ma, K.-D. Schewe, B. Thalheim, Q. Wang: Cloud Warehousing, Journal of Universal Computer Science, special issue on Cloud Computing, vol. 17 (8), pp. 1183-1201, 2011.

  6. K.-D. Schewe, Q. Wang: XML Database Transformations, Journal of Universal Computer Science, vol. 16 (20), pp. 3043-3072, 2010.

  7. K.-D. Schewe, Q. Wang: A Customised ASM Thesis for Database Transformations, Acta Cybernetica, vol. 19 (4), pp. 765-805, 2010.

  8. H. Ma, R. Noack, K.-D. Schewe, B. Thalheim: Using Meta-Structures in Database Design, Informatica, vol. 34 (3), pp. 387-403, 2010.

  9. H. Ma, K.-D. Schewe: Fragmentation of XML Documents, Journal of Information and Data Management, vol. 1 (1), pp. 21-34, 2010.

  10. H. Ma, K.-D. Schewe: "Fragmentation of XML Documents" revisited, Journal of Information and Data Management, vol. 1 (1), pp. 35-36, 2010.

  11. H. Ma, K.-D. Schewe, B. Thalheim, Q. Wang: A Theory of Data-Intensive Software Services, Service Oriented Computing and Its Applications, vol. 3 (4), pp. 263-283, 2009.

  12. K.-D. Schewe, B. Thalheim, Q. Wang: Updates, Schema Updates and Validation of XML Documents - Using Abstract State Machines with Automata-Defined States, Journal of Universal Computer Science, vol. 15 (10), pp. 2028-2057, 2009.

  13. A. Sali, K.-D. Schewe: A Characterisation of Coincidence Ideals for Complex Values, Journal of Universal Computer Science, vol. 15 (1), pp. 304-354, 2009.

  14. J. Zhao, K.-D. Schewe, H. Köhler: Dynamic Data Warehouse Design with Abstract State Machines, Journal of Universal Computer Science, vol. 15 (1), pp. 355-397, 2009.

  15. K.-D. Schewe, B. Thalheim, Q. Wang: Customising Web Information Systems According to User Preferences, World Wide Web, vol. 12 (1), pp. 27-50, 2009.

  16. A. Sali, K.-D. Schewe: Keys and Armstrong Databases in Trees with Restructuring, Acta Cybernetica, vol. 18 (3), pp. 529-556, 2008.

  17. K.-D. Schewe, J. Zhao: Typed Abstract State Machines for Data-Intensive Applications, Knowledge and Information Systems, vol. 15 (3), pp. 381-391, 2008.

  18. G.O.H. Katona, A. Sali, K.-D. Schewe: Codes that attain minimum distance in every possible direction, Central European Journal of Mathematics, vol. 6 (1), pp. 1-11, 2008.

  19. K.-D. Schewe, B. Thalheim: Pragmatics of Storyboarding for Web Information Systems: Usage Analysis, International Journal of Web and Grid Services, vol. 3(2): 128-169, 2007.

  20. K.-D. Schewe, B. Thalheim: Personalisation of Web Information Systems - A Term Rewriting Approach, Data and Knowledge Engineering, vol. 62(1): 101-117, 2007.

  21. H. Ma, K.-D. Schewe, Q. Wang: Distribution Design for Higher-Order Data Models, Data and Knowledge Engineering, vol. 60(2): 400-434, 2007.

  22. M. Kirchberg, K.-D. Schewe, A. Tretiakov, R. Wang: A Multi-Level Architecture for Distributed Object Bases. Data &Knowledge Engineering, vol. 60(1): 150-184, 2007.

  23. M.Kirchberg, F. Riaz-ud-Din, K.-D. Schewe, A. Tretiakov: Towards Algebraic Query Optimisation for XML, Journal on Data Semantics, vol. VII: 165-195, 2006.

  24. H. C. Mayr, K.-D. Schewe, B. Thalheim, T. Welzer: Integration of Bargaining into E-Business Systems, Informatica vol. 30(3): 335-345, 2006.

  25. S. Hartmann, S. Link, K.-D. Schewe: Functional and Multivalued Dependencies in Nested Databases Generated by Record and List Constructor, Annals of Mathematics and Artificial Intelligence vol. 46, pp. 114-164, 2006.

  26. S. Hartmann, S. Link, K.-D. Schewe: Axiomatisation of Functional Dependencies in the Presence of Records, Lists, Sets and Multisets, Theoretical Computer Science, vol. 355, pp. 167-196, 2006.

  27. R. Kaschek, C. Matthews, K.-D. Schewe, C. Wallace: Information Systems Design: Through Adaptivity to Ubiquity. Information Systems and E-Business Management, vol. 4(2): 137-158, 2006.

  28. A. Sali, K.-D. Schewe: Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels, Fundamenta Informaticae, vol. 70(3): 277-301, 2006.

  29. T. Moritz, K.-D. Schewe, B. Thalheim: Strategic Modelling of Web Information Systems, International Journal on Web Information Systems, vol. 1 (4), pp. 77-94, 2005.

  30. K.-D. Schewe: Functional Dependencies with Counting on Trees, Journal of Universal Computer Science vol. 11 (12): 2063-2075, 2005.

  31. H. Ma, K.-D.Schewe, B. Thalheim, J. Zhao: View Integration and Cooperation in Databases, Data Warehouses and Web Information Systems, Journal on Data Semantics, vol. IV: pp. 213-249, 2005.

  32. S. Hartmann, S. Link, K.-D. Schewe: Functional Dependencies over XML Documents with DTDs, Acta Cybernetica vol. 17 (1): 153-171, 2005.

  33. K.-D. Schewe, B. Thalheim: Conceptual Modelling of Web Information Systems. Data & Knowledge Engineering vol. 54(2): 147-188, 2005.

  34. K.-D.Schewe, J.M. Turull Torres: A Theory of Local Set Queries. The Logic Journal of the IGPL. vol. 13(1): 47-68, 2005.

  35. K.-D.Schewe, B. Thalheim, A. Binemann-Zdanowicz, R. Kaschek, T. Kuss, B. Tschiedel: A Conceptual View of Electronic Learning Systems. Education and Information Technologies, vol. 10 (1-2): pp. 83-110, 2005.

  36. K.-D. Schewe, R. Kaschek, C. Wallace, C. Matthews: Emphasizing the Communication Aspects for the Successful Development of Electronic Business Systems. Information Systems and E-Business Management, vol. 3(1): 71-100, 2005.

  37. K.-D. Schewe, B. Thalheim: The Co-Design Approach to Web Information Systems Development, International Journal on Web Information Systems, vol. 1(1): pp. 5-14, 2005.

  38. K.-D. Schewe, Kinshuk, T. Goh: Content Adaptivity in Wireless Web Access. International Journal of Mobile Communications, vol. 2(3): 260-270, 2004.

  39. S. Link, K.-D. Schewe: Distance Functional Dependencies in the Presence of Complex Values, Acta Cybernetica, vol. 16 (3): 459-472, 2004.

  40. S. Hartmann, S. Link, K.-D. Schewe, B. Thalheim: Error-Robust Functional Dependencies, Fundamenta Informaticae vol. 59 (4): 365-372, 2004

  41. S. Hartmann, A. Hoffmann, S. Link, K.-D. Schewe: Axiomatizing Functional Dependencies in the Higher-Order Entity-Relationship Model. Information Processing Letters vol. 87(3): pp. 133-137, 2003

  42. K.-D. Schewe, J. M. Turull Torres: Computable Queries for Object Oriented Databases - The FINSET Case. Electronic Notes in Theoretical Computer Science. 2002.

  43. S. Link, K.-D. Schewe: Towards an Arithmetic Theory of Consistency Enforcement Based on Preservation of Delta-Constraints. Electronic Notes in Theoretical Computer Science. vol. 61, 2002.

  44. S. Link, K.-D. Schewe: An Arithmetic Theory of Consistency Enforcement. Acta Cybernetica, vol. 15, 2002.

  45. S. Link, K.-D. Schewe: Computability and Decidability Issues in the Theory of Consistency Enforcement. Electronic Notes in Theoretical Computer Science. vol. 42, 2001.

  46. K.-D. Schewe, T. Ripke, S. Drechsler: Hybrid Concurrency Control and Recovery for Multi-Level Transactions, Acta Cybernetica, vol. 14 (2000), 419-453

  47. K.-D. Schewe, B. Schewe: Integrating Database and Dialogue Design, Knowledge and Information Systems, vol. 2 (1), 2000, 1-32

  48. K.-D. Schewe: Fundamentals of object oriented database modelling, Intelligent Systems, vol. 4 (1-2), 1999, 195-224, in Russian, English translation

  49. K.-D. Schewe, B. Thalheim: Towards a Theory of Consistency Enforcement, Acta Informatica, vol. 36, 1999, 97-141

  50. K.-D. Schewe, B. Thalheim: Limits of Rule Triggering Systems for Integrity Maintenance in the Context of Transition Specifications, Acta Cybernetica, vol. 13 (1998), 277-304

  51. K.-D. Schewe: Consistency Enforcement in Entity-Relationship and object oriented models, Data and Knowledge Engineering, vol. 28 (1998), 121-140

  52. B. Schewe, K.-D. Schewe, B. Thalheim: Objektorientierter Datenbankentwurf in der Entwicklung betrieblicher Informationssysteme, Informatik - Forschung und Entwicklung, vol. 10 (1995), 115 - 127 (in German)

  53. K.-D. Schewe, B. Thalheim: Fundamental Concepts of Object Oriented Databases, Acta Cybernetica, vol. 11 (4), 1993, 49-84

  54. B. Schewe, K.-D. Schewe, B. Thalheim: Verfeinerungsschritte im Rahmen einer objektorientierten Entwurfsmethodik, GI-Fachgruppe Datenbanken, Rundbrief 12/1993

Submitted:

  1. K.-D. Schewe, Q. Wang: A Complete Logic for Non-Deterministic Database Transformations, submitted for publication (Acta Informatica)

  2. K.-D. Schewe, Q. Wang: Knowledge-Aware Identity Services, submitted for publication (Knowledge and Information Systems)

  3. C. Natschläger, F. Kossak, K.-D. Schewe: BPMN to Deontic BPMN: A Trusted Model Transformation, submitted for publication (Journal on Data Semantics)

Books, Edited Volumes, and Research Monographs

  1. S. Liddle, K.-D. Schewe, X. Zhou (Eds.): Database and Expert Systems Applications - Proceedings DEXA 2012, Springer LNCS, (to appear 2012)

  2. S. Liddle, K.-D. Schewe, X. Zhou (Eds.): Database and Expert Systems Applications, Special Issue of Transactions of Large-Scale Data and Knowledge-Based Systems (revised, selected papers from DEXA 2011), (to appear)

  3. K.-D. Schewe, B. Thalheim (Eds.): Semantics in Data and Knowledge Bases - Proceedings SDKB 2011 (ICALP Workshop), Springer LNCS, (to appear 2012)

  4. H. Ma, K.-D. Schewe, B. Thalheim, Q. Wang (Eds.): Conceptual Modelling of Services - Proceedings CMS 2011 (ICDKE Workshop), Journal of Universal Computer Science (to appear 2012)

  5. A. Düsterhöft, M. Klettke, K.-D. Schewe (Eds.): Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday, Springer LNCS Festschrift vol. 7260.

  6. S. Liddle, K.-D. Schewe, X. Zhou, A. Hameurlain (Eds.): Database and Expert Systems Applications - Proceedings DEXA 2011, Springer LNCS vol. 6860 &6861, 2011.

  7. K.-D. Schewe, B. Thalheim (Eds.): Semantics in Data and Knowledge Bases - Proceedings SDKB 2010 (ICALP Workshop), Springer LNCS vol. 6834, 2011.

  8. M. Kirchberg, K,-D. Schewe (Eds.): Journal of Universal Computer Science, vol. 16 (20): Special Issue on the Workshop "Evolving Theories of Conceptual Modelling" - ETheCoM 2009 (Gramado, Brazil, October 2009), 2010.

  9. C. Parent, K.-D. Schewe, V. C. Storey (Eds.): Data and Knowledge Engineering vol. 68(7): Special Issue on Conceptual Modeling - Selected, Extended Papers from ER 2007, 2009.

  10. K.-D. Schewe: Journal of Universal Computer Science: Special Issue on the Workshop "Logic, Abstract State Machines and Databases" (Palmerston North, October 2007), vol. 15 (1), 2009.

  11. J. Bailey, D. Maier, K.-D. Schewe, B. Thalheim, X. S. Wang (Eds.): Web Information Systems Engineering - Proceedings WISE 2008, Springer LNCS vol. 5175, 2008.

  12. K.-D. Schewe, B. Thalheim (Eds.): Semantics in Data and Knowledge Bases - Proceedings SDKB 2008 (EDBT Workshop), Springer LNCS vol. 4925, 2008.

  13. C. Parent, K.-D. Schewe, V. C. Storey, B. Thalheim (Eds.): Conceptual Modeling - Proceedings ER 2007, Springer LNCS vol. 4801, 2007.

  14. H.-D. Ehrich, K.-D. Schewe, T.H. Tse (Eds.): Journal of Systems and Software: Special Issue on Quality Software, vol. 79 (5), Elsevier 2006.

  15. H.-D. Ehrich, K.-D. Schewe (Eds.): Proceedings of the Fourth International Conference on Quality Software (QSIC 2004), IEEE Computer Society 2004

  16. K.-D. Schewe, H. Williams (Eds.): Advances in Database Technology, Proceedings ADC'2004, CRPIT vol. 27, 2004

  17. T. Eiter, K.-D. Schewe (Eds.): Annals of Mathematics and Artificial Intelligence: Special Issue on Foundations of Information and Knowledge Systems, vol. 40 (1-2), 2004.

  18. K.-D. Schewe, X. Zhou (Eds.): Advances in Database Technology, Proceedings ADC'2003, CRPIT vol. 17, 2003

  19. L. Bertossi, G.O.H. Katona, K.-D. Schewe, B. Thalheim (Eds.): Semantics of Databases, Springer LNCS vol. 2582, 2003

  20. N. Callaos, W. Lesso, K.-D. Schewe, E. Atlam (Eds.): SCI 2003 - 7th World Multiconference on Systemics, Cybernetics and Informatics, Proceedings volume XII, 2003

  21. N. Callaos, W. Lesso, S. Rahimi, V. Boonjiing, J. Mohamad, T.-K. Liu, K.-D. Schewe (Eds.): SCI 2003 - 7th World Multiconference on Systemics, Cybernetics and Informatics, Proceedings volume IX, 2003

  22. T. Eiter, K.-D. Schewe (Eds.):Foundations of Information and Knowledge Systems, Proceedings of Second International Symposium. Springer LNCS vol. 2284, 2002

  23. K.-D. Schewe, B. Thalheim (Eds.): Annals of Mathematics and Artificial Intelligence: Special Issue on Foundations of Information and Knowledge Systems, 2001 vol. 33 no. 2-4

  24. K.-D. Schewe, B. Thalheim (Eds.): Foundations of Information and Knowledge Systems, Proceedings of First International Symposium, Springer LNCS vol. 1762, 2000

  25. T. Polle, T. Ripke, K.-D. Schewe (Eds.): Fundamentals of Information Systems, Kluwer Academic Publishing, 1999

  26. K.-D. Schewe: Specification and Development of Correct Relational Database Programs, Research Monograph, TU Clausthal 1997

  27. K.-D. Schewe: Specification of Data-Intensive Application Systems, Habilitation Thesis, BTU Cottbus, 1994

  28. K.-D. Schewe: Blöcke exzeptioneller Chevalley-Gruppen, Ph. D. Thesis, Bonn 1985, Bonner Mathematische Schriften Nr. 165 (in German)

  29. K.-D. Schaper: Charakterformeln für Weyl-Moduln und Specht-Moduln in Primcharakteristik, M. Sc. Thesis, Bonn 1981 (in German)

Refereed Book Chapters and Conference Articles

  1. K.-D. Schewe, Q. Wang: A Simpli ed Parallel ASM Thesis (extended abstract), in Proc. ABZ 2012 (to appear)

  2. K.-D. Schewe, Q. Wang: On the Decidability and Complexity of Identity Knowledge Representation and Optimisation, in Proc. DASFAA 2012 (to appear)

  3. C. Natschläger, K.-D. Schewe: A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation, in Andrew Fish and Leen Lambers (Eds.): Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2012), pp. 160-173, Electronic Communications of the EASST, 2012.

  4. K.-D. Schewe, Q. Wang: Synchronous Parallel Database Transformations, in T. Lukasiewicz, A. Sali (Eds.): Foundations of Information and Knowledge Bases (FoIKS 2012), Springer LNCS vol. 7153, pp. 371-384, 2012.

  5. K.-D. Schewe, K. Bosa, H. Lampesberger, J. Ma, B. Vleju: The Christian Doppler Laboratory for Client-Centric Cloud Computing, 2nd Workshop on Software Services (WoSS 2011), Timisoara 2011.

  6. K.-D. Schewe, B. Thalheim: About Semantics, in Semantics in Data and Knowledge Bases - Proceedings SDKB 2010, Eds. K.-D. Schewe and B. Thalheim, Springer LNCS vol. 6834, pp. 1-23, 2011.

  7. K.-D. Schewe, B. Thalheim: Web Information Systems Portfolios - A Contribution to Pragmatics, in Web Information Systems and Technologies - Selected Papers from WebIST 2010, Eds. J. Filipe and J. Cordeiro, Springer LNBIP vol. 75, pp. 147-161, 2011.

  8. K.-D. Schewe, Q. Wang: Partial Updates in Complex-Value Databases, in Information and Knowledge Bases XXII, IOS Press: Frontiers in Artificial Intelligence and Applications, vol. 225 (Eds. A. Heimbürger et al.), pp. 37-56, 2011.

  9. B. Thalheim, K.-D. Schewe: Null Value Algebras and Logics, in Information and Knowledge Bases XXII, IOS Press: Frontiers in Artificial Intelligence and Applications, vol. 225 (Eds. A. Heimbürger et al.), pp. 354-367, 2011.

  10. A. Düsterhöft, K.-D. Schewe: Conceptual Modelling of Application Stories, in Handbook of Conceptual Modelling (Eds.: D. Embley, B. Thalheim), Chapter 11, pp. 359-378, Springer-Verlag 2011.

  11. H. Ma, K.-D. Schewe: Conceptual Geometric Modelling, in Handbook of Conceptual Modelling (Eds.: D. Embley, B. Thalheim), Chapter 13, pp. 421-440, Springer-Verlag 2011.

  12. H. Ma, K.-D. Schewe, H. Xie: A Service-Oriented Approach to Web Warehousing Using XML for Cloud Specification and XQuery for Service Discovery, in Proc. 12th International Conference on Information Integration and Web-based Applications & Services (iiWAS), Eds.: G. Kotsis, D. Taniar, E. Pardede, I. Saleh, I. Khalil, ACM and Austrian Computer Society, pp. 124-131, 2010.

  13. K.-D. Schewe, Q. Wang: A Formal Model for Service Mediators, in J. Trujillo et al. (Eds.): Advances in Conceptual Modeling - Applications and Challenges (ER 2010 Workshops), Springer LNCS, vol. 6413, pp. 76-85, 2010

  14. K.-D. Schewe, Q. Wang: Partial Updates in Complex-Value Databases, Proc. EJC 2010, pp. 45-64, University of Jyväskylä 2010

  15. Q. Wang, K.-D. Schewe, B. Thalheim: A Fixed-Point Query Language for XML, in T. Welzer Druzovec, H. Jaakkola, Y. Kiyoki, T. Tokuda and N. Yoshida (Eds.): Information and Knowledge Bases XXI, IOS Press: Frontiers in Artificial Intelligence and Applications, vol. 206, 2010.

  16. K.-D. Schewe, B. Thalheim: Pragmatics of Storyboarding - Web Information Systems Portfolios, in Proc. WebIST 2010.

  17. H. Ma, K.-D. Schewe, Q. Wang: An Abstract Model for Service Provision, Search and Composition, in Services Computing Conference - APSCC 2009, IEEE Asia Pacific 2009, pp. 95-102.

  18. H. Ma, K.-D. Schewe, B. Thalheim, Q. Wang: A Service-Oriented Approach to Web Warehousing, in Proceedings of the 11th International Conference on Information Integration and Web-based Applications and Services (iiWAS 2009, Eds.: G. Kotsis, D. Taniar, E. Pardede, I. Khalil), ACM and Austrian Computer Society, pp. 94-101, 2009.

  19. H. Ma, K.-D. Schewe, B. Thalheim: Geometrically Enhanced Conceptual Modelling, in A. Laender, S. Castano, U. Dayal, F. Casati, J. P. Moreira de Oliveira (Eds.): Conceptual Modeling - ER 2009, Springer LNCS vol. 5829, pp. 219-233, 2009.

  20. H. Ma, R. Noack, K.-D. Schewe: Algebraic Meta-Structure Handling of Huge Database Schemata, in C. Heuser, G. Pernul (Eds.): Advances in Conceptual Modeling - Challenging Perspectives, Springer LNCS vol. 5833, pp. 12-21, 2009.

  21. Q. Wang, K.-D. Schewe, B. Thalheim: A Fixed-Point Query Language for XML, in Proceedings EJC 2009, University of Maribor 2009.

  22. M. Kirchberg, K.-D. Schewe, J. Zhao: Using Abstract State Machines for the Design of Multi-Level Transaction Schedulers, in J.-R. Abrial, U. Glaesser (Eds.): Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday, Springer LNCS Festschrift vol. 5115, pp. 65-77, 2009.

  23. H. Ma, K.-D. Schewe, B. Thalheim: Modelling and Maintenance of Very Large Database Schemata Using Meta-Structures, In J. Yang et al. (Eds.): Information Systems: Modeling, Development, and Integration, Proceedings UNISCON 2009, Springer LNBIP vol. 20, pp. 17-28, 2009

  24. J. Speer, M. Kirchberg, F. Riaz-ud-Din, K.-D. Schewe: Solving the Golden Transaction Problem for ARIES-based Multi-level Recovery. In A. Bouguettaya and X. Lin (Eds.): Proceedings of the 20th Australasian Database Conference (ADC), Conferences in Research and Practice in Information Technology, Volume 92. Australian Computer Society Inc., pp. 19-28, 2009.

  25. B. Thalheim, K.-D. Schewe, H. Ma: Conceptual Application Domain Modelling. In M. Kirchberg and S. Link (Eds.): Proceedings of the 6th Asia-Pacific Conference on Conceptual Modelling (APCCM), Conferences in Research and Practice in Information Technology, Volume 96. Australian Computer Society Inc., pp. 49-57, 2009.

  26. K.-D. Schewe, B. Thalheim, Q. Wang: Validation of Streaming XML Documents with Abstract State Machines, In: Proceedings iiWAS 2008 - The 10th International Conference on Information Integration and Web-based Applications & Services (Eds. G. Kotsis, D. Taniar, E. Pardede, I. Khalil), pp. 147-153, ACM 2008.

  27. K.-D. Schewe, B. Thalheim: Semantics in Data and Knowledge Bases, in Proceedings SDKB 2008 (EDBT Workshop), Springer LNCS vol. 4925, pp. 1-25, 2008.

  28. H. Ma, K.-D. Schewe, B. Thalheim, Q. Wang: Abstract State Services - A Theory of Web Services, in Il-Yeol Song et al. (Eds.): Advances in Conceptual Modeling - Challenges and Opportunities, ER 2008 Workshops, Springer LNCS vol. 5232, pp. 406-415, 2008.

  29. Q. Wang, K.-D. Schewe, B. Thalheim: XML Database Transformations with Tree Updates, in E. Börger, M. Butler, J.P. Bowen, P. Boca (Eds.): Abstract State Machines, B and Z (Proc. ABZ 2008), Springer LNCS vol. 5175, p. 342, 2008.

  30. K.-D. Schewe, B. Thalheim: Life Cases: A Kernel Element for Web Information Systems Engineering, in J. Filip, J. Cordeiro (EDs.): Web Information Systems and Technologies - Selected Papers from WebIST2007, Springer Lecture Notes in Business Information Processing (LNBIP), vol. 8, pp. 139-156, 2008.

  31. K.-D. Schewe, B. Thalheim: Facets of Media Types, in R. Kaschek, C. Kop, C. Steinberger, G. Fliedl (Eds.): Information Systems and e-Business Technologies (Proc. UNISCON 2008), invited paper, Springer Lecture Notes in Business Information Processing (LNBIP), vol. 5, pp. 296-305, Springer-Verlag 2008.

  32. B. Thalheim, K.-D. Schewe: ASM Foundations of Database Management, in R. Kaschek, C. Kop, C. Steinberger, G. Fliedl (Eds.): Information Systems and e-Business Technologies (Proc. UNISCON 2008), invited paper, Springer Lecture Notes in Business Information Processing (LNBIP), vol. 5, pp. 318-331, Springer-Verlag 2008.

  33. M. Kirchberg, F. Riaz-ud-Din, K.-D. Schewe: A Query Language for Rational Tree Structures, in R. Kaschek, C. Kop, C. Steinberger, G. Fliedl (Eds.): Information Systems and e-Business Technologies (Proc. UNISCON 2008), Springer Lecture Notes in Business Information Processing (LNBIP), vol. 5, pp. 457-468, Springer-Verlag 2008.

  34. K.-D. Schewe, B. Thalheim: Storyboarding Concepts for Edutainment WIS, In H. Jaakkola, Y. Kiyoki, T. Tokuda (Eds.): Information and Knowledge Bases XIX, IOS Press: Frontiers in Artificial Intelligence and Applications vol. 166, pp. 59-78, 2008.

  35. Q. Wang, K.-D. Schewe: Towards a Logic for Abstract Meta-Finite State Machines, in S. Hartmann, G. Kern-Isberner (Eds.): Foundations of Information and Knowledge Systems - Proc. FoIKS 2008, Springer LNCS vol. 4932, pp. 365-380, 2008.

  36. Q. Wang, K.-D. Schewe: A Typed Higher-Order Calculus for Querying XML Databases, in Proc. ADC 2008.

  37. H. Ma, K.-D. Schewe, B. Thalheim: Context Analysis: Toward Pragmatics of Web Information Systems Design, in Proc. APCCM 2008

  38. H. Ma, R. Noack, F. Riaz-ud-Din, K.-D. Schewe, B. Thalheim: Capturing Forms in Web Information Systems, in Proc. 4th International Conference on Innovations in Information Technology (Innovations'07), IEEE 2007

  39. K.-D. Schewe, B. Thalheim: Term Rewriting for Web Information Systems - Termination and Church-Rosser Property, in B. Benatallah et al. (Eds.): Web Information Systems Engineering - WISE 2007, Springer LNCS vol. 4831, pp. 261-272, 2007.

  40. K.-D. Schewe, B. Thalheim, J. Zhao: Quality Assurance in Web Information Systems Development, in Proc. 7th International Conference on Quality Software (QSIC 2007), Eds. A. Mathur, E. Wong, M. F. Lau, IEEE Computer Society 2007, pp. 219-224.

  41. T. Moritz, R. Noack, K.-D. Schewe, B. Thalheim: Intention-Driven Screenography, Proc. ISTA 2007, LNI vol. P-107. pp. 128-139.

  42. T. Moritz, R. Noack, K.-D. Schewe, B. Thalheim: Principles of Screenography, Proc. CAISE Forum 2007.

  43. Q. Wang, K.-D. Schewe: Axiomatization of Database Transformations, Proc. ASM 2007.

  44. K.-D. Schewe, B. Thalheim: Storyboarding Concepts for Edutainment WIS, Proc. EJC 2007, pp. 59-78.

  45. K.-D. Schewe, B. Thalheim: Development of Collaboration Frameworks for Web Information Systems, IJCAI-Workshop on Evolutionary Models of Collaboration (EMC'07), Eds. S. Srinivasa, M. Schaal, R. Müller, Hyderabad (India) 2007.

  46. S. Hartmann, H. Ma, K.-D. Schewe: Cost-Based Vertical Fragmentation for XML, Proc. DBMAN 2007, in K.C. Chang et al. (Eds.): WAIM / APWeb 2007 Workshops, LNCS vol. 4537, pp. 12-24, Springer-Verlag 2007.

  47. H. Ma, K.-D. Schewe, M. Kirchberg. A Heuristic Approach to Fragmentation Incorporating Query Information. In O. Vasilecas, J. Eder and A. Caplinskas (Eds.): Databases and Information Systems IV, Frontiers in Artificial Intelligence and Applications, Volume 155, pp. 103-116, IOS Press, 2007.

  48. K.-D. Schewe, B. Thalheim: Life Cases - An Approach to Address Pragmatics in the Design of Web Information Systems, Proc. WebIST 2007, pp. 5-12.

  49. H. Ma, K.-D. Schewe, Q. Wang: A Heuristic Approach to Cost-Efficient Derived Horizontal Fragmentation of Complex Value Databases, in Database Technologies 2007 - Proc. ADC 2007 (Eds. J. Bailey, A. Fekete), vol. 63 of CRPIT, pp. 103-112.

  50. H. Köhler, K.-D. Schewe, J. Zhao: Dynamic Data Warehouse Design using View Integration, in Conceptual Modelling 2007 - Proc. APCCM 2007 (Eds. A. Hinze, J. Roddick), vol. 67 of CRPIT, pp. 61-69.

  51. K.-D. Schewe, B. Thalheim, A. Tretiakov: Formalisation of User Preferences, Obligations and Rights, in Intelligent Assistants Systems - Concepts, Techniques and Technologies (Ed. R. Kaschek), pp. 114-143, IDEA group 2006.

  52. S. Link, K.-D. Schewe, J. Zhao: Refinements in Typed Abstract State Machines, in Andrei Ershov Memorial Conferencecon Perspectives of Systems Informatics - PSI 2006 (Eds. I. Virbitskaite, A. Voronkov), Springer LNCS vol. 4378, pp. 297-309, 2006.

  53. K.-D. Schewe, B. Thalheim: User Models - A Contribution to Pragmatics of Web Information Systems Design, in Web Information Systems -- Proceedings WISE 2006 (Eds. K. Aberer, Z. Peng, E. Rundensteiner), Springer LNCS vol. 4255, pp. 512-523, 2006.

  54. A. Bienemann, K.-D. Schewe, B. Thalheim: Towards a Theory of Genericity Based on Government and Binding, in Conceptual Modelling - Proc. ER 2006 (Eds. D.W. Embley, A. Olive, S. Ram), Springer LNCS vol. 4215 , pp. 311-324, 2006.

  55. H. Ma, K.-D. Schewe, J. Zhao: View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement, Proc. QSIC 2006, pp. 175-182, IEEE Computer Society.

  56. F. Riaz-ud-Din, K.-D. Schewe: An Architecture for Achieving Value-Representability in Object-Oriented Databases, in Proc. Innovations in Information Technology 2006.

  57. H. Ma, K.-D. Schewe, M. Kirchberg: A Heuristic Approach to Vertical Fragmentation Incorporating Query Information, in O. Vasilecas, J. Eder and A. Caplinskas (Eds.): Proc. 7th International Baltic Conference on Databases and Information Systems (Baltic DB&IS 2006), pp. 69-76, IEEE Computer Society 2006.

  58. K.-D. Schewe, J. M. Turull Torres: Fixed-Point Quantifiers in Higher Order Logics, in Information Modelling and Knowledge Bases vol. XVII (Eds. Y. Kiyoki, H. Kangassalo, H. Jaakkola, J. Henno), IOS Press: Frontiers in Artificial Intelligence and Applications, vol. 136, pp. 237-244, Amsterdam 2006.

  59. H. Ma, K.-D. Schewe: Query Optimisation as Part of Distribution Design for Complex Value Databases, in Information Modelling and Knowledge Bases vol. XVII (Eds. Y. Kiyoki, H. Kangassalo, H. Jaakkola, J. Henno), IOS Press: Frontiers in Artificial Intelligence and Applications, vol. 136, pp. 289-296, Amsterdam 2006.

  60. K.-D. Schewe, B. Thalheim: Component-Driven Engineering of Database Applications, Conceptual Modelling 2006 (Eds. M. Stumptner, S. Hartmann, Y. Kiyoki), CRPIT vol. 53, pp. 105-114, 2006.

  61. H. Ma, K.-D. Schewe, Q. Wang: A Heuristic Approach to Cost-Efficient Fragmentation and Allocation of Complex Value Databases, Database Technologies 2006 (Eds. J. Bailey, G. Dobbie), CRPIT vol. 49, pp. 183-192, 2006.

  62. M.Kirchberg, F. Riaz-ud-Din, K.-D. Schewe, A. Tretiakov: Using Reflection for Querying XML Documents, Database Technologies 2006 (Eds. J. Bailey, G. Dobbie), CRPIT vol. 49, pp. 119-128, 2006.

  63. K.-D. Schewe: Bargaining in E-Business Systems, in: Perspectives in Conceptual Modeling - ER 2005 Workshops (Eds. J. Akoka, S. Liddle, I.-Y. Song, M. Bertolotto, I. Comyn-Wattiau, W.-J. van den Heuvel, M. Kolp, J. Trujillo, C. Kop, H. C. Mayr) , Springer LNCS vol. 3770, pp. 333-342, 2005

  64. K.-D. Schewe, B. Thalheim: An Algorithmic Approach to High-Level Personalisation of Web Information Systems, Advances in Web-Age Information Management - Proc. WAIM 2005 (Eds. W. Fan, Z. Wu, J. Yang), LNCS vol. 3739, pp. 737-742, Springer-Verlag 2005

  65. A. Binemann-Zdanowicz, K.-D. Schewe, B. Thalheim: Development of Collaboration Frameworks for Distributed Web Information Systems, in Proc. 7th International Conference on Information Integration and Web-Based Applications and Services (IIWAS 2005), vol. 2, pp. 551-562, Eds. G. Kotsis, D. Taniar, S. Bressan, I. K. Ibrahim, S. Mokhtar, Österreichische Computer Gesellschaft 2005.

  66. A. Binemann-Zdanowicz, K.-D. Schewe, B. Thalheim, J. Zhao: Quality Assurance in the Design of Web Information Systems, 5th International Conference on Quality Software (QSIC 2005), pp. 91-98, Eds.: K.-Y. Cai, A. Ohnishi, M.F. Lau, IEEE Computer Society 2005.

  67. T. Moritz, K.-D. Schewe, B. Thalheim: Strategic Modelling of Web Information Systems and Its Impact on Visual Design Patterns (invited paper), Proc. ICWE 2005 Workshop on Web Information Systems Modelling -- WISM 2005 (Eds. Flavius Frasincar, Geert-Jan Houben, Richard Vdovjak), pp. 5-13, University of Wollongong, School of IT and Computer Science, 2005

  68. K.-D. Schewe, B. Thalheim, A. Tretiakov: Personalised Web-Based Learning Systems, Proc. 5th IEEE International Conference on Advanced Learning Technologies (ICALT 2005): pp. 655-657, Eds. Peter Goodyear, Demetrios Sampson, David Jin-Tan Yang, Kinshuk, Toshio Okamoto, Roger Hartley, Nian-Shing Chen, IEEE Computer Society 2005

  69. H. Ma, K.-D. Schewe: Heuristic Horizontal XML Fragmentation, in Proc. CAiSE 2005 Forum (Eds. O. Belo, J. Eder, O. Pastor, J. Falcao e Cunha), pp. 131-136, FEUP 2005

  70. H. Ma, K.-D. Schewe: A Heuristic Approach to Horizontal Fragmentation in Object Oriented Databases, in Databases and Information Systems III (Eds. J. Barzdins, A. Caplinskas), Frontiers in Artificial Intelligence and Applications vol. 118, pp. 20-33, IOS Press 2005

  71. K.-D. Schewe, J. M. Turull Torres: Fixed-Point Quantifiers in Higher Order Logics, in Proc. 15th European-Japanese Conference on Information Modelling and Knowledge Bases (Eds. Y. Kiyoki, H. Kangassalo, H. Jaakkola, J. Henno), pp. 149-156, Tallinn University of Technology 2005.

  72. H. Ma, K.-D. Schewe: Query Optimisation as Part of Distribution Design for Complex Value Databases, in Proc. 15th European-Japanese Conference on Information Modelling and Knowledge Bases (Eds. Y. Kiyoki, H. Kangassalo, H. Jaakkola, J. Henno), pp. 269-276, Tallinn University of Technology 2005.

  73. K.-D. Schewe: The Challenges in Web Information Systems Development, in Information Systems Technology and its Applications (Eds. R. Kaschek, H. Mayr, S. Liddle), ISTA 2005 invited paper, Lecture Notes in Informatics vol. P-63, pp. 204-215

  74. M.Kirchberg, K.-D. Schewe, A. Tretiakov: Using XML to Support Media Types, in Information Systems Technology and its Applications (Eds. R. Kaschek, H. Mayr, S. Liddle), ISTA 2005, Lecture Notes in Informatics vol. P-63, pp. 101-113

  75. H. Ma, K.-D. Schewe, B. Thalheim: Integration and Cooperation of Media Types, in Information Systems Technology and its Applications (Eds. R. Kaschek, H. Mayr, S. Liddle), ISTA 2005, Lecture Notes in Informatics vol. P-63, pp. 139-153

  76. K.-D. Schewe, J. Zhao: ASM Ground Model and Refinement for Data Warehouses, in Proc. 12th International Workshop on Abstract State Machines -- ASM 2005 (Eds. Daniele Beauquier, Egon Börger, Anatol Slissenko), pp. 369-376, Paris, France 2005

  77. K.-D. Schewe, J. Zhao: Balancing Redundancy and Query Costs in Distributed Data Warehouses, Proc. APCCM 2005, CRPIT vol. 43, pp. 97-105

  78. K.-D. Schewe: Redundancy, Dependencies and Normal Forms for XML Databases, Proc. ADC 2005 (invited paper), CRPIT volume 39, pp. 7-16

  79. H. Ma, K.-D. Schewe, J. Zhao: Cost Optimisation for Distributed Data Warehouses, Proc. HICSS 2005, p. 283 (9 pages)

  80. R. Kaschek, K.-D. Schewe, C. Wallace, C. Matthews: Towards a Systematic Personalization of Story Spaces, Proc. ACIS 2004.

  81. H. Ma, K.-D. Schewe: Query Cost Analysis for Horizontally Fragmented Complex Value Databases, Proc. 3rd Chilenean Database Workshop 2004.

  82. K.-D. Schewe: The Power of Media Types, in Web Information Systems - WISE 2004 (Eds. Xiaofang Zhou, Stanley Su, Mike Papazoglou, Maria Orlowska, Keith Jeffery), Springer LNCS vol. 3306, pp. 53-58, 2004.

  83. M. Kirchberg, A. Kuckelberg, K.-D. Schewe, A. Tretiakov: On Coding Navigation Paths for In-Memory Navigation in Persistent Object Stores, Proc. 19th Brazilian Symposium on Databases - SBBD 2004 (Ed. Sergio Lifschitz), pp. 259-268, UnB 2004.

  84. K.-D. Schewe, B. Thalheim: The Co-Design Approach to WIS Development in E-Business and E-Learning Applications, in Web Information Systems -WISE 2004 Workshops (Eds. C. Bussler et al.), Springer LNCS vol. 3307, pp. 181-189, 2004.

  85. K.-D. Schewe, B. Thalheim, R. Kaschek: A Deontic Logic for Group-Oriented Web Information Systems, Proceedings EMISA 2004 (Eds. F. Feltz, A. Oberweis, B. Otjacques), Lecture Notes in Informatics vol. P-56, pp. 107-116.

  86. K.-D. Schewe, B. Thalheim: Reasoning about Web Information Systems Using Story Algebras, Proceedings ADBIS 2004, Springer LNCS vol. 3255 (Eds. A. Benczur, J. Demetrovics, G. Gottlob), pp. 54-66.

  87. K.-D. Schewe, B. Thalheim, S. Zlatkin: Modelling Actors and Stories in Web Information Systems, Proceedings Information Systems Technology and its Applications (ISTA 2004), Salt Lake City (Utah), Lecture Notes in Informatics vol. P-48, pp. 13-23

  88. B. Thalheim, K.-D. Schewe, I. Romalis, T. Raak, G. Fiedler: Website Modeling, Website Orchestration, and Website Management, Von e-Learning bis e-Payment -- Proceedings LIT'04 (Eds. K.-P. Fähnrich, K.-P. Jantke, W. S. Wittig), pp. 219-228, infix-Verlag 2004.

  89. H. Ma, K.-D. Schewe: A Heuristic Approach to Horizontal Fragmentation in Object Oriented Databases, in Proceedings Baltic Database and Information Systems Conference, Riga (Latvia) 2004, pp. 31-46

  90. M. Kirchberg, K.-D. Schewe, B. Thalheim, R. Wang: A Three-Level Architecture for Distributed Web Information Systems, Proceedings ICWE 2004 (Eds. Nora Koch, Piero Fraternali, Martin Wirsing), Springer LNCS vol. 3140, pp.137-141

  91. R. Kaschek, K.-D. Schewe, B. Thalheim, T. Kuss, B. Tschiedel: Learner Typing for Electronic Learning Systems, Proc. ICALT 2004, IEEE Computer Society, pp. 375-379.

  92. A. Binemann-Zdanowicz, K.-D. Schewe, B. Thalheim: Adaptation to Learning Styles, Proc. ICALT 2004, IEEE Computer Society, pp. 121-125.

  93. O. Rostanin, K.-D. Schewe, B. Thalheim, A. Tretiakov: Managing the Data in Electronic Learning Systems, Proc. ICALT 2004, IEEE Computer Society, pp. 395-399.

  94. R. Kaschek, K.-D. Schewe, B. Thalheim, G. Fiedler: Contextualizing Electronic Learning Systems, Proc. ICALT 2004, IEEE Computer Society, pp. 854-855.

  95. B. Thalheim, K.-D. Schewe, I. Romalis, T. Raak, G. Fiedler: Website Modeling and Website Generation, Proceedings ICWE 2004 (Eds. Nora Koch, Piero Fraternali, Martin Wirsing), Springer LNCS vol. 3140, pp.577-578

  96. S. Hartmann, S. Link, K.-D. Schewe. Weak Functional Dependencies in Higher-Order Datamodels. In Foundations of Information and Knowledge Systems - Proc. of 3rd International Symposium FoIKS 2004 (Eds. D. Seipel, J.M. Turull Torres), pp. 116-133, Springer LNCS volume 2942, 2004.

  97. S. Hartmann, S. Link, K.-D. Schewe. Reasoning about Functional and Multi-Valued Dependencies in the Presence of Lists. In Foundations of Information and Knowledge Systems - Proc. of 3rd International Symposium FoIKS 2004 (Eds. D. Seipel, J.M. Turull Torres), pp. 134-154, Springer LNCS volume 2942, 2004.

  98. R. Kaschek, K.-D. Schewe, B. Thalheim, L. Zhang: Integrating Context in Conceptual Modelling for Web Information Systems, Web Services, E-Business, and the Semantic Web (Eds. C. Bussler, D. Fensel, M. E. Orlowska, J. Yang), Revised Selected Papers of Second International Workshop WES 2003, Springer LNCS vol. 3095, pp. 77-88, 2004

  99. K.-D. Schewe, B. Thalheim: Structural Media Types in the Development of Data-Intensive Web Information Systems. In Web Information Systems (Eds. D. Taniar, J.W. Rahayu), pp. 34-70. Idea Group 2004

  100. R. Kaschek, K.-D. Schewe, C. Wallace, C. Matthews: Story Boarding for Web-Based Information Systems. In Web Information Systems (Eds. D. Taniar, J.W. Rahayu), pp. 1-33. Idea Group 2004

  101. S. Hartmann, S. Link, K.-D. Schewe: Generalising Boyce-Codd Normal Form to Conceptual Databases, in Information Modelling and Knowledge Bases XV, pp. 88-105, 2004

  102. J. Zhao, K.-D. Schewe: Using Abstract State Machines for Distributed Data Warehouse Design. In Conceptual Modelling 2004 - First Asia-Pacific Conference on Conceptual Modelling (Eds. S. Hartmann and J. Roddick). Dunedin, New Zealand, 2004, CRPIT vol. 31, pp. 49-58, 2004.

  103. A. Binemann-Zdanowicz, R. Kaschek, K.-D. Schewe, B. Thalheim: Context-aware Web Information Systems. In Conceptual Modelling 2004 - First Asia-Pacific Conference on Conceptual Modelling (Eds. S. Hartmann and J. Roddick). Dunedin, New Zealand, 2004, CRPIT vol. 31, pp. 37-48, 2004.

  104. H. Ma, K.-D. Schewe: Fragmentation of XML Documents, in Proceedings SBBD 2003, pp. 200-214, Manaus (Brazil) 2003

  105. R. Kaschek, C. Matthews, C. Wallace, K.-D. Schewe: A Conceptual Business Modelling Approach to e-Lending, Proceedings IIWAS 2003.

  106. R. Kaschek, C. Matthews, K.-D. Schewe, C. Wallace: Analysing Web Information Systems with ALM and SiteLang, Proceedings ACIS 2003.

  107. K.-D. Schewe: A Logical Treatment of Concept Theories, in H. Kangassalo et al. (Eds.) Information Modelling and Knowledge Bases XIV: 1-13, IOS Press 2003.

  108. R. Kaschek, K.-D. Schewe, B. Thalheim: Modelling Contexts in Web Information Systems, Proc. CAiSE (short papers)

  109. S. Hartmann, S. Link, K.-D. Schewe: Generalising Boyce-Codd Normal Form to Conceptual Databases, in Proc. EJC 2003

  110. R. Wang, M. Kirchberg, K.-D. Schewe: OORPC - A communication Mechanism for Distributed Object Bases, in Proc. ICeCE 2003

  111. H. Ma, K.-D. Schewe, S. Hartmann, M. Kirchberg: Distribution Design for XML Documents, in Proc. ICeCE 2003

  112. M. Kirchberg, K.-D. Schewe, A. Tretiakov: A Multi-Level Architecture for Distributed Object Bases, in Proc. ICEIS 2003

  113. C. Wallace, C. Matthews, R. Kaschek, K.-D. Schewe: Factors Constituting Successful Online Communication - Human or Technical?. Annual ANZCA Conference 2003

  114. K.-D. Schewe, R. Kaschek, C. Matthews, C. Wallace: Modelling Web-based Banking Systems: Story Boarding and User Profiling. eCoMo 2002.

  115. K.-D. Schewe: Support of Integrated Wireless Web Access Through Media Types. MobiMod 2002.

  116. K.-D. Schewe, J. M. Turull Torres: Computable Queries for Object Oriented Databases - The FINSET Case. WOLLIC 2002.

  117. K.-D. Schewe: Fragmentation of Object Oriented and Semi-Structured Data, Fifth International Baltic Conference, Baltic DB&IS 2002, Tallinn (Estonia).

  118. K.-D. Schewe: A Logical Treatment of Concept Theories. EJC 2002.

  119. S. Link, K.-D. Schewe: Towards an Arithmetic Theory of Consistency Enforcement Based on Preservation of Delta-Constraints. In Computing: The Australasian Theory Symposium 2002.

  120. K.-D. Schewe: Fragmentation of Object Oriented and Semi-Structured Data. In H.-M. Haav, A. Kalja (Eds.): Databases and Information Systems II: 1-14. Kluwer Academic Publishers. Dordrecht, Boston, London 2002.

  121. T. Feyer, K.-D. Schewe, B. Thalheim: Intensionality in Concept Theory, in H. Kangassalo et al. (Eds.) Information Modelling and Knowledge Bases XIII: 422-426, IOS Press 2002.

  122. K.-D. Schewe: UML -- A Modern Dinosaur?: A Critical Analysis of the Unified Modelling Language, in H. Kangassalo et al. (Eds.) Information Modelling and Lnowledge Bases XII, IOS Press, Amsterdam 2001, series: Frontiers in Artificial Intelligence and Applications, vol. 67, pp. 185-202.

  123. K.-D. Schewe: Discussion Session on Concept Theory - Introduction, in H. Kangassalo et al. (Eds.) Information Modelling and Lnowledge Bases XII, IOS Press, Amsterdam 2001, series: Frontiers in Artificial Intelligence and Applications, vol. 67, pp. 339-345.

  124. K.-D. Schewe: Querying Web-Based Information Systems. In S. Jajodia, H.S. Kunii, A. Solvberg (Eds.): Conceptual Modeling - ER 2001. Springer LNCS.

  125. K.-D. Schewe: Design Theory for Advanced Datamodels. Keynote address. In M. Orlowska, J. Roddick (Eds.). Proc. Australasaian Database Conference 2001. slides

  126. K.-D. Schewe, B. Thalheim: Modeling Interaction and Media Objects. In M. Bouzeghoub, Z. Kedad, E. Metais (Eds.). Natural Language Processing and Information Systems. Springer LNCS vol. 1959, pp. 313-324.

  127. K.-D. Schewe: On the Unification of Query Algebras and their Extension to Rational Tree Structures. In M. Orlowska, J. Roddick (Eds.). Proc. Australasian Database Conference 2001. slides

  128. K.-D. Schewe: A General Object Calculus Equivalent to Object Algebra. In G.~Antonides, G.~Governatori (Eds.). Proc. 2nd Australasian Workshop on Computational Logic. 2001. slides

  129. M. Kirchberg, K.-D. Schewe: A Comparison of Multi-Level Concurrency Control Protocols. In M. Orlowska, J. Roddick (Eds.). Proc. Australasian Database Conference 2001.

  130. S. Link, K.-D. Schewe: Computability and Decidability Issues in the Theory of Consistency Enforcement. In Colin Fidge (Eds.). Computing: The Australasian Theory Symposium 2001.

  131. K.-D. Schewe, B. Thalheim: Die Theorie der Medienobjekte für Internet-Dienste (in German). 8. Leipziger Informatik-Tage. Leipzig (Germany) 2000.

  132. K.-D. Schewe: Modular State Space Specifications Emphasizing Static and Dynamic Consistency. Proc. Workshop on Formal Methods (WMF 2000). Jaoa Pessoa (Brazil) 2000.slides

  133. T. Lehmann, K.-D. Schewe: A Pragmatic Method for the Integration of Higher-Order Entity-Relationship Schemata. In A. Laender, S. Liddle, V. Storey (Eds.): Conceptual Modeling - ER 2000, 37 - 51. Springer LNCS 1920.slides

  134. K.-D. Schewe: Controlled Automation of Consistency Enforcement. In P. Alexander, P.Flener (Eds.): Proc. 15th IEEE Int. Conf. on Automated Software Engineering, Grenoble (France) 2000. extended version

  135. K.-D. Schewe, B. Thalheim: Modeling Interaction and Media Objects. Proc. 5th Int. Conf. on Applications of Natural Language to Information Systems (NLDB 2000), Versailles (France) 2000

  136. K.-D. Schewe: UML -- A Modern Dinosaur?: A Critical Analysis of the Unified Modelling Language, in H. Kangassalo et al. (Eds.) Proc. 1oth European-Japanese Conference on Information Modelling and Knowledge Bases, Saariselkä (Finland) 2000 slides

  137. T. Feyer, O. Kao, K.-D. Schewe, B. Thalheim: Design of Data-Intensive Web-Based Information Services. Proc. 1st International Conference on Web Information Systems Engineering, Hong Kong (China) 2000. 462 - 467 slides

  138. K.-D. Schewe: The Type Concept in OODB Modelling and its Logical Implications, in H. Kangassalo, E. Kawaguchi (Eds.) Information Modelling and Knowledge Bases XI, 256-274, IOS Press 2000

  139. K.-D. Schewe: Fundamentals of Consistency Enforcement, in H. Jaakkola, H. Kangassalo, E. Kawaguchi (Eds.) Information Modelling and Knowledge Bases X, IOS Press 1999, 275-291

  140. K.-D. Schewe: The Type Concept in OODB Modelling and its Logical Implications, in H. Kangassalo, E. Kawaguchi (Eds.) Proc. 9th European-Japanese Conference onInformation Modelling and Knowledge Bases, Morioka (Japan) 1999.

  141. K.-D. Schewe: A Generalization of Dijkstra's Calculus to Typed Program Specifications, in Proc. FCT'99, Springer LNCS, 1999

  142. K.-D. Schewe: On a Galois Correspondence in OODBs, in T. Welzer, J. Eder (Eds.): Proc. ADBIS'99, University of Maribor, 1999 slides

  143. J. Lewerenz, K.-D. Schewe, B. Thalheim: Modelling Data Warehouses and OLAP Applications Using Dialogue Objects, in J. Akoka, M. Bouzeghoub (Eds.): Conceptual Modeling -- ER '99, Springer LNCS, 1999 slides

  144. K.-D. Schewe: Fundamentals of Consistency Enforcement, in H. Jaakkola, H. Kangassalo, E. Kawaguchi (Eds.). Proc. 8th European-Japanese Conference on Information Modelling and Knowledge Bases, Ellivuori (Finland) 1998. slides

  145. K.-D. Schewe, B. Thalheim: On the Strength of Rule Triggering Systems for Integrity Maintenance, in J. Roddick: Proceedings of the ``Australasian Database Conference'', Perth, February 1998 slides

  146. T. Feyer, K.-D. Schewe, B. Thalheim: Conceptual Modelling and Development of Information Services, in T.W. Ling, S. Ram: Conceptual Modeling -- ER '98, Springer LNCS 1507, 7-20

  147. K.-D. Schewe: Well-behaving rule systems for Entity-Relationship and object oriented models, in D. Embley, B. Goldstein: Proceedings of the 16th international conference on Conceptual Modeling: ER'97, Springer LNCS slides

  148. K.-D. Schewe: Tailoring Consistent Specializations as a Natural Approach to Consistency Enforcement, in S. Conrad, H.-J. Klein, K.-D. Schewe: Proceedings of the Workshop ``Integrity in Databases'', Dagstuhl, September 1996 slides

  149. K.-D. Schewe, B. Schewe: View Centered Conceptual Modelling - An Object Oriented Approach, in B. Thalheim (Ed.): Proceedings of the 15th International Conference ``Entity-Relationship '96'', Cottbus, Oktober 1996, Springer LNCS 1157

  150. K.-D. Schewe, B. Thalheim: Active Consistency Enforcement for Repairable Database Transitions, in S. Conrad, H.-J. Klein, K.-D. Schewe: Proceedings of the Workshop ``Integrity in Databases'', Dagstuhl, September 1996 slides

  151. K.-D. Schewe: Functional Sorts in Data Type Specifications, in H. Reichel (Ed.): ``Fundamentals of Computing Theory'', 1oth International Conference FCT '95, Dresden, August 1995, Proceedings, Springer LNCS 965, 424 - 433

  152. B. Schewe, K.-D. Schewe: A User-Centered Method for the Development of Data-Intensive Dialogue Systems -- An Object Oriented Approach, in: Proc. of the IFIP International Working Conference on Information System Concepts (ISCO3), Marburg, March 1995, in E. Falkenberg, W. Hesse (Eds.): "Information System Concepts", Chapman & Hall, 88 - 103

  153. K.-D. Schewe, B. Thalheim: Grundlagen des objektorientierten Datenbankentwurfs, Proc. EMISA-Workshop ``Formale Grundlagen für den Entwurf von Informationssystemen'', Tutzing, 1994

  154. K.-D. Schewe, D. Stemple, B. Thalheim: Higher Level Genericity in Object Oriented Databases, Proc. COMAD 1994

  155. K.-D. Schewe, B. Thalheim: Achieving Consistency in Active Databases, Proc. "RIDE-ADS '94", Houston, Februar 1994

  156. B. Thalheim, M. Albrecht, M. Altus, E. Buchholz, A. Düsterhöft, K.-D. Schewe: Die intelligente Tool-Box zum Datenbankentwurf RAD, GI-Workshop ``Benutzerschnittstellen für Datenbanken'', Kassel, 1994

  157. K.-D. Schewe, B. Thalheim: Principles of Object Oriented Database Design, in H.Jaakkola et al. (Eds.): Information Modelling and Knowledge Bases V, IOS Press, 1994, 227 - 242

  158. I. Wetzel, K.-D. Schewe, J.W. Schmidt, A. Borgida: Specification and Refinement of Databases and Transactions, in M. Jarke (Eds.): Database Application Engineering with DAIDA, Springer, 1993

  159. K.-D. Schewe, B. Thalheim: Principles of Object Oriented Database Design, in H.Jaakkola et al. (Eds.): Proc. 3rd European-Japanese Workshop on Information Modelling and Knowledge Bases, Budapest (Hungary) 1993.

  160. B. Schewe, K.-D. Schewe, B. Thalheim: Verfeinerungsschritte im Rahmen einer objektorientierten Entwurfsmethodik, 23rd GI Jahrestagung, Dresden 1993, ``Wissenschaftliche Beiträge zur Informatik'' 6/1993, TU Dresden

  161. K.-D. Schewe: Korrektheitserzwingung für Programmspezifikationen mit Invarianten, Proc. ``Softwaretechnik '93'', Dortmund, 1993, Softwaretechnik-Trends vol. 13 (3)

  162. K.-D. Schewe, B. Thalheim, I. Wetzel: Integrity Preserving Updates in Object Oriented Databases, M. Orlowska, M. Papazoglou (Eds.): Proc. of the Australian Database Conference ADC'93, Brisbane, 1993, World Scientific

  163. K.-D. Schewe, B. Thalheim: Towards a Formal Foundation of Object Oriented Databases, Proc. SIGMOD Workshop on Combining Declarative and Object Oriented Databases, Washington, 1993

  164. K.-D. Schewe, B. Thalheim, J.W. Schmidt, I. Wetzel: Enforcing Integrity in Object-Oriented Databases, U. Lipeck, B. Thalheim (Eds.): Modelling Database Dynamics, Springer Workshops in Computer Science, 1993 slides

  165. T. Günther, K.-D. Schewe, I. Wetzel: On the Derivation of Executable Database Programs from Formal Specifications, J. Woodcock (Eds.): Proc. FME'93 (Formal Methods Europe), Odense (Denmark), 1993, Springer LNCS 670

  166. K.-D. Schewe, J.W. Schmidt, I. Wetzel: Identification, Genericity and Consistency in Object-Oriented Databases, J. Biskup, R. Hull (Eds.): Proceedings ICDT '92, Berlin, 1992, Springer LNCS 646 slides

  167. K.-D. Schewe, I. Wetzel, J.W. Schmidt: Towards a Structured Specification Language for Data-Intensive Applications, D. Harper, M. Norrie (Eds.) :``Specification of Database Systems'', Springer Workshops in Computer Science, 1992

  168. B. Piza, K.-D. Schewe, J.W. Schmidt: Term Subsumption with Type Constructors, Y. Yesha (Eds.): Proc. 1st International Conference on Information and Knowledge Management, Baltimore, Maryland, 1992 slides

  169. K.-D. Schewe, J.W. Schmidt, I. Wetzel: Specification and Refinement in an Integrated Database Environment, Proceedings ``VDM 91'', Noordwijkerhout, 1991, Springer LNCS 551

  170. K.-D. Schewe: Network and Resource Planning for Office Information Systems, Proceedings ``Kommunikation in verteilten Systemen'', Stuttgart 1989, Springer IFB 205

  171. K.-D. Schewe: Variant Construction Using Constraint Propagation Techniques Over Semantic Networks, Proceedings ``ÖGAI 1989'', Innsbruck 1989, Springer IFB 208

Submitted:

  1. K.-D. Schewe, Q. Wang: Optimising Knowledge Patterns for Entity Resolution under Incomplete Knowledge, submitted for publication (ER 2012)

  2. H. Ma, K.-D. Schewe: An Algebra for Geometric Conceptual Modelling, submitted for publication (ER 2012)

  3. D. Looser, H. Ma, K.-D. Schewe: Using Formal Concept Analysis for Ontology Maintenance in Human Resource Recruitment, submitted for publication (ER 2012)

Technical Reports

  1. K.-D. Schewe, Q. Wang: On the Decidability and Complexity of Identity Knowledge Representation and Optimisation, Technical Report 2012/02, SCCH 2012

  2. K.-D. Schewe, Q. Wang: Synchronous Parallel Database Transformations, Technical Report 2012/01, SCCH 2012

  3. K.-D. Schewe, K. Bosa, H. Lampesberger, J. Ma, M. Rady, B. Vleju: Challenges in Cloud Computing, Technical Report 2011/58, SCCH 2011

  4. K.-D. Schewe, B. Thalheim: About Semantics, Technical Report 2011/33, SCCH 2011

  5. K. Bosa, H. Lampesberger, J. Ma, K.-D. Schewe, B. Vleju: The Christian Doppler Laboratory for Client-Centric Cloud Computing, Technical Report 2011/30, SCCH 2011

  6. A. Sali, K.-D. Schewe: Weak Functional Dependencies on Trees with Restructuring, Technical Report 2011/29, SCCH 2011

  7. K.-D. Schewe, Q. Wang: Partial Updates in Complex-Value Databases, Technical Report 2011/15, SCCH 2011.

  8. B. Thalheim, K.-D. Schewe: Null Value Algebras and Logics, Technical Report 2011/14, SCCH 2011.

  9. K.-D. Schewe, B. Thalheim: Web Information Systems Portfolios- A Contribution to Pragmatics, Technical Report 2010/45, SCCH 2010

  10. K.-D. Schewe, Q. Wang: A Customised ASM Thesis for Database Transformations, Technical Report 2010/38, SCCH 2010

  11. K.-D. Schewe, Q. Wang: XML Database Transformations, Technical Report 2010/29, SCCH 2010

  12. H. Ma, K.-D. Schewe, B. Thalheim, Q. Wang: Cloud Warehousing, Technical Report 2010/33, SCCH 2010

  13. A. Düsterhöft, K.-D. Schewe: Conceptual Modelling of Application Stories, Technical Report 2010/30, SCCH 2010

  14. H. Ma, K.-D. Schewe: Conceptual Geometric Modelling, Technical Report 2010/31, SCCH 2010

  15. H. Ma, K.-D. Schewe: Using XML for Cloud Specification and XQuery for Service Discovery, Technical Report 2010/36, SCCH 2010

  16. K.-D. Schewe, Q. Wang: A Formal Model for Service Mediators, Technical Report 2010/27, SCCH 2010

  17. K.-D. Schewe, Q. Wang: Partial Updates in Complex-Value Databases, Technical Report 2010/16, SCCH 2010

  18. H. Ma, R. Noack, K.-D. Schewe, B. Thalheim: Using Meta-Structures in Database Design, Technical Report 2010/28, SCCH 2010

  19. H. Ma, K.-D. Schewe: Fragmentation of XML Documents, Technical Report 2010/2, SCCH 2010

  20. A. Sali, K.-D. Schewe: Weak Functional Dependencies on Trees with Restructuring, Technical Report 4/2006, Massey University

  21. K.-D. Schewe, B. Thalheim: Pragmatics of Storyboarding for Web Information Systems I: Usage Analysis, Technical Report 2/2006, Massey University

  22. K.-D. Schewe, B. Thalheim: Usage-Based Storyboarding for Web Information Systems, Technical Report 0613/2006, Christian Albrechts University Kiel, Germany

  23. Q. Wang, K.-D. Schewe: A Typed Higher-Order Calculus for Querying XML Databases, Technical Report 1/2006, Massey University

  24. M.Kirchberg, F. Riaz-ud-Din, K.-D. Schewe, A. Tretiakov: Towards Algebraic Query Optimisation for XML, Technical Report 17/2005, Massey University

  25. K.-D. Schewe, B. Thalheim: Personalisation of Web Information Systems - A Term Rewriting Approach, Technical Report 14/2005, Massey University

  26. K.-D. Schewe, J. Zhao: Refinements in Typed Abstract State Machines, Technical Report 13/2005, Massey University

  27. H. Ma, K.-D. Schewe, Q. Wang: Distribution Design for Higher-Order Data Models, Technical Report 11/2005, Massey University

  28. J. Zhao, K.-D. Schewe: A Formal Approach to the Design of Distributed Data Warehouses, Technical Report 9/2005, Massey University

  29. T. Moritz, K.-D. Schewe, B. Thalheim: Strategic Modelling of Web Information Systems, Technical Report 8/2005, Massey University

  30. R. Kaschek, C. Matthews, K.-D. Schewe, C. Wallace: Designing Ubiquitous Information Systems, Technical Report 1/2005, Massey University

  31. S. Hartmann, R. Kaschek, Kinshuk, K.-D. Schewe, J.M. Turull Torres, R. Whiddett (Eds.): Ph.D. Workshop Communications. Technical Report 9/2004, Massey University

  32. H. Ma, K.-D.Schewe, B. Thalheim, J. Zhao: View Integration and Cooperation in Databases, Data Warehouses and Web Information Systems. Technical Report 8/2004, Massey University

  33. A. Sali, K.-D. Schewe: Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels. Technical Report 7/2004, Massey University

  34. K.-D. Schewe, B. Thalheim: Conceptual Modelling of Web Information Systems. Technical Report 3/2004, Massey University

  35. K.-D. Schewe, B. Thalheim: Web Information Systems - Usage, Content and Functionality Modelling. Technical Report 3/2004, Christian Albrechts University Kiel

  36. M. Kirchberg, K.-D. Schewe, A. Tretiakov, R. Wang: A Multi-Level Architecture for Distributed Object Bases. Technical Report 2/2004, Massey University

  37. S. Hartmann, S. Link, K.-D. Schewe: Axiomatisation of Functional Dependencies in the Presence of Records, Lists, Sets and Multisets. Technical Report 1/2004, Massey University

  38. R. Kaschek, Kinshuk, K.-D. Schewe, J.M. Turull Torres (Eds.): Ph.D. Workshop Communications. Technical Report 6/2003, Massey University

  39. S. Hartmann, S. Link, K.-D. Schewe: Captural Functional Dependencies in the Higher-Order Entity-Relationship Model. Technical Report 4/2003, Massey University

  40. S. Hartmann, S. Link, K.-D. Schewe, B. Thalheim: Error-Robust Functional Dependencies. Technical Report 2/2003, Department of Information Systems, Massey University

  41. K.-D. Schewe, J. M. Turull Torres: A Theory of Local Set Queries. Technical Report 3/2003, Department of Information Systems, Massey University

  42. K.-D. Schewe, C. Wallace, R. Kaschek, C. Matthews: Emphasizing the Communication Aspects for the Successful Development of Electronic Business Systems. Technical Report 1/2003, Department of Information Systems, Massey University

  43. A. Hoffmann, S. Link, K.-D. Schewe: Axiomatizing Functional Dependencies in the Higher-Order Entity-Relationship Model. Technical Report 1/2002, Department of Information Systems, Massey University, December 2002.

  44. K.-D. Schewe: Modular State-Based Specifications Emphasizing Static and Dynamic Consistency, Technical Report 5/2000, Department of Information Systems, Massey University, August 2000

  45. M. Kirchberg, K.-D. Schewe: An Experimental Comparison of Concurrency Control Protocols for Multi-Level Transactions, Technical Report 4/2000, Department of Information Systems, Massey University, July 2000

  46. S. Link, K.-D. Schewe: An Arithmetic Theory of Consistency Enforcement, Technical Report 3/2000, Massey University, Department of Information Systems, June 2000

  47. K.-D. Schewe, B. Thalheim: Readings in Fundamentals of Object Oriented Databases, Technical Report, TU Cottbus 1998

  48. K.-D. Schewe: A Semantics of Type Specifications Based on Topos Theory, Technical Report TU Cottbus, Reihe Informatik I-5/1994

  49. K.-D. Schewe: A Generalization of Dijkstra's Calculus to Typed Program Specifications, Technical Report TU Cottbus I-6/1994

  50. K.-D. Schewe, I. Wetzel, J.W. Schmidt: Towards a Structured Specification Language for Data-Intensive Applications, FIDE Technical Report 1992/30, 1992

  51. K.-D. Schewe, B. Thalheim, I. Wetzel: Foundations of Object Oriented Database Concepts, Technical Report FBI-HH-B-157/92, University of Hamburg, 1992

  52. K.-D. Schewe, B. Thalheim: Computing Consistent Transactions, Preprint CS-08-92, University of Rostock, 1992

  53. K.-D. Schewe, J.W. Schmidt, I. Wetzel, N. Bidoit, D. Castelli, C. Meghini: Abstract Machines Revisited, FIDE Technical Report 1991/11, 1991

  54. K.-D. Schewe, B. Thalheim, I. Wetzel, J.W. Schmidt: Extensible, Safe Object-Oriented Design of Database Applications, Preprint CS-09-91, University of Rostock, 1991

  55. K.-D. Schewe: A Knowledge-Based Approach to Software Reuse and Maintenance, Technical Report MS-H 4811/90, Philips Research Lab Hamburg 1990

  56. K.-D. Schewe: A Survey on Modeling Aspects in Office Information Systems, Technical Report KM 364/88, Philips Research Lab Hamburg 1988

  57. K.-D. Schewe: Modeling for Performance Analysis and Configuration of ECHO-Systems, ECHO Report (OA 801R), Philips Project Center Geldrop 1988

Tutorials

  1. H. Ma, K.-D. Schewe, Q. Wang: Foundations of Cloud Computing, Half-day Tutorial, IEEE APSCC 2009 - The 2009 IEEE Asia-Pacific Services Computing Conference.

  2. H. Ma, K.-D. Schewe, B. Thalheim: Web Information Systems Design in the Era of Web2.0 and Beyond, Half-day Tutorial, in Proc. iiWAS 2009 - The 11th International Conference on Information Integration and Web-based Applications and Services (Eds.: G. Kotsis, D. Taniar, E. Pardede, I. Khalil), ACM and Austrian Computer Society, p. 9, 2009.

  3. H. Ma, K.-D. Schewe, Q. Wang: Conceptual Cloud Modelling, Half-day Tutorial, ER 2009 - The 28th International Conference on Conceptual Modeling.

  4. H. Ma, K.-D. Schewe, B. Thalheim: Storyboarding - High-Level Engineering of Web Information Systems, Half-day Tutorial, WISE 2009 - The Tenth International Conference on Web Information Systems Engineering.

  5. H. Ma, M. Kirchberg, K.-D. Schewe: Distributed Object Bases - An Integrated Approach, Half-day Tutorial, International Conference on Data Engineering 2009.

  6. K.-D. Schewe, B. Thalheim: Web Information Systems Co-Design, Half-day Tutorial, Abstract in: Proceedings iiWAS 2008 - The 10th International Conference on Information Integration and Web-based Applications & Services (Eds. G. Kotsis, D. Taniar, E. Pardede, I. Khalil), p.3, ACM 2008.

  7. K.-D. Schewe, B. Thalheim: Reasoning about Web Information Systems, Half-day Tutorial, Abstract in: Perspectives in Conceptual Modeling - ER 2005 Workshops (Eds. J. Akoka, S. Liddle, I.-Y. Song, M. Bertolotto, I. Comyn-Wattiau, W.-J. van den Heuvel, M. Kolp, J. Trujillo, C. Kop, H. C. Mayr) , Springer LNCS vol. 3770, pp. 464 - 467 , 2005

  8. K.-D. Schewe, B. Thalheim: Reasoning about Web Information Systems. Half-day Tutorial. International Conference on Web Age Information Management (WAIM 2005). Hangzhou (China), October 2005

  9. K.-D. Schewe, B. Thalheim: Foundations of Web Information Systems. Half-day Tutorial. 9th East-European Conference on Advances in Databases and Information Systems (ADBIS 2005). Tallinn (Estonia), September 2005

  10. K.-D. Schewe, B. Thalheim: Engineering Web Information Systems. Half-day Tutorial. 5th International Conference on Web Engineering (ICWE2005), Sydney (Australia), July 2005

  11. K.-D. Schewe, B. Thalheim: Conceptual Modeling of Internet Sites. Full-day Tutorial. 19th International Conference on Conceptual Modeling (ER 2000). Salt Lake City (USA). October 2000. part 0 part I part II part III part IV part V part VI

  12. K.-D. Schewe: Modular State Space Specifications Emphasizing Static and Dynamic Consistency. Tutorial. Workshop on Formal Methods (WMF 2000). Jaoa Pessoa (Brazil). October 2000.

  13. B. Schewe, K.-D. Schewe, B. Thalheim: Co-Design of Structures, Processes and Interfaces for Large-Scale Reactive Information Systems, Tutorial ER '98 part 1 part 2 part 3

Other Publications

  1. S. Hartmann, S. Link, K.-D. Schewe: Weak Functional Dependencies in Higher-Order Datamodels, Abstracts of AAL'04, Bulletin of the Association of Symbolic Logic vol. 10(3): 450, 2004.

  2. C. Matthews, R. Kaschek, K.-D. Schewe, C. Wallace: IT-enabled Business Models in Lending. Workshop on Information Systems and Technology in Organisations and Society. Barcelona 2003

  3. K.-D. Schewe: Error-Robust Functional Dependencies, Bulletin of the Association of Symbolic Logic vol.9(2): 263, 2003, Abstracts of AAL'02

  4. K.-D. Schewe: Formal Relational Reification. 6th New Zealand Formal Program Development Colloquium. Christchurch 2000

  5. S. Link, K.-D. Schewe: Computability and Decidability Issues in the Theory of Consistency Enforcement. 6th New Zealand Formal Program Development Colloquium. Christchurch 2000

  6. K.-D. Schewe, T. Ripke: Recoverability and Strictness for Multi-Level Schedules -- Locking and Hybrid Protocols. Invited Talk. Workshop ``Transactions and Database Dynamics'', Dagstuhl 1999

  7. K.-D. Schewe, B. Schewe: View Centered Co-Design, in H. Mayr, B. Thalheim: Proc. Workshop ``Neuere Konzepte für den Entwurf von Informationssystemen'', Zistersdorf (Austria), May 1997

  8. K.-D. Schewe: Nicht-klassische Objektlogik, in S. Conrad, G. Saake, I. Schmitt, C. Türker: 8th Workshop ``Grundlagen von Datenbanken'', Report of Otto-von-Guericke-University Magdeburg, Mai 1996

  9. K.-D. Schewe: Logical Foundations of Object Oriented Databases, in Proc. Workshop on Semantics in Databases, Prag, January 1995

  10. M. Albrecht, M. Altus, E. Buchholz, H. Cyriaks, A. Düsterhöft, H. Mehlan, M. Steeg, K.-D. Schewe, B. Thalheim: Die Datenbankentwurfsumgebung RADD - Rapid Application and Database Development, Forum der Forschung, vol. 2, Oktober 1995, 41-59, BTU Cottbus

  11. K.-D. Schewe: Zur Integration algebraischer und modell-basierter Spezifikationen und ihrer kategoriell-logischen Semantik, GI workshop ``Deklarative Programmierung und Spezifikation'', Bad Honnef, 1994

  12. K.-D. Schewe: Konsistenzerzwingung, S. Conrad, G. Saake (Eds.): GI Workshop ``Grundlagen von Datenbanken'', Bad Helmstedt, 1994

  13. K.-D. Schewe: The SAMT Approach to Database Design, TU Cottbus, Juli 1994

  14. K.-D. Schewe, F. Matthes, J.W. Schmidt, I. Wetzel: Formalisierung objektorientierter Datenbanken - Design- und Sprachunterstützung, U. Lipeck, R. Manthey (Eds.): Kurzfassungen des GI workshops ``Grundlagen von Datenbanken'', Barsinghausen, 1992, ECRC-Report [ECRC-92-13]

  15. K.-D. Schewe, J.W. Schmidt, D. Stemple, B. Thalheim, I. Wetzel: A Reflective Approach to Method Generation in Object Oriented Databases, Rostocker Informatik Berichte, Nr. 14, 1992

Lecture Manuscripts

  1. K.-D. Schewe: Datenbanken I, Vorlesungsskript, Technische Universität Clausthal, 1995 (in German)

  2. K.-D. Schewe: Informatik I + II, Vorlesungsskript, Technische Universität Clausthal, 1995/96 (in German)

  3. K.-D. Schewe: Theoretische Informatik I + II, Vorlesungsskript, Technische Universität Clausthal, 1996/97 (in German)

  4. K.-D. Schewe: Datenbanktheorie, Vorlesungsskript, Technische Universität Clausthal, 1997 (in German)

  5. K.-D. Schewe: Deduktive Datenbanken, Vorlesungsskript, Technische Universität Clausthal 1997/98 (in German)

  6. K.-D. Schewe: Algorithmen- und Komplexitätstheorie, Vorlesungsskript, Technische Universität Clausthal, 1997/98 (in German)

  7. K.-D. Schewe: Formale Semantik, Vorlesungsskript, Technische Universiätt Clausthal, 1998/99 (in German)