• Italiano
  • English

menu

Computer Science group | publications

The PDF files available here are generally pre-print versions of the authors or links to pre-print servers like arXiv.org. The final publications are available at the link of the publishing house (accessible from the DOI).

In corso di stampa/preprints

  • F. Bergenti, G. Caire, D. Gotta, Large-Scale Network and Service Management with WANTS, Industrial Agents: Emerging Applications of Software Agents in Industry , ELSEVIER SCIENCE BV . In corso di stampa
  • F. Bergenti, G. Caire, D. Gotta, Multi-Agent Systems for Social Games with AMUSE, . In corso di stampa

2014

  • G. Amato, F. Scozzari, E. Zaffanella, Efficient Constraint/Generator Removal from Double Description of Polyhedra, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 307 (2014) , 3-15 . DOI: 10.1016/j.entcs.2014.08.002  |  Scholar
  • F. Bergenti, An Introduction to the JADEL Programming Language, Proceedings of the 2014 IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2014) , IEEE, COMPUTER SOC PRESS , Los Alamitos, California 2014  |  Scholar
  • F. Bergenti, A. Poggi, M. Tomaiuolo, Supporting Social Networks with Agents, Proceedings of the 23rd IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2014) , IEEE, COMPUTER SOC PRESS , Los Alamitos, California 2014  |  Scholar
  • F. Bergenti, A. Poggi, M. Tomaiuolo, An Actor Based Software Framework for Scalable Applications, Internet and Distributed Computing Systems LECTURE NOTES IN COMPUTER SCIENCE , 8729 , Springer International Publishing , Berlino, Germania 2014 , 26-35 . DOI: 10.1007/978-3-319-11692-1_3  |  Scholar
  • F. Bergenti, A. Poggi, M. Tomaiuolo, Social Information Retrieval with Agents, WOA 2014: Dagli Oggetti agli Agenti CEUR WORKSHOP PROCEEDINGS , 1260 , CEUR Workshop Proceedings 2014  |  Scholar
  • F. Bergenti, G. Caire, D. Gotta, Agent-based Social Gaming with AMUSE, PROCEDIA COMPUTER SCIENCE 32 (2014) , 914-919 . DOI: 10.1016/j.procs.2014.05.511  |  Scholar
  • F. Bergenti, G. Caire, D. Gotta, Agents on the Move: JADE for Android Devices, WOA 2014: Dagli Oggetti agli Agenti CEUR WORKSHOP PROCEEDINGS , 1260 , CEUR Workshop Proceedings 2014  |  Scholar
  • F. Campeotto, A. Palù, A. Dovier, F. Fioretto, E. Pontelli, Exploring the Use of GPUs in Constraint Solving, Lecture Notes in Computer SciencePractical Aspects of Declarative Languages , 8324 , springer 2014 , 152-167 . DOI: 10.1007/978-3-319-04132-2_11  |  Scholar
  • M. Cristia', G. Rossi, Rapid Prototyping and Animation of Z Specifications Using {log} , 2014 , In D. Delahaye, C. Dubois, eds, 1st International Workshop about Sets and Tools (SETS 2014), Toulouse (France), June 2014. Online proceedings: http://sets2014.cnam.fr/papers/sets2014.pdf
  • P. Favati, G. Lotti, O. Menchi, F. Romani, Stopping rules for iterative methods in nonnegatively constrained deconvolution, APPLIED NUMERICAL MATHEMATICS 75 (2014) , 154-166 . DOI: 10.1016/j.apnum.2013.07.006  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, F. Romani, An inner-outer regularizing method for ill-posed problems, INVERSE PROBLEMS AND IMAGING 8 (2014) , n. 2 , 409-420 . DOI: 10.3934/ipi.2014.8.409  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, F. Romani, Generalized Cross-Validation applied to Conjugate Gradient for discrete ill-posed problems, APPLIED MATHEMATICS AND COMPUTATION 243 (2014) , 258-268 . DOI: 10.1016/j.amc.2014.05.109  |  Scholar
  • S. Monica, F. Bergenti, A Stochastic Model of Self-Stabilizing Cellular Automata for Consensus Formation, WOA 2014: Dagli Oggetti agli Agenti CEUR WORKSHOP PROCEEDINGS , 1260 , CEUR Workshop Proceedings 2014  |  Scholar
  • G. Rossi, Programming with Partially Specified Collections , 2014 , In D. Delahaye, C. Dubois, eds, 1st International Workshop about Sets and Tools (SETS 2014), Toulouse (France), June 2014.Online proceedings: http://sets2014.cnam.fr/papers/sets2014.pdf
  • R. Vacondio, A. Dal Palù, P. Mignosa, GPU-enhanced Finite Volume Shallow Water solver for fast flood simulations, ENVIRONMENTAL MODELLING & SOFTWARE 57 (2014) , 60-75 . DOI: 10.1016/j.envsoft.2014.02.003  |  Scholar

2013

  • A. Alezan, R. Bagnara, F. Mesnard, E. Payet, Détection des fonctions de rang linéaires à terme, Actes des Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013) , TRUCHET C. 2013 , 11-20  |  Scholar
  • R. Bagnara, M. Hill Patricia, E. Zaffanella, A. Bagnara, Parma Polyhedra Library, v 1.1 (software), 2013
  • R. Bagnara, F. Mesnard, Eventual Linear Ranking Functions, Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming , ACM Press 2013 , 229-238 . DOI: 10.1145/2505879.2505884  |  Scholar
  • R. Bagnara, M. Carlier, R. Gori, A. Gotlieb, Symbolic Path-Oriented Test Data Generation for Floating-Point Programs, Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation. , IEEE Press 2013 , 1-10 . DOI: 10.1109/ICST.2013.17  |  Scholar
  • F. Bergenti, A. Poggi, M. Tomaiuolo, Using Multi-Agent Systems to Support e-Health Services, Handbook of Research on ICTs for Human-Centered Healthcare and Social Care Services , IGI Global , Hershey, Pennsylvania 2013 , 549-567 . DOI: 10.4018/978-1-4666-3986-7.ch029  |  Scholar
  • F. Bergenti, E. Franchi, A. Poggi, Agent-based Interpretations of Classic Network Models, COMPUTATIONAL AND MATHEMATICAL ORGANIZATION THEORY 19 (2013) , n. 2 , 105-127 . DOI: 10.1007/s10588-012-9150-x  |  Scholar
  • F. Bergenti, G. Cabri, M. B. Blake, U. Wajid, Adaptive Computing for Agents and Dynamic Collaborative Environments, Proceedings IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises , IEEE Computer Society , Piscataway, NJ 2013 , 1-2 . DOI: 10.1109/WETICE.2013.83  |  Scholar
  • F. Bergenti, G. Caire, D. Gotta, Mission-Critical Business Process Management with WADE, AIBP 2013 - AI Meets Business Processes CEUR WORKSHOP PROCEEDINGS , 1101 , CEUR Workshop Proceedings 2013 , 51-60  |  Scholar
  • F. Bergenti, G. Caire, D. Gotta, Latest Developments of WADE to Support User-Centric Business Processes, Declarative Agent Languages and Technologies X LECTURE NOTES IN COMPUTER SCIENCE , 7784 , Springer International Publishing , Berlino, Germania 2013 , 20-36 . DOI: 10.1007/978-3-642-37890-4_2  |  Scholar
  • F. Bergenti, G. Caire, D. Gotta, An Overview of the AMUSE Social Gaming Platform, WOA 2013: From Objects to Agents CEUR WORKSHOP PROCEEDINGS , 1099 , CEUR Workshop Proceedings 2013 , 85-90  |  Scholar
  • F. Campeotto, A. Dal Palù, A. Dovier, F. Fioretto, E. Pontelli, A Constraint Solver for Flexible Protein Model, THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 48 (2013) , 953-1000 . DOI: 10.1613/jair.4193  |  Scholar
  • M. Cristia', G. Rossi, Using {log} as a test case generator for Z specifications , 2013 , Presented at CILC 2013 - 28-esimo Convegno Italiano di Logica Computazionale, Catania, Sept. 2013
  • M. Cristia', G. Rossi, C. Frydman, {log} as a Test Case Generator for the Test Template Framework, Software Engineering and Formal Methods , 8137 , Springer , Berlin 2013 , 229-243  |  Scholar
  • A. Daducci, A. Dal Palu, A. Lemkaddem, J. Thiran, A convex optimization framework for global tractography2013 IEEE 10th International Symposium on Biomedical Imaging, 2013 IEEE 10th International Symposium on Biomedical Imaging , IEEE 2013 , 524-527 . DOI: 10.1109/ISBI.2013.6556527  |  Scholar
  • F. Fioravanti, A. Pettorossi, G. Rossi, Preface at Special Issue on the Italian Conference on Computational Logic: CILC 2011 (abstract), FUNDAMENTA INFORMATICAE 124 (2013) , n. 4 , i-ii . DOI: 10.3233/FI-2013-838  |  Scholar
  • G. Rossi, F. Bergenti, Nondeterministic Programming in Java with JSetL, CILC 2013: Italian Conference on Computational Logic CEUR WORKSHOP PROCEEDINGS , 1068 , CEUR Workshop Proceedings 2013 , 211-226  |  Scholar
  • G. Rossi, F. Bergenti, Nondeterministic Programming in Java with JSetL , 2013 , Research Report "Quaderno del Dipartimento di Matematica e Informatica", n. 510, Università di Parma
  • F. Vella, A. Dal Palù, A. Dovier, A. Formisano, E. Pontelli, CUD@ASP: Experimenting with GPGPUs in ASP solving 163-177, Proceedings of the 28th Italian Conference on Computational Logic CEUR WORKSHOP PROCEEDINGS , 1068 , Ruzica Piskac 2013 , 163-177  |  Scholar

2012

  • R. Bagnara, F. Mesnard, A. Pescetti, E. Zaffanella, A New Look at the Automatic Synthesis of Linear Ranking Functions, INFORMATION AND COMPUTATION 215 (2012) , 47-67 . DOI: 10.1016/j.ic.2012.03.003  |  Scholar
  • F. Bergenti, E. Franchi, A. Poggi, Enhancing Social Networks with Agent and Semantic Web Technologies, Collaboration and the Semantic Web: Social Networks, Knowledge Networks, and Knowledge Resources , IGI Global , Hershey, Pennsylvania 2012 , 83-100 . DOI: 10.4018/978-1-4666-0894-8.ch005  |  Scholar
  • F. Bergenti, G. Caire, D. Gotta, Supporting User-Centric Business Processes with WADE, Proceedings International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) , 3 , IFAAMAS , Richland, South Carolina 2012 , 1435-1436  |  Scholar
  • F. Bergenti, G. Caire, D. Gotta, Interactive Workflows with WADE, Proceedings IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises , IEEE Computer Society , Piscataway, NJ 2012 , 10-15 . DOI: 10.1109/WETICE.2012.32  |  Scholar
  • F. Bergenti, M. B. Blake, G. Cabri, U. Wajid, Adaptive Computing and Agent Approaches for Enhanced Collaboration, Proceedings IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises , IEEE Computer Society , Piscataway, NJ 2012 , 1-3 . DOI: 10.1109/WETICE.2012.107  |  Scholar
  • F. Campeotto, A. Dal Palu', A. Dovier, F. Fioretto, E. Pontelli, Protein Loop Modeling via Constraints and Fragment Assembly, Proceedings of Workshop on Constraint Based Methods for Bioinformatics 2012  |  Scholar
  • F. Campeotto, A. Dovier, A. Dal Palù, F. Fioretto, E. Pontelli, A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints, Principles and Practice of Constraint Programming LECTURE NOTES IN COMPUTER SCIENCE , 1 , SPRINGER-VERLAG , berlin 2012 , 850-867  |  Scholar
  • M. A. Covington, R. Bagnara, R. A. O'Keefe, J. Wielemaker, S. Price, Coding Guidelines for Prolog, THEORY AND PRACTICE OF LOGIC PROGRAMMING 12 (2012) , n. 6 , 889-927 . DOI: 10.1017/S1471068411000391  |  Scholar
  • M. Cristia', G. Rossi, C. Frydman, {log} as a Test Case Generator for the Test Template Framework , 2012 , Research Report "Quaderno del Dipartimento di Matematica e Informatica", n. 508, Università di Parma
  • A. Dal Palù, A. Dovier, A. Formisano, E. Pontelli, Exploiting Unexploited Computing Resources for Computational Logics, Proceedings of the 9th Italian Convention on Computational Logic 2012 , 74-88  |  Scholar
  • A. Dal Palù, A. Dovier, A. Formisano, E. Pontelli, CUD@SAT: GPU parallelism for SAT Solving, Proceedings of the 19th RCRA International Workshop on 2012  |  Scholar
  • A. Dal Palù, A. Dovier, F. Fogolari, E. Pontelli, Protein Structure Prediction and Analysis with Constraint Logic Programming, Computational Approaches to Nuclear Receptors , The Royal Society of Chemistry , Cambridge 2012 , 40-59 . DOI: 10.1039/9781849735353-00040  |  Scholar
  • A. Dal Palú, F. Spyrakis, P. Cozzini, A new approach for investigating protein flexibility based on Constraint Logic Programming. The first application in the case of the estrogen receptor, EUROPEAN JOURNAL OF MEDICINAL CHEMISTRY 49 (2012) , 127-140 . DOI: 10.1016/j.ejmech.2012.01.003  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, A divide and conquer algorithm for the superfast solution of Toeplitz-like systems, SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS 33-34 (2012) , 1039-1056 . DOI: 10.1137/110851407  |  Scholar
  • G. Rossi, R. Amadini, JSetL User's Manual - Version 2.3 , 2012 , Rapporto di Ricerca "Quaderno del Dipartimento di Matematica", n. 507, Universita' di Parma

2011

  • M. Baldoni, C. Baroglio, F. Bergenti, E. Marengo, V. Mascardi, V. Patti, A. Ricci, A. Santi, An Interaction-Oriented Agent Framework for Open Environments, AI*IA 2011: Artificial Intelligence around Man and Beyond LECTURE NOTES IN COMPUTER SCIENCE , 6934 , Springer , Berlin-Heidelberg 2011 , 68-79 . DOI: 10.1007/978-3-642-23954-0_9  |  Scholar
  • F. Bergenti, A. Poggi, Building Distributed and Pervasive Information Management Systems with HDS, Advances in Distributed Agent-based Retrieval Tools. Studies in Computational Intelligence STUDIES IN COMPUTATIONAL INTELLIGENCE , 361 , Springer , Berlin 2011 , 129-142 . DOI: 10.1007/978-3-642-21384-7_9  |  Scholar
  • F. Bergenti, E. Franchi, A. Poggi, Agent-based Social Networks for Enterprise Collaboration, 20th IEEE Int. Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2011) , IEEE Computer Society , LOS ALAMITOS 2011 , 25-28  |  Scholar
  • F. Bergenti, E. Franchi, A. Poggi, Selected Models for Agent-based Simulation of Social Networks, Social Networks and MultiAgent Systems Symposium (SNAMAS 2011) , University of York , York, U.K. 2011 , 27-32  |  Scholar
  • F. Bergenti, G. Caire, D. Gotta, D. Long, G. Sacchi, Enacting BPM-oriented Workflows with WADE, Proceedings Workshop on Objects and Agents (WOA 2011) CEUR WORKSHOP PROCEEDINGS , 741 , Technical University of Aachen , Aachen 2011 , 112-116  |  Scholar
  • F. Bergenti, G. Caire, D. Gotta, E. Quarantotto, G. Sacchi, Agent-Based Business Process Management with Eclipse, Proceedings Workshop of the Italian Eclipse Community 2011 , 205-216  |  Scholar
  • F. Bergenti, L. Chiarabini, G. Rossi, Programming with Partially Specified Aggregates in Java, COMPUTER LANGUAGES, SYSTEMS & STRUCTURES 37 (2011) , n. 4 , 178-192 . DOI: 10.1016/j.cl.2011.07.002  |  Scholar
  • F. Bergenti, M. B. Blake, G. Cabri, U. Wajid, Agent-Based Computing for Enterprise Collaboration: Agents and Services Interoperability, Proceedings IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises , IEEE Computer Society , Piscataway, NJ 2011 , 16-18 . DOI: 10.1109/WETICE.2011.62  |  Scholar
  • M. Best, K. Bhattarai, F. Campeotto, A. Dal Palù, H. Dang, A. Dovier, F. Fioretto, F. Fogolari, T. Le, E. Pontelli, Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with COnstraints, Proceedings of Workshop on Constraint Based methods for Bioinformatics 2011  |  Scholar
  • D. Cavone, F. Bergenti, D. Gotta, Semantic Web Services and Agents: A Reality Check, Proceedings Workshop on Objects and Agents (WOA 2011) CEUR WORKSHOP PROCEEDINGS , 741 , Technical University of Aachen , Aachen 2011 , 68-73  |  Scholar
  • A. Dal Palu, E. Pontelli, Constraint-based Assembling of Protein Fragments, Proceedings of the 4th International Workshop on Constraint Programming and Decision Making 2011  |  Scholar
  • A. Dal Palù, A. Dovier, F. Fogolari, E. Pontelli, Exploring Protein Fragment Assembly Using CLP, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence , 3 , AAAI Press/International Joint Conferences on Artificial Intelligence , Suite 100 Menlo Park CA 2011 , 2590-2596 . DOI: 10.5591/978-1-57735-516-8/IJCAI11-431  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, F. Romani, A coupled model for the indegree and outdegree analysis of the Web, INTERNET MATHEMATICS 6 (2011) , 437-459  |  Scholar
  • G. Rossi, From Set Unification to Set Constraints, INTELLIGENZA ARTIFICIALE 5:1 (2011) , 157-161 . DOI: 10.3233/IA-2011-0020  |  Scholar

2010

  • R. Bagnara, A. Bagnara, M. Hill Patricia, E. Zaffanella, ECLAIR (software), 2010
  • R. Bagnara, M. Hill Patricia, E. Zaffanella, Parma Polyhedra Library (software), 2010
  • R. Bagnara, F. Mesnard, A. Pescetti, E. Zaffanella, The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version (preprint), 2010
  • R. Bagnara, P. M. Hill, E. Zaffanella, Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions, COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS 43(5) (2010) , 453-473 . DOI: 10.1016/j.comgeo.2009.09.002  |  Scholar
  • M. Baldoni, C. Baroglio, F. Bergenti, A. Boccalatte, E. Marengo, M. Martelli, V. Mascardi, L. Padovani, V. Patti, A. Ricci, G. Rossi, A. Santi, MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems, WOA 2010: Dagli Oggetti agli Agenti CEUR WORKSHOP PROCEEDINGS , 621 , Technical University of Aachen , Aachen 2010  |  Scholar
  • M. Baldoni, C. Baroglio, F. Bergenti, A. Boccalatte, E. Marengo, M. Martelli, V. Mascardi, L. Padovani, V. Patti, A. Ricci, G. Rossi, A. Santi, MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems, Proceedings International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems CEUR WORKSHOP PROCEEDINGS , 627 , Technical University of Aachen , Aachen 2010 , 134-149  |  Scholar
  • M. Baldoni, C. Baroglio, F. Bergenti, A. Boccalatte, E. Marengo, M. Martelli, V. Mascardi, L. Padovani, V. Patti, A. Ricci, G. Rossi, A. Santi, MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems , 2010 , Rapporto di Ricerca RT 128/2010, Dipartimento di Informatica, Universita' degli Studi di Torino
  • F. Bergenti, A. Poggi, Developing Smart Emergency Applications with Multi-Agent Systems, INTERNATIONAL JOURNAL OF E-HEALTH AND MEDICAL COMMUNICATIONS 1 (2010) , n. 4 , 1-13 . DOI: 10.4018/jehmc.2010100101  |  Scholar
  • F. Bergenti, A. Poggi, Multi-Agent Systems for E-Health Services, Handbook of Research on Developments in e-Health and Telemedicine: Technological and Social Perspectives , Information Science Reference , Hershey, PA 2010 , 247-264  |  Scholar
  • F. Bergenti, E. Franchi, A. Poggi, Using HDS for realizing Multiagent Applications, Third International Workshop on LAnguages, Methodologies and Development Tools for Multi-Agent Systems (LADS'010) , 627 2010 , 62-68  |  Scholar
  • F. Bergenti, E. Vargiu, Multi-Agent Systems in the Industry: Three Notable Cases in Italy, Proceedings Workshop on Objects to Agents (WOA 2010) CEUR WORKSHOP PROCEEDINGS , 621 , Technical University of Aachen , Aachen 2010 , 1-6  |  Scholar
  • F. Bergenti, G. Caire, D. Gotta, WADE (Workflows and Agents Development Environment) (software), 2010 , Available at http://jade.tilab.com/wade
  • F. Bergenti, L. Chiarabini, G. Rossi, Programming with Partially Specified Aggregates in Java , 2010 , Rapporto di Ricerca "Quaderno del Dipartimento di Matematica", n. 500, Universita' di Parma
  • A. Dal Palu', A. Dovier, E. Pontelli, Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices, INTERNATIONAL JOURNAL OF DATA MINING AND BIOINFORMATICS 4(1) (2010) , 1-20 . DOI: 10.1504/IJDMB.2010.030964  |  Scholar
  • A. Dal Palu', G. Rossi, A. Dovier, E. Pontelli, GASP (software), 2010
  • A. Dal Palu', M. Moehl, S. Will, Alignnment of RNA with Structures of Unlimited Complexity, Proceedings of Workshop on Constraint based methods for Bioinformatics 2010  |  Scholar
  • A. Dal Palu', M. Moehl, S. Will, A Propagator for Maximum Weight String Matching with Arbitrary Pairwise Dependencies, Proceedings of CP 2010 , LNCS 6308 , Springer- Verlag , Berlin 2010 , 167-175 . DOI: 10.1007/978-3-642-15396-9_16  |  Scholar
  • A. Dal Palu', P. Torroni, 25 Years of Applications of Logic Programming in Italy, 25 Years of Logic Programming in Italy , 6125 , Springer-Verlag Berlin Heidelberg , Berlin, Heidelberg 2010 , 300-328  |  Scholar
  • A. Dal Palù, A. Dovier, F. Fogolari, E. Pontelli, CLP-based protein fragment assembly, THEORY AND PRACTICE OF LOGIC PROGRAMMING 10(4-6) (2010) , 709-724 . DOI: 10.1017/S1471068410000372  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, Stability of the Levinson algorithm for Toeplitz-like Systems, SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS 13 (2010) , 2531-2552 . DOI: 10.1137/090753619  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, F. Romani, performance analysis of maximum likehood methods for nonnegative image deconvolution, INVERSE PROBLEMS 26 (2010) . DOI: 10.1088/0266-5611/26/8/085013  |  Scholar
  • M. Mann, A. Dal Palu', Lattice model renement of protein structures, Proceedings of Workshop of Constraint based methods for Bioinformatics 2010  |  Scholar
  • G. Rossi, Logic Programming in Italy: A Historical Perspective, A 25 Year Perspective on Logic Programming , 6125 , Springer 2010 , 1-14  |  Scholar

2009

  • R. Bagnara, F. Bossi, CORAL (software), 2009
  • R. Bagnara, M. Hill Patricia, E. Zaffanella, China/Ocra (software), 2009
  • R. Bagnara, P. M. Hill, E. Zaffanella, Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions (preprint), 2009
  • R. Bagnara, P. M. Hill, E. Zaffanella, Applications of Polyhedral Computations To the Analysis and Verification of Hardware and Software Systems, THEORETICAL COMPUTER SCIENCE 410(46) (2009) , 4672-4691 . DOI: 10.1016/j.tcs.2009.07.033  |  Scholar
  • R. Bagnara, P. M. Hill, E. Zaffanella, Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness, FORMAL METHODS IN SYSTEM DESIGN 35(3) (2009) , 279-323 . DOI: 10.1007/s10703-009-0073-1  |  Scholar
  • F. Bergenti, A. Dal Palu', G. Rossi, Integrating Finite Domain and Set Constraints into a Set-based Constraint Language, FUNDAMENTA INFORMATICAE 96 (2009) , n. 3 , 227-252 . DOI: 10.3233/FI-2009-177  |  Scholar
  • F. Bergenti, A. Poggi, Multi-Agent Systems for e-Health: Recent Projects and Initiatives, WOA 2009 "Dagli Oggetti agli Agenti" , Seneca Edizioni , Torino 2009 , 1-7  |  Scholar
  • F. Bergenti, L. Rossi, M. Tomaiuolo, Towards Automated Trust Negotiation in MAS, WOA 2009 "Dagli Oggetti agli Agenti" , Seneca Edizioni , Torino 2009 , 1-6  |  Scholar
  • A. Dal Palu', A. Dovier, E. Pontelli, COLA: constraint solver for lattices (software), 2009
  • A. Dal Palu', A. Dovier, E. Pontelli, G. Rossi, GASP: Answer Set Programming with Lazy Grounding, FUNDAMENTA INFORMATICAE 96 (2009) , 297-322 . DOI: 10.3233/FI-2009-180  |  Scholar
  • A. Dal Palu', A. Dovier, E. Pontelli, G. Rossi, Answer Set Programming with Constraints Using Lazy Grounding, Logic Programming, 25th International Conference, ICLP 2009 , LNCS 5649 , Springer , berlin 2009 , 115-129 . DOI: 10.1007/978-3-642-02846-5_14  |  Scholar
  • A. Dal Palu', A. Dovier, E. Pontelli, Logic Programming Techniques in Protein Structure Determination: Methodologies and Results, Proceedings of LPNMR 09 , LNCS 5753 , Springer , berlin 2009 , 560-566 . DOI: 10.1007/978-3-642-04238-6_58  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, Recursive algorithms for unbalanced banded Toeplitz systems, NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS 16 (2009) , 561-587 . DOI: 10.1002/nla.632  |  Scholar
  • G. Rossi, A. Dal Palu', A. Dovier, E. Pontelli, {log} (version 4.6) (software), 2009 , Available at http://www.math.unipr.it/~gianfr/setlog.Home.html
  • G. Rossi, From Set Unification to Set Constraints, Il Milione (i.e. 2^6, June 3rd 2008) - A Journey in the Computational Logic in Italy (C. Baroglio, M. Baldoni, Eds.) , 487 , CEUR Workshop Proceedings , Aachen 2009 , 20-25  |  Scholar

2008

  • R. Bagnara, A. Pescetti, A. Zaccagnini, E. Zaffanella, T. Zolo, PURRS (software), 2008
  • R. Bagnara, P. M. Hill, A. Pescetti, E. Zaffanella, On the Design of Generic Static Analyzers for Imperative Languages (preprint), 2008
  • R. Bagnara, P. M. Hill, E. Zaffanella, An Improved Tight Closure Algorithm for Integer Octagonal Constraints, Proceedings of the 9th International Conference on Verification, Model Checking, and Abstract Interpretation , 4905 of LNCS , Springer-Verlag , Berlin 2008 , 8-21 . DOI: 10.1007/978-3-540-78163-9_6  |  Scholar
  • R. Bagnara, P. M. Hill, E. Zaffanella, The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems, SCIENCE OF COMPUTER PROGRAMMING 72(1-2) (2008) , 3-21 . DOI: 10.1016/j.scico.2007.08.001  |  Scholar
  • F. Bergenti, Toward a Probabilistic Model of Trust in Agent Societies, Engineering Societies in the Agents World VIII LECTURE NOTES IN COMPUTER SCIENCE , 4995 , Springer-Verlag , Berlin 2008 , 270-283 . DOI: 10.1007/978-3-540-87654-0_15  |  Scholar
  • F. Bergenti, An Evolutionary Approach to Agent-based Pattern Classification, COMMUNICATIONS OF SIWN 5 (2008) , 23-27  |  Scholar
  • F. Bergenti, Security, Privacy and Trust, CASCOM: Intelligent Service Coordination in the Semantic Web , Birkhauser , Boston 2008 , 309-328  |  Scholar
  • F. Bergenti, A. Dal Palu', G. Rossi, Generalizing Finite Domain Constraint Solving, Atti del Convegno Italiano di Logica Computazionale (CILC) 2008 , 1-15  |  Scholar
  • F. Bergenti, A. Poggi, Multi-Agent Systems for e-Health and the CASCOM Project, WOA 2008 "Dagli Oggetti agli Agenti" , Seneca Edizioni , Torino 2008 , 1-4  |  Scholar
  • F. Bergenti, M. B. Blake, G. Cabri, Agent-Based Computing for Enterprise Collaboration: Synergies of Agents and Services, Proceedings IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises , 17 , IEEE Computer Society Press , Los Alamitos, CA 2008 , 3-5 . DOI: 10.1109/WETICE.2008.67  |  Scholar
  • A. Dal Palu', A. Dovier, E. Pontelli, G. Rossi, GASP: Answer Set Programming with Lazy Grounding, Proceedings of LASH 2008 2008  |  Scholar
  • A. Dal Palu', A. Dovier, E. Pontelli, G. Rossi, GASP: Answer Set Programming with Lazy Grounding, Convegno Italiano di Logica Computazionale. 2008 , 1-15  |  Scholar
  • A. Dal Palu', D. Agostino, W. Sebastian, Introduction to the Special Issue on Bioinformatics and Constraints, CONSTRAINTS 13(1-2) (2008) , 1-2 . DOI: 10.1007/s10601-007-9030-z  |  Scholar
  • A. Dovier, C. Piazza, G. Rossi, A uniform approach to constraint-solving for lists, multisets, compact lists, and sets, ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 9 (3) (2008) , 1-29 . DOI: 10.1145/1352582.1352583  |  Scholar
  • H. Helin, M. Klusch, A. Lopes, A. Fernandez, M. Schumacher, H. Schuldt, F. Bergenti, A. Kinnunen, CASCOM (Context-aware Business Application Service Co-ordination in Mobile Computing Environment) (software), 2008 , Available at http://www.ist-cascom.org
  • G. Rossi, F. Bergenti, JSetL (version 1.3) (software), 2008 , Available at http://www.math.unipr.it/~gianfr/JSetL
  • G. Rossi, From Set Unification to Set Constraints , 2008 , Technical Report - Dip. di Informatica, Univ. di Torino, RT 110/08

2007

  • R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, E. Zaffanella, Grids: A Domain for Analyzing the Distribution of Numerical Values (preprint), 2007
  • R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, E. Zaffanella, Grids: A Domain for Analyzing the Distribution of Numerical Values, Logic-based Program Synthesis and Transformation, Revised Selected Papers from the 16th International Symposium , 4407 of LNCS , Springer-Verlag , Berlin 2007 , 219-235 . DOI: 10.1007/978-3-540-71410-1_16  |  Scholar
  • R. Bagnara, P. M. Hill, A. Pescetti, E. Zaffanella, Verification of C Programs Via Natural Semantics and Abstract Interpretation, Proceedings of the C/C++ Verification Workshop , Technical Report ICIS-R07015, Institute for Computing and Information Sciences (iCIS), Radboud University Nijmegen, Nijmegen, The Netherlands , iCIS, Radboud University Nijmegen , NIJMEGEN 2007 , 75-80  |  Scholar
  • R. Bagnara, P. M. Hill, E. Zaffanella, Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems (preprint), 2007
  • R. Bagnara, P. M. Hill, E. Zaffanella, An Improved Tight Closure Algorithm for Integer Octagonal Constraints (preprint), 2007
  • R. Bagnara, P. M. Hill, E. Zaffanella, A Prolog-Based Environment for Reasoning About Programming Languages , 2007 , 17th International Workshop on Logic-based methods in Programming Environments (WLPE'07)
  • F. Bergenti, A Practical Approach to Secure and Trusted Negotiation in MASs, Proceedings IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises , 16 , IEEE Computer Society Press , Los Alamitos, CA 2007 , 35-40 . DOI: 10.1109/WETICE.2007.4407123  |  Scholar
  • F. Bergenti, L. Lazzari, M. Mari, A. Poggi, Enabling Vocal Interaction in a Web Portal Environment, Proceedings International Conference on Web Information Systems and Technologies LECTURE NOTES IN BUSINESS INFORMATION PROCESSING , 1 , Springer-Verlag , Berlin 2007 , 204-213 . DOI: 10.1007/978-3-540-74063-6_16  |  Scholar
  • F. Bergenti, M. B. Blake, G. Cabri, Agent-based Computing for Enterprise Collaboration: Agent Interoperability for Workflow and Services, Proceedings IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises , IEEE Computer Society , Piscataway, NJ 2007 , 9-11 . DOI: 10.1109/WETICE.2007.4407118  |  Scholar
  • A. Dal Palu', A. Dovier, E. Pontelli, A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction, SOFTWARE-PRACTICE & EXPERIENCE 37:13 (2007) , 1405-1449 . DOI: 10.1002/spe.810  |  Scholar
  • A. Dal Palu', A. Dovier, E. Pontelli, Enhancing the Computation of Approximate Solutions of the Protein Structure Determination Problem Through Global Constraints for Discrete Crystal Lattices, Bioinformatics and biomedicine workshops , IEEE Conference Publications 2007 , 38-44 . DOI: 10.1109/BIBMW.2007.4425398  |  Scholar
  • A. Dal Palu', D. Agostino, F. François, W. Sebastian, Constraint-Based Methods for Bioinformatics, Trends in Constraint Programming , A John Wiley & sons, inc. 2007 , 125-125 . DOI: 10.1002/9780470612309.ch6  |  Scholar
  • A. Dal Palu', J. He, E. Pontelli, Y. Lu, A Constraint Logic Programming approach to associate 1D and 3D structural components for large protein complexes, INTERNATIONAL JOURNAL OF DATA MINING AND BIOINFORMATICS 1 (2007) , n. 4 , 352-371 . DOI: 10.1504/IJDMB.2007.012965  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, F. Romani, Adaptive solution of infinite linear systems by Krylov subspace methods, JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS 210 (2007) , 191-199 . DOI: 10.1016/j.cam.2006.10.063  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, Regularizing inverse preconditioners for symmetric band Toeplitz Systems, EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING 2007 (2007) , 1-9  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, F. Romani, A stochastic model for the link analysis of the web, INTERNET MATHEMATICS 4 (2007) , 1-19 . DOI: 10.1080/15427951.2006.10129132  |  Scholar
  • G. Lotti, A note on the solution of not balanced banded Toeplitz systems, NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS 14 (2007) , 645-657 . DOI: 10.1002/nla.548  |  Scholar
  • G. Rossi, E. Panegai, E. Poleo, JSetL: a Java Library for Supporting Declarative Programming in Java, SOFTWARE-PRACTICE & EXPERIENCE 37 (2007) , 115-149 . DOI: 10.1002/spe.749  |  Scholar

2006

  • R. Bagnara, P. M. Hill, E. Zaffanella, The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems (preprint), 2006
  • R. Bagnara, P. M. Hill, E. Zaffanella, Widening Operators for Powerset Domains, INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 8(4/5) (2006) , 449-466 . DOI: 10.1007/s10009-005-0215-8  |  Scholar
  • F. Bergenti, C. Caceres, A. Fernandez, N. Frohlich, H. Helin, O. Keller, A. Kinnunen, M. Klusch, H. Laamanen, A. Lopes, S. Ossowski, H. Schuldt, M. Schumacher, Context-Aware Service Coordination for Mobile e-Health Applications, Proceedings European Conference on eHealth GI-EDITION , 91 , GI Edition , Bonn 2006 , 119-130  |  Scholar
  • F. Bergenti, L. Lazzari, A. Poggi, Agent-Based Virtual Communities for Interactive Digital Television, WOA 2006 "Dagli Oggetti Agli Agenti" CEUR WORKSHOP PROCEEDINGS , 204 , Technical University of Aachen , Aachen 2006 , 1-6  |  Scholar
  • F. Bergenti, L. Lazzari, A. Poggi, A Multi-Agent Framework to Join DTV and Virtual Communities, Proceedings IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises , 15 , IEEE Computer Society Press , Los Alamitos, CA 2006 , 29-34 . DOI: 10.1109/WETICE.2006.10  |  Scholar
  • F. Bergenti, A. Poggi, M. Tomaiuolo, P. Turci, An Ontology Support for Semantic Aware Agents, Agent-Oriented Information Systems III - Lecture Notes in Computer Science , 3529/2006 , Springer-Verlag , BERLIN 2006 , 140-153 . DOI: 10.1007/11916291_10  |  Scholar
  • F. Bergenti, E. Panegai, G. Rossi, A Master-Slave Architecture to Integrate Sets and Finite Domains in Java, CILC'06 - Convegno Italiano di Logica Computazionale 2006 , 1-15  |  Scholar
  • A. Dal Palu', Constraint Programming Approaches to theProtein Structure Prediction Problem, 2006  |  Scholar
  • A. Dal Palu', A. Dovier, E. Pontelli, Global Constraints for Discrete Lattices, Proceedings of Workshop of Constraint based methods for Bioinformatics 2006  |  Scholar
  • A. Dal Palu', E. Pontelli, Helix Tracer (software), 2006
  • A. Dal Palu', A. Dovier, E. Pontelli, G. Rossi, A Constraint Logic Programming Language for Effective Programming with Sets and Finite Domains , 2006 , Rapporto di Ricerca "Quaderno del Dipartimento di Matematica", n. 437, Università di Parma
  • A. Dal Palu', E. Pontelli, D. Ranjan, Sequential And Parallel Algorithms For The Nca Problem On Pure Pointer Machines, THEORETICAL COMPUTER SCIENCE 352:1 (2006) , 108-135 . DOI: 10.1016/j.tcs.2005.10.040  |  Scholar
  • A. Dal Palu', J. He, E. Pontelli, Y. Lu, Identification of alpha-Helices from Low Resolution Protein Density Maps, Computational systems bioinformatics , Imperial College Press , LONDON 2006 , 89-98  |  Scholar
  • A. Dal Palu', P. Enrico, H. Jing, L. Yonggang, A Constraint Logic Programming Approach to 3D Structure Determination of Large Protein Complexes, Proceedings of the 2006 ACM symposium on Applied computing , ACM Press , New York 2006 , 131-136 . DOI: 10.1145/1141277.1141309  |  Scholar
  • A. Dovier, E. Pontelli, G. Rossi, Set Unification, THEORY AND PRACTICE OF LOGIC PROGRAMMING 6 (2006) , 645-701 . DOI: 10.1017/S1471068406002730  |  Scholar
  • A. Lopes, P. Costa, F. Bergenti, M. Klusch, B. Blankenburg, T. Moeller, H. Schuldt, Context-Aware Secure Service Composition Planning and Execution on E-Health Environments, Proceedings European Conference on eHealth GI-EDITION , 91 , GI Edition , Bonn 2006 , 179-190  |  Scholar

2005

  • R. Bagnara, A. Riaudo, CLAIR (software), 2005
  • R. Bagnara, A. Pescetti, A. Zaccagnini, E. Zaffanella, PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis (preprint), 2005
  • R. Bagnara, E. Rodriguez-Carbonell, E. Zaffanella, Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra, Proceedings of the 12th International Symposium on Static Analysis , 3672 of LNCS , Springer-Verlag , Berlin 2005 , 19-34  |  Scholar
  • R. Bagnara, E. Rodriguez-Carbonell, E. Zaffanella, Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra (preprint), 2005
  • R. Bagnara, E. Zaffanella, P. M. Hill, Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation, THEORY AND PRACTICE OF LOGIC PROGRAMMING 5(1&2) (2005) , 1-43 . DOI: 10.1017/S1471068404001978  |  Scholar
  • R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, E. Zaffanella, A Linear Domain for Analyzing the Distribution of Numerical Values (preprint), 2005
  • R. Bagnara, P. M. Hill, E. Mazzi, E. Zaffanella, Widening Operators for Weakly-Relational Numeric Abstractions (preprint), 2005
  • R. Bagnara, P. M. Hill, E. Mazzi, E. Zaffanella, Widening Operators for Weakly-Relational Numeric Abstractions, Proceedings of the 12th International Symposium on Static Analysis , 3672 of LNCS , Springer-Verlag , Berlin 2005 , 3-18 . DOI: 10.1007/11547662_3  |  Scholar
  • R. Bagnara, P. M. Hill, E. Ricci, E. Zaffanella, Precise Widening Operators for Convex Polyhedra, SCIENCE OF COMPUTER PROGRAMMING 58(1-2) (2005) , 28-56 . DOI: 10.1016/j.scico.2005.02.003  |  Scholar
  • R. Bagnara, P. M. Hill, E. Zaffanella, Not Necessarily Closed Convex Polyhedra and the Double Description Method, FORMAL ASPECTS OF COMPUTING 17(2) (2005) , 222-257 . DOI: 10.1007/s00165-005-0061-1  |  Scholar
  • F. Bellifemine, F. Bergenti, G. Caire, A. Poggi, JADE - A Java Agent Development Framework, Multi-Agent Programming: Languages, Platforms and Applications , Springer-Verlag , Berlin 2005 , 125-147 . DOI: 10.1007/0-387-26350-0_5  |  Scholar
  • F. Bergenti, A Toolkit for the Realization of Constraint-Based Multiagent Systems, Programming Multi-Agent Systems LECTURE NOTES IN COMPUTER SCIENCE , 3346 , Springer-Verlag , Berlin 2005 , 89-103 . DOI: 10.1007/978-3-540-32260-3_5  |  Scholar
  • F. Bergenti, Secure, Trusted and Privacy-Aware Interactions in Large-Scale Multiagent Systems, WOA 2005 "Dagli Oggetti agli Agenti" , 6 , Pitagora Editrice , Bologna 2005 , 144-150  |  Scholar
  • F. Bergenti, Privacy and Legal Validity in MASs? It is not just a Matter of Security and Trust, Proceedings European Workshop on Multi-Agent Systems 2005 , 57-68  |  Scholar
  • F. Bergenti, G. Cabri, Agent-Based Computing for Enterprise Collaboration: Services and Agents, Proceedings IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises , 14 , IEEE Computer Society Press , Los Alamitos, CA 2005 , 19-20 . DOI: 10.1109/WETICE.2005.15  |  Scholar
  • F. Bergenti, R. Bianchi, A. Fontana, Secure and Trusted Interactions in Societies of Electronic Agents, Proceedings Workshop on the Law and Electronic Agents , Il Mulino , BOLOGNA 2005 , 1-12  |  Scholar
  • R. Bianchi, A. Fontana, F. Bergenti, A Real-World Approach to Secure and Trusted Negotiation in MASs, Proceedings International Joint Conference on Autonomous Agents and Multiagent Systems , ACM Press , New York 2005 , 1163-1164 . DOI: 10.1145/1082473.1082674  |  Scholar
  • S. Cagnoni, F. Bergenti, M. Mordonini, G. Adorni, Evolving binary classifiers through parallel computation of multiple fitness cases, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS 35 (2005) , n. 3 , 548-555 . DOI: 10.1109/TSMCB.2005.846671  |  Scholar
  • A. Dal Palu', A. Dovier, E. Pontelli, Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD), Convegno Italiano di Logica Computazionale 2005  |  Scholar
  • A. Dal Palu', A. Dovier, E. Pontelli, A New Constraint Solver for 3D Lattices and its Application to the Protein Folding Problem, Proceedings of LPAR 2005 , LNCS 3835 , Springer , berlin 2005 , 48-63 . DOI: 10.1007/11591191_5  |  Scholar
  • A. Dal Palu', A. Dovier, E. Pontelli, Heuristics, Optimizations, and Parallelism for Protein StructurePrediction in CLP(FD)., Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , ACM Press , New York 2005 , 230-241 . DOI: 10.1145/1069774.1069796  |  Scholar
  • A. Dovier, E. Pontelli, G. Rossi, Set Unification , 2005 , arXiv:cs/0110023v2
  • P. Favati, G. Lotti, O. Menchi, Preconditioners based on fit techniques for the iterative regularization in the image deconvolution problem, BIT 45 (2005) , 15-35 . DOI: 10.1007/s10543-005-2639-7  |  Scholar
  • H. Helin, M. Klusch, A. Lopes, A. Fernández, M. Schumacher, H. Schuldt, F. Bergenti, A. Kinnunen, CASCOM: Context-aware Service Co-ordination in Mobile P2P Environments, Multiagent System Technologies LECTURE NOTES IN COMPUTER SCIENCE , 3550 , Springer , Berlin 2005 , 242-243 . DOI: 10.1007/11550648_26  |  Scholar
  • B. Luca, A. Dal Palu', D. Agostino, F. Federico, Simulazione del processo di ripiegamento di una proteina utilizzando un sistema ad agenti Agent-based Protein Folding Simulation, INTELLIGENZA ARTIFICIALE 1 (2005) , 56-61  |  Scholar
  • F. Mesnard, R. Bagnara, cTI: a Constraint-Based Termination Inference Tool for ISO-Prolog, THEORY AND PRACTICE OF LOGIC PROGRAMMING 5(1&2) (2005) , 243-257 . DOI: 10.1017/S1471068404002017  |  Scholar
  • E. Panegai, G. Rossi, Declarative Programming in Java using JSetL, CILC'05 - Convegno Italiano di Logica Computazionale 2005  |  Scholar
  • G. Rossi, E. Poleo, JSetL: Declarative Programming in Java with Sets, Multiparadigm Programming 2003 (J.Striegnitz, K.Davis, Eds.) , 27 - NIC Series , John von Neumann Institute for Computing 2005 , 229-250  |  Scholar
  • M. Tomaiuolo, P. Turci, F. Bergenti, A. Poggi, A Two-Level Approach for Ontology Management in Multi-Agent Systems, Proceedings IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises , IEEE Computer Society Press , Los Alamitos, CA 2005 , 21-26 . DOI: 10.1109/WETICE.2005.13  |  Scholar

2004

  • F. Avanzini, D. Rocchesso, A. Belussi, A. Dal Palu', A. Dovier, Designing an urban-scale auditory alert system, COMPUTER 37 (2004) , 55-61 . DOI: 10.1109/MC.2004.129  |  Scholar
  • R. Bagnara, A. Zaccagnini, Checking and Bounding the Solutions of Some Recurrence Relations (preprint), 2004
  • R. Bagnara, P. M. Hill, E. Zaffanella, Widening Operators for Powerset Domains (preprint), 2004
  • R. Bagnara, P. M. Hill, E. Zaffanella, Widening Operators for Powerset Domains, Verification, Model Checking, and Abstract Interpretation: Proceedings of the 5th International Conference , 2937, Lecture Notes in Computer Science, Springer-Verlag, Berlin , Springer-Verlag , Berlin 2004 , 135-148 . DOI: 10.1007/b94790  |  Scholar
  • R. Bagnara, R. Gori, P. M. Hill, E. Zaffanella, Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version (preprint), 2004
  • R. Bagnara, R. Gori, P. M. Hill, E. Zaffanella, Finite-Tree Analysis for Constraint Logic-Based Languages, INFORMATION AND COMPUTATION 193(2) (2004) , 84-116 . DOI: 10.1016/j.ic.2004.04.005  |  Scholar
  • F. Bergenti, QPL: A Language for Agent-Oriented Constraint Programming, Atti del Convegno AI*IA , Pitagora Editrice , Bologna 2004 , 1-9  |  Scholar
  • F. Bergenti, Product and Service Configuration for the Masses, Proceedings ECAI Workshop on Configuration 2004 , 1-6  |  Scholar
  • F. Bergenti, A. Poggi, Collaborative Fixed and Mobile Networks, McGraw-Hill 2004 Yearbook of Science & Technology , McGraw-Hill Companies , New York 2004 , 56-60  |  Scholar
  • F. Bergenti, A. Poggi, G. Rimassa, P. Turci, M. Tomaiuolo, Developing Agent-Based Applications with JADE, Design of Intelligent Multi-Agent Systems STUDIES IN FUZZINESS AND SOFT COMPUTING , 162 , Springer-Verlag , Berlin 2004 , 191-214  |  Scholar
  • F. Bergenti, G. Rimassa, M. Viroli, Operational Semantics for Agents by Iterated Refinement, Declarative Agent Languages and Technologies LECTURE NOTES IN COMPUTER SCIENCE , 2990 , Springer-Verlag , Berlin 2004 , 37-53 . DOI: 10.1007/978-3-540-25932-9_3  |  Scholar
  • F. Bergenti, M. B. Blake, G. Cabri, Agent-based Computing for Enterprise Collaboration: Human-Agent and Agent-Agent Collaboration, Proceedings IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises , IEEE Computer Society Press , Los Alamitos, CA 2004 , 11-12 . DOI: 10.1109/ENABL.2004.6  |  Scholar
  • F. Bergenti, M. Mari, M. Garijo, Collaborator: Enabling Enterprise Collaboration through Agents, Proceedings IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises , IEEE Computer Society Press , Los Alamitos, CA 2004 , 41-46 . DOI: 10.1109/ENABL.2004.19  |  Scholar
  • F. Bergenti, M. N. Huhns, On the Use of Agents as Components of Software Systems, Methodologies and Software Engineering for Agent Systems , Kluwer Academic Publishers , Norwell, MA 2004 , 19-31 . DOI: 10.1007/1-4020-8058-1_3  |  Scholar
  • L. Bortolussi, A. Dal Palù, A. Dovier, F. Fogolari, Protein Folding Simulation in CCP, Proceedings of AI*IA 2004  |  Scholar
  • A. Dal Palu', A. Dovier, F. Fogolari, Constraint Logic Programming approach to protein structure prediction., BMC BIOINFORMATICS 5:186 (2004) , 1-12 . DOI: 10.1186/1471-2105-5-186  |  Scholar
  • A. Dal Palu', A. Dovier, F. Fogolari, Protein Folding Simulation in CCP, Logic Programming, 20th International Conference, ICLP 2004 , 3132 , springer , berlin 2004 , 452-453 . DOI: 10.1007/978-3-540-27775-0_34  |  Scholar
  • A. Dal Palu', And, D. A. Agostino, F. Federico, Protein Folding in CLP(FD) with Empirical Contact Energies, LNCS Recent Advances in Constraints , 3010 , Springer , Berlin 2004 , 250-265 . DOI: 10.1007/978-3-540-24662-6_14  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, Non-recursive solution of sparse block Hessenberg systems, NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS 11 (2004) , 391-409 . DOI: 10.1002/nla.370  |  Scholar
  • L. Gemignani, G. Lotti, Rounding error analysis in solving M-matrix linear systems of block Hessenberg form, NUMERICAL ALGORITHMS 36 (2004) , 157-168  |  Scholar
  • P. M. Hill, E. Zaffanella, R. Bagnara, A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages, THEORY AND PRACTICE OF LOGIC PROGRAMMING 4(3) (2004) , 289-323 . DOI: 10.1017/S1471068401001351  |  Scholar
  • E. Panegai, E. Poleo, G. Rossi, The JSetL library: supporting declarative programming in Java, CILC'04 - Convegno Italiano di Logica Computazionale 2004 , 372-375  |  Scholar
  • E. Panegai, E. Poleo, G. Rossi, JSetL User's Manual - Version 1.0. , 2004 , Rapporto di ricerca "Quaderno del Dipartimento di Matematica", n. 384, Universita' di Parma
  • G. Rossi, E. Eds. Panegai, Proceeedings of CILC'04 - Italian Conference on Computational Logic (Parma, 15-16 June 2004) , 2004 , Rapporto di ricerca "Quaderno del Dipartimento di Matematica", n. 390, Universita' di Parma
  • G. Rossi, E. Poleo, JSetL: Declarative Programming in Java with Sets, CF '04, 2004 ACM International Conference on Computing Frontiers , ACM Press 2004  |  Scholar
  • M. Tomaiuolo, F. Bergenti, A. Poggi, P. Turci, OWLBeans: From Ontologies to Java Classes, WOA 2004 "Dagli Oggetti agli Agenti": Complex Systems and Rational Agents , Pitagora Editrice , Bologna 2004 , 116-125  |  Scholar

2003

  • G. Adorni, F. Bergenti, P. Castoldi, A. Poggi, Collaborando in Rete, AIIA NOTIZIE 1 (2003) , 73-78  |  Scholar
  • F. Avanzini, D. Rocchesso, A. Belussi, A. Dal Palu', A. Dovier, Acqua alta a Venezia: design of a urban scale auditory warning system, Proc of Int. Conf. on Auditory Display 2003 , 184-187  |  Scholar
  • R. Bagnara, A. Zaccagnini, T. Zolo, The Automatic Solution of Recurrence Relations. I. Linear Recurrences of Finite Order with Constant Coefficients (preprint), 2003
  • R. Bagnara, P. M. Hill, E. Ricci, E. Zaffanella, Precise Widening Operators for Convex Polyhedra, Static Analysis: Proceedings of the 10th International Symposium , 2694, Lecture Notes in Computer Science, Springer-Verlag, Berlin , Springer-Verlag , Berlin 2003 , 337-354  |  Scholar
  • R. Bagnara, P. M. Hill, E. Ricci, E. Zaffanella, Precise Widening Operators for Convex Polyhedra (preprint), 2003
  • F. Bergenti, Formalizing the Reusability of Software Agents, Engineering Societies in the Agents World IV LECTURE NOTES IN COMPUTER SCIENCE , 3071 , Springer-Verlag , Berlin 2003 , 246-257 . DOI: 10.1007/978-3-540-25946-6_16  |  Scholar
  • F. Bergenti, G. Rimassa, M. Somacher, L. M. Botelho, A FIPA Compliant Goal Delegation Protocol, Communications in Multiagent Systems LECTURE NOTES IN COMPUTER SCIENCE , 2650 , Springer-Verlag , Berlin 2003 , 223-238 . DOI: 10.1007/978-3-540-44972-0_12  |  Scholar
  • F. Bergenti, G. Rimassa, M. Viroli, Operational Semantics for Agents: The Grey-Box Modeling Approach, Proceedings International Joint Conference on Autonomous Agents and Multiagent Systems , ACM Press , New York 2003 , 934-935 . DOI: 10.1145/860575.860732  |  Scholar
  • F. Bergenti, S. Costicoglou, A. Poggi, A Portal for Ubiquitous Collaboration, Proceedings Conference on Advanced Information Systems Engineering CEUR WORKSHOP PROCEEDINGS , 75 , Technical University of Aachen , Aachen 2003 , 1-10  |  Scholar
  • A. Dal Palu', A. Dovier, G. Rossi, Integrating Finite Domain Constraints and CLP with Sets, 12th International Workshop on Functional and (constraint) Logic Programming 2003 , 158-171  |  Scholar
  • A. Dal Palu', A. Dovier, E. Pontelli, G. Rossi, Integrating Finite Domain Constraints and CLP with Sets, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming , ACM Press , New York 2003 , 219-229 . DOI: 10.1145/888251.888272  |  Scholar
  • A. Dovier, C. Piazza, G. Rossi, A uniform approach to constraint-solving for lists, multisets, compact lists, and sets , 2003 , arXiv:cs/0309045v1
  • A. Dovier, E. Pontelli, G. Rossi, Intensional Sets in CLP, LECTURE NOTES IN COMPUTER SCIENCE 2916 (2003) , 284-299  |  Scholar
  • A. Dovier, E. Pontelli, G. Rossi, Intensional Sets in CLP, APPIA-GULP-PRODE 2003 Joint Conference on Declarative Programming 2003 , 36-49  |  Scholar
  • G. Lotti, L. Gemignani, Efficient and stable solution of M-matrix linear systems of (block) Hessenberg form, SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS 24 (2003) , 852-876  |  Scholar
  • F. Mesnard, U. Neumerkel, S. Colin, R. Bagnara, E. Payet, A. Forst-Rakoczy, cTI (software), 2003
  • A. Poggi, F. Bergenti, M. Somacher, S. Costicoglou, Collaborator: A Collaborative System for Heterogeneous Networks and Devices, Proceedings International Conference on Enterprise Information Systems , 4 , ICEIS Press 2003 , 477-480  |  Scholar
  • E. Poleo, G. Rossi, JavaSet: Declarative Programming in Java with Sets, AGP03 - Joint Conference on Declarative Programming 2003 , 287-301  |  Scholar
  • G. Rossi, E. Poleo, JSetL: Declarative Programming in Java with Sets , 2003 , Rapporto di Ricerca "Quaderno del Dipartimento di Matematica", Università di Parma, n. 339

2002

  • F. Avanzini, A. Belussi, A. D. Palu', A. Dovier, D. Rocchesso, Optimal Placement of Acoustic Sources in a Builtup Area using CLP(FD), CLP (FD),� in Proc. APPIA-GULP-PRODE 2002, Joint Conf. on Declarative Programming 2002 , 139-154  |  Scholar
  • R. Bagnara, E. Ricci, E. Zaffanella, P. M. Hill, Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library, Static Analysis: Proceedings of the 9th International Symposium , 2477, Lecture Notes in Computer Science, Springer-Verlag, Berlin , Springer-Verlag , Berlin 2002 , 213-229  |  Scholar
  • R. Bagnara, E. Ricci, E. Zaffanella, P. M. Hill, Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library (preprint), 2002
  • R. Bagnara, M. Carro, Foreign Language Interfaces for Prolog: A Terse Survey (preprint), 2002
  • R. Bagnara, P. M. Hill, E. Zaffanella, A New Encoding of Not Necessarily Closed Convex Polyhedra, First CologNet Workshop on Component-based Software Development and Implementation Technology for Computational Logic Systems , Technical Report CLIP4/02.0, Universidad Politécnica de Madrid, Facultad de Informática , Universidad Politécnica de Madrid, Facultad de Informática , Madrid 2002 , 147-153  |  Scholar
  • R. Bagnara, P. M. Hill, E. Zaffanella, Set-Sharing Is Redundant for Pair-Sharing, THEORETICAL COMPUTER SCIENCE 277(1-2) (2002) , 3-46 . DOI: 10.1016/S0304-3975(00)00312-1  |  Scholar
  • R. Bagnara, P. M. Hill, E. Zaffanella, A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra (preprint), 2002
  • B. Bauer, F. Bergenti, P. Massonet, J. Odell, Agents and the UML: A Unified Notation for Agents and Multi-agent Systems?, Agent-Oriented Software Engineering II LECTURE NOTES IN COMPUTER SCIENCE , 2222 , Springer-Verlag , Berlin 2002 , 148-150 . DOI: 10.1007/3-540-70657-7_10  |  Scholar
  • F. Bergenti, A Discussion of Two Major Benefits of Using Agents in Software Development, Engineering Societies in the Agents World III LECTURE NOTES IN COMPUTER SCIENCE , 2577 , Springer-Verlag , Berlin 2002 , 1-12 . DOI: 10.1007/3-540-39173-8_1  |  Scholar
  • F. Bergenti, On Agentware: Ruminations on Why We Should Use Agents, Proceedings Workshop on Engineering Societies in the Agents World 2002 , 1-12  |  Scholar
  • F. Bergenti, A. Poggi, Improving UML Designs Using Automatic Design Pattern Detection, Handbook of Software Engineering and Knowledge Engineering , 2 , World Scientific , Singapore 2002 , 771-784  |  Scholar
  • F. Bergenti, A. Poggi, Agent-Oriented Software Construction with UML, Handbook of Software Engineering and Knowledge Engineering , 2 , World Scientific , Singapore 2002 , 757-769  |  Scholar
  • F. Bergenti, A. Poggi, G. Rimassa, P. Turci, CoMMA: A Multi-Agent System for Corporate Memory Management, Proceedings International Joint Conference on Autonomous Agents and Multiagent Systems , ACM Press , New York 2002 , 1039-1040 . DOI: 10.1145/545056.545066  |  Scholar
  • F. Bergenti, A. Poggi, M. Somacher, Supporting Cooperation with Off-the-Shelf Applications in Wired and Wireless Networks, Proceedings International Conference on Computer Supported Cooperative Work in Design , IEEE Computer Society Press , Los Alamitor, CA 2002 , 30-35 . DOI: 10.1109/CSCWD.2001.942226  |  Scholar
  • F. Bergenti, A. Poggi, S. Costicoglou, M. Bourdeau, H. Karp, F. Delucchi, A. Rigallo, J. Velasco, COLLABORATOR (COLLABORAtive fRAmework for remoTe and mObile useRs) (software), 2002 , Available at http://www.ist-collaborator.net
  • F. Bergenti, A. Ricci, Three Approaches to the Coordination of Multiagent Systems, Proceedings ACM Symposium on Applied Computing , ACM Press , New York 2002 , 367-372 . DOI: 10.1145/508791.508861  |  Scholar
  • F. Bergenti, M. Garijo, A. Poggi, M. Somacher, J. R. Velasco, Enhancing Collaborative Work through Agents, Atti del Convegno AI*IA , Pitagora Editrice , Bologna 2002 , 1-6  |  Scholar
  • F. Bergenti, A. Poggi, Ubiquitous Information Agents, INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS 11 (2002) , n. 3-4 , 231-244 . DOI: 10.1142/S0218843002000571  |  Scholar
  • F. Bergenti, A. Poggi, Supporting Agent-Oriented Modelling with UML, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 12 (2002) , n. 6 , 605-618 . DOI: 10.1142/S0218194002001086  |  Scholar
  • F. Bergenti, A. Poggi, M. Somacher, A Collaborative Platform for Fixed and Mobile Networks, COMMUNICATIONS OF THE ACM 45 (2002) , n. 11 , 39-44 . DOI: 10.1145/581571.581591  |  Scholar
  • A. Dal Palu', E. Pontelli, D. Ranjan, An Optimal Algorithm for Finding NCA on Pure Pointer Machines, LNCS Proceedings of Algorithm Theory - SWAT , 2368 , Springer , Berlin 2002 , 428-438 . DOI: 10.1007/3-540-45471-3_44  |  Scholar
  • A. Dal Palu', E. Pontelli, D. Ranjan, An Efficient Parallel Pointer Machine Algorithm for Nearest-Common Ancestor Problem., Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP International Conference on Theoretical Computer Science , 223 , KLUWER ACADEMIC PUBLISHERS , norwell, ma 2002 , 157-168  |  Scholar
  • A. Dovier, C. Piazza, G. Rossi, Set-Based Constraints , 2002 , Rapporto di Ricerca "Quaderno del Dipartimento di Matematica", n.309, Universita' di Parma
  • P. Favati, G. Lotti, O. Menchi, A polynomial fit preconditioner for band Toeplitz matrices in image reconstruction, LINEAR ALGEBRA AND ITS APPLICATIONS 346 (2002) , 177-197  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, F. Romani, Railway computation for infinite linear systems, INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING 30 (2002) , 419-439  |  Scholar
  • P. M. Hill, R. Bagnara, E. Zaffanella, Soundness, Idempotence and Commutativity of Set-Sharing, THEORY AND PRACTICE OF LOGIC PROGRAMMING 2(2) (2002) , 155-201 . DOI: 10.1017/S1471068401001338  |  Scholar
  • D. Ranjan, E. Pontelli, A. Dal Palu', An Optimal Data Structure to Handle Dynamic Environment in Non-deterministic Computations., COMPUTER LANGUAGES 28:2 (2002) , 181-201 . DOI: 10.1016/S0096-0551(02)00004-8  |  Scholar
  • G. Rossi, Set-based Nondeterministic Declarative Programming in SINGLETON, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 76 (2002) , 17 pages-17 pages  |  Scholar
  • E. Zaffanella, P. M. Hill, R. Bagnara, Decomposing Non-Redundant Sharing by Complementation, THEORY AND PRACTICE OF LOGIC PROGRAMMING 2(2) (2002) , 233-261 . DOI: 10.1017/S1471068401001351  |  Scholar

2001

  • G. Adorni, F. Bergenti, A. Poggi, G. Rimassa, Enabling FIPA Agents on Small Devices, Cooperative Information Agents V LECTURE NOTES IN COMPUTER SCIENCE , 2182 , Springer-Verlag , Berlin 2001 , 248-257 . DOI: 10.1007/3-540-44799-7_28  |  Scholar
  • R. Bagnara, E. Zaffanella, R. Gori, P. M. Hill, Boolean Functions for Finite-Tree Dependencies, Logic for Programming, Artificial Intelligence, and Reasoning: Proceedings of the 8th International Conference , 2250, Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin , Springer-Verlag , Berlin 2001 , 579-594  |  Scholar
  • R. Bagnara, E. Zaffanella, R. Gori, P. M. Hill, Boolean Functions for Finite-Tree Dependencies (preprint), 2001
  • R. Bagnara, R. Gori, P. M. Hill, E. Zaffanella, Finite-Tree Analysis for Constraint Logic-Based Languages, Static Analysis: Proceedings of the 8th International Symposium , 2126, Lecture Notes in Computer Science, Springer-Verlag, Berlin , Springer-Verlag , Berlin 2001 , 165-184  |  Scholar
  • R. Bagnara, R. Gori, P. M. Hill, E. Zaffanella, Finite-Tree Analysis for Constraint Logic-Based Languages (preprint), 2001
  • F. Bergenti, A. Poggi, LEAP: A FIPA Platform for Handheld and Mobile Devices, Intelligent Agents VIII LECTURE NOTES IN COMPUTER SCIENCE , 2333 , Springer , Berlin 2001 , 436-446 . DOI: 10.1007/3-540-45448-9_33  |  Scholar
  • F. Bergenti, A. Poggi, Supporting Agent-Oriented Software Engineering with UML, Proceedings International Conference on Software Engineeringand Knowlege Engineering , Knowledge Systems Institute , Skokie, IL 2001 , 291-298  |  Scholar
  • F. Bergenti, A. Poggi, A Development Toolkit to Realize Autonomous and Inter-operable Agents, Proceedings International Conference on Autonomous Agents , ACM Press , New York 2001 , 632-639 . DOI: 10.1145/375735.376474  |  Scholar
  • F. Bergenti, A. Poggi, B. Burg, M. Berger, R. Ewans, J. Shepperson, LEAP (Lightweight Extensible Agent Platform) (software), 2001 , Available at http://jade.tilab.com
  • F. Bergenti, A. Poggi, G. Rimassa, F. Bellifemine, G. Caire, JADE (Java Agent DEvelopment Framework) (software), 2001 , Available at http://jade.tilab.com
  • F. Bergenti, A. Poggi, M. Somacher, A Contract Decommitment Protocol for Automated Negotiation in Time Variant Environments, WOA 2001 "Dagli Oggetti agli Agenti": Evolutive Trends of Software Systems , Pitagora Editrice , Bologna 2001 , 56-61  |  Scholar
  • F. Bergenti, A. Poggi, B. Burg, G. Caire, Deploying FIPA-Compliant Systems on Handheld Devices, IEEE INTERNET COMPUTING 5 (2001) , n. 4 , 20-25 . DOI: 10.1109/4236.939446  |  Scholar
  • A. Dovier, C. Piazza, G. Rossi, Multiset Constraints and P Systems, LECTURE NOTES IN COMPUTER SCIENCE 2235 (2001) , 103-121  |  Scholar
  • A. Dovier, C. Piazza, G. Rossi, Multiset Constraints and P Systems, AGP 2001 Joint Conference on Declarative Programming 2001  |  Scholar
  • A. Dovier, E. Pontelli, G. Rossi, Set Unification , 2001 , Technical Report TR-CS-001/2001, Department of Computer Science, New Mexico State University, USA
  • A. Dovier, C. Piazza, G. Rossi, Multiset rewriting by multiset constraint solving, ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY 4 (1-2) (2001) , 59-76  |  Scholar
  • A. Dovier, E.. Pontelli, G. Rossi, Constructive negation and constraint logic programming with sets, NEW GENERATION COMPUTING 19 (3) (2001) , 209-255  |  Scholar
  • P. M. Hill, E. Zaffanella, R. Bagnara, A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages (preprint), 2001
  • E. Zaffanella, Correctness, Precision and Efficiency in the Sharing Analysis of Real Logic Languages, 2001  |  Scholar

2000

  • G. Adorni, F. Bergenti, S. Cagnoni, M. Mordonini, License-Plate Recognition for Restricted-Access Area Control Systems, Multimedia Video-based Surveillance Systems KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE , 573 , Kluwer Academic Publisher , Norwell, MA 2000 , 260-271 . DOI: 10.1007/978-1-4615-4327-5_22  |  Scholar
  • R. Bagnara, E. Zaffanella, P. M. Hill, Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation, Principles and Practice of Declarative Programming: Proceedings of the 2nd International Conference , Association for Computing Machinery , Association for Computing Machinery Press , New York 2000 , 103-114  |  Scholar
  • R. Bagnara, P. M. Hill, E. Zaffanella, Efficient Structural Information Analysis for Real CLP Languages, Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning , 1955 of LNAI , Springer-Verlag , Berlin 2000 , 189-206  |  Scholar
  • R. Bagnara, P. M. Hill, E. Zaffanella, Efficient Structural Information Analysis for Real CLP Languages (preprint), 2000
  • F. Bellifemine, F. Bergenti, G. Caire, A. Poggi, G. Rimassa, T. Trucco, Using Agent Technology for Information Management and Telecommunication, Atti del Congresso AICA 2000 2000 , 433-444  |  Scholar
  • F. Bergenti, A. Poggi, CollAge: A Replicated-Instances Platform for Collaborative Applications, JOURNAL OF APPLIED SYSTEMS STUDIES 1 (2000) , n. 3 , 421-435  |  Scholar
  • F. Bergenti, A. Poggi, Using UML to Model Multi-Agent Systems at the Agent Level, Proceedings World Multiconference on Systemics, Cybernetics and Informatics , IEEE Computer Society Press , New York 2000 , 645-648  |  Scholar
  • F. Bergenti, A. Poggi, IDEA: A Design Assistant Based on Automatic Design Pattern Detection, Proceedings International Conference on Software Engineering and Knowlege Engineering , Knowledge Systems Institute , Skokie, IL 2000 , 336-343  |  Scholar
  • F. Bergenti, A. Poggi, An Agent-Based Approach to Manage Negotiation Protocols in Flexible CSCW Systems, Proceedings International Conference on Autonomous Agents , ACM Press , New York 2000 , 267-268 . DOI: 10.1145/336595.337487  |  Scholar
  • F. Bergenti, A. Poggi, Aspect Views as a Means to Promote Reuse in Aspect-Oriented Languages, Proceedings ECOOP Workshop on Aspects and Dimensions of Concerns 2000 , 1-5  |  Scholar
  • F. Bergenti, A. Poggi, CollEAGUE: A Multi-Document Collaborative Environment for the Web, Proceedings International Multiconference on Circuits, Systems, Communications and Computers , WSEAS Press , Dallas, TX 2000 , 4331-4336  |  Scholar
  • F. Bergenti, A. Poggi, Exploiting UML in the Design of Multi-Agent Systems, Engineering Societies in the Agents World LECTURE NOTES IN COMPUTER SCIENCE , 1972 , Springer Verlag , Berlin 2000 , 106-113 . DOI: 10.1007/3-540-44539-0_8  |  Scholar
  • F. Bergenti, A. Poggi, G. Rimassa, Agent Architectures and Interaction Protocols for Corporate Management Systems, Proceedings ECAI Workshop on Knowledge Management and Organisational Memories 2000 , 1-29  |  Scholar
  • F. Bergenti, A. Poggi, G. Rimassa, M. Somacher, DisC++: A Software Library for Object-Oriented Concurrent and Distributed Programming, Atti del Convegno "Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi" 2000 , 1-16  |  Scholar
  • F. Bergenti, A. Poggi, M. Somacher, JaNET: A Framework for Flexible Web-Content Retrieval, Proceedings IEEE International Conference on Multimedia and Expo , IEEE Computer Society Press , New York 2000 , 137-140 . DOI: 10.1109/ICME.2000.869563  |  Scholar
  • F. Bergenti, A. Poggi, M. Somacher, An Interaction Protocol to Support Negotiation in Non-Stationary Environments, Atti del Convegno AI*IA , Pitagora Editrice , Bologna 2000 , 9-12  |  Scholar
  • F. Bergenti, M. Somacher, Using Agents to Support Negotiation in Video-on-Demand Services, WOA 2000 "Dagli Oggetti agli Agenti": Evolutive Trends of Software Systems , Pitagora Editrice , Bologna 2000 , 82-85  |  Scholar
  • A. Dovier, C. Piazza, E. Pontelli, G. Rossi, Sets and Constraint Logic Programming, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 22 (5) (2000) , 861-931  |  Scholar
  • A. Dovier, E. Pontelli, G. Rossi, A Necessary Condition for Constructive Negation in Constraint Logic Programming, INFORMATION PROCESSING LETTERS 74 (3-4) (2000) , 147-156  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, matrix form of a multi-queue problem, ACTA TECHNICA CSAV 108 (2000) , 81-88  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, F. Romani, separable asymptotic cost of evaluating elementary functions, NUMERICAL ALGORITHMS 24 (2000) , 255-277  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, F. Romani, efficient solution of sparse block Hessenberg systems, ACTA TECHNICA CSAV 108 (2000) , 89-105  |  Scholar
  • P. Favati, G. Lotti, O. Menchi, F. Romani, solution of infinite linear systems by automatic adaptive iterations, LINEAR ALGEBRA AND ITS APPLICATIONS 318 (2000) , 209-225  |  Scholar

 

Dati estratti dal Catalogo di Ateneo in data 15 Dicembre 2014

Pubblicato Venerdì, 23 Maggio, 2014 - 11:41 | ultima modifica Venerdì, 19 Dicembre, 2014 - 14:45