Per Sort

@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~} # sep,
   pages = {1--8},
   series = {AMS Acta},
   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~} # sep,
   number = 3783,
   title = {Analysis of the {M}olecules {o}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{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{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{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{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{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{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{cap-tr96-1579,
   apice = {CapTr961579},
   author = {Friedman, Roy and Birman, Ken},
   institution = {Cornell University},
   month = apr,
   series = {Computer Science Technical Reports},
   title = {Trading Consistency for Availability in Distributed Systems},
   url = {https://hdl.handle.net/1813/7235},
   urlopenaccess = {https://ecommons.cornell.edu/server/api/core/bitstreams/900077a0-eb82-4c38-bdd5-0fccc5471ff5/content},
   urlpdf = {https://ecommons.cornell.edu/server/api/core/bitstreams/900077a0-eb82-4c38-bdd5-0fccc5471ff5/content},
   volume = {TR96-1579},
   year = 1996
}

@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}