 |
Boari, M. | [14] | |
|
Ciampolini, A. | [9], [15], [27], [53], [62] | |
|
Corradi, A. | [7], [8], [10], [12], [14] | |
|
Denti, E. | [26] | |
|
Guerri, A. | [64], [74], [82] | |
|
Lamma, E. | [1], [4], [5], [9], [13], [15], [18], [19], [20], [21], [22], [27], [44], [53], [62], [71], [72], [75] | |
|
Leonardi, L. | [7], [8], [10], [12], [14] | |
|
Mello, P. | [1], [4], [5], [9], [13], [15], [18], [19], [20], [21], [22], [27], [53], [62], [71], [72] , [75] | |
|
Milano, M. | [1], [4], [5], [13], [18], [19], [20], [21], [22], [50], [60], [64], [74] , [77], [82], [101] | |
|
Monti, G. | [97] | |
|
Moro, G. | [70], [73] | |
|
Natali, A. | [26] | |
|
Omicini, A. | [2], [3], [16], [26] | |
|
Riguzzi, F. | [17], [23], [44] | |
|
Roli, A. | [50],[51],[59] ,[60] ,[66] ,[69],[84],[93],[94],[95] | |
|
Stefanelli, C. | [14], [15], [27] | |
|
Torroni, P. | [52], [53], [54], [55], [57], [58], [61], [62], [67], [68], [71], [72], [75], [76] | |
|
Zambonelli, F. | [7], [8], [10], [11], [12], [24], [25] |
| Abstract |  |
@techreport{LIA-001-95,
author = {E.~Lamma AND P.~Mello AND M.~Milano},
title = {A Meta Constraint Logic Programming Architecture for Qualitative
and Quantitative Temporal Reasoning},
year = 1995,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-95-001},
note = {LIA Series no.~1},
}
|
| Abstract | |
@techreport{LIA-002-95,
author = {A.~Omicini},
title = {Constraining Objects as Logic Theories},
year = 1995,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-95-002},
note = {LIA Series no.~2},
}
|
| Abstract | |
@techreport{LIA-003-95,
author = {A.~Omicini},
title = {Abduction and Object State Configuration},
year = 1995,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-95-003},
note = {LIA Series no.~3},
}
|
| Abstract | |
@techreport{LIA-004-95,
author = {E.~Lamma AND P.~Mello AND M.~Milano},
title = {A Multi-Level {CLP} Architecture for Consistency Techniques},
year = 1995,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-95-004},
note = {LIA Series no.~4},
}
|
| Abstract | |
@techreport{LIA-005-95,
author = {E.~Lamma AND P.~Mello AND M.~Milano},
title = {A Meta Constraint Logic Programming Scheme},
year = 1995,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-95-005},
note = {LIA Series no.~5},
}
|
| Abstract | |
@techreport{LIA-006-95,
author = {M.P.~Schumann},
title = {Impact of Object Orientation in Compiler Building - A Grammar
Related Extensible Class Library},
year = 1995,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-95-006},
note = {LIA Series no.~6},
}
|
| Abstract | |
@techreport{LIA-007-95,
author = {A.~Corradi AND L.~Leonardi AND F.~Zambonelli},
title = {Experiences toward an Object-Oriented Approach to Structured
Parallel Programming},
year = 1995,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-95-007},
note = {LIA Series no.~7},
}
|
| Abstract | |
@techreport{LIA-001-96,
author = {A.~Corradi AND L.~Leonardi AND F.~Zambonelli},
title = {Diffusive Algorithms for Dynamic Load Balancing in Massively
Parallel Architectures},
year = 1996,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-96-001},
note = {LIA Series no.~8},
}
|
| Abstract | |
@techreport{LIA-002-96,
author = {A.~Ciampolini AND E.~Lamma AND P.~Mello AND V.~Pagone},
title = {An Abstract Interpreter for Improving the Efficiency of Dynamic
Modular Logic Languages},
year = 1996,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-96-002},
note = {LIA Series no.~9},
}
|
| Abstract | |
@techreport{LIA-003-96,
author = {A.~Corradi AND L.~Leonardi AND F.~Zambonelli},
title = {High-Level Management of Allocation in a Parallel Objects
Environment},
year = 1996,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-96-003},
note = {LIA Series no.~10},
}
|
| Abstract | |
@techreport{LIA-004-96,
author = {C.~McHale AND F.~Zambonelli},
title = {How to Control the Allocation of Parallel Applications: a Survey
on Tools and Language Constructs},
year = 1996,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-96-004},
note = {LIA Series no.~11},
}
|
| Abstract | |
@techreport{LIA-005-96,
author = {A.~Corradi AND L.~Leonardi AND F.~Zambonelli},
title = {Improving Distributed Unification through Abstract Interpretation},
year = 1996,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-96-005},
note = {LIA Series no.~12},
}
|
| Abstract | |
@techreport{LIA-006-96,
author = {E.~Lamma AND P.~Mello AND M.~Milano},
title = {Reasoning on Constraint in Constraint Logic Programming},
year = 1996,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-96-006},
note = {LIA Series no.~13},
}
|
| Abstract | |
@techreport{LIA-007-96,
author = {M.~Boari AND A.~Corradi AND L.~Leonardi AND C.~Stefanelli},
title = {A Routing Strategy for Object-Oriented Applications in Massively
Parallel Architectures},
year = 1996,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-96-007},
note = {LIA Series no.~14},
}
|
| Abstract | |
@techreport{LIA-008-96,
author = {A.~Ciampolini AND E.~Lamma AND P.~Mello AND C.~Stefanelli},
title = {Improving Distributed Unification through Abstract Interpretation},
year = 1996,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-96-008},
note = {LIA Series no.~15},
}
|
| Abstract | |
@techreport{LIA-009-96,
author = {A.~Omicini},
title = {A General Framework for Multi-Theory Logic Languages},
year = 1996,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-96-009},
note = {LIA Series no.~16},
}
|
| Abstract | |
@techreport{LIA-010-96,
author = {F.~Riguzzi},
title = {A Survey of Software Metrics},
year = 1996,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-96-010},
note = {LIA Series no.~17},
}
|
| Abstract | |
@techreport{LIA-001-97,
author = {S.~Buzzi AND E.~Lamma AND P.~Mello AND M.~Milano},
title = {Consistent Orderings for Constraint Satisfaction Scheduling},
year = 1997,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-97-001},
note = {LIA Series no.~18},
}
|
| Abstract | |
@techreport{LIA-002-97,
author = {E.~Lamma AND P.~Mello AND M.~Milano},
title = {An Incremental Consistency Algorithm for Adaptive Consistency},
year = 1997,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-97-002},
note = {LIA Series no.~19},
}
|
| Abstract | |
@techreport{LIA-003-97,
author = {A.~Caprara AND F.~Focacci AND E.~Lamma AND P.~Mello AND M.~Milano AND P.~Toth AND D.~Vigo},
title = {Integrating Constraint Logic Programming and Operations Research
Techniques for the Crew Rostering Problem},
year = 1997,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-97-003},
note = {LIA Series no.~20},
}
|
| Abstract | |
@techreport{LIA-004-97,
author = {R.~Cucchiara AND E.~Lamma AND P.~Mello AND M.~Milano},
title = {An Interactive Constraint-Based System for Selective Attention in Visual Search},
year = 1997,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-97-004},
note = {LIA Series no.~21},
}
|
| Abstract | |
@techreport{LIA-005-97,
author = {R.~Cucchiara AND E.~Lamma AND P.~Mello AND M.~Milano},
title = {Interactive Constraint Satisfaction},
year = 1997,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-97-005},
note = {LIA Series no.~22},
}
|
| Abstract | |
@techreport{LIA-006-97,
author = {F.~Gramantieri AND E.~Lamma AND P.~Mello AND F.~Riguzzi},
title = {A System for Measuring Function Points from Specifications},
year = 1997,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-97-006},
note = {LIA Series no.~23},
}
|
| Abstract | |
@techreport{LIA-007-97,
author = {F.~Zambonelli},
title = {Logging Algorithms for Parallel Programs Replay},
year = 1997,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-97-007},
note = {LIA Series no.~24},
}
|
| Abstract | |
@techreport{LIA-008-97,
author = {F.~Zambonelli},
title = {Performance Comparison of On-line Algorithms for Consistent Checkpointing},
year = 1997,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-97-008},
note = {LIA Series no.~25},
}
|
| Abstract | |
@techreport{LIA-009-97,
author = {E.~Denti AND A.~Natali AND A.~Omicini},
title = {Expressive Power of the {ACLT} Reaction Specification Language},
year = 1997,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-97-009},
note = {LIA Series no.~26},
}
|
| Abstract | |
@techreport{LIA-004-00,
author = {E. Lamma AND F. Riguzzi AND L. M. Pereira},
title = {Belief Revision via Lamarckian Evolution},
year = 2000,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-00-004},
note = {LIA Series no.~44},
}
|
| Abstract | |
@techreport{LIA-006-01,
author = {A.~Roli and M.~Milano},
title = {Metaheuristics: A Multiagent Perspective},
year = 2001,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-01-006},
note = {LIA Series no.~50},
}
|
| Abstract | |
@techreport{LIA-007-01,
author = {A.~Roli},
title = {Boolean Networks: An application to the Satisfiability Problem},
year = 2001,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-01-007},
note = {Laurea Thesis (1998), LIA Series no.~51},
}
|
| Abstract | |
@techreport{LIA-008-01,
author = {P. Torroni},
title = {A study on the termination of negotiation dialogues},
year = 2001,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-01-008},
note = {LIA Series no.~52},
}
|
| Abstract | |
@techreport{LIA-009-01,
author = {A. Ciampolini and E. Lamma and P. Mello and P.Torroni},
title = {Coordinating the Safe Execution of Tasks in a Constrained Multi-Agent System},
year = 2002,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-01-009},
note = {LIA Series no.~53},
}
|
| Abstract | |
@techreport{LIA-001-02,
author = {F. Sadri and F. Toni and P.Torroni},
title = {An abductive logic programming approach for negotiation and communication in multi-agent systems},
year = 2002,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-02-001},
note = {LIA Series no.~54},
}
|
| Abstract | |
@techreport{LIA-002-02,
author = {A. Ciampolini and P.Torroni},
title = {Using Abductive Logic Agents for Legal Justification},
year = 2002,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-02-002},
note = {LIA Series no.~55},
}
|
| Abstract | |
@techreport{LIA-003-02,
author = {A. Ciampolini, P. Mello, S. Storari},
title = {Distributed Medical Diagnosis with Abductive Logic Agents},
year = 2002,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-02-003},
note = {LIA Series no.~56},
}
|
| Abstract | |
@techreport{LIA-004-02,
author = {P. Torroni, P. Mello, A. Ciampolini, E. Lamma, M. Milano, R. Montanari, F. Riguzzi, and A. Roli},
title = {The SOcieties of ComputeeS Project: a position paper.},
year = 2002,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-02-004},
note = {LIA Series no.~57},
}
|
| Abstract | |
@PhDThesis{LIA-005-02,
author = {Paolo Torroni},
title = {Reasoning and interaction in logic-based multi-agent systems.},
year = 2002,
school = {Department of Electronics, Computer Science, and Systems, University of Bologna, Italy},
note = {Technical Report DEIS-LIA-02-005. LIA Series no.~58},
}
|
| Abstract | |
@techreport{LIA-006-02,
author = {A.~Roli},
title = {Criticality and parallelism in structured SAT instances},
year = 2002,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-02-006},
note = {LIA Series no.~59},
}
|
| Abstract | |
@techreport{LIA-007-02,
author = {A.~Roli and M.~Milano},
title = {MAGMA: A Multiagent Architecture for Metaheuristics},
year = 2002,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-02-007},
note = {LIA Series no.~60},
}
|
| Abstract | |
@techreport{LIA-008-02,
author = {F. Sadri and F. Toni and P. Torroni},
title = {A multi-stage negotiation architecture for sharing resources amongs logic-based agents},
year = 2002,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-02-008},
note = {LIA Series no.~61},
}
|
| Abstract | |
@techreport{LIA-001-03,
author = {M. Alberti and A. Ciampolini and M. Gavanelli and E. Lamma and P. Mello and P. Torroni},
title = {Logic Based Semantics for an Agent Communication Language},
year = 2003,
month = jan,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-03-001},
note = {LIA Series no.~62},
}
|
| Abstract | |
@techreport{LIA-003-03,
author = {A. Guerri and M. Milano},
title = {Exploring CP-IP based techniques for the bid evaluation in combinatorial auctions},
year = 2003,
month = apr,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-03-003},
note = {LIA Series no.~64},
}
|
| Abstract | |
@techreport{LIA-005-03,
author = {A.~Roli},
title = {Metaheuristics and Structure in Satisfiability Problems},
year = 2003,
month = may,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-03-005},
note = {PhD Thesis - LIA Series no.~66},
}
|
| Abstract | |
@article{LCMAS2003torroni,
author = {M. Alberti and M. Gavanelli and E. Lamma and P. Mello and P. Torroni},
title = {Specification and Verification of Agent Interactions using Social Integrity Constraints},
journal = {Electronic Notes in Theoretical Computer Science},
year = {2003},
editor = {W. {van der Hoek} and A. Lomuscio and E. {de Vink} and M. Wooldridge},
volume = 85,
number = 2,
publisher = {Elsevier Science Publishers},
}
|
| Abstract | |
@article{CLIMA02torroni,
author = {P. Torroni},
title = {Computational Logic in Multi-Agent Systems: recent advances and future directions},
journal = {Annals of Mathematics and Artificial Intelligence},
year = {2004},
editor = {J. Dix and J. Leite and K. Satoh},
publisher = {Kluwer Academic Publishers},
}
|
| Abstract | |
@techreport{LIA-04-001,
author = {A.~Roli},
title = {Symmetry-Breaking and Local Search: A Case Study},
year = 2004,
month = june,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-04-001},
note = {LIA Series no.~69},
}
|
| Abstract | |
@techreport{LIA-04-002,
author = {A.M. Ouksel and G. Moro},
title = {G-Grid: A Class of Scalable and Self-Organizing Data Structures for Multi-dimensional Querying and Content Routing in P2P Networks},
year = 2004,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-04-002},
note = {LIA Series no.~70},
}
|
| Abstract | |
@techreport{LIA-04-003,
author = {Marco Alberti and Federico Chesani and Marco Gavanelli and
Evelina Lamma and Paola Mello and Paolo Torroni},
title = {Compliance Verification of Agent Interaction: a Logic-based Software Tool},
year = 2005,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-04-003},
note = {LIA Series no.~71},
}
|
| Abstract | |
@techreport{LIA-04-004,
author = {Marco Alberti and Federico Chesani and Marco Gavanelli and
Evelina Lamma and Paola Mello and Paolo Torroni},
title = {On the automatic verification of interaction protocols using $g-{\cal S}CIFF$},
year = 2005,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-04-004},
note = {LIA Series no.~72},
}
|
| Abstract | |
@techreport{LIA-04-005,
author = {G. Moro and G. Monti},
title = {{M-Grid: a P2P Self-Organizing Infrastructure for Routing and Location Service in Mobile Ad-Hoc Networks}},
year = 2004,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-04-005},
note = {LIA Series no.~73},
}
|
| Abstract | |
@techreport{LIA-05-001,
author = {Luca Benini and Davide Bertozzi and Alessio Guerri and Michel Milano},
title = {Allocation and Scheduling for MPSoCs via decomposition and no-good generation},
year = 2005,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-05-001},
note = {LIA Series no.~74},
}
|
| Abstract | |
@techreport{LIA-06-001,
author = {Marco Alberti and Federico Chesani and Marco Gavanelli and
Evelina Lamma and Paola Mello and Paolo Torroni},
title = {Verifiable Agent Interaction in Abductive Logic Programming: the SCIFF proof-procedure},
year = 2006,
month = mar,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-06-001},
note = {LIA Series no.~75},
}
|
| Abstract | |
@techreport{LIA-06-002,
author = {Marco Alberti and Federico Chesani and Marco Gavanelli and
Evelina Lamma and Paola Mello and Marco Montali and Paolo Torroni},
title = {Policy-based reasoning for smart web service interaction},
year = 2006,
month = may,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-06-002},
note = {LIA Series no.~76},
}
|
| Abstract | |
@techreport{LIA-06-003,
author = {Michele Lombardi, Michela Milano},
title = {Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs},
year = 2007,
month = Mar,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-07-004},
note = {LIA Series no.~76},
}
|
| Abstract | |
@techreport{LIA-07-001,
author = {Federico Chesani and Paola Mello and Marco Montali and Sergio Storari},
title = {Towards a DecSerFlow Declarative Semantics based on Computational Logic},
year = 2007,
month = Jan,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-07-001},
note = {LIA Series no.~79},
}
|
| Abstract | |
@techreport{LIA-07-004,
author = {Luca Benini and Davide Bertozzi and Alessio Guerri and Michel Milano},
title = {Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoC},
year = 2006,
month = may,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-06-002},
note = {LIA Series no.~82},
}
|
| Abstract | |
@techreport{LIA-07-006,
author = {Luca Di Gaspero and Andrea Roli},
title = {A preliminary analysis on metaheuristics methods applied to the Haplotype Inference Problem},
year = 2007,
month = august,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-07-006},
note = {LIA Series no.~84},
}
|
| Abstract | |
@techreport{LIA-07-007,
author = {Domenico Corapi},
title = {Traduzione di un linguaggio per l’ingegneria dei requisiti orientato agli agenti in logica computazionale},
year = 2007,
month = oct,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-07-007},
note = {Master Thesis. LIA Series no.~85. In Italian.},
}
|
| Abstract | |
@techreport{LIA-08-004,
author = {Marco Montali and Marco Alberti and Federico Chesani and Marco Gavanelli and
Evelina Lamma and Paola Mello and and Paolo Torroni},
title = {Verification from declarative specifications using Logic Programming},
year = 2008,
month = jun,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-08-004},
note = {LIA Series no.~90.},
}
|
| Abstract | |
@techreport{LIA-09-004,
author = {Roli, A. and Blum, C.},
title = {Tabu Search for the Founder Sequence Reconstruction Problem: A Preliminary Study},
year = 2009,
month = january,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-09-004},
note = {LIA Series no.~94},
}
|
| Abstract | |
@techreport{LIA-09-003,
author = {Benedettini, S. and Di Gaspero, L. and Roli, A.},
title = {Genetic Master-Slave Algorithm for Haplotype Inference by Parsimony},
year = 2009,
month = january,
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-09-003},
note = {LIA Series no.~93},
}
|
| Abstract | |
@techreport{LIA-09-005,
author = {Benedettini, S. and Roli, A. and Di Gaspero, L.},
title = {EasyGenetic: A Template Metaprogramming Framework for Genetic Master-Slave Algorithms},
year = 2009,
month = {May},
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-09-005},
note = {LIA Series no.~95},
}
|
| Abstract | |
@techreport{LIA-09-007,
author = {Monti, G.},
title = {WPA-GPG: Wireless authentication using GPG Key},
year = 2009,
month = {December},
institution = {University of Bologna (Italy)},
number = {DEIS-LIA-07-009},
note = {LIA Series no.~97},
}
|
| Abstract | |
@techreport{LIA-001-11,
Author = {Ozgur Kafali and Paolo Torroni},
Institution = {University of Bologna (Italy)},
Month = {April},
Note = {LIA Series no.~99, \url{http://www.lia.deis.unibo.it/Research/TechReport/LIA-001-11.pdf}},
Number = {DEIS-LIA-001-11},
Title = {{Diagnosing commitments: Delegation revisited}},
Year = 2011}
|
| Abstract | |
@techreport{LIA-002-11,
Author = {Marco Montali and Fabrizio M. Maggi and Federico Chesani and {W. M. P.} van der Aalst},
Institution = {University of Bologna (Italy)},
Month = {March},
Note = {LIA Series no.~100, \url{http://www.lia.deis.unibo.it/Research/TechReport/LIA-002-11.pdf}},
Number = {DEIS-LIA-002-11},
Title = {{Monitoring Business Constraints with the Event Calculus}},
Year = 2011}
|
| Abstract | |
@techreport{LIA-001-14,
Author = {Alessio Bonfietti and Michele Lombardi and Michela Milano},
Institution = {University of Bologna (Italy)},
Month = {February},
Note = {LIA Series no.~101, \url{http://www.lia.deis.unibo.it/Research/TechReport/LIA-001-14.pdf}},
Number = {LIA-001-14},
Title = {{Disregarding Duration Uncertainty in Partial Order Schedules? Yes, we can!}},
Year = 2014}
|
 About this Server |
 DocMaster |
 LIA WebMaster |
| |
||