Check for available options on the right hand side to narrow down or expand the list.

Show all in one page (slower)

Book as Editor
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference.

A. Cimatti, R. Sebastiani (a cura di)
Berlin: Springer, 2012, 364 p. - (LNCS; 5749). - ISBN: 9783642316111. - DOI: 10.1007/978-3-642-31612-8

Conference
Monitoring Strategic Goals in Data Warehouses with Awareness Requirements

V. Souza, J-N. Mazón, I. Garrigós, J. Trujillo, J. Mylopoulos
in SAC, Proceedings of the ACM Symposium on Applied Computing, USA: ACM, 2012, p. 1075-1082. - ISBN: 9781450308571. Atti di: SAC 2012, Riva, Trento, Italy, March 26-30, 2012. - DOI: 10.1145/2245276.2231944

Conference
Requirements-Driven Qualitative Adaptation

V. Souza, A. Lapouchnian, J. Mylopoulos
in OTM Conferences, Berlin: Springer Berlin/Heidelberg, 2012, p. 342-361. Atti di: CoopIS’12, Rome, September 10-14, 2012. - DOI: 10.1007/978-3-642-33606-5

Journal Article
Implicit: a multi-agent recommendation system for web search

A. Birukou, E. Blanzieri, P. Giorgini
in AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, v. 24, n. 1 (2012), p. 141-174. - URL: http://dx.doi.org/10.1007/s10458-010-9148-z . - DOI: 10.1007/s10458-010-9148-z

Conference
Parametric Concepts and other Experiences in Mapping the Business Intelligence Model to a Description Logic

A. Borgida, J. Horkoff, J. Mylopoulos, R. Rosati
in Proceedings of the 2012 International Workshop on Description Logics, AMSTERDAM: CEUR-WS.org, 2012. Atti di: DL-2012, Rome, Italy, June 7-10, 2012

Journal Article
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic

A. Griggio, H.T. T. Le, R. Sebastiani
in LOGICAL METHODS IN COMPUTER SCIENCE, v. 8, n. 3 (2012), p. 1-31. - DOI: 10.2168/LMCS-8(3:3)2012

Conference
Conceptualizing and Specifying Key Performance Indicators in Business Strategy Models

A. Maté, J. Trujillo, J. Mylopoulos
in Conceptual Modeling - 31st International Conference ER 2012, Berlin: Springer Berlin/Heidelberg, 2012, p. 282-291. - ISBN: 9783642340017. Atti di: ER 2012, Florence, Italy, October 15-18, 2012. - DOI: 10.1007/978-3-642-34002-4

Conference
MultiDimBIM: A Multidimensional View of Business Intelligence Models

A. Maté, J. Trujillo, J. Mylopoulos
in Conceptual Modeling - 31st International Conference ER 2012, Berlin: Springer Berlin/Heidelberg, 2012. - ISBN: 9783642340017. Atti di: ER 2012, Florence, Italy, October 15-18, 2012. - DOI: 10.1007/978-3-642-34002-4

Conference
Efficient run-time solving of RBAC user authorization queries: pushing the envelope.

A.Armando, S. Ranise, F.Turkmen, B. Crispo
in CODASPY '12 Proceedings of the second ACM conference on Data and Application Security and Privacy, New York City: ACM Press, 2012, p. 241-248. - ISBN: 9781450310918. Atti di: CODASPY , San Antonio, TX, USA, 7-9 February 2012. - DOI: 10.1145/2133601.2133631

Conference
Designing Business Intelligence Solutions using Strategic Models: A Case Study

D. Barone, T. Topaloglou, J. Mylopoulos
in Advanced Information Systems Engineering, Berlin: Springer, 2012. - ISBN: 9783642310942. Atti di: CAiSE 2012, Gdansk, Poland, June 25-29, 2012. - DOI: 10.1007/978-3-642-31095-9