Prof. Dr. Klaus-Dieter Schewe

Schewe_Klaus-Dieter.jpg
Chief Scientific Officer
Phone: +43 7236 3343 881
Mobile: +43 699 1 3343 881
Fax: +43 7236 3343 888
klaus-dieter.schewe@scch.at

More Information:
http://www.scch.at/de/schewe-klaus-dieter
 

Publications

2013
1260D. Looser, H. Ma, K. Schewe. Using formal concept analysis for ontology maintenance in human resource recruitment. Proceedings of the 9th Asia-Pacific Conference on Conceptual Modelling (APCCM 2013), CRPIT - Conferences in Research and Practice in Information Technology, pages 61-68, Australian Computer Society. 2013. 
1220H. Ma, R. Noack, K. Schewe, B. Thalheim, Q. Wang. Complete conceptual schema algebras. Fundamenta Informaticae, volume 123, pages 1-26, 2013. 
1313C. Natschläger, F. Kossak, K. Schewe. Deontic BPMN: A powerful extension of BPMN with a trusted model transformation. Software and Systems Modeling, volume online first article, pages DOI 10.1007/s10270-013-0329-5, 2013. 
2012
1158K. Bósa, H. Lampesberger, J. Ma, M. Rády, K. Schewe, B. Vleju. Challenges in Cloud Computing. Journal "Scalable Computing: Practice and Experience", volume 12, number 4, pages 385-390, 2012. 
1204A. Düsterhöft, M. Klettke, K. Schewe. Dedication to a theory of modelling. In A. Düsterhöft, M. Klettke, K.-D. Schewe (editors). Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday, Lecture Notes in Computer Science, pages 1-6, Springer LNCS Festschrift. 2012. 
1221J. Ma, K. Schewe. A temporalised belief logic for reasoning about authentication protocols. In G. Min, Y. Wu, L. Liu, X. Jin, S. Jarvis, A. Y. Al-Dubai (editors). Proceedings of the 11th IEEE International Conference on Ubiquitous Computing and Communications (IUCC 2012), pages 1721-1728, IEEE. 2012. 
1205H. Ma, K. Schewe, B. Thalheim, Q. Wang. A formal model for the interoperability of service clouds. Service-Oriented Computing and Applications, volume 6, number 3, pages 189-205, 2012. 
1150C. Natschläger, F. Kossak, K. Schewe. BPMN to deontic BPMN: A trusted model transformation. Technical Report, SCCH-TR-1150, Software Competence Center Hagenberg, 2012. 
1206C. Natschläger, K. Schewe. A flattening approach for attributed type graphs with inheritance in algebraic graph transformation. In A. Fish, L. Lambers (editors). Local Proceedings of GT-VMT 2012, pages 160-173, 2012. 
1129A. Sali, K. Schewe. Weak functional dependencies on trees with restructuring. Acta Cybernetica, volume 20, number 2, pages 285-329, 2012. 
1201K. Schewe, Q. Wang. Synchronous parallel database transformations. In T. Lukasiewicz, A. Sali (editors). Foundations of Data and Knowledge Systems, Proc. FoIKS 2012, Lecture Notes in Computer Science, pages 370-383, Springer. 2012. 
1202K. Schewe, Q. Wang. On the decidability and complexity of identity knowledge representation. In S.-g. Lee et al. (editor). Database Systems for Advanced Applications - Proc. DASFAA 2012, Part I, Lecture Notes in Computer Science, pages 288-302, Springer. 2012. 
1210K. Schewe, Q. Wang. A simplified parallel ASM thesis. In J. Derrick et al. (editor). Abstract State Machines, Alloy, B, VDM, and Z - Proc. ABZ 2012, Lecture Notes in Computer Science, pages 341-344, Springer. 2012. 
1236K. Schewe, Q. Wang. Preferential refinements of abstract state machines for service mediators. In A. Tang, H. Muccini (editors). Proceedings of 12th International Conference on Quality Software (QSIC 2012), pages 158-166, IEEE Computer Society. 2012. 
1235K. Schewe, Q. Wang. Knowledge-aware identity services. Knowledge and Information Systems, pages DOI: 10.1007/s10115-012-0533-6, 2012. 
2011
1030A. Düsterhöft, K. Schewe. Conceptual modelling of application stories. In D. Embley, B. Thalheim (editors). Handbook of Conceptual Modelling, pages 359-377, Springer. 2011. 
1031H. Ma, K. Schewe. Conceptual geometric modelling. In D. Embley, B. Thalheim (editors). Handbook of Conceptual Modelling, pages 421-440, Springer. 2011. 
1033H. Ma, K. Schewe, B. Thalheim, Q. Wang. Cloud Warehousing. Journal of Universal Computer Science, volume 17, number 8, pages 1183-1201, 2011. 
1130K. Schewe, K. Bósa, H. Lampesberger, J. Ma, B. Vleju. The Christian Doppler Laboratory for Client-Centric Cloud Computing. Technical Report, SCCH-TR-1130, Software Competence Center Hagenberg, 2011. 
1045K. Schewe, B. Thalheim. Web information systems protfolio - A contribution to pragmatics. In J. Filipe, J. Cordeiro (editors). Proceedings of the 6th International Conference Web Information Systems and Technologies (WEBIST 2010), Revised Selected Papers, Lecture Notes in Business Information Processing, pages 147-161, Springer. 2011. 
1133K. Schewe, B. Thalheim. About Semantics. In K.-D. Schewe, B. Thalheim (editors). Semantics in Data and Knowledge Systems (Revised Selected Papers 4th Int. Workshop), Lecture Notes in Computer Science, pages 1-23, Springer. 2011. 
1115K. Schewe, Q. Wang. Partial updates in complex-value databases. In A. Heimbürger et al. (editor). Information Modelling and Knowledge Bases XXII, Frontiers in Artificial Intelligence and Applications, pages 37-56, IOS Press. 2011. 
1114B. Thalheim, K. Schewe. Null 'value' algebras and logics. In A. Heimbürger et al. (editor). Information Modelling and Knowledge Bases XXII, Frontiers in Artificial Intelligence and Applications, pages 354-367, IOS Press. 2011. 
2010
1028H. Ma, R. Noack, K. Schewe, B. Thalheim. Using meta-structures in database design. Informatica, volume 34, number 3, pages 387-403, 2010. 
1002H. Ma, K. Schewe. Fragmentation of XML documents. Journal of Information and Data Management, volume 1, number 1, pages 21-34, 2010. 
1003H. Ma, K. Schewe. "Fragmentation of XML documents" Revisited. Journal of Information and Data Management, pages 36-36, 2010. 
1036H. Ma, K. Schewe. Using XML for cloud specification and Xquery for service discovery. In G. Kotsis, D. Taniar, E. Pardede, I. Saleh, I. Khalil (editors). Proceedings of the The 12th International Conference on Information Integration and Web-based Applications & Services (iiWAS2010), pages 124-131, ACM. 2010. 
1016K. Schewe, Q. Wang. Partial updates in complex-value databases. Proceedings of the 20th European-Japanese Conference on Information Modelling and Knowledge Bases, pages 45-64, University of Jyväskylä. 2010. 
1027K. Schewe, Q. Wang. A formal model for service mediators. In J. Trujillo et al. (editor). Advances in Conceptual Modeling - Applications and Challenges, Proceedings ER 2010 Workshops, Lecture Notes in Computer Science, pages 76-85, Springer. 2010. 
1038K. Schewe, Q. Wang. A customised ASM thesis for database transformations. Acta Cybernetica, volume 19, number 9, pages 765-805, 2010. 
1029K. Schewe, Q. Wang. XML database transformations. Journal of Universal Computer Science, volume 16, number 20, pages 3043-3072, 2010. 
2009
M. Kirchberg, K. Schewe, J. Zhao. Using Abstract State Machines for the Design of Multi-Level Transaction Schedulers. In J.-R. Abrial, U. Glaesser (editors). Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, pages 64-76, Springer. 2009. 
H. Ma, R. Noack, K. Schewe. Algebraic Meta-Structure Handling of Huge Database Schemata. In C. Heuser, G. Pernul (editors). Advances in Conceptual Modeling - Challenging Perspectives, Lecture Notes in Computer Science, pages 12-21, Springer. 2009. 
H. Ma, K. Schewe, B. Thalheim. Geometrically Enhanced Conceptual Modelling. In A. Laender, S. Castano, U. Dayal, F. Casati, J. P. Moreira de Oliveira (editors). Conceptual Modeling - ER 2009, Lecture Notes in Computer Science, pages 219-233, Springer. 2009. 
H. Ma, K. Schewe, B. Thalheim. Modelling and Maintenance of Very Large Database Schemata Using Meta-Structures. In J. Yang et al. (editor). Information Systems: Modeling, Development, and Integration, Proceedings UNISCON 2009, Lecture Notes in Business Information Processing, pages 17-28, Springer. 2009. 
H. Ma, K. Schewe, B. Thalheim, Q. Wang. A Theory of Data-Intensive Software Services . Service Oriented Computing and Its Applications, volume 3, number 4, pages 263-283, 2009. 
H. Ma, K. Schewe, B. Thalheim, Q. Wang. A Service-Oriented Approach to Web Warehousing. In G. Kotsis, D. Taniar, E. Pardede, I. Khalil (editors). Proceedings of the 11th International Conference on Information Integration and Web-based Applications and Services , pages 94-101, ACM and Austrian Computer Society. 2009. 
A. Sali, K. Schewe. A Characterisation of Coincidence Ideals for Complex Values. Journal of Universal Computer Science, volume 15, number 1, pages 304-354, 2009. 
K. 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, volume 15, number 10, pages 2028-2057, 2009. 
K. Schewe, B. Thalheim, Q. Wang. Customising Web Information Systems According to User Preferences. World Wide Web, volume 12, number 1, pages 27-50, 2009. 
J. Speer, M. Kirchberg, F. Riaz-ud-Din, K. Schewe. Solving the Golden Transaction Problem for ARIES-based Multi-level Recovery. In A. Bouguettaya and X. Lin (editor). Proceedings of the 20th Australasian Database Conference (ADC), Conferences in Research and Practice in Information Technology, pages 19-28, Australian Computer Society Inc.. 2009. 
M. Thalheim, K. Schewe, H. Ma. Conceptual Application Domain Modelling. In M. Kirchberg and S. Link (editor). Proceedings of the 6th Asia-Pacific Conference on Conceptual Modelling (APCCM), Conferences in Research and Practice in Information Technology, pages 49-57, Australian Computer Society Inc.. 2009. 
Q. Wang, K. Schewe, B. Thalheim. A Fixed-Point Query Language for XML. Proceedings EJC 2009, University of Maribor. 2009. 
J. Zhao, K. Schewe, H. Köhler. Dynamic Data Warehouse Design with Abstract State Machines. Journal of Universal Computer Science, volume 15, number 1, pages 355-397, 2009. 
2008
G. Katona, A. Sali, K. Schewe. Codes that attain minimum distance in every possible direction. Central European Journal of Mathematics, volume 6, number 1, pages 1-11, 2008. 
M. Kirchberg, F. Riaz-ud-Din, K. Schewe. A Query Language for Rational Tree Structures. In R. Kaschek, C. Kop, C. Steinberger, G. Fliedl (editors). Information Systems and e-Business Technologies (Proc. UNISCON 2008), Lecture Notes in Business Information Processing, pages 457-468, Springer. 2008. 
H. Ma, K. Schewe, B. Thalheim, Q. Wang. Abstract State Services - A Theory of Web Services. In Il-Yeol Song et al. (editor). Advances in Conceptual Modeling - Challenges and Opportunities, ER 2008 Workshops, Lecture Notes in Computer Science, pages 406-415, Springer. 2008. 
A. Sali, K. Schewe. Keys and Armstrong Databases in Trees with Restructuring. Acta Cybernetica, volume 18, number 3, pages 529-556, 2008. 
K. Schewe, B. Thalheim. Semantics in Data and Knowledge Bases. Proceedings SDKB 2008 (EDBT Workshop), Lecture Notes in Computer Science, pages 1-25, Springer. 2008. 
K. Schewe, B. Thalheim. Life Cases: A Kernel Element for Web Information Systems Engineering. In J. Filip, J. Cordeiro (editors). Web Information Systems and Technologies - Selected Papers from WebIST2007, Lecture Notes in Business Information Processing, pages 139-156, Springer. 2008. 
K. Schewe, B. Thalheim. Facets of Media Types. In R. Kaschek, C. Kop, C. Steinberger, G. Fliedl (editors). Information Systems and e-Business Technologies (Proc. UNISCON 2008), invited paper, Lecture Notes in Business Information Processing, pages 296-305, Springer. 2008. 
K. Schewe, B. Thalheim. Storyboarding Concepts for Edutainment WIS. In H. Jaakkola, Y. Kiyoki, T. Tokuda (editors). Information and Knowledge Bases XIX, Frontiers in Artificial Intelligence and Applications , pages 59-78, IOS Press. 2008. 
K. Schewe, B. Thalheim, Q. Wang. Validation of Streaming XML Documents with Abstract State Machines. In G. Kotsis, D. Taniar, E. Pardede, I. Khalil (editors). Proceedings iiWAS 2008 - The 10th International Conference on Information Integration and Web-based Applications & Services, pages 147-153, ACM. 2008. 
K. Schewe, J. Zhao. Typed Abstract State Machines for Data-Intensive Applications. Knowledge and Information Systems, volume 15, number 3, pages 381-391, 2008. 
B. Thalheim, K. Schewe. ASM Foundations of Database Management. In R. Kaschek, C. Kop, C. Steinberger, G. Fliedl (editors). Information Systems and e-Business Technologies (Proc. UNISCON 2008), invited paper, Lecture Notes in Business Information Processing, pages 318-331, Springer. 2008. 
Q. Wang, K. Schewe. Towards a Logic for Abstract Meta-Finite State Machines. In S. Hartmann, G. Kern-Isberner (editors). Foundations of Information and Knowledge Systems - Proc. FoIKS 2008, Lecture Notes in Computer Science, pages 365-380, Springer. 2008. 
Q. Wang, K. Schewe, B. Thalheim. XML Database Transformations with Tree Updates. In E. Börger, M. Butler, J.P. Bowen, P. Boca (editors). Abstract State Machines, B and Z (Proc. ABZ 2008) , Lecture Notes in Computer Science, pages 342, Springer. 2008. 

back