Skip to main content
AI @ UniBO
Artificial Intelligence Research at the University of Bologna
Home
People
People
Paola Mello
Michela Milano
Federico Chesani
Marco Montali
Stefano Bragaglia
Paolo Torroni
Michele Lombardi
Alessio Bonfietti
Research&Projects
Research and Projects
CLIMB
SCIFF
SOCS
SOCS-SI
ComMon
Model Learning in Comb. Opt. (Google grant)
Publications
Teaching
Sistemi Intelligenti 12/13
Sistemi Intelligenti 11/12
Login
Home
»
Biblio
Biblio
List
Filter
Show only items where
Author
Type
Term
Year
Keyword
is
Aalst, Wil
Abu-Hanna, A
Adams, Michael
Aggoun, A
Agrawal, R
Alberti, M
Alberti, Marco
Allen, James F
Allilaire, Freddy
Alonso, Gustavo
Alur, R
Alves de Medeiros, A.K.
Amnell, T
Andrei, A
Andrews, T
Andrieux, Alain
Anselma, Luca
Apolloni, B
Apt, K R
Ardagna, Danilo
Ardis, M A
Artikis, Alexander
Atlee, J M
Avrunin, G S
Awad, A
Azéma, Pierre
B. F.
Babin, Gilbert
Balbo, Gianfranco
Baldazzi, P
Baldazzi, Paola
Baldoni, Matteo
Balser, Michel
Banda, Garcia De La M
Bansal, Ajay
Barbon, Fabio
Baresi, L
Barkaoui, Kamel
Baroglio, C
Barreto, Charlton
Barros, Alistair
Barták, Roman
Bartolini, Andrea
Bauer, Andreas
Bauer, B
Beek, M H
Beer, H T
Behrmann, G
Bellahsene, Zohra
Bellazzi, R
Benatallah, Boualem
Benbernou, Salima
Bengtsson, J
Benini, Luca
Bentahar, Jamal
Berardi, D
Berens, Paul
Bergman, L
Berry, G
Berthier, F
Bertozzi, Davide
Bezem, M
Bezerra, Lima F
Bézivin, Jean
Bianculli, D
Biere, Armin
Biere, A
Billington, Jonathan
Bonfietti, Alessio
Bonner, Anthony J
Bosnacki, Dragan
Bossi, A
Bottrighi, Alessio
Boutilier, Craig
Bragadin, Gianni Luigi
Bragadin, G L
Bragaglia, Stefano
Bratko, Ivan
Bravetti, M
Breutel, Stephan
Broy, M
Bruijn, J
Brujin, J
Bruni, R
Bryant, R E
Bryl, V
Bryl, Volha
Burch, Jerry R
Bürckert, Hans-Jürgen
Burdett, David
Burgio, Paolo
Burstein, M H
Burstein, Mark
Bury, J
Busi, N
Bussler, C
C. W.
Cagnoli, Paolo
Cagnoli, P
Calvanese, D
Cangini, Alessandro
Cappelli, Amedeo
Cardoso, Jorge
Casati, Fabio
Casati, F
Casella, G
Castelfranchi, Cristiano
Castro, Jaelson
Cattafi, Massimiliano
Cavallaro, Luca
Cerioli, M
Cervenka, R
Chatterjee, Krishnendu
Chawla, N
Chechik, Marsha
Chen, Robin
Chesani, Federico
Chesani, F
Chi, Chi-Hung
Chinnici, Roberto
Chittaro, Luca
Chopra, Amit K
Chopra, A K
Christensen, Søren
Chroust, G
Ciampolini, Anna
Ciancarini, P
Ciccarese, P
Cimatti, Alessandro
Cimatti, A
Clark, Keith L
Clarke, Edmund M
Clarke, E M
Clarke, L A
Cochran, J
Coelho, H
Coletta, Remi
Colin, S
Colombetti, M
Colombini, Gabriele
Combi, Carlo
Comon, H
Corbett, J C
Corchado, Emilio
Corradinin, F
Correndo, Gianluca
Cossentino, M
Cranefield, S
Crnkovic, Ivica
Croonenborg, Joyce
Curbera, Francisco
Curbera, F
Czajkowski, Karl
D'argenio, P R
D.
D.Oddoux
Dadam, Peter
Dadam, P
Dahl, {Verónica
Damm, W
Dan, Asit
Dan, A
Daniel, Florian
David, A
Dayal, U
Dean, M
Decker, S
Decker, G
Decker, Gero
Delzanno, G
Demri, S
Denecker, M
Denti, Enrico
DeRemer, Frank
Desai, Nirmit
Desel, J
Deutsch, A
Dholakia, H
Dignum, Frank
Dijkman, Remco M
Dill, David L
Dincbas, M
Dix, Jürgen
Dixon, C
Dolif, Emiliano
Dongen, B F
Dongen, Boudewijn F
Dourish, Paul
Duelli, Christoph
Dumas, M
Dumas, Marlon
Dustdar, Schahram
Dustdar, S
Dwyer, M B
Eder, J
Eder, Johann
Elmasri, R
Emerson, E A
Engels, G
Erwin, T
Esposito, F
Euzenat, Jerome
Fdhila, W
Fehnker, A
Feier, C
Fensel, D
Feridun, Metin
Ferreira, H M
Ferreira, D R
Ferreira, Diogo R
Fiege, Ludger
Field, Marilyn J
Finin, T W
Finkel, A
Fisher, M
Fisher, Michael
Fletcher, Tony
Forghieri, A
Fornara, N
Förster, A
Foster, H
Fox, A
Fox, J
Franceschelli, Alessio
Franch, Xavier
Franconi, Enrico
Frankel, David S
Fridsma, D B
Frühwirth, T
Fry, Emory
Fung, T H
G.
Gabbay, Dov
Gallaire, H
Gan, Yuan
Gangemi, A
Garc\'{\i}a-Sebast\'{\i}an, Teresa M
Garg, Abhishek
Gasser, Lesser Les. V R
Gastin, P
Gavanelli, Marco
Gavanelli, M
Gebruers, Cormac
Ghezzi, C
Ghose, Aditya
Giacomo, De G
Giannakopoulou, Dimitra
Giunchiglia, F
Gnesi, S
Godart, C
Goedertier, S
Goedertier, Stijn
Goland, Y
Gomes, Carla P
Goodwin, Scott D
Gorrieri, R
Governatori, G
Governatori, Guido
Gößler, Gregor
Graf, T
Greaves, Mark
Greco, {G
Green, T R G
Greenes, R A
Griswold, W G
Grumberg, O
Gudgin, Martin
Guerri, Alessio
Guidi, C
Guinea, Sam
Gunopulos, D
Günther, Christian W
Gupta, Gopal
Gupta, G
Guzzo, A
H. G.
H. M. W.
Hacid, Mohand Said
Hadley, Marc
Hall, R
Hallé, S
Halpern, J Y
Hamilton, Howard J
Hansen, Niels Damgaard
Harmelen, Frank
Hartshorn, C
Havelund, Klaus
Hayes, P J
Hee, Kees M
Hentenryck, Van P
Hentenryck, Pascal Van
Henzinger, T A
Henzinger, Thomas A
Herbst, J
Hermanns, H
Hewitt, Carl
Hnich, Brahim
Hoeve, W J
Hoeve, Willem Jan
Hofer, C
Hofstede, A H M
Holland, Alan
Holmes, Jim
Holzmann, G J
Hon, Hsiao-Wuen
Horn, Florian
Howlett, Robert J
Howlett, R J
Huai, Jinpeng
Huget, M P
Huhns, Michael N
Hune, T
Hunt, Ela
Hunter, J
Hwang, L J
J.
J.Stuckey, P
Jablonski, Stefen
Jaffar, J
Jain, L C
Jain, Lakhmi C
Jalote, Pankaj
Jamroga, Wojtek
Jeannet, B
Jedrzejowicz, Piotr
Jha, S
Jin, Li Jie
Joeris, G
Johnson, P
Johnson, P D
Jones, N
Jones, N
Jonsson, B
Jonsson, Torsten
Jouault, Frédéric
Kafalı, Özgür
Kakas, A C
Kalinichenko, Leonid
Karmarkar, Anish
Katoen, J P
Kavantzas, Nickolas
Kazhamiakin, Raman
Keahey, Kate
Kearney, K
Kecskemeti, Gabor
Keizer, J
Keller, U
Kiepuszewski, Bartosz
Kifer, Michael
Kindler, E
Kiziltan, Zeynep
Klein, J
Kloul, L
Koliadis, George
Kopp, Oliver
Kowalski, R A
Kowalski, Robert A
Královic, Rastislav
Krämer, Bernd J
Kramer, J
Kreher, U
Kron, Hans H
Kropf, Peter G
Kumar, A
Kunen, Kenneth
Kupferman, O
Kurtev, Ivan
L.
Lafon, Yves
Lamersdorf, W
Lamma, Evelina
Lamma, E
Lara, R
Laroussinie, F
Larsen, K G
Latella, D
Lausen, H
Leeuwen, J
Leite, João
Leite, J A
Lenzerini, M
Leucker, Martin
Leucker, M
Levy, R
Leymann, F
Leymann, Frank
Lin, Kwei-Jay
Litani, Elena
Liu, Yunhao
Liu, X
Liu, K
Lloyd, John
Lodi, Andrea
Lohr, Kathleen N
Lombardi, Michele
Lu, Y
Lucas, P
Lucas, Peter
Luccarini, L
Luccarini, Luca
Lucchi, R
Luckham, D
Ludwig, Heiko
Ly, L T
M.
M.C.
Ma, Wei-Ying
Macaulay, L
Machiraju, Vijay
MacLean, Allan
Magee, J
Mahbub, K
Mahbub, Khaled
Maher, M J
Malerba, D
Mallya, Ajay
Mancini, Maurizio
Mancini, M
Mandrioli, D
Manfredi, M
Manfredi, Marilena
Mans, Ronny
Mantovani, Marco
Marchiori, M
Marcos, Mar
Marengo, Elisa
Margaria, Tiziana
Mariani, L
Marie, Sainte C
Marongiu, Andrea
Marques-Silva, J
Marqvardsen, Pernille
Marriott, K
Marsan, Marco Ajmone
Martelli, A
Martelli, Alberto
Martens, A
Martijn E. M. van der Werf, Jan
Martin, D L
Martin, David
Maruster, L
Mascardi, V
Massink, M
Massuthe, P
Matteis, De P
May, Wolfgang
Maynard, D
McCarthy, J
McDermott, D V
McDermott, Drew
McGuinness, D L
McGuinness, Deborah
McIlraith, S A
McIlraith, Sheila
McMillan, Kenneth L
Mecella, Massimo
Mecella, M
Medeiros, Ana Karla Alves
Meersman, R
Mello, Paola
Mello, P
Mendelsohn, Noah
Merelli, E
Michaylov, S
Micheli, Giovanni De
Midgley, G C J
Miksch, S
Miksch, Silvia
Milano, Michela
Milano, M
Milano(eds), Michela
Miller, R
Milner, R
Milosevic, Z
Min, Richard
Minker, J
Molino, Gianpaolo
Möller, M O
Montali, M
Montali, Marco
Montanari, A
Montanari, Angelo
Montani, Stefania
Moreau, Jean-Jacques
Morzenti, A
Moschoyiannis, S
Moser, Oliver
Muggleton, S
Mühl, Gero
Müller, Jörg
Müller, S
Mulyar, N
Mulyar, Nataliya
Mumick, I S
Mylopoulos, John
Nakata, Toshiyuki
Namiri, K
Narasimhan, Priya
Naumovich, G
Nejati, Shiva
Nguyen, Ngoc Thanh
Nielsen, Henrik Frystyk
Niemelä, Ilkka
Nitto, Di E
Niwinski, Damian
Nodine, M
Nùñez, M
Núñez, Manuel
Nuseibeh, B
O'Farrell, Bill
O'Sullivan, Barry
Oaks, Phillipa
OASIS Web Services Business Process Execution Language (WSBPEL) Technical Committee
Object Management Group
Odell, J
Olken, Frank
Omicini, Andrea
Omicini, A
Orlowska, M E
Ouyang, C
Ouyang, Chun
Özsu, T
P. Toth (eds.)
P.Cunningham
Padgham, Lin
Paik, Hye-Young
Palmirani, Monica
Pan, J Z
Paoli, F
Paolucci, M
Paolucci, Massimo
Papazoglou, Mike P
Parisini, Fabio
Parisini, F
Parkes, David C
Parrow, J
Parsia, Bijan
Parsons, Simon
Patti, V
Patti, Viviana
Payne, Terry
Pearl, J
Peim, M
Peled, D A
Peleg, Mor
Peleg, M
Peltz, Chris
Pernici, B
Pesant, Gilles
Pesic, M
Pesic, Maja
Petre, M
Pettersson, P
Pietro, San P
Pietzuch, Peter
Pirrone, Roberto
Pissinou, N
Pistore, Marco
Piterman, N
Pitt, Jeremy
Podelski, A
Poizat, Jean-Louis
Poletti, Francesco
Polleres, A
Ponnekanti, S R
Pontelli, E
Pontieri, L
Pradela, M
Pradella, M
Presicce, Parisi F
Presutti, V
Pretschner, A
Proctor, Mark
Pruyne, Jim
Quaglini, S
R.
R. S.
Raedt, De L
Rajamani, Sriram K
Ramakrishnan, I V
Ras, Z W
Regev, Gil
Reichert, M
Reichert, Manfred
Reif, Wolfgang
Reijers, Hajo A
Reiser, H
Reisig, W
Reiter, R
Rescher, Nicholas
Riaño, David
Ricci, Alessandro
Riemsdijk, Birna M
Riguzzi, Fabrizio
Riguzzi, F
Rinderle, S
Rinderle, Stefanie
Ritzinger, Gregory
Rofrano, John
Roli, Andrea
Roller, Dieter
Roller, D
Roman, G C
Roman, D
Romay, Manuel Grana
Rosemann, Michael
Rosemann, M
Rosenberg, Florian
Rosenbrand, Kitty
Ross, Ronald G
Rossi, Francesca
Rosu, Grigore
Rouached, M
Rousseau, Louis-Martin
Roveri, M
Rozenberg, G
Rozier, K Y
Rozinat, A.
Ruggiero, Martino
Russell, Nick
Russell, N
Russo, A
Ryman, Arthur
Sabou, Marta
Saccà, D
Sadeh, Norman M
Sadiq, S W
Sadiq, Wasim S
Sadiq, W
Sadri, F
Sadri, Fariba
Sahai, Akhil
Sakama, Chiaki
San Pietro, P
Sardina, Sebastian
Sartor, G
Satoh, K
Sayal, Mehmet
Schallhart, Christian
Schattkowsky, T
Schifanella, Claudio
Schimm, G
Schlingloff, B H
Schmidt, K
Schmidt, Rainer
Schnoebelen, P
Schonenberg, M H
Schonenberg, Helen
Schreiber, Fabio A
Schreye, De D
Searle, J
Sebastianis, M
Segev, A
Selman, Bart
Semeraro, G
Sergot, Marek
Sergot, Marek J
Seyfang, Andreas
Seyfang, A
Shahar, Y
Shahar, Yuval
Shan, M -C
Shanahan, M
Shapiro, Ehud
Shaw, Michael J
Sheth, A P
Sheth, Amit
Shields, M W
Shiffman, Richard N
Shortliffe, E H
Shroff, Gautam
Sidorova, N
Sifakis, Joseph
Silvestri, Fabrizio
Simmonds, Jocelyn
Simoff, S
Simon, Luke
Simonis, H
Singh, Munindar P
Singh, C P
Singh, M P
Sirin, E
Sistla, Prasad A
Slager, Gianfilippo
Smith, D
Snodgrass, R T
Soffer, Pnina
Solanki, Monika
Song, Minseok
Sorbello, Filippo
Sottara, D
Sottara, Davide
Spanoudakis, G
Spanoudakis, George
Spoletini, P
Srinivasan, N
Srinivasan, Naveen
Staab, S
Stefanelli, M
Sterling, Leon
Sterling, L
Stoermer, H
Stollberg, M
Storari, Sergio
Storari, S
Straeten, R
Strichman, O
Stuckey, P J
Sui, L
Sutcliffe, A
Suzuki, Jun
Sycara, K P
Sycara, Katia
Szyperski, Clemens
T.
T.A.
Tagliavini, Luca
Tagliavini, Giuseppe
Tari, Z
Teije, A
Teije, Annette
Teniente, Ernest
Terenziani, Paolo
Thatte, S
Theodoulidis, B
Thirunarayan, K
Tomkins, Andrew
Toni, F
Torchio, Mauro
Torre, L
Torroni, Paolo
Torroni, P
Toumani, F
Trainotti, Michele
Traverso, Paolo
Trickovic, I
Tsymbal, A
Tu, S
Tuecke, Steve
Tummarello, G
Turci, P
Turini, Franco
U.
Uchitel, S
UDDI Committee
Uhlig, Maike
Urquhart, Alastair
V.
Valastro, Gianfranco
Vanthienen, J
Vanthienen, Jan
Vardi, M Y
Vardi, Moshe Y
Vasconcelos, Wamberto
Veiga, Gabriel M
Veith, H
Veloso, M M
Verbeek, E
Verbeek, (Eric) H M W
Verbeek, Eric
Verbeek, H M W
Verdicchio, M
Verdonk, Marc
Vianu, V
Vila, Lluis
Vila, Llu\'ıs
Villemaire, R
Wainer, J
Walker, D
Wallace, Mark
Wangler, B
Warren, D H
Waterhouse, Julie
Weber, Barbara
Weerawarana, Sanjiva
Weerawarana, S
Weidlich, Matthias
Weijters, T
Weijters, A. J. M. M.
Weise, C
Weiss, P
Weiss, Gerhard
Weske, M
Weske, Mathias
Wetzstein, Branimir
White, Stephen A
White, S A
Wiklicky, H
Wilhelm, R
Winikoff, Michael
Wohed, P
Wolf, K
Wolper, Pierre
Woo, Carson
Wooldridge, Michael
Workflow Management Coalition
Wright, G H
X.
Xanthakos, I
Xu, Ming
Xu, K
Yakovlev, A.
Yang, Jian
Yap, R H C
Yi, W
Yi, Wang
Yolum, P
Yu, T
Zaha, J M
Zaha, Johannes Maria
Zanarini, Alessandro
Zannone, N
Zannone, Nicola
Zavattaro, G
Zavattaro, Gianluigi
Zbyslaw, Alex
Zhang, Xiaodong
Zhang, Ivy
Zhou, D
Zhu, Yunshan
Zhu, Y
Zhu, H
{Foundation for Intelligent Physical Agents}
Journal Article
Book Chapter
Conference Paper
Book
Conference Proceedings
Thesis
Miscellaneous
Access Restrictions - Everyone
Projects - e-Policy
Research Groups - AI Group UNIBO
Research Terms - Computational Sustainability
Research Terms - Embedded System Design
Research Terms - Hybrid Optimization
Research Terms - Multi-Agent Systems
Research Terms - Tree and local search
In Press
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1983
1979
1978
1976
1974
1971
1969
1965
1959
1951
Abductive Logic Programming
ALP framework
ArgSciFF
Computational Logic
Constraint Programming
dialogic argument exchange
embedded system design
EML
Event Calculus
fuzzy logic
Hybrid optimization
intelligent agent
logic programming
Monitoring
Neural network
operational argumentation framework
Operations REsearch
Periodic scheduling
Reactive Reasoning
Sampling
Sciff abductive-logic programming
Search Strategies
semantic Web
semantic Web services
strategic environmental assessment
thermal aware resource allocation
vardurs
Web services
