Per anno

4 pubblicazioni senza Google Scholar ID  /  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}}}: 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 pubblicazioni nel 2003 senza Google Scholar ID • in cimaindicein fondo