You are here: HomePublications

CDCC Publications

[1] Sorana Tania Nemes and Andreea Buga. Towards a case-based reasoning approach to dynamic adaptation for large-scale distributed systems. In Case-Based Reasoning Research and Development - 25th International Conference, ICCBR 2017, Trondheim, Norway, June 26-28, 2017, Proceedings, pages 257-271, 2017.
@inproceedings{Nemes2017,
  title = {Towards a Case-Based Reasoning Approach to Dynamic Adaptation for
 Large-Scale Distributed Systems},
  author = {Sorana Tania Nemes and
 Andreea Buga},
  booktitle = {Case-Based Reasoning Research and Development - 25th International
 Conference, {ICCBR} 2017, Trondheim, Norway, June 26-28, 2017, Proceedings},
  year = {2017},
  pages = {257--271},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/iccbr/NemesB17},
  crossref = {DBLP:conf/iccbr/2017},
  doi = {10.1007/978-3-319-61030-6_18},
  timestamp = {Wed, 21 Jun 2017 10:56:04 +0200},
  url = {https://doi.org/10.1007/978-3-319-61030-6_18}
}
[2] Andreea Buga and Sorana Tania Nemes. Towards modeling monitoring of smart traffic services in a large-scale distributed system. In Proceedings of the 7th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,, pages 483-490. INSTICC, ScitePress, 2017.
@conference{buga17a,
  title = {Towards Modeling Monitoring of Smart Traffic Services in a Large-scale Distributed System},
  author = {Andreea Buga and Sorana Tania Nemes},
  booktitle = {Proceedings of the 7th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,},
  year = {2017},
  organization = {INSTICC},
  pages = {483-490},
  publisher = {ScitePress},
  doi = {10.5220/0006303704830490},
  isbn = {978-989-758-243-1}
}
[3] Roxana Holom. Formal Modeling of a Client-Cloud Interaction Middleware with respect to Adaptivity. PhD thesis, Johannes Kepler Universität Linz, September 2016.
@phdthesis{HolomThesis,
  title = {Formal Modeling of a Client-Cloud Interaction Middleware with respect to Adaptivity},
  author = {Roxana Holom},
  school = {Johannes Kepler Universit\"{a}t Linz},
  year = {2016},
  month = {September}
}
[4] Harald Lampesberger. Language-Based Anomaly Detection in Client-Cloud Interaction. PhD thesis, Johannes Kepler Universität Linz, June 2016.
@phdthesis{LampesbergerThesis,
  title = {Language-Based Anomaly Detection in Client-Cloud Interaction},
  author = {Harald Lampesberger},
  school = {Johannes Kepler Universit\"{a}t Linz},
  year = {2016},
  month = {June}
}
[5] Paolo Arcaini, Roxana-Maria Holom, and Elvinia Riccobene. Asm-based formal design of an adaptivity component for a cloud system. Formal Asp. Comput., 28(4):567-595, 2016.
@article{Holom2016,
  title = {ASM-based formal design of an adaptivity component for a Cloud system},
  author = {Paolo Arcaini and
 Roxana{-}Maria Holom and
 Elvinia Riccobene},
  journal = {Formal Asp. Comput.},
  year = {2016},
  number = {4},
  pages = {567--595},
  volume = {28},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/fac/ArcainiHR16},
  doi = {10.1007/s00165-016-0371-5},
  timestamp = {Thu, 21 Jul 2016 10:41:21 +0200},
  url = {http://dx.doi.org/10.1007/s00165-016-0371-5}
}
[6] 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}
}
[7] Mariam Rady. A Client-Centric Model For Managing Availability and Performance Conditions of Service Level Agreements in Cloud Computing. PhD thesis, Johannes Kepler Universität Linz, August 2015.
@phdthesis{RadyThesis,
  title = {A Client-Centric Model For Managing Availability and Performance Conditions of Service Level Agreements in Cloud Computing},
  author = {Mariam Rady},
  school = {Johannes Kepler Universit\"{a}t Linz},
  year = {2015},
  month = {August}
}
[8] Mircea Boris Vleju. Client-Centric Identity and Access Management in Cloud Computing. PhD thesis, Johannes Kepler Universität Linz, Altenberger Stra√üe 69, A-4040 Linz, Austria, July 2015.
@phdthesis{VlejuThesis,
  title = {Client-Centric Identity and Access Management in Cloud Computing},
  author = {Mircea Boris Vleju},
  school = {Johannes Kepler Universit\"{a}t Linz},
  year = {2015},
  address = {Altenberger Straße 69, A-4040 Linz, Austria},
  month = {July},
  url = {http://goo.gl/hSESTq}
}
[9] 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}
}
[10] 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}
}
[11] Andrei Vasilateanu and Andreea Buga. Asthmate - supporting patient empowerment through location-based smartphone applications. In Control Systems and Computer Science (CSCS), 2015 20th International Conference on, pages 411-417, May 2015.
@inproceedings{7168462,
  title = {AsthMate - Supporting Patient Empowerment through Location-Based Smartphone Applications},
  author = {Vasilateanu, Andrei and Buga, Andreea},
  booktitle = {Control Systems and Computer Science (CSCS), 2015 20th International Conference on},
  year = {2015},
  month = {May},
  pages = {411-417},
  doi = {10.1109/CSCS.2015.61},
  keywords = {Biomedical monitoring;Cloud computing;Collaboration;Diseases;Monitoring;Prototypes;cloud computing;e-health;mobile computing;patient empowerment}
}
[12] 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}
}
[13] 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}
}
[14] Andreea Buga. A scalable monitoring solution for large-scale distributed systems. In Roberto Moreno-D√≠az, Franz Pichler, and Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory ‚Äď EUROCAST 2015, volume 9520 of Lecture Notes in Computer Science, pages 219-227. Springer International Publishing, 2015.
@incollection{Buga2015b,
  title = {A Scalable Monitoring Solution for Large-Scale Distributed Systems},
  author = {Buga, Andreea},
  booktitle = {Computer Aided Systems Theory ‚Äď EUROCAST 2015},
  publisher = {Springer International Publishing},
  year = {2015},
  editor = {Moreno-Díaz, Roberto and Pichler, Franz and Quesada-Arencibia, Alexis},
  pages = {219-227},
  series = {Lecture Notes in Computer Science},
  volume = {9520},
  doi = {10.1007/978-3-319-27340-2_28},
  isbn = {978-3-319-27339-6},
  keywords = {Large scale distributed systems; Monitoring; Decentralization; Formal modelling},
  language = {English},
  url = {http://dx.doi.org/10.1007/978-3-319-27340-2_28}
}
[15] Andreea Buga. A scalable monitoring solution for large-scaledistributed systems. In A. Quesada-Arencibia et al., editors, Extended Abstracts of the Fifthteenth International Conference on Computer Aided Systems Theory (EUROCAST 2015), pages 67 - 68. Gran Canaria, Spain, 2015.
@incollection{Buga2015a,
  title = {A Scalable Monitoring Solution for Large-ScaleDistributed Systems},
  author = {Andreea Buga},
  booktitle = {Extended Abstracts of the Fifthteenth International Conference on Computer Aided Systems Theory (EUROCAST 2015)},
  year = {2015},
  address = {Gran Canaria, Spain},
  editor = {A. Quesada-Arencibia and others},
  pages = {67 -- 68}
}
[16] Roxana Maria Holom. Formal modeling of a client-middleware interaction system regarding content and layout adaptation. In A. Quesada-Arencibia et al., editors, Extended Abstracts of the Fifthteenth International Conference on Computer Aided Systems Theory (EUROCAST 2015), pages 179 - 180. Gran Canaria, Spain, 2015.
@incollection{Holom2015,
  title = {Formal Modeling of a Client-Middleware Interaction System Regarding Content and Layout Adaptation},
  author = {Roxana Maria Holom},
  booktitle = {Extended Abstracts of the Fifthteenth International Conference on Computer Aided Systems Theory (EUROCAST 2015)},
  year = {2015},
  address = {Gran Canaria, Spain},
  editor = {A. Quesada-Arencibia and others},
  pages = {179 -- 180}
}
[17] Roxana-Maria Holom. Formal modeling of a client-middleware interaction system regarding content and layout adaptation. In Roberto Moreno-D√≠az, Franz Pichler, and Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory ‚Äď EUROCAST 2015, volume 9520 of Lecture Notes in Computer Science, pages 565-572. Springer International Publishing, 2015.
@incollection{Holom2015b,
  title = {Formal Modeling of a Client-Middleware Interaction System Regarding Content and Layout Adaptation},
  author = {Holom, Roxana-Maria},
  booktitle = {Computer Aided Systems Theory ‚Äď EUROCAST 2015},
  publisher = {Springer International Publishing},
  year = {2015},
  editor = {Moreno-Díaz, Roberto and Pichler, Franz and Quesada-Arencibia, Alexis},
  pages = {565-572},
  series = {Lecture Notes in Computer Science},
  volume = {9520},
  doi = {10.1007/978-3-319-27340-2_70},
  isbn = {978-3-319-27339-6},
  language = {English},
  url = {http://dx.doi.org/10.1007/978-3-319-27340-2_70}
}
[18] 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}
}
[19] Harald Lampesberger. Technologies for web and cloud service interaction: a survey. Service Oriented Computing and Applications, pages 1-40, 2015.
@article{Lampesberger2015a,
  title = {Technologies for Web and cloud service interaction: a survey},
  author = {Lampesberger, Harald},
  journal = {Service Oriented Computing and Applications},
  year = {2015},
  pages = {1--40},
  abstract = {The evolution of Web and service technologies has led to a wide landscape of standards and protocols for interaction between loosely coupled software components. Examples range from Web applications, mashups, apps, and mobile devices to enterprise-grade services. Cloud computing is the industrialization of service provision and delivery, where Web and enterprise services are converging on a technological level. The article discusses this technological landscape and, in particular, current trends with respect to cloud computing. The survey focuses on the communication aspect of interaction by reviewing languages, protocols, and architectures that drive today's standards and software implementations applicable in clouds. Technological advances will affect both client side and service side. There is a trend toward multiplexing, multihoming, and encryption in upcoming transport mechanisms, especially for architectures, where a client simultaneously sends a large number of requests to some service. Furthermore, there are emerging client-to-client communication capabilities in Web clients that could establish a foundation for upcoming Web-based messaging architectures.},
  doi = {10.1007/s11761-015-0174-1},
  issn = {1863-2394},
  url = {http://dx.doi.org/10.1007/s11761-015-0174-1}
}
[20] 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}
}
[21] Tania Nemes. Computer Aided Systems Theory - EUROCAST 2015: 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers, chapter Adaptation Engine for Large-Scale Distributed Systems, pages 244-251. Springer International Publishing, Cham, 2015.
@inbook{Nemes2015,
  title = {Computer Aided Systems Theory -- EUROCAST 2015: 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers},
  author = {Nemes, Tania},
  chapter = {Adaptation Engine for Large-Scale Distributed Systems},
  editor = {Moreno-D{\'i}az, Roberto
and Pichler, Franz
and Quesada-Arencibia, Alexis},
  pages = {244--251},
  publisher = {Springer International Publishing},
  year = {2015},
  address = {Cham},
  doi = {10.1007/978-3-319-27340-2_31},
  isbn = {978-3-319-27340-2},
  url = {http://dx.doi.org/10.1007/978-3-319-27340-2_31}
}
[22] Tania Nemes. Adaptation engine for large-scale distributed systems. In A. Quesada-Arencibia et al., editors, Extended Abstracts of the Fifthteenth International Conference on Computer Aided Systems Theory (EUROCAST 2015), pages 73 - 74. Gran Canaria, Spain, 2015.
@incollection{Nemes2015a,
  title = {Adaptation Engine for Large-Scale Distributed Systems},
  author = {Tania Nemes},
  booktitle = {Extended Abstracts of the Fifthteenth International Conference on Computer Aided Systems Theory (EUROCAST 2015)},
  year = {2015},
  address = {Gran Canaria, Spain},
  editor = {A. Quesada-Arencibia and others},
  pages = {73 -- 74}
}
[23] 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}
}
[24] 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}
}
[25] 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}
}
[26] 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}
}
[27] 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}
}
[28] 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}
}
[29] Andrei Vasilateanu, Ioan Cosmin Radu, and Andreea Buga. Environment crowd-sensing for asthma management. In E-Health and Bioengineering Conference (EHB), 2015, pages 1-4, Nov 2015.
@inproceedings{Buga2015c,
  title = {Environment crowd-sensing for asthma management},
  author = {Vasilateanu, Andrei and Radu, Ioan Cosmin and Buga, Andreea},
  booktitle = {E-Health and Bioengineering Conference (EHB), 2015},
  year = {2015},
  month = {Nov},
  pages = {1-4},
  doi = {10.1109/EHB.2015.7391363},
  keywords = {Air quality;Biomedical monitoring;Diseases;Medical diagnostic imaging;Monitoring;Servers;asthma;crowd sensing;e-health;participatory medicine}
}
[30] 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}
}
[31] Nada Abdelhamid. Parallel algorithms for regular expression matching in network intrusion detection systems. Master's thesis, Johannes Kepler University Linz, July 2014.
@mastersthesis{Abdelhamid2014,
  title = {Parallel Algorithms for Regular Expression Matching in Network Intrusion Detection Systems},
  author = {Nada Abdelhamid},
  school = {Johannes Kepler University Linz},
  year = {2014},
  month = {July}
}
[32] Baher S.A. Salama. Approximate datatypes for anomaly detection in xml-based protocols. Master's thesis, Johannes Kepler University Linz, July 2014.
@mastersthesis{Salama2014,
  title = {Approximate Datatypes for Anomaly Detection in XML-Based Protocols},
  author = {Baher S.A. Salama},
  school = {Johannes Kepler University Linz},
  year = {2014},
  month = {July}
}
[33] Mariam Rady. Sla ontology, March 2014.
@electronic{SLAOntology2014,
  title = {SLA Ontology},
  address = {Softwarepark 21, 4232 Hagenberg, Austria},
  author = {Mariam Rady},
  language = {English},
  month = {March},
  organization = {Christian Doppler Laboratory for Client-Centric Cloud Computing},
  url = {http://www.cdcc.faw.jku.at/publications/mrady/sla-ontology},
  year = {2014}
}
[34] Mircea Boris Vleju. Automatic authentication to cloud-based services. Journal of Universal Computer Science, 20(3):385-405, March 2014.
@article{Vleju2014,
  title = {Automatic Authentication to Cloud-Based Services},
  author = {Mircea Boris Vleju},
  journal = {Journal of Universal Computer Science},
  year = {2014},
  month = {March},
  number = {3},
  pages = {385--405},
  volume = {20},
  abstract = {We describe the concept of automatic authentication for cloud-based services via the use of a client-centric solution for small and medium enterprises (SMEs). In previous work we have introduced the Identity Management Machine (IdMM) whichis designed to handle the interaction between a client's identity directory and various cloud identity management systems. We now further refine this machine by describingits interaction with various cloud authentication systems. The IdMM is designed to aid SMEs in their adoption or migration to cloud-based services. The system allowsSMEs to store its confidential data on-premise, enhancing the client's control over the data. We further enhance the privacy related aspects of a client-to-cloud interaction viathe introduction of obfuscated and partially obfuscated identities which allow SMEs to also choose the type of data being sent to a cloud service. Since the IdMM is a singlesign-on system capable of automatic authentication the risk of phishing or other social engineering attacks is reduced as an individual user may not be aware of his or hercredentials for a given cloud service.},
  date = {2014-03-01},
  url = {http://www.jucs.org/jucs_20_3/automatic_authentication_to_cloud}
}
[35] Jakub Pavlik. Statistics and analysis of service availability in cloud computing. Master's thesis, Johannes Kepler University Linz, Austria, February 2014.
@mastersthesis{Pavlik2014,
  title = {Statistics and Analysis of Service Availability in Cloud Computing},
  author = {Jakub Pavlik},
  school = {Johannes Kepler University Linz},
  year = {2014},
  address = {Austria},
  month = {February}
}
[36] Paolo Arcaini, Roxana-Maria Holom, and Elvinia Riccobene. Modeling and formal analysis of a client-server application for cloud services. In 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing, 2014. (to appear).
@inproceedings{Arcaini2014,
  title = {Modeling and formal analysis of a client-server application for Cloud services},
  author = {Arcaini, Paolo and Holom, Roxana-Maria and Riccobene, Elvinia},
  booktitle = {11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing},
  year = {2014},
  note = {(to appear)},
  comment = {Roxana Chelemen}
}
[37] Károly Bósa. An ambient ASM model of client-to-client interaction via cloud computing and an anonymously accessible docking service. In Software Technologies - 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers, volume 457 of Communications in Computer and Information Science, pages 235-255. Springer, 2014.
@inproceedings{Bosa14a,
  title = {An Ambient {ASM} Model of Client-to-Client Interaction via Cloud Computing
 and an Anonymously Accessible Docking Service},
  author = {K{\'a}roly B{\'o}sa},
  booktitle = {Software Technologies - 8th International Joint Conference, {ICSOFT}
 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers},
  year = {2014},
  pages = {235--255},
  publisher = {Springer},
  series = {Communications in Computer and Information Science},
  volume = {457},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/icsoft/Bosa13a},
  comment = {Karoly Bosa},
  doi = {10.1007/978-3-662-44920-2_15},
  timestamp = {Fri, 03 Oct 2014 11:45:06 +0200},
  url = {http://dx.doi.org/10.1007/978-3-662-44920-2_15}
}
[38] Károly Bósa. An Ambient ASM Model for Cloud Architectures. Submitted to Acta Cybernetica, 2014.
@unpublished{Bosa2014c,
  title = {{An Ambient {ASM} Model for Cloud Architectures}},
  author = {K{\'a}roly B{\'o}sa},
  note = {Submitted to Acta Cybernetica},
  year = {2014},
  comment = {Karoly Bosa}
}
[39] 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}
}
[40] 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}
}
[41] 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}
}
[42] Mariam Rady. Generating an excerpt of a service level agreement from a formal definition of non-functional aspects using owl. Journal of Universal Computer Science, 20(3):366-384, mar 2014.
@article{Rady2014,
  title = {Generating an Excerpt of a Service Level Agreement from a Formal Definition of Non-Functional Aspects Using OWL},
  author = {Mariam Rady},
  journal = {Journal of Universal Computer Science},
  year = {2014},
  month = {mar},
  number = {3},
  pages = {366--384},
  volume = {20},
  abstract = {If we take a look at current cloud computing services, the only quality guarantee they provide are vague Service Level Agreements(SLA). In this paper we modelled some non-functional aspects in an ontology and used this ontology as a knowledge base to generate an excerpt from a service contract. We concentrate in this excerpt on availability as it is one of the most discussed attributes in current Service Level Agreements.},
  date = {2014-03-01},
  url = {http://www.jucs.org/jucs_20_3/generating_an_excerpt_of}
}
[43] 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}
}
[44] 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}
}
[45] 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}
}
[46] 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}
}
[47] Mostafa Abdelkhalek. Evaluation system for document classification algorithms. Master's thesis, Johannes Kepler University Linz, July 2013.
@mastersthesis{Abdelkhalek2013,
  title = {Evaluation System for Document Classification Algorithms},
  author = {Mostafa Abdelkhalek},
  school = {Johannes Kepler University Linz},
  year = {2013},
  month = {July}
}
[48] Mahmoud Shaarawy. Cloudification of visual sql. Master's thesis, Johannes Kepler University Linz, Austria, July 2013.
@mastersthesis{Shaarawy2013,
  title = {Cloudification of Visual SQL},
  author = {Mahmoud Shaarawy},
  school = {Johannes Kepler University Linz},
  year = {2013},
  address = {Austria},
  month = {July}
}
[49] 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}
}
[50] Mircea Boris Vleju. IdMM demo, June 2013.
@electronic{idmm-demo,
  title = {{IdMM} Demo},
  author = {Mircea Boris Vleju},
  language = {English},
  month = {June},
  organization = {CDCC},
  url = {http://youtu.be/DoM36D0ydkA},
  year = {2013}
}
[51] Mircea Boris Vleju. A practical implementation of a client-centric identity management tool for cloud computing. In Alexis Quesada-Arencibia, Jose Carlos Rodrigues, and Roberto Moreno-Diaz, editors, EUROCAST-Computer Aided Systems Theory, pages 91-92, Las Palmas de Gran Canaria, February 2013.
@inproceedings{Vleju2013,
  title = {A Practical Implementation of a Client-Centric Identity Management Tool for Cloud Computing},
  author = {Vleju, Mircea Boris},
  booktitle = {EUROCAST-Computer Aided Systems Theory},
  year = {2013},
  address = {Las Palmas de Gran Canaria},
  editor = {Alexis Quesada-Arencibia and Jose Carlos Rodrigues and Roberto Moreno-Diaz},
  month = {February},
  pages = {91-92}
}
[52] Károly Bósa. Formal modeling of mobile computing systems based on ambient abstract state machines. In Semantics in Data and Knowledge Bases, volume 7693 of Lecture Notes in Computer Science, pages 18-49. Springer Berlin Heidelberg, 2013.
@incollection{Bosa2013a,
  title = {Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines},
  author = {K{\'a}roly B{\'o}sa},
  booktitle = {Semantics in Data and Knowledge Bases},
  publisher = {Springer Berlin Heidelberg},
  year = {2013},
  pages = {18-49},
  series = {Lecture Notes in Computer Science},
  volume = {7693},
  comment = {Karoly Bosa},
  doi = {10.1007/978-3-642-36008-4_2},
  isbn = {978-3-642-36007-7},
  url = {http://dx.doi.org/10.1007/978-3-642-36008-4_2}
}
[53] Károly Bósa. An ambient ASM model for client-to-client interaction via cloud computing. In Proceedings of the 8th International Conference on Software and Data Technologies (ICSOFT), Reykjavik, Iceland. SciTePress, Jul. 2013. (Best Paper Award).
@inproceedings{Bosa2013b,
  title = {An Ambient {ASM} Model for Client-to-Client Interaction via Cloud Computing},
  author = {K{\'a}roly B{\'o}sa},
  booktitle = {Proceedings of the 8th International Conference on Software and Data Technologies (ICSOFT), Reykjavik, Iceland},
  year = {2013},
  month = {Jul.},
  note = {(Best Paper Award)},
  publisher = {SciTePress},
  comment = {Karoly Bosa},
  location = {Reykjavik, Iceland},
  numpages = {10},
  url = {http://www.icsoft.org/}
}
[54] Roxana-Maria Chelemen. Modeling a web application for cloud content adaptation with ASMs. In Cloud Computing and Big Data (CloudCom-Asia), 2013 International Conference on, pages 44-51, Dec 2013. Printed (2014).
@inproceedings{Chelemen2013,
  title = {Modeling a Web Application for Cloud Content Adaptation with {ASM}s},
  author = {Chelemen, Roxana-Maria},
  booktitle = {Cloud Computing and Big Data (CloudCom-Asia), 2013 International Conference on},
  year = {2013},
  month = {Dec},
  note = {Printed (2014)},
  pages = {44-51},
  comment = {Roxana Holom},
  doi = {10.1109/CLOUDCOM-ASIA.2013.76},
  keywords = {{ASM} refinement;Abstract State Machines;Cloud Computing;Content adaptation;Ground models}
}
[55] Jan Kubovy, Dagmar Auer, Josef Küng, and Mariam Rady. Transition between different abstraction levels in an abstract state machine (ASM) ground model. In Proceedings of the 2013 24th International Workshop on Database and Expert Systems Applications, pages 227-230. IEEE Computer Society, 2013.
@inproceedings{kubovy2013,
  title = {Transition between different abstraction levels in an Abstract State Machine ({ASM}) ground model},
  author = {Kubovy, Jan and Auer, Dagmar and K{\"u}ng, Josef and Rady, Mariam},
  booktitle = {Proceedings of the 2013 24th International Workshop on Database and Expert Systems Applications},
  year = {2013},
  organization = {IEEE Computer Society},
  pages = {227--230}
}
[56] Harald Lampesberger. A grammatical inference approach to language-based anomaly detection in xml. In 2013 International Conference on Availability, Reliability and Security, ECTCM'13 Workshop, pages 685-693. IEEE, 2013.
@inproceedings{Lampesberger2013b,
  title = {A Grammatical Inference Approach to Language-Based Anomaly Detection in XML},
  author = {Lampesberger, Harald},
  booktitle = {2013 International Conference on Availability, Reliability and Security},
  year = {2013},
  pages = {685--693},
  publisher = {IEEE},
  series = {ECTCM'13 Workshop}
}
[57] Harald Lampesberger, Markus Zeilinger, and Eckehard Hermann. Statistical modeling of web requests for anomaly detection in web applications. In Advances in IT Early Warning. Fraunhofer Verlag, 2013.
@incollection{Lampesberger2013a,
  title = {Statistical Modeling of Web Requests for Anomaly Detection in Web Applications},
  author = {Lampesberger, Harald and Zeilinger, Markus and Hermann, Eckehard},
  booktitle = {Advances in IT Early Warning},
  publisher = {Fraunhofer Verlag},
  year = {2013},
  isbn = {978-3-8396-0474-8}
}
[58] 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}
}
[59] 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}
}
[60] 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}
}
[61] Mariam Rady. Formal definition of service availability in cloud computing using owl. In Computer Aided Systems Theory-EUROCAST 2013, pages 189-194. Springer, 2013.
@incollection{rady2013,
  title = {Formal Definition of Service Availability in Cloud Computing Using OWL},
  author = {Rady, Mariam},
  booktitle = {Computer Aided Systems Theory-EUROCAST 2013},
  publisher = {Springer},
  year = {2013},
  pages = {189--194}
}
[62] Mariam Rady. Formal definition of service availability in cloud computing using owl(extended abstract). In EUROCAST-Computer Aided Systems Theory, Gran Canaria, Spain, Feb. 2013.
@inproceedings{Rady2013a,
  title = {Formal Definition of Service Availability in Cloud Computing using OWL(Extended Abstract)},
  author = {Mariam Rady},
  booktitle = {EUROCAST-Computer Aided Systems Theory},
  year = {2013},
  address = {Gran Canaria, Spain},
  month = {Feb.}
}
[63] 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}
}
[64] 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}
}
[65] 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}
}
[66] 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}
}
[67] 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}
}
[68] Mircea Boris Vleju. A client-centric ASM-based approach to identity management in cloud computing. In Silvana Castano, Panos Vassiliadis, LaksV. Lakshmanan, and MongLi Lee, editors, Advances in Conceptual Modeling, volume 7518 of Lecture Notes in Computer Science, pages 34-43. Springer Berlin Heidelberg, October 2012.
@incollection{Vleju2012c,
  title = {A Client-Centric {ASM}-Based Approach to Identity Management in Cloud Computing},
  author = {Vleju, Mircea Boris},
  booktitle = {Advances in Conceptual Modeling},
  publisher = {Springer Berlin Heidelberg},
  year = {2012},
  editor = {Castano, Silvana and Vassiliadis, Panos and Lakshmanan, LaksV. and Lee, MongLi},
  month = {October},
  pages = {34-43},
  series = {Lecture Notes in Computer Science},
  volume = {7518},
  abstract = {We introduce the concept of an identity management machine (based on {ASM}) to mitigate problems regarding identity management in cloud computing. We decompose the client to cloud interaction into three distinct scenarios and introduce a set of {ASM} rules for each of them. We first consider a direct client to cloud interaction where the identity information stored on the client side is mapped to the identity created on the cloud provider's IdM system. To enhance privacy we then introduce the concept of real, obfuscated and partially obfuscated identities. Finally we take advantage of the increase in standardization in IdM systems defining the rules necessary to support authentication protocols such as OpenID. Our solution makes no supposition regarding the technologies used by the client and the cloud provider. Through abstract functions we allow for a distinct separation between the IdM system of the client and that of the cloud or service provider. Since a user is only required to authenticate once to our system, our solution represents a client centric single sign-on mechanism for the use of cloud services. %This greatly reduces the likelihood of phishing attacks since the user is only required to know one set of credentials and he is isolated from the intricacies of authentication to a cloud service.},
  doi = {10.1007/978-3-642-33999-8_5},
  isbn = {978-3-642-33998-1},
  keywords = {cloud computing; abstract state machine; identity management; client centric},
  url = {http://dx.doi.org/10.1007/978-3-642-33999-8_5}
}
[69] Mircea Boris Vleju. A client-centric identity management tool for small and medium enterprises using cloud services. In 4th Workshop on Software Services, pages 15-19, Bled, Slovenia, October 2012.
@inproceedings{Vleju2012b,
  title = {A Client-Centric Identity Management Tool for Small and Medium Enterprises Using Cloud Services},
  author = {Mircea Boris Vleju},
  booktitle = {4th Workshop on Software Services},
  year = {2012},
  address = {Bled, Slovenia},
  month = {October},
  pages = {15-19},
  abstract = {We propose a client-centric tool to facilitate the adoption of cloud-based services by small and medium enterprises (SMEs). Our approach allows for a quick and seamless integration between the cloud provider's identity management system and the system used by the client (SME). We introduce the concept of an Identity Management Machine (IdMM), based on {ASM}s, whose purpose is to handle the interaction between the two systems. The IdMM serves as a proxy that performs automatic authentication and authorization for individual users as well as handle identity provisioning and de-provisioning. With the adoption of such a system the client's directory service remains hidden and the IdMM only offers as much information as necessary, thus providing a privacy enhanced solution.},
  keywords = {cloud computing, abstract state machine, identity management, client centric, small and medium enterprises},
  url = {http://www.cloudconference.eu/}
}
[70] Mircea Boris Vleju. Interaction of the idmm with a client-side identity management component. Technical report, Christian Doppler Laboratory for Client-Centric Cloud Computing (CDCC), Johannes Kepler University Linz, Hagenberg, Austria, August 2012.
@techreport{Vleju2012a,
  title = {Interaction of the IdMM with a Client-Side Identity Management Component},
  author = {Mircea Boris Vleju},
  institution = {Christian Doppler Laboratory for Client-Centric Cloud Computing (CDCC), Johannes Kepler University Linz},
  year = {2012},
  address = {Hagenberg, Austria},
  month = {August},
  type = {Technical Report},
  abstract = {We extend the Identity Management Machine (IdMM) by detailing the interaction of this machine with any client based identity management solution. For each of the client-dependent abstract functions we introduce a new submachine to describe how the IdMM interacts with a client's identity management (IdM) system. To allow for a better integration we introduce the concept of default parameters. The resulting abstract functions are then described within the context of a plugin-based system which will allow the IdMM to interact with any type of IdM system. We then illustrate the interaction using an ApacheDS server.},
  keywords = {technical report, cloud computing, identity management, identity management machine, client, client centric, interaction},
  url = {http://www.cdcc.faw.jku.at/publications/bvleju/vleju2012a.pdf}
}
[71] Károly Bósa. A formal model of a cloud service architecture in terms of ambient ASM. Technical report, Christian Doppler Laboratory for Client-Centric Cloud Computing (CDCC), Johannes Kepler University Linz, Hagenberg, Austria, May 2012.
@techreport{Bosa2012,
  title = {A Formal Model of a Cloud Service Architecture in terms of ambient {ASM}},
  author = {K{\'a}roly B{\'o}sa},
  institution = {Christian Doppler Laboratory for Client-Centric Cloud Computing (CDCC), Johannes Kepler University Linz},
  year = {2012},
  address = {Hagenberg, Austria},
  month = {May},
  type = {Technical Report},
  comment = {Karoly Bosa},
  url = {http://www.cdcc.faw.jku.at/publications/kbosa/bosa2012.pdf}
}
[72] Harald Lampesberger, Philipp Winter, Markus Zeilinger, and Eckehard Hermann. An on-line learning statistical model to detect malicious web requests. In Security and Privacy in Communication Networks, volume 96 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 19-38. Springer Berlin Heidelberg, 2012.
@incollection{Lampesberger2012,
  title = {An On-Line Learning Statistical Model to Detect Malicious Web Requests},
  author = {Lampesberger, Harald and Winter, Philipp and Zeilinger, Markus and Hermann, Eckehard},
  booktitle = {Security and Privacy in Communication Networks},
  publisher = {Springer Berlin Heidelberg},
  year = {2012},
  pages = {19-38},
  series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering},
  volume = {96},
  isbn = {978-3-642-31908-2},
  keywords = {intrusion detection; anomaly detection; on-line learning; Markov model; web security}
}
[73] 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}
}
[74] Ji Ma. Analysis of access control protocols using labelled tableaux. In International Conference For Internet Technology And Secured Transactions, pages 610-615. IEEE, 2012.
@inproceedings{Ma2012c,
  title = {Analysis of access control protocols using labelled tableaux},
  author = {Ji Ma},
  booktitle = {International Conference For Internet Technology And Secured Transactions},
  year = {2012},
  pages = {610-615},
  publisher = {IEEE},
  keywords = {authorisation;formal logic;protocols;access control protocol;access control system;authentication protocol;belief logic;labelled tableaux;modal tableaux;security property;state logic;user authentication;user authorization;Access control;Authentication;Permission;Protocols;Reliability;Servers;Access control;RBAC;SL;authentication;labelled tableaux}
}
[75] Ji Ma. A formal approach for risk assessment in rbac systems. Journal of Universal Computer Science, 18(17):2432-2451, Sep. 2012.
@article{Ma2012d,
  title = {A Formal Approach for Risk Assessment in RBAC Systems},
  author = {Ji Ma},
  journal = {Journal of Universal Computer Science},
  year = {2012},
  month = {Sep.},
  number = {17},
  pages = {2432--2451},
  volume = {18},
  abstract = {Risk assessment and access control are important issues in cloud computing. In this paper, we propose a formal approach to risk assessment for RBAC Systems, in which access control decisions are taken after consideration of risk assessment. The risk assessment method considers partial orderings on objects and actions, which allow us to effectively capture the notions of importance of objects and criticality of actions and then to determine the risk of assigning a specific role to a specific user. We in particular consider the cases of permission assignment and delegation assignment.},
  date = {2012-09-01}
}
[76] 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}
}
[77] Tanh Nguyen Dinh. Service-oriented architecture-based client-cloud interaction. Master's thesis, Johannes Kepler University Linz, Austria, 2012.
@mastersthesis{Nguyen2012,
  title = {Service-Oriented Architecture-Based Client-Cloud Interaction},
  author = {Nguyen Dinh, Tanh},
  school = {Johannes Kepler University Linz},
  year = {2012},
  address = {Austria}
}
[78] Mariam Rady. Parameters for service level agreements generation in cloud computing. In Advances in Conceptual Modeling, volume 7518 of Lecture Notes in Computer Science, pages 13-22. Springer Berlin Heidelberg, 2012.
@incollection{Rady2012,
  title = {Parameters for Service Level Agreements Generation in Cloud Computing},
  author = {Rady, Mariam},
  booktitle = {Advances in Conceptual Modeling},
  publisher = {Springer Berlin Heidelberg},
  year = {2012},
  pages = {13-22},
  series = {Lecture Notes in Computer Science},
  volume = {7518},
  doi = {10.1007/978-3-642-33999-8_3},
  isbn = {978-3-642-33998-1},
  url = {http://dx.doi.org/10.1007/978-3-642-33999-8_3}
}
[79] 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}
}
[80] 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}
}
[81] 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}
}
[82] 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}
}
[83] 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}
}
[84] 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}
}
[85] 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}
}
[86] 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}
}
[87] 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}
}
[88] 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}
}
[89] 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}
}
[90] 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}
}
[91] 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}
}
[92] 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}
}
[93] 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}
}
[94] 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}
}
[95] 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}
}
[96] 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}
}
[97] 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}
}

This file was generated by bibtex2html 1.95.