Per Year
@inproceedings{soamethsurvey-yrsoc2007,
Author = {Ramollari, Ervin and Dranidis, Dimitris and James, Anthony and Simons, Howard},
Booktitle = {2nd European Young Researchers Workshop on Service Oriented Computing},
Editor = {Gorton, Stephen and Solanki, Monika and Reiff-Marganiec, Stephen},
Keywords = {SOA, service oriented software engineering, methodologies, survey},
Pages = {75--80},
Title = {A Survey of Service Oriented Development Methodologies},
Url = {http://www.cs.le.ac.uk/events/yrsoc2007/downloads/proceedings.pdf},
Year = 2007} @book{jadebook-2007,
Author = {Bellifemine, Fabio Luigi and Caire, Giovanni and Greenwood, Dominic},
Isbn = {978-0-470-05747-6},
Month = feb,
Publisher = {Wiley},
Title = {Developing Multi-Agent Systems with {JADE}},
Url = {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470057475.html},
Year = 2007} @INPROCEEDINGS{TroposMetteg07,
author = {Bryl, Volha and Dalpiaz, Fabiano and Ferrario, Roberta and Mattioli, Andrea and Villafiorita, Adolfo},
title = {Evaluating Procedural Alternatives. A Case Study in E-Voting},
booktitle = {Proceedings of the 1st International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG'07)},
year = {2007},
address = {Camerino, Italy},
month = {27--28}}}
}
@inproceedings{pme-qest07,
title = {Invited Talk: A Process Algebra Master Equation},
address = {Los Alamitos, CA, USA},
publisher = {IEEE Computer Society},
urlpdf = {http://ieeexplore.ieee.org/iel5/4338221/4338222/04338261.pdf?tp=&arnumber=4338261&isnumber=4338222},
month = sep,
doi= {10.1109/QEST.2007.25},
isbn = {0-7695-2883-X},
year = 2007,
pages = {219--226},
author = {Cardelli, Luca},
booktitle = {4th International Conference on the Quantitative Evaluation of Systems (QEST 2007)}} @inproceedings{soda-esaw07,
address = {Athens, Greece},
author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
booktitle = {8th International Workshop ``Engineering Societies in the Agents World'' (ESAW'07)},
editor = {Artikis, Alexander and O'Hare, Gregory and Stathis, Kostas and Vouros, George},
month = {22--24}}},
publisher = {NCSR ``Demokritos''},
title = {From {AOSE} Methodologies to {MAS} Infrastructures: The {{\sf SODA}} Case Study},
year = 2007
} @incollection{swarmlinda-lncs4725,
Author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert},
Booktitle = {Self-Organizing Systems},
Doi = {10.1007/978-3-540-74917-2},
Editor = {Hutchison, Davis and Katz, Randy},
Elsevier-Ref = {LNCS4725},
Isbn = {978-3-540-74916-5},
Issn = {0302-9743},
eissn = {1611-3349},
Month = aug,
Note = {2nd International Workshop on Self-Organizing Systems (IWSOS 2007), The Lake District, UK, 11--13~} # sep # {~2007. Proceedings},
Pages = {146--160},
Publisher = {Springer},
Series = {LNCS},
Title = {A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems},
Url = {http://www.springerlink.com/content/f602r041350x5u8v/},
Volume = 4725,
Year = 2007} @techreport{GokturkParadigm,
address = {Oslo, Norway},
author = {Göktürk, Erek},
institution = {Department of Informatics, University of Oslo},
title = {What is ``paradigm''?},
type = {Essay},
urlpdf = {http://folk.uio.no/erek/essays/paradigm.pdf},
year = 2007
} @article{crowdmodeling-cybsys38,
Author = {Bandini, Stefania and Federici, Mizar Luca and Vizzari, Giuseppe},
Doi = {10.1080/01969720701534141},
Issn = {0196-9722},
eissn = {1087-6553},
Journal = {Cybernetics and Systems},
Number = 7,
Pages = {729--753},
Publisher = {Taylor \& Francis},
Title = {Situated Cellular Agents Approach to Crowd Modeling and Simulation},
Url = {http://www.tandfonline.com/doi/abs/10.1080/01969720701534141},
urlpdf = {http://www.tandfonline.com/doi/url/10.1080/01969720701534141},
Volume = 38,
Year = 2007} @inproceedings{saea-indin07,
Address = {Vienna, Austria},
Author = {Ricci, Alessandro and Buda, Claudio and Zaghini, Nicola},
Booktitle = {5th IEEE International Conference on Industrial Informatics (INDIN'07)},
Doi = {10.1109/INDIN.2007.4384922},
Editor = {Dietrich, Dietemar and Hancke, Gerhard and Palensky, Peter},
Isbn = {1-4244-0864-4},
Issn = {1935-4576},
Month = {23--27}}},
Publisher = {IEEE},
Title = {An Agent-Oriented Programming Model for {SOA} \& {W}eb {S}ervices},
Url = {http://www.ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4384922},
Year = 2007}
@article{web20-oreilly2007,
Author = {O'Reilly, Tim},
Issn = {1157-8637},
eissn = {2116-0341},
Journal = {Communications \& Strategies},
Keywords = {collective intelligence, rich client, data, software as a service, long tail and beta},
Month = {31}}},
Title = {What is {W}eb 2.0: Design Patterns and Business Models for the Next Generation of Software},
Volume = 65,
Year = 2007} @article{sim-transaction06,
title={Integrating Software Models and Platform Models for Performance Analysis},
author={Cortellessa, Vittorio and Pierini, Pierluigi and Rossi, Daniele},
journal={IEEE Transactions on Software Engineering},
year=2007,
month=jun,
volume=33,
number=6,
pages={385--401},
doi={10.1109/TSE.2007.1014},
ISSN={0098-5589},
publisher ={IEEE Computer Sosciety}
} @inproceedings{elearning-eclipseit07,
author = {Natali, Antonio and Del Cinque, Antonio and Oliva, Enrico},
booktitle = {Eclipse: a Great Opportunity for Industry and Universities in Italy},
editor = {Maresca, Paolo},
isbn = {978-88-87998-79-5},
month = oct,
note = {1st International Conference on Eclipse Technologies (Eclipse - I 2007), Napoli, Italy},
pages = {27--42},
publisher = {Cuzzolin Editore},
title = {Using {E}clipse in Building Model-driven e-Learning Supports},
volume = 1,
year = 2007
} @inproceedings{sysbio-fosbe07,
address = {Stuttgart, Germany},
author = {Montagna, Sara and Omicini, Andrea and Ricci, Alessandro and d'Inverno, Mark},
booktitle = {2nd Conference ``Foundations of Systems Biology in Engineering'' (FOSBE 2007)},
editor = {Allgöwer, Frank and Reuss, Matthias},
isbn = {978-3-8167-7436-5},
month = {9--12}}},
title = {Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems},
year = 2007
} @techreport{minsky-decentralized2007,
author = {Naftaly H. Minsky},
institution = {Rutgers University},
month = dec,
title = {Decentralized Regulation of Distributed Systems: Beyond Access Control},
url = {http://www.cs.rutgers.edu/minsky/papers/spam-MIT-10.pdf},
year = 2007
} @inproceedings{AuctionIcpca07,
author = {Abdel-Naby, Sameh and Fante, Stefano and Giorgini, Paolo},
title = {Auction Negotiation for Mobile Rideshare Service},
note = {2nd IEEE International Pervasive Computing and Applications (ICPCA07)},
year = {2007},
pages = {225--230},
month = {26--27}}},
isbn = {978-1-4244-0971-6},
doi = {10.1109/ICPCA.2007.4365444},
address= {Birmingham, UK}
}
@article{DiNoiaJAIR2007,
author = {Di Noia, Tommaso and Di Sciascio, Eugenio and Donini, Francesco M.},
journal = {Journal of Artificial Intelligence Research},
pages = {269-307},
title = {Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach},
volume = 29,
year = 2007,
keywords = {2007 descriptionlogic matchmaking turruta-eswc2008},
abstract = {Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match curricula and job profiles. In such open environments, the objective of a matchmaking process is to discover best available offers to a given request. We address the problem of matchmaking from a knowledge representation perspective, with a formalization based on Description Logics. We devise Concept Abduction and Concept Contraction as non-monotonic inferences in Description Logics suitable for modeling matchmaking in a logical framework, and prove some related complexity results. We also present reasonable algorithms for semantic matchmaking based on the devised inferences, and prove that they obey to some commonsense properties. Finally, we report on the implementation of the proposed matchmaking framework, which has been used both as a mediator in e-marketplaces and for semantic web services discovery. 1.}
}
@article{diberbardo-molecularsystemsbioy07,
title = {How to infer gene networks from expression profiles },
number = 3,
month = {February},
doi = {10.1038/msb4100120},
status = {Published},
chapter = 78,
year = 2007,
journal = {Molecular Systems Biology},
author = {Bansal, Mukesh and Belcastro, Vincenzo and Ambesi-Impiombato, Alberto and di Bernardo, Diego}} @inproceedings{softwareevaluation-oss07,
Author = {Cabano, Michele and Monti, Cesare and Piancastelli, Giulio},
Booktitle = {Open Source Development, Adoption and Innovation},
Chapter = 32,
Doi = {10.1007/978-0-387-72486-7_32},
Isbn = {978-0-387-72485-0},
Issn = {1571-5736},
eissn = {1861-2288},
Month = aug,
Note = {3rd International Conference on Open Source Systems (OSS 2007)},
Pages = {301--306},
Publisher = {Springer},
Series = {IFIP International Federation for Information Processing},
Title = {Context-Dependent Evaluation Methodology for Open Source Software},
Volume = 234,
Year = 2007} @inproceedings{metaheuristic-simulation2007,
Author = {Mejtsky, George Jiri},
Booktitle = {2007 Winter Simulation Conference},
Doi = {10.1109/WSC.2007.4419810},
Editor = {Henderson, Shane G. and Biller, Bahar and Hsieh, Ming-Hua and Shortle, John and Tew, Jeff and Barton, Russel},
Keywords = {combinatorial problems;discrete event simulation optimization;job shop scheduling;metaheuristic algorithm;simultaneous simulation optimization;traveling salesman;job shop scheduling;travelling salesman problems;},
Month = {9--12}}},
Url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4419810},
Year = 2007} @article{envmech-jaamas14,
Author = {Platon, Eric and Mamei, Marco and Sabouret, Nicolas and Honiden, Shinichi and Parunak, H. Van Dyke},
Doi = {10.1007/s10458-006-9000-7},
Editor = {Parunak, H. Van Dyke and Weyns, Danny},
Issn = {1387-2532},
eissn = {1573-7454},
Journal = {Autonomous Agents and Multi-Agent Systems},
Month = feb,
Note = {Special Issue on Environments for Multi-agent Systems},
Number = 1,
Pages = {31--47},
Publisher = {Springer},
Title = {Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities},
Url = {http://www.springerlink.com/content/c21n2p3583r06208/},
Volume = 14,
Year = 2007} @article{collectivesort-entcs175,
Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
Doi = {10.1016/j.entcs.2007.03.006},
Editor = {Canal, Carlos and Viroli, Mirko},
Elsevier-Ref = {ENTCS1735},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Keywords = {Stochastic Transition System, Self-Organization, Simulation, Coordination, Collective Sort},
Month = jun,
Note = {5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), CONCUR'06, Bonn, Germany, 31~} # aug # {~2006. Post-proceedings},
Number = 2,
Pages = {59--80},
Publisher = {Elsevier Science B.V.},
Title = {Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case},
Volume = 175,
Year = 2007} @incollection{mnif-lncs4415,
Author = {Mnif, Moez and Richter, Urban and Branke, Jurgen and Schmeck, Hartmut and M{\"u}ller-Schloer, Christian},
Booktitle = {Architecture of Computing Systems ---- ARCS 2007},
Doi = {10.1007/978-3-540-71270-1_16},
Editor = {Lukowicz, Paul and Thiele, Lothar and Tr{\"o}ster, Gerhard},
Isbn = {978-3-540-71267-1},
Note = {20th International Conference, Zurich, Switzerland, 12-15~} # mar # {~2007. Proceedings},
Pages = {209--223},
Publisher = {Springer},
Series = {LNCS},
Title = {Measurement and Control of Self-organised Behaviour in Robot Swarms},
Url = {http://www.springerlink.com/content/n4035134561jk037/},
Volume = 4415,
Year = 2007} @article{executablebio-nature07,
author = {Fisher, Jasmin and Henzinger, Thomas A.},
doi = {10.1038/nbt1356},
journal = {Nature Biotechnology},
month = nov,
pages = {1239--1249},
pubmed = {17989686},
title = {Executable cell biology},
url = {https://www.nature.com/articles/nbt1356},
urlpdf = {https://www.nature.com/articles/nbt1356.pdf},
volume = 25,
year = 2007
} @inproceedings {RidEclipse07,
author = {Riccioni, Anna and Denti, Enrico},
title = {{vLab}: an {E}clipse-based Virtual Laboratory},
year = {2007},
booktitle = {First International Conference on Eclipse Technologies (ECLIPSE - IT '07)},
publisher = {Cuzzolin Editore},
month = {oct,
pages = {81--92},
address = {Napoli, Italy},
isbn = {978-88-87998-79-5}} @inproceedings{workflow-iadisisa07,
address = {MCCSIS 2007, Lisbon, Portugal},
author = {Urovi, Visara and Bromuri, Stefano and McGinnis, Jarred and Stathis, Kostas and Omicini, Andrea},
booktitle = {IADIS International Conference ``Intelligent Systems and Agents'' (ISA 2007)},
editor = {Palma Dos Reis, Antonio and Blaski, Katherine and Xiao, Yingcai},
isbn = {978-972-8924-39-3},
keywords = {Workflow management, Agent Dialogues, Argumentation, TuCSoN, PROSOCS},
month = {3--8}}},
scopus = {2-s2.0-85091812965},
series = {Computer Science and Information Systems},
title = {Experiences in Automated Workflows using Dialectical Argumentation},
year = 2007
} @inproceedings{MetCaise07,
author = {Seidita, Valeria and Ralyt{\'e}, Jolita and Henderson-Sellers, Brian and Cossentino, Massimo and Arni-Bloch, Nicolas},
title = {A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods},
booktitle = {CAiSE'07 Forum, Proceedings of the CAiSE'07 Forum at the 19th International Conference on Advanced Information Systems Engineering.},
month = {11--15}}},
url = {http://www.ceur-ws.org/Vol-247/FORUM_22.pdf},
editor = {Eder, Johann and Tomassen, Stein L. and Opdahl, Andreas and Sindre, Guttorm},
Publisher = {Sun SITE Central Europe, RWTH Aachen University},
Series = {CEUR Workshop Proceedings},
Issn = {1613-0073},
Number = 247} @book{richardson-restfulws07,
Author = {Richardson, Leonard and Ruby, Sam},
Booktitle = {RESTful Web Services},
Isbn-10 = {0-596-52926-0},
Isbn-13 = {9780596529260},
Month = may,
Publisher = {O'Reilly},
Title = {{REST}ful {W}eb {S}ervices},
Url = {http://www.oreilly.com/catalog/9780596529260/},
Year = 2007} @proceedings{DBLP:conf/e4mas/2006,
editor = {Danny Weyns and H. Van Dyke Parunak and Fabien Michel},
title = {Environments for Multi-Agent Systems III},
subtitle = {3rd International Workshop, {E4MAS} 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4389},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71103-2},
doi = {10.1007/978-3-540-71103-2},
isbn = {978-3-540-71102-5},
} @inproceedings{patterns-esaw07,
author = {Abdel-Naby, Sameh and Giorgini, Paolo and Weiss, Michael},
title = {Design Patterns for Multiagent Systems to Elevate Pocket Device Applications},
booktitle = {8th International Workshop ``Engineering Societies in the Agents World'' (ESAW'07)},
year = {2007},
Address = {Athens, Greece},
Editor = {Artikis, Alexander and O'Hare, Gregory and Stathis, Kostas and Vouros, George},
Month = {22--24}}}}
@inproceedings{swarmlinda-cec07,
title = {Self-Organized Over-Clustering Avoidance in Tuple-Space Systems},
booktitle = {IEEE Congress on Evolutionary Computation, 2007 (CEC 2007). },
publisher = {IEEE Computer Society},
month = {25--28}}},
author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert}} @inproceedings{gaia-tool2007,
Address = {San Jos{\'e}, Costa Rica},
Author = {Cernuzzi, Luca and Ferr{\'e}s, Javier and Hume, Alethia and Milleres, Francisco and Zambonelli, Franco},
Booktitle = {XXXIII Conferencia Latinoamericana en Inform{\'a}tica (CLEI 2007)},
Month = {8--12}}},
Title = {{ITACASE}: A Tool Supporting the Design of {MAS} using the {G}aia Methodology},
Year = 2007} @proceedings{esawVII,
doi = {10.1007/978-3-540-75524-1},
editor = {Gregory M.P. O'Hare and Ricci, Alessandro and Michael J. O'Grady and Oğuz Dikenelli},
isbn = {978-3-540-75522-7},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
subtitle = {7th International Workshop, {ESAW} 2006, Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers},
title = {Engineering Societies in the Agents World VII},
url = {http://link.springer.com/10.1007/978-3-540-75524-1},
volume = 4457,
year = 2007
} @inproceedings{RfidEumas07,
author = {Abdel-Naby, Sameh and Giorgini, Paolo and Ali, Raian},
title = {Towards Integrating Agents with Objects Tracing Systems in AmI},
booktitle = {Proceedings of the 5th European Workshop on Multi-Agent Systems (EUMAS'07)},
year = {2007},
month = {13--14}}} @article{envinfra-jaamas14,
Author = {Viroli, Mirko and Holvoet, Tom and Ricci, Alessandro and Schelfthout, Kurt and Zambonelli, Franco},
Doi = {10.1007/s10458-006-9001-6},
Editor = {Weyns, Danny and Parunak, H. Van Dyke},
Issn = {1387-2532},
Journal = {Autonomous Agents and Multi-Agent Systems},
Month = jul,
Note = {Special Issue: Environment for Multi-Agent Systems},
Publisher = {Springer Netherlands},
Title = {Infrastructures for the Environment of Multiagent Systems},
Volume = 14,
Number = 1,
Pages = {49--60},
Year = 2007} @article{contextaware-ijahuc2,
Author = {Baldauf, Matthias and Dustdar, Schahram and Rosenberg, Florian},
Issn = {1743-8225},
eissn = {1743-8233},
Journal = {International Journal of Ad Hoc and Ubiquitous Computing},
Keywords = {context awareness, context frameworks, context middleware, sensors, context models, context ontology, context-aware services, conceptual design, context-aware architectures, context-aware computing},
Number = 4,
Pages = {263--277},
Publisher = {Inderscience},
Title = {A Survey on Context-Aware Systems},
Url = {http://inderscience.metapress.com/content/1184787h28163t15/},
urlpdf = {http://inderscience.metapress.com/content/1184787h28163t15/fulltext.pdf},
Volume = 2,
Year = 2007} @article{lights-wias5,
Address = {Amsterdam, The Netherlands},
Author = {Balzarotti, Davide and Costa, Paolo and Picco, Gian Pietro},
Issn = {1570-1263},
eissn = {1875-9289},
Journal = {Web intelligence and Agent Systems},
Keywords = {Tuple space, context-awareness, fuzzy logic},
Number = 2,
Pages = {215--231},
Publisher = {IOS Press},
Title = {The {L}igh{TS} Tuple Space Framework and its Customization for Context-aware Applications},
Url = {http://iospress.metapress.com/content/v16153407085177x/},
Volume = 5,
Year = 2007} @inproceedings{owlt-ie07,
Author = {Acay, Lemi Daghan and Pasquier, Philippe and Sonenberg, Liz},
Booktitle = {3rd IET International Conference on Intelligent Environments (IE 07)},
Month = {24--25}}},
Year = 2007}
@book{distributedsystems07,
Address = {Upper Saddle River, NJ, USA},
Author = {Tanenbaum, Andrew S. and van Steen, Marteen},
Booktitle = {Distributed Systems},
Edition = {2nd},
Isbn = {0-13-239227-5},
Isbn-10 = {0132392275},
Isbn-13 = {9780132392273},
Publisher = {Pearson Prentice Hall},
Title = {Distributed Systems. Principles and Paradigms},
Url = {http://www.pearsonhighered.com/educator/academic/product/0,,0132392275.html},
Year = 2007}
@inproceedings{TroposClima07,
address = {Porto, Portugal},
author = {Bryl, Volha and Mello, Paola and Montali, Marco and Torroni, Paolo and Zannone, Nicola},
booktitle = {Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII)},
editor = {Sadri, Fariba and Satoh, Ken},
month = {11--12}}},
urlpdf = {http://www.cs.toronto.edu/~zannone/publication/bryl-mell-mont-torr-zann-07-CLIMA.pdf},
year = 2007
} @proceedings{entcs181,
editor = {Boella, Guido and Dastani, Mehdi and Omicini, Andrea and Černá, Ivana and Linden, Isabelle},
iris = {11585/45736},
issn = {1571-0661},
month = jun,
pages = {1--112},
publisher = {Elsevier Science B.V.},
series = {Electronic Notes in Theoretical Computer Science},
title = {Combined Proceedings of the 2nd {I}nternational {W}orkshop on {C}oordination and {O}rganization ({CoOrg 2006}) and the 2nd {I}nternational {W}orkshop on {M}ethods and {T}ools for {C}oordinating {C}oncurrent, {D}istributed and {M}obile {S}ystems ({MTCoord 2006})},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/181/suppl/C},
volume = 181,
year = 2007
} @article{orchestration-scp66,
Author = {Viroli, Mirko and Denti, Enrico and Ricci, Alessandro},
Doi = {doi:10.1016/j.scico.2007.01.008},
Editor = {Canal, Carlos and Viroli, Mirko},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Multiagent systems; Orchestration languages; Coordination models; Languages process algebra},
Month = may,
Note = {Special Issue on Foundations of Coordination Languages and Software Architectures 2005},
Number = 3,
Pages = {226--245},
Publisher = {Elsevier Science B.V.},
Title = {Engineering a {BPEL} Orchestration Engine as a Multi-agent System},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642307000378},
Volume = 66,
Year = 2007}
@article{OrchestrationJLAP70,
Author = {Viroli, Mirko},
Doi = {doi:10.1016/j.jlap.2006.05.006},
Editor = {Bravetti, Mario and Zavattaro, Gianluigi},
Issn = {1567-8326},
Journal = {Journal of Logic and Algebraic Programming},
Keywords = {Web Services, Orchestration, Process Algebra},
Month = jan,
Note = {Special Issue on Web Services and Formal Methods},
Number = 1,
Pages = {74--95},
Publisher = {Elsevier Science B.V.},
Title = {A core calculus for correlation in orchestration languages},
Volume = 70,
Year = 2007} @techreport{bioalgebraex-techrep07,
venue = {CoSBi},
title = {Stochastic pi-calculus modelling of multisite phosphorylation based signaling: in silico analysis of the Pho4 transcription factor and the PHO pathway in Saccharomyces cerevisiaees cerevisiae},
address = {Trento, Italy},
url = {http://www.cosbi.eu/php/get_paper.php?id=231},
number = {08/2007},
status = {Draft},
year = 2007,
author = {Segata, Nicola and Blanzieri, Enrico and Priami, Corrado}} @inproceedings{soadesign-semsoa2007,
Address = {Hannover, Germany},
Author = {Zimmermann, Olaf and Koehler, Jana and Frank, Leymann},
Booktitle = {Workshop on Software Engineering Methods for Service-oriented Architecture 2007 (SEMSOA 2007)},
Editor = {L\"ubke, Daniel},
Month = may,
Organization = {Leibniz Universit\"at Hannover, FG Software Engineering},
Pages = {46--60},
Title = {Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design},
urlpdf = {http://ceur-ws.org/Vol-244/paper4.pdf},
Year = 2007} @inproceedings{artifacts-argmas07,
address = {AAMAS 2007, Honolulu, Hawai'i, USA},
author = {Oliva, Enrico and McBurney, Peter and Omicini, Andrea},
booktitle = {4th International Workshop ``Argumentation in Multi-Agent Systems'' (ArgMAS 2007)},
editor = {Parsons, Simon and Rahwan, Iyad and Reed, Chris},
month = {15}}},
year = 2007
} @incollection{dennett-intentionalsystems07,
Author = {Dennett, Daniel},
Booktitle = {Oxford Handbook of the Philosophy of Mind},
Chapter = 19,
Editor = {Beckermann, Ansgar and Walter, Sven},
Isbn = {9780199262618},
Publisher = {Oxford University Press},
Title = {Intentional Systems Theory},
Year = 2007} @inproceedings{ReqPrima07,
author = {Bryl, Volha and Giorgini, Paolo and Mylopoulos, John},
title = {Supporting Requirements Analysis in Tropos: a Planning-Based Approach},
booktitle = {Proceedings of the 10th Pacific Rim International Workshop on Multi-Agents (PRIMA?07)},
year = 2007,
month= {21--23}}} @inproceedings{selforg-eedas07,
address = {ICAC 2007, Jacksonville, FL, USA},
author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
booktitle = {2nd International Workshop on Engineering Emergence in Decentralised Autonomic Systems (EEDAS 2007)},
editor = {De Wolf, Tom and Saffre, Fabrice and Anthony, Richard},
isbn = {978-1-904521-43-3},
month = {11}}},
publisher = {CMS Press, University of Greenwich, London, UK},
title = {Design Patterns for Self-Organizing Multiagent Systems},
url = {https://distrinet.cs.kuleuven.be/events/eedas/2007/papers/DesignPatterns_GardelliViroliOmicini_EEDAS2007.pdf},
urlpdf = {https://distrinet.cs.kuleuven.be/events/eedas/2007/papers/DesignPatterns_GardelliViroliOmicini_EEDAS2007.pdf},
year = 2007
} @article{2p-alpnd20-1,
author = {Piancastelli, Giulio and Omicini, Andrea},
journal = {ALP Newsletter},
month = feb # {--} # mar,
number = 1,
numpages = 20,
publisher = {Association for Logic Programming},
title = {\textsf{tu}Prolog 2.0: One Step Beyond},
url = {http://dtai.cs.kuleuven.be/projects/ALP/newsletter/feb07/content/Systems/content.html},
urlpdf = {http://dtai.cs.kuleuven.be/projects/ALP/newsletter/feb07/content/Systems/paper.pdf},
volume = 20,
year = 2007
} @article{stigmergy-taas06,
Author = {Marco, Mamei and Zambonelli, Franco},
Doi = {10.1145/1242060.1242061},
Issn = {1556-4665},
Journal = {ACM Transactions on Autonomous and Adaptive Systems},
Month = jun,
Number = 2,
Pages = {1--28},
Publisher = {ACM},
Title = {Pervasive pheromone-based interaction with {RFID} tags},
Url = {http://portal.acm.org/citation.cfm?doid=1242060.1242061},
Volume = 2,
Year = 2007} @inproceedings{geolinda-aina07,
Address = {Niagara Falls, Ontario, CA},
Author = {Pauty, Julien and Couderc, Paul and Banatre, Michel and Berbers, Yolande},
Booktitle = {21st International Conference on Advanced Networking and Applications (AINA '07)},
Doi = {10.1109/AINA.2007.74},
Isbn = {0-7695-2846-5},
Issn = {1550-445X},
Keywords = {Linda, Space},
Month = {21--23}}}eo-{L}inda: a Geometry Aware Distributed Tuple Space},
Url = {http://www.computer.org/csdl/proceedings/aina/2007/2846/00/28460370-abs.html},
Year = 2007}
@book{jasonbook2007,
author = {Bordini, Rafael H. and H{\"u}bner, Jomi F. and Wooldridge, Michael J.},
isbn = {978-0-470-02900-8},
month = oct,
note = {Hardcover},
pages = {XVII, 292},
publisher = {John Wiley \& Sons, Ltd},
title = {Programming Multi-Agent Systems in {A}gent{S}peak using {J}ason},
url = {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470029005.html},
year = 2007
} @inproceedings{simpa-pppj07,
Address = {Lisboa, Portugal},
Author = {Ricci, Alessandro and Viroli, Mirko},
Booktitle = {5th International Symposium on Principles and Practice of Programming in Java (PPPJ 2007)},
Doi = {10.1145/1294325.1294350},
Editor = {Amaral, Vasco},
Isbn = {978-1-59593-672-1},
Month = {5--7}}},
Series = {ACM International Conference Proceeding},
Title = {{{\sf simpA}}: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of {J}ava},
Volume = {272},
Year = 2007}
}}})))
((({{{ @inproceedings{swarmlinda-lncs4676,
Author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert},
Booktitle = {Cooperative Information Agents XI},
Doi = {10.1007/978-3-540-75119-9\_18},
Editor = {Klusch, Matthias and Hindriks, Koen and Papazoglou, Mike and Sterling, Mike},
Elsevier-Ref = {LNCS4676},
Isbn = {978-3-540-75118-2},
Issn = {0302-9743},
eissn = {1611-3349},
Month = sep,
Note = {11th International Workshop on Cooperative Information Agents (CIA 2007), Delf, The Netherland, 19--21~} # sep # {~2007. Proceedings},
Pages = {255--269},
Publisher = {Springer},
Series = {LNCS},
Title = {Using Ant's Brood Sorting to Increase Fault Tolerance in {L}inda's Tuple Distribution Mechanism},
Url = {http://www.springerlink.com/content/t04756206478j775/},
Volume = 4676,
Year = 2007} }}})))
((({{{ @article{IntroJOT6,
issn = {1660-1769},
publisher = {ETH Swiss Federal Institute of Technology},
journal = {Journal of Object Technology},
author = {Ancona, Davide and Viroli, Mirko},
title = {Guest Editorial},
year = 2007,
note = {Special Issue: OOPS Track at SAC 2006 / France},
number = 2,
url = {http://www.jot.fm/contents/issue_2007_02/editorial.html},
editor = {Ancona, Davide and Viroli, Mirko},
volume = 6,
doi = {10.5381/jot.2007.6.2.e1}} }}})))
((({{{ @article{hscmodel-stemcells07,
volume = 25,
title = {Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications},
number = 7,
urlpdf = {http://stemcells.alphamedpress.org/cgi/reprint/25/7/1791.pdf},
month = {July},
doi = {10.1634/stemcells.2007-0025},
keywords = { Lineage specification, Hematopoiesis, Stem cells, Mathematical model, Simulation, Systems biology},
status = {Published},
year = 2007,
pages = {1791--1799},
journal = {Stem Cells},
author = {Glauche, Ingmar and Cross, Michael and Loeffler, Markus and Roeder, Ingo }} }}})))
((({{{ @inproceedings{llm-emnlpconll2007,
address = {Prague, Czech Republic},
author = {Brants, Thorsten and Popat, Ashok C. and Xu, Peng and Och, Franz Josef and Dean, Jeffrey},
booktitle = {Proceedings of the 2007 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning (EMNLP-CoNLL 2007)},
dblp = {conf/emnlp/BrantsPXOD07},
editor = {Eisner, Jason},
month = {28--30}}},
title = {Large Language Models in Machine Translation},
url = {https://aclanthology.org/D07-1090/},
urlpdf = {https://aclanthology.org/D07-1090.pdf},
year = 2007
} }}})))
((({{{ @inproceedings{respect-foclasa07,
address = {CONCUR 2007, Lisbon, Portugal},
author = {Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
booktitle = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07)},
editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
keywords = {Rewriting Logic, Maude, Coordination Language, {{\sf ReSpecT}}, Agents \& Artifacts},
month = {8}}},
title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
url = {http://foclasa07.lcc.uma.es/},
year = 2007
} }}})))
((({{{ @inproceedings{AoseWetice07,
title={Service-Oriented Agent Methodologies},
author={Cabri, Giacomo and Leonardi, Letizia and Puviani, Mariachiara},
booktitle={16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007)},
year={2007},
address= {Paris, France},
doi = {10.1109/WETICE.2007.4407121},
pages = {24--29},
publisher = {IEEE CS Press},
editor = {Bergenti, Federico and Blake, M. Brian and Cabri, Giacomo},
ISSN={1524-4547},
month = {18--20}}}}})))
((({{{ @inproceedings {RD-woa07,
author = {Ricci,Alessandro AND Denti,Enrico},
title = {simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services},
year = {2007},
booktitle = {Dagli Oggetti agli Agenti - Agenti e Industria: Applicazioni tecnologiche degli agenti software (WOA 2007)},
editor = {Baldoni,Matteo AND Boccalatte,Antonio AND De Paoli,Flavio AND Martelli,Maurizio AND Mascardi,Viviana},
publisher = {Seneca Edizioni, Torino},
month = {September},
pages = {140-156},
address = {Genova, Italy},
isbn = {978-88-6122-061-4},
note = {WOA 2007 - Dagli Oggetti agli Agenti Agenti e Industria:
Applicazioni tecnologiche degli agenti software - Genova, 24-25 Settembre 2007},
} }}})))
((({{{ @inproceedings{swarmlinda-saso07,
Address = {Boston, Massachusetts, USA},
Author = {Casadei, Matteo and Menezes, Ronaldo and Tolksdorf, Robert and Viroli, Mirko},
Booktitle = {1st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007)},
Editor = {Babaoglu, Ozalp and Shrobe, Howard},
Month = {9--11}}},
Title = {On the Problem of Over-clustering in Tuple-based Coordination Systems},
Doi = {10.1109/SASO.2007.42},
Year = 2007} }}})))
((({{{ @book{tanenbaum-sistemidistribuiti07,
Address = {Torino, Italia},
Author = {Tanenbaum, Andrew S. and van Steen, Marteen},
Booktitle = {Sistemi Distribuiti},
Edition = {$2^a$},
Isbn = {9788871923666},
Month = sep,
Publisher = {Pearson Education Italia},
Title = {Sistemi Distribuiti},
Url = {http://hpe.pearsoned.it/scheda_opera.php?ID=2455},
Year = 2007}
}}})))
((({{{ @inproceedings{dmas-emas3book,
Author = {Holvoet, Tom and Valckenaers, Paul},
Booktitle = {Environments for Multi-Agent Systems III},
Pages = {51--66},
Title = {Exploiting the Environment for Coordinating Agent Intentions},
Year = {2007},
URL = {http://www.springerlink.com/content/5v1675rx21122025}
}
}}})))
((({{{ @article{preface-scp66,
Author = {Canal, Carlos and Viroli, Mirko},
Doi = {doi:10.1016/j.scico.2007.02.001},
Editor = {Canal, Carlos and Viroli, Mirko},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Month = may,
Note = {Special Issue on the 4th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA '05)},
Number = 3,
Pages = {181--183},
Publisher = {Elsevier Science B.V.},
Title = {Preface},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642307000342},
Volume = 66,
Year = 2007} }}})))
((({{{ @incollection{aspects-ecsaI,
Author = {Molesini, Ambra and Garcia, Alessandro and Chavez, Christina and Batista, Tha\'{\i}s},
Booktitle = {Software Architecture},
Doi = {10.1007/978-3-540-75132-8_33},
Editor = {Oquendo, Flavio},
Isbn = {978-3-540-75131-1},
Issn = {0302-9743},
Month = sep,
Note = {1st European Conference (ECSA 2007), Aranjuez, Spain, 24-26~} # sep # {~2007. Proceedings},
Pages = {317--320},
Publisher = {Springer},
scopus = {2-s2.0-38149058317},
Series = {LNCS},
Title = {On the Interplay of Crosscutting and {MAS}-Specific Styles},
Url = {http://link.springer.com/10.1007/978-3-540-75132-8_33},
Volume = 4758,
Year = 2007} }}})))
((({{{ @article{moise-ijaose1,
author = {Hübner, Jomi F. and Sichman, Jaime S. and Boissier, Olivier},
doi = {10.1504/IJAOSE.2007.016266},
issn = {1746-1375},
journal = {International Journal of Agent Oriented Software Engineering},
keywords = {right&, programming agents, programming, open systems, multiiagent systems, middleware, lt, gt, engineering organisations, SUP&, SUP align=, MOISE&, MAS organisations, MAS, Jason, &, /, +},
month = dec,
number = {3/4},
numpages = 26,
pages = {370--395},
publisher = {Inderscience Publishers},
title = {Developing organised multiagent systems using the {MOISE+} model: programming issues at the system and agent levels},
url = {https://www.inderscienceonline.com/doi/abs/10.1504/IJAOSE.2007.016266},
volume = 1,
year = 2007} }}})))
((({{{ @article{ewald-jos1,
author = {Ewald, Roland and Maus, Carsten and Rolfs, Arndt and Uhrmacher, Adelinde M.},
doi = {10.1057/palgrave.jos.4250018},
eissn = {1747-7786},
issn = {1747-7778},
journal = {Journal of Simulation},
keywords = {discrete event modelling formalisms, discrete event simulation, systems biology, stochastic simulation, Petri Nets, Stochastic pi-Calculus},
month = may,
number = 2,
pages = {81--96},
title = {Discrete Event Modeling and Simulation in Systems Biology},
url = {http://www.palgrave-journals.com/jos/journal/v1/n2/full/4250018a.html},
volume = 1,
year = 2007
} }}})))
((({{{ @article{MetaIjaose07,
Author = {Cossentino, Massimo and Gaglio, Salvatore and Garro, Alfredo and Seidita, Valeria},
Journal = {International Journal of Agent-Oriented Software Engineering},
Number = 1,
Pages = {91--121},
Publisher = {Inderscience Enterprises Ltd},
Title = {Method fragments for agent design methodologies: from standardisation to research},
Volume = 1,
editor = {Giorgini, Paolo and Henderson-Sellers, Brian},
Year = 2007} }}})))
((({{{ @article{masmodelchecking-amai51,
Author = {Behrens, Tristan M. and Dix, Jurgen},
Doi = {10.1007/s10472-008-9092-7},
Issn = {1012-2443},
Journal = {Annals of Mathemathics and Artificial Intelligence},
Note = {From the issue entitled ``Special Issue in honor of Professor Jack Minker's 80th birthday''},
Number = {2-4},
Pages = {81--121},
Publisher = {Springer},
Title = {Model Checking Multi-agent systems with Logic Based {P}etri Nets},
Url = {http://www.springerlink.com/content/3q71261838q73u26/},
Volume = 51,
Year = 2007}
}}})))
((({{{ @inproceedings{patj-pppj07,
Address = {New York, NY, USA},
Author = {Cimadamore, Maurizio and Viroli, Mirko},
Booktitle = {5th International Symposium on Principles and Practice of Programming in {J}ava (PPPJ '07)},
Doi = {10.1145/1294325.1294352},
Isbn = {978-1-59593-672-1},
Location = {Lisboa, Portugal},
Pages = {197--202},
Publisher = {ACM},
Title = {A {P}rolog-oriented extension of {J}ava programming based on generics and annotations},
Year = 2007}
}}})))
((({{{ @inproceedings{collectivesort-coord-sac07,
title = {A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces},
address = {New York, NY, USA},
booktitle = {SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing},
publisher = {ACM },
doi = {10.1145/1244002.1244086},
isbn = {1-59593-480-4},
editor = {Ricci, Alessandro and Schumacher, Michael and Angerer, Bernard },
year = 2007,
pages = {354--359},
author = {Viroli, Mirko and Casadei, Matteo and Gardelli, Luca}} }}})))
((({{{ @inCollection{IntroENTCS175,
author = {Carlos, Canal and Viroli, Mirko},
title = {Preface},
series = {Electronic Notes in Theoretical Computer Science},
editor = {Carlos, Canal and Viroli, Mirko},
volume = 175,
number = 2,
pages = {1--2},
year = 2007,
publisher = {Elsevier Science B.V.},
issn = {1571-0661},
booktitle = {Proceedings of the 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006)},
doi = {10.1016/j.entcs.2005.12.029}
}
}}})))
((({{{ @article{PolymorphismOoplsa2007,
issn = {0362-1340},
volume = 42,
title = {Variant path types for scalable extensibility},
address = {New York, NY, USA},
publisher = {ACM},
number = 10,
doi = {10.1145/1297027.1297037},
keywords = {Generics, parametric polymorphism, variant types, Featherweight Java},
isbn = {978-1-59593-786-5},
note = {Proceedings of the 22nd annual ACM SIGPLAN Conference on Object Oriented Programming Systems, Languages and Applications (OOPSLA '07), Montreal, Quebec, Canada},
editor = {Gabriel, Richard P. and Bacon, David F. and Videira Lopes, Cristina and Steele, Jr., Guy L.},
year = 2007,
pages = {113--132},
journal = {ACM SIGPLAN Notices},
author = {Igarashi, Atsushi and Viroli, Mirko}} }}})))
((({{{ @inproceedings{schumacher-ceemas2007,
acm = {1421627},
address = {Berlin, Heidelberg},
author = {Schumacher, Michael and Grangier, Laurent and Jurca, Radu},
booktitle = {Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V},
doi = {10.1007/978-3-540-75254-7_17},
isbn = {978-3-540-75253-0},
location = {Leipzig, Germany},
numpages = 10,
pages = {163--172},
publisher = {Springer-Verlag},
series = {CEEMAS '07},
title = {Governing Environments for Agent-Based Traffic Simulations},
url = {http://dx.doi.org/10.1007/978-3-540-75254-7_17},
year = 2007
} }}})))
((({{{ @inproceedings{artifacts-promas07,
address = {AAMAS 2007, Honolulu, Hawaii, USA},
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {5th International Workshop ``Programming Multi-Agent Systems'' (PROMAS 2007)},
editor = {Dastani, Mehdi and El Fallah Seghrouchni, Amal and Ricci, Alessandro and Winikoff, Michael},
keywords = {CArtAgO, A&A, artifacts, multi-agent systems, agent-oriented computing},
month = {15}}}},
year = 2007
} }}})))
((({{{ @article{abm-morphogenesis07,
journal = {Birth Defects Research (Part C)},
author = {Thorne, Bryan C. and Bailey, Alexander M. and DeSimone, Douglas W. and Peirce, Shayn M. },
title = {Agent-based modeling of multicell morphogenic processes during development},
year = 2007,
status = {Published},
pages = {344--353},
venue = {--},
volume = 81,
doi = {10.1002/bdrc.20106}} }}})))
((({{{ @article{contucci-qandq41,
Author = {Contucci, Pierluigi and Ghirlanda, Stefano},
Doi = {10.1007/s11135-007-9071-9},
Issn = {0033-5177},
Journal = {Quality \& Quantity},
Keywords = {Sociology; Psychology; Statistical mechanics; Phase transitions; Cultural contact; Immigration},
Month = aug,
Number = 4,
Pages = {569--578},
Publisher = {Kluwer Academic Publishers},
Title = {Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration},
Url = {http://link.springer.com/article/10.1007/s11135-007-9071-9},
Volume = 41,
Year = 2007} }}})))
((({{{ @article{taas2,
author = {Petta, Paolo and Omicini, Andrea and Payne, Terry R. and McBurney, Peter},
booktitle = {ACM Transactions on Autonomous and Adaptive Systems},
doi = {10.1145/1293731},
editor = {Petta, Paolo and Omicini, Andrea and Payne, Terry R. and McBurney, Peter},
issn = {1556-4665},
journal = {ACM Transactions on Autonomous and Adaptive Systems},
month = nov,
number = 4,
pages = {12:1--17:5},
publisher = {ACM},
title = {Special Issue on the {A}gent{L}ink {III} {T}echnical {F}orums},
url = {http://portal.acm.org/citation.cfm?id=1293731},
volume = 2,
year = 2007
} }}})))
((({{{ @article{pellet-websem5,
Author = {Sirin, Evren and Parsia, Bijan and Grau, Bernardo Cuenca and Kalyanpur, Aditya and Katz, Yarden},
Doi = {10.1016/j.websem.2007.03.004},
Issn = {1570-8268},
Journal = {Web Semantics: Science, Services and Agents on the World Wide Web},
Keywords = {Web Ontology Language; Description logics; Tableau Theorem Proving},
Month = jun,
Number = 2,
Pages = {51--53},
Title = {Pellet: A practical {OWL-DL} reasoner},
Volume = 5,
Year = 2007} }}})))
</div>
<div id="bottom" class="mainselectbottom">
79 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2007 {{stringEngIta eng='without' ita='senza'/}} ACM ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
publications
without
ACM ID
/
2007
/
personal
Andrea Agiollo
•
Roberta Calegari
•
Giovanni Ciatto
•
Cristian Cosci
•
Angelo Croatti
•
Enrico Denti
•
Matteo Magnini
•
Sara Montagna
•
Andrea Omicini
•
Giuseppe Pisano
•
Andrea Rafanelli
•
Federico Sabbatini