Per Year

26 publications without IEEE No  /  2007  /  Mirko Viroli
@incollection{swarmlinda-lncs4725,
   apice = {SwarmlindaLncs4725},
   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},
   eissn = {1611-3349},
   elsevier-ref = {LNCS4725},
   isbn = {978-3-540-74916-5},
   issn = {0302-9743},
   month = aug,
   note = {2nd International Workshop on Self-Organizing Systems (IWSOS 2007), The Lake District, UK, 11-13 September 2007. Proceedings},
   numpages = 15,
   pages = {146--160},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems},
   url = {https://link.springer.com/10.1007/978-3-540-74917-2},
   volume = 4725,
   year = 2007
}
@article{timed-wias5,
   acm = {1377768},
   apice = {TimedWias5},
   author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
   dblp = {journals/wias/OmiciniRV07},
   editor = {Menezes, Ronaldo and Ossowski, Sascha},
   iris = {11585/46111},
   issn = {1570-1263},
   journal = {Web Intelligence and Agent Systems},
   keywords = {Coordination artifacts, tuple cntres, TuCSoN, ReSpecT, timed coordination},
   lens = {119-708-076-641-162},
   month = aug,
   number = 2,
   openalex = {W34298273},
   pages = {161--175},
   publisher = {IOS Press},
   scopus = {2-s2.0-34547812085},
   title = {Timed Environment for {W}eb Agents},
   url = {https://content.iospress.com/articles/web-intelligence-and-agent-systems-an-international-journal/wia00111},
   volume = 5,
   year = 2007
}
@article{collectivesort-entcs175,
   apice = {CollectivesortEntcs175},
   author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
   booktitle = {Proceedings of the 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006)},
   doi = {10.1016/j.entcs.2007.03.006},
   editor = {Canal, Carlos and Viroli, Mirko},
   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,
   numpages = 22,
   pages = {59--80},
   publisher = {Elsevier Science B.V.},
   series = {Electronic Notes in Theoretical Computer Science},
   title = {Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case},
   volume = 175,
   year = 2007
}
@incollection{cartago-e4masIII,
   acm = {1759348},
   apice = {CartagoE4masIII},
   author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
   booktitle = {Environments for MultiAgent Systems III},
   chapter = 4,
   core = {226399152},
   dblp = {conf/e4mas/RicciVO06},
   doi = {10.1007/978-3-540-71103-2_4},
   editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
   eisbn = {978-3-540-71103-2},
   isbn = {978-3-540-71102-5},
   issn = {0302-9743},
   keywords = {cartago, A&A, artifacts, multi-agent systems, agent-oriented computing},
   lens = {074-011-962-888-601},
   month = may,
   note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
   openalex = {W1489698281},
   pages = {67--86},
   part = {Models, Architecture, and Design},
   publisher = {Springer Berlin Heidelberg},
   scopus = {2-s2.0-38049162300},
   series = {Lecture Notes in Computer Science},
   subseries = {Lecture Notes in Artificial Intelligence},
   title = {{\sf {CArtAgO}}: A Framework for Prototyping Artifact-Based Environments in {MAS}},
   url = {https://link.springer.com/10.1007/978-3-540-71103-2_4},
   volume = 4389,
   wos = {WOS:000245775800004},
   year = 2007
}
@inproceedings{artifacts-aamas07,
   acm = {1329308},
   address = {Honolulu, Hawai'i, USA},
   apice = {ArtifactsAamas2007},
   articleno = 150,
   author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
   booktitle = {6th International Joint Conference ``Autonomous Agents \& Multi-Agent Systems'' (AAMAS 2007)},
   core = {226399148},
   dblp = {conf/atal/RicciVO07},
   doi = {10.1145/1329125.1329308},
   editor = {Durfee, Edmund and Yokoo, Makoto and Huhns, Michael and Shehory, Onn},
   iris = {11585/45688},
   isbn = {978-81-904262-7-5},
   keywords = {A&A, artifacts, cartago, multi-agent systems, agent-oriented computing},
   lens = {001-966-303-902-194},
   month = {14--18~} # may,
   numpages = 3,
   openalex = {W2077904619},
   pages = {601--603},
   publisher = {IFAAMAS},
   scopus = {2-s2.0-60349099652},
   title = {``{G}ive Agents their Artifacts'': The {A\&A} Approach for Engineering Working Environments in {MAS}},
   url = {1329308},
   year = 2007
}
@inproceedings{swarmlinda-cec07,
   apice = {SwarmlindaCec07},
   author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert},
   booktitle = {IEEE Congress on Evolutionary Computation, 2007 (CEC 2007).},
   doi = {10.1109/CEC.2007.4424636},
   month = {25--28~} # sep,
   pages = {1408--1415},
   publisher = {IEEE Computer Society},
   title = {Self-Organized Over-Clustering Avoidance in Tuple-Space Systems},
   year = 2007
}
@incollection{intro-entcs175,
   apice = {IntroEntcs175},
   author = {Carlos, Canal and Viroli, Mirko},
   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},
   editor = {Carlos, Canal and Viroli, Mirko},
   issn = {1571-0661},
   number = 2,
   pages = {1--2},
   publisher = {Elsevier Science B.V.},
   series = {Electronic Notes in Theoretical Computer Science},
   title = {Preface},
   volume = 175,
   year = 2007
}
@article{envinfra-jaamas14,
   apice = {EnvinfraJaamas14},
   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},
   number = 1,
   pages = {49--60},
   publisher = {Springer Netherlands},
   title = {Infrastructures for the Environment of Multiagent Systems},
   volume = 14,
   year = 2007
}
@article{orchestration-scp66,
   apice = {OrchestrationScp66},
   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.},
   scopus = {2-s2.0-34249302002},
   title = {Engineering a {BPEL} Orchestration Engine as a Multi-agent System},
   url = {https://www.sciencedirect.com/science/article/pii/S0167642307000378},
   volume = 66,
   year = 2007
}
@inproceedings{swarmlinda-saso07,
   address = {Boston, Massachusetts, USA},
   apice = {SwarmlindaSaso2007},
   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)},
   doi = {10.1109/SASO.2007.42},
   editor = {Babaoglu, Ozalp and Shrobe, Howard},
   month = {9--11~} # july,
   pages = {303--306},
   publisher = {IEEE Computer Society},
   title = {On the Problem of Over-clustering in Tuple-based Coordination Systems},
   year = 2007
}
@article{orchestration-jlap70,
   apice = {OrchestrationJLAP70},
   author = {Viroli, Mirko},
   doi = {doi:10.1016/j.jlap.2006.05.006},
   editor = {Bravetti, Mario and Zavattaro, Gianluigi},
   issn = {1567-8326},
   journal = {The 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
}
@incollection{selforg-e4masIII,
   acm = {1759362},
   apice = {SelforgE4masIII},
   author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
   booktitle = {Environments for MultiAgent Systems III},
   chapter = 15,
   dblp = {conf/e4mas/GardelliVCO06},
   doi = {10.1007/978-3-540-71103-2_15},
   editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
   eisbn = {978-3-540-71103-2},
   iris = {11585/45691},
   isbn = {978-3-540-71102-5},
   issn = {0302-9743},
   lens = {083-166-822-226-641},
   month = may,
   note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
   numpages = 18,
   openalex = {W1563935027},
   pages = {254--271},
   part = {Applications},
   publisher = {Springer Berlin Heidelberg},
   scopus = {2-s2.0-38049129687},
   series = {Lecture Notes in Computer Science},
   subseries = {Lecture Notes in Artificial Intelligence},
   title = {Designing Self-organising {MAS} Environments: The Collective Sort Case},
   url = {https://link.springer.com/10.1007/978-3-540-71103-2_15},
   volume = 4389,
   wos = {WOS:000245775800015},
   year = 2007
}
@inproceedings{selforg-eedas07,
   address = {ICAC 2007, Jacksonville, FL, USA},
   apice = {SelforgEedas07},
   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~} # jun,
   note = {Proceedings},
   pages = {61--70},
   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
}
@inproceedings{collectivesort-coord-sac07,
   address = {New York, NY, USA},
   apice = {CollectivesortCoordSac2007},
   author = {Viroli, Mirko and Casadei, Matteo and Gardelli, Luca},
   booktitle = {SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing},
   doi = {10.1145/1244002.1244086},
   editor = {Ricci, Alessandro and Schumacher, Michael and Angerer, Bernard},
   isbn = {1-59593-480-4},
   pages = {354--359},
   publisher = {ACM},
   title = {A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces},
   year = 2007
}
@inproceedings{simpa-pppj07,
   address = {Lisboa, Portugal},
   apice = {SimpaPppj07},
   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},
   keywords = {simpa, A&A, agent-oriented computing, concurrent programming},
   month = {5--7~} # sep,
   pages = {185--194},
   publisher = {ACM},
   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,
   apice = {SwarmlindaLncs4676},
   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},
   eissn = {1611-3349},
   elsevier-ref = {LNCS4676},
   isbn = {978-3-540-75118-2},
   issn = {0302-9743},
   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 = {Lecture Notes in Computer Science},
   title = {Using Ant's Brood Sorting to Increase Fault Tolerance in {L}inda's Tuple Distribution Mechanism},
   url = {https://link.springer.com/10.1007/978-3-540-75119-9_18},
   volume = 4676,
   year = 2007
}
@article{intro-jot6,
   apice = {IntroJOT6},
   author = {Ancona, Davide and Viroli, Mirko},
   doi = {10.5381/jot.2007.6.2.e1},
   editor = {Ancona, Davide and Viroli, Mirko},
   issn = {1660-1769},
   journal = {The Journal of Object Technology},
   note = {Special Issue: OOPS Track at SAC 2006 / France},
   number = 2,
   publisher = {ETH Swiss Federal Institute of Technology},
   title = {Guest Editorial},
   url = {https://www.jot.fm/contents/issue_2007_02/editorial.html},
   volume = 6,
   year = 2007
}
@article{rbacmas-aai21,
   acm = {10.1080/08839510701253674},
   apice = {RbacmasAai21},
   author = {Viroli, Mirko and Omicini, Andrea and Ricci, Alessandro},
   core = {226398643},
   dblp = {journals/aai/ViroliOR07},
   doi = {10.1080/08839510701253674},
   editor = {Bandini, Stefania and Manzoni, Sara},
   eissn = {1087-6545},
   iris = {11585/45413},
   issn = {0883-9514},
   journal = {Applied Artificial Intelligence},
   lens = {044-709-547-517-682},
   month = apr,
   note = {Special Issue: State of Applications in AI Research from AI*IA 2005},
   number = {4--5},
   openalex = {W2064365375},
   pages = {443--467},
   publisher = {Taylor \& Francis},
   scopus = {2-s2.0-34248579034},
   title = {Infrastructure for {RBAC-MAS}: An Approach Based on {A}gent {C}oordination {C}ontexts},
   url = {https://www.tandfonline.com/doi/10.1080/08839510701253674},
   volume = 21,
   wos = {WOS:000246536600011},
   year = 2007
}
@article{preface-scp66,
   apice = {PrefaceScp66},
   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 = {https://www.sciencedirect.com/science/article/pii/S0167642307000342},
   volume = 66,
   year = 2007
}
@inproceedings{respect-foclasa07,
   address = {CONCUR 2007, Lisbon, Portugal},
   apice = {RespectFoclasa2007},
   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, ReSpecT, Agents & Artifacts},
   lens = {093-433-635-955-415},
   month = {8~} # sep,
   note = {Proceedings},
   openalex = {W2801866319},
   pages = {133--148},
   title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
   url = {http://foclasa07.lcc.uma.es/},
   year = 2007
}
@inproceedings{patj-pppj07,
   address = {New York, NY, USA},
   apice = {PatjPppj07},
   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
}
@article{polymorphism-ooplsa2007,
   address = {New York, NY, USA},
   apice = {PolymorphismOoplsa2007},
   author = {Igarashi, Atsushi and Viroli, Mirko},
   doi = {10.1145/1297027.1297037},
   editor = {Gabriel, Richard P. and Bacon, David F. and Videira Lopes, Cristina and Steele, Jr., Guy L.},
   isbn = {978-1-59593-786-5},
   issn = {0362-1340},
   journal = {ACM SIGPLAN Notices},
   keywords = {Generics, parametric polymorphism, variant types, Featherweight Java},
   note = {Proceedings of the 22nd annual ACM SIGPLAN Conference on Object Oriented Programming Systems, Languages and Applications (OOPSLA '07), Montreal, Quebec, Canada},
   number = 10,
   pages = {113--132},
   publisher = {ACM},
   title = {Variant path types for scalable extensibility},
   volume = 42,
   year = 2007
}
@incollection{cogstig-e4masIII,
   acm = {1759352},
   apice = {CognitivestigmergyE4masIII},
   author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko and Gardelli, Luca and Oliva, Enrico},
   booktitle = {Environments for MultiAgent Systems III},
   chapter = 7,
   core = {226399157},
   dblp = {conf/e4mas/RicciOVGO06},
   doi = {10.1007/978-3-540-71103-2_7},
   editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
   eisbn = {978-3-540-71103-2},
   iris = {11585/45690},
   isbn = {978-3-540-71102-5},
   issn = {0302-9743},
   lens = {114-712-837-734-399},
   month = may,
   note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
   numpages = 17,
   openalex = {W1571641412},
   pages = {124--140},
   part = {Mediated Interaction and Stigmery},
   publisher = {Springer Berlin Heidelberg},
   publonsid = {13197240},
   scholar = {8497596473192410111},
   scopus = {2-s2.0-38049179113},
   series = {Lecture Notes in Computer Science},
   subseries = {Lecture Notes in Artificial Intelligence},
   title = {Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts},
   url = {https://link.springer.com/10.1007/978-3-540-71103-2_7},
   volume = 4389,
   wos = {WOS:000245775800007},
   year = 2007
}
@inproceedings{artifacts-promas07,
   address = {AAMAS 2007, Honolulu, Hawaii, USA},
   apice = {ArtifactsPromas2007},
   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~} # may,
   pages = {54--69},
   title = {A General Purpose Programming Model \& Technology for Developing Working Environments in {MAS}},
   year = 2007
}
@incollection{selforg-ceemas07,
   acm = {10.1007/978-3-540-75254-7_13},
   apice = {SelforgCeemas2007},
   author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
   booktitle = {Multi-Agent Systems and Applications {V}},
   core = {226402864},
   dblp = {conf/ceemas/GardelliVO07},
   doi = {10.1007/978-3-540-75254-7_13},
   editor = {Burkhard, Hans-Dieter and Verbrugge, Rineke and Varga, László Zsolt},
   eisbn = {978-3-540-75254-7},
   isbn = {978-3-540-75253-0},
   issn = {0302-9743},
   lens = {002-402-961-702-461},
   month = sep,
   note = {5th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS'07), Leipzig, Germany, 25--27~} # sep # {~2007, Proceedings},
   openalex = {W1873680713},
   pages = {123--132},
   publisher = {Springer Berlin Heidelberg},
   scopus = {2-s2.0-38049127353},
   series = {Lecture Notes in Computer Science},
   subseries = {Lecture Notes in Artificial Intelligence},
   title = {Design Patterns for Self-Organising Systems},
   url = {https://link.springer.com/10.1007/978-3-540-75254-7_13},
   volume = 4696,
   wos = {WOS:000250900900013},
   year = 2007
}
@article{respect-entcs180,
   acm = {10.1016/j.entcs.2006.10.049},
   apice = {RespectEntcs180},
   author = {Viroli, Mirko and Omicini, Andrea},
   booktitle = {Proceedings of the 3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004)},
   core = {82599442},
   dblp = {journals/entcs/ViroliO07},
   doi = {10.1016/j.entcs.2006.10.049},
   editor = {Brogi, Antonio and Jacquet, Jean-Marie and Pimentel, Ernesto},
   issn = {1571-0661},
   journal = {Electronic Notes in Theoretical Computer Science},
   keywords = {Tuple spaces, ReSpecT, Tuple centres, Petri nets, Formal analysis},
   lens = {039-242-265-115-290},
   month = jun,
   note = {3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04), CONCUR'04, London, UK, 30~} # aug # {~2004. Post-proceedings},
   number = 2,
   numpages = 22,
   openalex = {W2123800129},
   pages = {123--144},
   publisher = {Elsevier Science B.V.},
   scopus = {2-s2.0-34250167192},
   series = {Electronic Notes in Theoretical Computer Science},
   title = {{\sf {ReSpecT}} Nets: Towards an Analysis Methodology for {{\sf ReSpecT}} Specifications},
   url = {https://www.sciencedirect.com/science/article/pii/S1571066107003258},
   volume = 180,
   wos = {WOS:000214244100009},
   year = 2007
}
26 publications in 2007 without IEEE No • top • index • bottom