Cover Image

QR Code

Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings /

This book constitutes the refereed proceedings of five workshops and a symposium, held at the 36th International Conference on Conceptual Modeling, ER 2017, in Valencia, Spain in November 2017. The 21 revised full papers were carefully reviewed and selected out of 47 submissions to the following eve...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	de Cesare, Sergio. (Editor, http://id.loc.gov/vocabulary/relators/edt), Frank, Ulrich. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Series:	Information Systems and Applications, incl. Internet/Web, and HCI ; 10651
Subjects:	Software engineering. Application software. Data mining. Mathematical logic. Computer system failures. Artificial intelligence. Software Engineering. Information Systems Applications (incl. Internet). Data Mining and Knowledge Discovery. Mathematical Logic and Formal Languages. System Performance and Evaluation. Artificial Intelligence.
Online Access:	https://doi.org/10.1007/978-3-319-70625-2

Similar Items

Advances in Conceptual Modeling ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi’an, China, October 22-25, 2018, Proceedings / edited by Carson Woo, Jiaheng Lu, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee.
Published: (2018)

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings / edited by Giancarlo Guizzardi, Frederik Gailly, Rita Suzana Pitangueira Maciel.
Published: (2019)

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers / edited by Yuanguo Bi, Gang Chen, Qingxu Deng, Yi Wang.
Published: (2018)

Deductive Software Verification: Future Perspectives Reflections on the Occasion of 20 Years of KeY / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich.
Published: (2020)

Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers / edited by Robert Fullér, Silvio Giove, Francesco Masulli.
Published: (2019)

Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers / edited by Jun Zhao, Frank van Harmelen, Jie Tang, Xianpei Han, Quan Wang, Xianyong Li.
Published: (2019)

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / edited by Ahmed Bouajjani, Alexandra Silva.
Published: (2017)

Data Management Technologies and Applications 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers / edited by Joaquim Filipe, Jorge Bernardino, Christoph Quix.
Published: (2018)

Formal Concept Analysis 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings / edited by Karell Bertet, Daniel Borchmann, Peggy Cellier, Sébastien Ferré.
Published: (2017)

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings / edited by Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor.
Published: (2017)

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings / edited by Michal Hospodár, Galina Jirásková.
Published: (2019)

Automated Deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings / edited by Frank Pfenning.
Published: (2007)

Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings / edited by André Platzer, Geoff Sutcliffe.
Published: (2021)

Blockchain Intelligence Methods, Applications and Challenges / edited by Zibin Zheng, Hong-Ning Dai, Jiajing Wu.
Published: (2021)

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky.
Published: (2019)

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings / edited by Pascal Fontaine.
Published: (2019)

Logic-Based Program Synthesis and Transformation 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings / edited by Maribel Fernández.
Published: (2021)

Logic, Language, and Security Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / edited by Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada.
Published: (2020)

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings / edited by Stephen Jarvis, Steven Wright, Simon Hammond.
Published: (2018)

Case-Based Reasoning Research and Development 25th International Conference, ICCBR 2017, Trondheim, Norway, June 26-28, 2017, Proceedings / edited by David W. Aha, Jean Lieber.
Published: (2017)

Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers / edited by Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe.
Published: (2018)

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / edited by Wil van der Aalst, Eike Best.
Published: (2017)

Digital Libraries for Open Knowledge 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedings / edited by Eva Méndez, Fabio Crestani, Cristina Ribeiro, Gabriel David, João Correia Lopes.
Published: (2018)

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba by V.S. Subrahmanian, Aaron Mannes, Amy Sliva, Jana Shakarian, John P. Dickerson.
by: Subrahmanian, V.S., et al.
Published: (2013)

Discovery Science 20th International Conference, DS 2017, Kyoto, Japan, October 15–17, 2017, Proceedings / edited by Akihiro Yamamoto, Takuya Kida, Takeaki Uno, Tetsuji Kuboyama.
Published: (2017)

Knowledge and Systems Sciences 18th International Symposium, KSS 2017, Bangkok, Thailand, November 17–19, 2017, Proceedings / edited by Jian Chen, Thanaruk Theeramunkong, Thepachai Supnithi, Xijin Tang.
Published: (2017)

Formal Techniques for Distributed Objects, Components, and Systems 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / edited by Alexey Gotsman, Ana Sokolova.
Published: (2020)

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings / edited by Chitta Baral, Gerhard Brewka, John Schlipf.
Published: (2007)

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Marieke Huisman, Julia Rubin.
Published: (2017)

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos.
Published: (2016)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / edited by Alexandra Silva, K. Rustan M. Leino.
Published: (2021)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / edited by Alexandra Silva, K. Rustan M. Leino.
Published: (2021)

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / edited by Germán Puebla.
Published: (2007)

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / edited by Andy King.
Published: (2008)

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / edited by Maurizio Proietti, Hirohisa Seki.
Published: (2015)

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / edited by Moreno Falaschi.
Published: (2015)

Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / edited by Leonardo de Moura.
Published: (2017)

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers / edited by Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky.
Published: (2018)