Per Year

4 publications without IEEE No  /  2003  /  Mirko Viroli
@article{GenericsCompJ46,
venue = {--},
volume = 46,
title = {A Type-Passing Approach for the Implementation of Parametric Methods in {Java}},
publisher = {Oxford University Press},
url = {http://comjnl.oxfordjournals.org/cgi/content/abstract/46/3/263},
number = 3,
doi = {doi:10.1093/comjnl/46.3.263},
status = {Published},
year = 2003,
pages = {263--294},
journal = {The Computer Journal},
author = {Viroli, Mirko}}
@article{acc-entcs85,
   author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
   booktitle = {SecCo'03, First International Workshop on Security Issues in Coordination Models, Languages, and Systems (Satellite Event for ICALP 2003)},
   doi = {10.1016/S1571-0661(04)80682-0},
   editor = {Focardi, Riccardo and Zavattaro, Gianluigi},
   isbn = {0-444-50916-X},
   issn = {1571-0661},
   journal = {Electronic Notes in Theoretical Computer Science},
   month = aug,
   note = {1st International Workshop ``Security Issues in Coordination Models, Languages and Systems'' (SecCo 2003), Eindhoven, The Netherlands, 28--29~} # jun # {~2003. Proceedings},
   number = 3,
   pages = {17--36},
   publisher = {Elsevier Science B.V.},
   scopus = {2-s2.0-2442460553},
   series = {Electronic Notes in Theoretical Computer Science},
   title = {Formal Specification and Enactment of Security Policies through {A}gent {C}oordination {C}ontexts},
   volume = 85,
   year = 2003
}
@article{coord-entcs68,
   author = {Viroli, Mirko and Omicini, Andrea},
   booktitle = {Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002)},
   doi = {10.1016/S1571-0661(05)80383-4},
   editor = {Brogi, Antonio and Jacquet, Jean-Marie},
   isbn = {0-444-51416-3},
   issn = {1571-0661},
   journal = {Electronic Notes in Theoretical Computer Science},
   month = mar,
   note = {1st International Workshop ``Foundations of Coordination Languages and Software Architecture'' (FOCLASA 2002), Brno, Czech Republic, 24~} # aug # {~2002. Proceedings},
   number = 3,
   pages = {457--482},
   publisher = {Elsevier Science B.V.},
   scopus = {2-s2.0-2442495814},
   series = {Electronic Notes in Theoretical Computer Science},
   title = {Coordination as a Service: Ontological and Formal Foundation},
   url = {http://www.sciencedirect.com/science/article/pii/S1571066105803834},
   volume = 68,
   year = 2003
}
@inproceedings{fipa-woa2003,
   address = {Villasimius, CA, Italy},
   author = {Omicini, Andrea and Ricci, Alessandro and Rimassa, Giovanni and Viroli, Mirko},
   booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva'' (WOA 2003)},
   editor = {Armano, Giuliano and De Paoli, Flavio and Omicini, Andrea and Vargiu, Eloisa},
   isbn = {88-371-1413-3},
   month = {10--11~} # sep,
   publisher = {Pitagora Editrice Bologna},
   title = {Integrating Objective \& Subjective Coordination in {FIPA}: A Roadmap to {{\sf TuCSoN}}},
   url = {http://lia.deis.unibo.it/books/woa2003/pdf/07.pdf},
   urlpdf = {http://lia.deis.unibo.it/books/woa2003/pdf/07.pdf},
   year = 2003
}
4 publications in 2003 without IEEE No • topindexbottom