Per Sort

22 technical reports
 @techreport{mokbiopepa-amsacta3783,
    address = {Bologna, Italy},
    author = {Mariani, Stefano},
    doi = {10.6092/unibo/amsacta/3783},
    eissn = {2283-6462},
    institution = {{\sc Alma Mater Studiorum}--Università di Bologna},
    issn = {2283-6462},
    keywords = {Biochemical simulation; MoK; Knowledge-intensive environments; BioPepa; Chemical rates; Biochemical coordination},
    month = {20}}},
    title = {Analysis of the {M}olecules {o}f {K}nowledge Model with the {B}io{P}epa {E}clipse Plugin},
    type = {Technical Report},
    url = {http://amsacta.unibo.it/3783/},
    volume = 3783,
    year = 2013
} 
 @techreport{mokbiopepa-amsacta3783,
    address = {Bologna, Italy},
    author = {Mariani, Stefano},
    institution = {{\sc Alma Mater Studiorum}--Università di Bologna},
    keywords = {Biochemical simulation; MoK; Knowledge-intensive environments; BioPepa; Chemical rates; Biochemical coordination},
    month = {20}}}f {K}nowledge Model with the {B}io{P}epa {E}clipse Plugin},
    type = {AMS Acta Technical Report},
    url = {http://amsacta.unibo.it/3783/},
    volume = 3783,
    year = 2013
} 
 @techreport{blanzieri-tr11-480,
	Address = {Universit{\`a} di Trento, Italy},
	Author = {Argentini, Andrea and Blanzieri, Enrico},
	Institution = {Dipartimento di Ingegneria e Scienze dell'Informazione (DISI)},
	Month = jun,
	Number = {DISI-11-480},
	Title = {Unsupervised Learning of True Ranking Estimators using the Belief Function Framework},
	Type = {Technical Report},
	Url = {http://eprints.biblio.unitn.it/archive/00002272/01/ECSQARU_tech.pdf},
	Year = 2011} 
 @techreport{blanzieri-tr09-021,
	Address = {Universit{\`a} di Trento, Italy},
	Author = {Birukou, Aliaksandr and Blanzieri, Enrico and Giorgini, Paolo and Giunchiglia, Fausto},
	Institution = {Dipartimento di Ingegneria e Scienze dell'Informazione (DISI)},
	Month = jun,
	Number = {DISI-09-021},
	Title = {A Formal Definition of Colture},
	Type = {Technical Report},
	Url = {http://eprints.biblio.unitn.it/archive/00001604/01/021.pdf},
	Year = 2009} 
 @techreport{weblp-techreport08,
    author = {Piancastelli, Giulio and Omicini, Andrea},
    doi = {10.6092/unibo/amsacta/2515},
    institution = {Alma Mater Studiorum---Università di Bologna},
    iris = {11585/70098},
    issn = {2038-7954},
    month = aug,
    series = {AMS Acta},
    title = {A Multi-Theory Logic Programming Language for the {W}orld {W}ide {W}eb},
    url = {http://amsacta.cib.unibo.it/archive/00002515/},
    volume = 2515,
    year = 2008
} 
 @techreport{semanticmatchingtecrep08,
	Address = {Southampton, UK},
	Author = {Bandara, Ayomi and Payne, Terry and De Roure, David and Gibbins, Nicholas and Lewis, Tim},
	Insitution = {School of Electronics & Computer Science, University of Southampton},
	Keyword = {Semantic Web, Service Matching, Pervasive Computing},
	Month = apr,
	Number = {ECSTR-IAM08-001},
	urlpdf = {http://eprints.ecs.soton.ac.uk/15223/1/SemMatchingTR.pdf},
	Title = {Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation},
	Url = {http://eprints.ecs.soton.ac.uk/15223/},
	Year = 2008} 
 @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
} 
 @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
} 
 @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}} 
 @techreport{stoklaim-techrep2007,
	Author = {De Nicola, Rocco and Latella, Diego and Katoen, Joost-Pieter and Massink, Mieke},
	Institution = {Istituto di Scienza e Tecnologie dell'Informazione ``Alessandro Faedo'' (ISTI)},
	Number = {2006-TR-01},
	Series = {CNR-ISTI},
	Title = {{S}to{K}laim: A Stochastic Extension of {K}laim},
	Year = 2006} 
 @techreport{bioalgebra-techrep06,
	Address = {Trento, Italy},
	Author = {Guerriero, Maria Luisa and Prandi, Davide and Priami, Corrado and Quaglia, Paola},
	Institution = {Centre for Computational and Systems Biology},
	Number = {13/2006},
	Title = {Process Calculi Abstractions for Biology},
	Url = {http://www.cosbi.eu/php/get_paper.php?id=176},
	Year = 2006} 
 @techreport{interactivemodels-wegner99,
	Address = {Providence, RI, USA},
	Author = {Wegner, Peter and Goldin, Dina},
	Institution = {Brown University},
	Title = {Mathematical Models of Interactive Computing},
	Url = {http://dl.acm.org/citation.cfm?id=864493},
	Year = 1999} 
 @techreport{D-ACLTimpl99,
	Address = {Bologna, Italy},
	Author = {Denti, Enrico},
	Institution = {Department of Electronics, Computer Science and Systems (DEIS), Universit{\`a} di Bologna},
	Keywords = {coordination languages, ACLT, Linda, tuple spaces, distributed programming, logic programming},
	Number = {DEIS-LIA-99-04},
	Series = {LIA Series},
	Title = {Implementing the {ACLT} Coordination Model},
	Type = {DEIS Technical Report},
	Volume = 38,
	Year = 1999} 
 @techreport{gammalinda-zavattaro1998,
	Address = {Amsterdam, The Netherlands},
	Author = {Zavattaro, Gianluigi},
	Institution = {CWI},
	Month = oct,
	Number = {SEN-R9827},
	Title = {On the Incomparability of {G}amma and {L}inda},
	Year = 1998} 
 @techreport{aclt-techrep97,
    address = {Bologna, Italy},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    institution = {Department of Electronics, Computer Science and Systems (DEIS), Università di Bologna},
    keywords = {Multi-agent systems, Coordination, Tuple Spaces, Petri Nets, Programmable Coordination Media, Turing Equivalence},
    number = {DEIS-LIA-97-009},
    series = {DEIS Technical Reports},
    subseries = {LIA Series},
    title = {Expressive Power of the {$\mathcal{ACLT}$} Reaction Specification Language},
    type = {DEIS Technical Report},
    volume = 26,
    year = 1997
} 
 @techreport{multitheorylogiclanguages-liatr96009,
    address = {Bologna, Italy},
    author = {Omicini, Andrea},
    institution = {Department of Electronics, Computer Science and Systems (DEIS), Università di Bologna},
    keywords = {Multi-Theory Logic Languages, Object-Oriented Logic Programming, Modules},
    number = {DEIS-LIA-96-009},
    scholar = {11133488655293125604},
    series = {DEIS Technical Reports},
    subseries = {LIA Series},
    title = {A General Framework for Multi-Theory Logic Languages},
    volume = 16,
    year = 1996
} 
 @techreport{pfcnr-4-91,
    address = {Roma, Italy},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    institution = {CNR},
    month = mar,
    note = {Progetto Finalizzato ``Sistemi informatici e calcolo parallelo'', Sottoprogetto ``Linguaggi di nuova concezione''},
    number = 4/91,
    series = {CNR Technical Report},
    title = {Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale},
    type = {CNR Technical Report},
    year = 1993
} 
 @article{cisemme392,
    author = {Mauro Cesana and Denti, Enrico and Natali, Antonio and Judith Szanto},
    institution = {CISE S.p.A., Milan, Italy},
    number = 7312,
    series = {Rapporto Topico interno CISE S.p.A.},
    title = {Supporto alla Comunicazione Remota in MME 3},
    year = 1992
} 
 @techreport{sharedds-ciancarini92,
	Address = {Pisa, Italy},
	Author = {Ciancarini, Paolo and Jensen, Keld K. and Yankelevich, Dani},
	Institution = {Dipartimento di Informatica, Universit{\`a} di Pisa},
	Month = sep,
	Number = {TR26-92},
	Title = {The Semantics of a Parallel Language based on a Shared Data Space},
	Year = 1992} 
 @techreport{pfcnr-4-70,
    address = {Rome, Italy},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    institution = {CNR},
    month = may,
    note = {Progetto Finalizzato ``Sistemi informatici e calcolo parallelo'', Sottoprogetto ``Linguaggi di nuova concezione''},
    number = 4/70,
    title = {{CSM} User's Guide},
    type = {Technical Report},
    year = 1992
} 
 @techreport{seterminology-ieeestd610121990,
    address = {New York, NY, USA},
    author = {{IEEE Standard Board}},
    doi = {10.1109/IEEESTD.1990.101064},
    institution = {IEEE},
    isbn = {1-55937467-X},
    keywords = {Software engineering; glossary; terminology; definitions; dictionary},
    note = {Reaffirmed 12-9-2002},
    number = 610.12-1990,
    pages = {1-84},
    title = {{IEEE} Standard Glossary of Software Engineering Terminology},
    type = {IEEE Std},
    url = {https://ieeexplore.ieee.org/document/159342},
    urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=159342},
    year = 1990
} 
 @techreport{dsknowledge-yaletr450,
	Author = {Fisher, Michael J. and Immerman, Neil},
	Institution = {Yale University},
	Month = dec,
	Number = 450,
	Title = {Foundations of Knowledge for Distributed Systems},
	Type = {Technical Report},
	Url = {http://www.cs.yale.edu/publications/techreports/tr450.pdf},
	Year = 1985} 
22 technical reports • topindexbottom

technical reports  /  personal
Andrea Agiollo  •  Roberta Calegari  •  Giovanni Ciatto  •  Angelo Croatti  •  Enrico Denti  •  Matteo Magnini  •  Sara Montagna  •  Andrea Omicini  •  Giuseppe Pisano  •  Andrea Rafanelli  •  Federico Sabbatini