Per Year

16 publications  /  1992
@article{mobilecalculusI-ic100,
Author = {Milner, Robin and Parrow, Joachim and Walker, David},
Doi = {10.1016/0890-5401(92)90008-4},
Issn = {0890-5401},
Journal = {Information and Computation},
Number = 1,
Pages = {1--40},
Title = {A Calculus of Mobile Processes, I},
Url = {http://www.sciencedirect.com/science/article/pii/0890540192900084},
Volume = 100,
Year = 1992}
@incollection{barbedBisim92,
Author = {Milner, Robin and Sangiorgi, Davide},
Booktitle = {Automata, Languages and Programming},
Editor = {Kuich, W.},
Pages = {685--695},
Publisher = {Springer-Verlag},
Series = {Lecture Notes in Computer Science},
Title = {Barbed Bisimulation},
Volume = 623,
Year = 1992}
@inproceedings{ctxlp-elp92,
   address = {Bologna, Italy},
   author = {Denti, Enrico and Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
   booktitle = {3rd International Workshop on Extensions of Logic Programming (ELP'92)},
   editor = {Lamma, Evelina and Mello, Paola},
   month = {26--28~} # feb,
   note = {Pre-proceedings},
   pages = {145--170},
   publisher = {Tecnoprint Bologna},
   title = {Implementing Contexts in {L}ogic {P}rogramming},
   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}
@inproceedings{rationalagents-kr92,
Address = {Cambridge, MA, USA},
Author = {Rao, Anand S. and Georgeff, Michael P.},
Booktitle = {3rd International Conference on Principles of Knowledge Representation and Reasoning (KR '92)},
Editor = {Nebel, Bernhard and Rich, Charles and Swartout, William R.},
Isbn = {1-55860-262-3},
Month = {25-29~} # oct,
Note = {Proceedings},
Pages = {439--449},
Publisher = {Morgan Kaufmann},
Title = {An Abstract Architecture for Rational Agents},
Year = 1992}
@inproceedings{ctxlp-gulp92,
   author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
   booktitle = {7th Italian Conference on Logic Programming (GULP'92)},
   editor = {Costantini, Stefania},
   location = {Tremezzo, Como, Italy},
   month = {17--19 } # jun,
   pages = {307--320},
   publisher = {Città Studi, Milano, Italy},
   title = {Contexts as First-Class Objects: An Implementation based on the {SICS}tus {P}rolog System},
   year = 1992
}
@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
}
@article{mobilecalculusII-ic100,
Author = {Milner, Robin and Parrow, Joachim and Walker, David},
Doi = {10.1016/0890-5401(92)90009-5},
Issn = {0890-5401},
Journal = {Information and Computation},
Number = 1,
Pages = {41--77},
Title = {A Calculus of Mobile Processes, II},
Url = {http://www.sciencedirect.com/science/article/pii/0890540192900095},
Volume = 100,
Year = 1992,
Abstract = {Abstract}}
@article{coord-cacm35,
Address = {New York, NY, USA},
Author = {Gelernter, David and Carriero, Nicholas},
Doi = {10.1145/129630.129635},
Issn = {0001-0782},
Journal = {Communications of the ACM},
Number = 2,
Pages = {97--107},
Publisher = {ACM},
Title = {Coordination Languages and Their Significance},
Url = {http://portal.acm.org/cfm?id=129635},
Volume = 35,
Year = 1992}
@inproceedings{oolp-compulog92,
   address = {Pisa, Italy},
   author = {Natali, Antonio and Omicini, Andrea},
   booktitle = {1st COMPULOG NET Workshop on Programming Languages in Computational Logic},
   editor = {Brogi, Antonio and Mancarella, Paolo and Turini, Franco},
   month = {6--7~} # apr,
   note = {Extended Abstract},
   publisher = {Dipartimento di Informatica, Università di Pisa},
   title = {Objects as Evolving Contexts},
   year = 1992
}
@article{cognitiveartifacts-red4,
Author = {Norman, Donald A.},
Doi = {10.1007/BF02032391},
Issn = {0934-9839},
eissn = {1435-6066},
Journal = {Research in Engineering Design},
Month = mar,
Number = 1,
Pages = {43--50},
urlpdf = {http://www.springerlink.com/content/t964010t85892678/fulltext.pdf},
Publisher = {Springer},
Title = {Design principles for cognitive artifacts},
Url = {http://www.springerlink.com/content/t964010t85892678/},
Volume = 4,
Year = 1992}
@incollection{lindalp-lncs574,
Author = {Ciancarini, Paolo},
Booktitle = {Reasearch Directions in High-Level Parallel Programming Languages},
Doi = {10.1007/3-540-55160-3\_38},
Editor = {Ban{\^a}tre, Jean Pierre and Le M{\'e}tayer, Daniel},
Isbn = {978-3-540-55160-7},
Issn = {0},
Pages = {110--125},
Publisher = {Springer Berli},
Series = {LNCS},
Title = {Parallel Logic Programming using the {L}inda Model of Computation},
Url = {http://www.springerlink.com/content/y731227538m87455/},
urlpdf = {http://www.springerlink.com/content/y731227538m87455/fulltext.pdf},
Volume = 574,
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
}
@article{cham-tcs96,
Author = {Berry, G{\'e}rard},
Doi = {10.1016/0304-3975(92)90185-I},
Journal = {Theoretical Computer Science},
Month = apr,
Number = 1,
Pages = {217--248},
Publisher = {Elsevier Science B.V.},
Title = {The Chemical Abstract Machine},
Volume = 96,
Year = 1992}
@article{MetEng92,
author = {Kumar, Kuldeep and Welke, Richard J.},
title = {Methodology EngineeringR: a proposal for situation-specific methodology construction},
book = {Challenges and strategies for research in systems development},
year = {1992},
isbn = {0-471-93175-6},
pages = {257--269},
publisher = {John Wiley \& Sons, Inc.},
address = {New York, NY, USA}
 }
@book{martial-lnai610,
   address = {Berlin},
   apice = {MartialLnai610},
   author = {von Martial, Frank},
   booktitle = {Co-ordinating Plans of Autonomous Agents},
   doi = {10.1007/BFb0016366},
   isbn = {978-3-540-55615-2},
   pages = {XII, 246},
   publisher = {Springer-Verlag},
   series = {Lecture Notes in Computer Science},
   subseries = {Lecture Notes in Artificial Intelligence},
   title = {Co-ordinating Plans of Autonomous Agents},
   url = {https://link.springer.com/10.1007/BFb0016366},
   volume = 610,
   year = 1992
}
16 publications  /  1992  •  topindexbottom

publications  /  1992  /  personal
Andrea Agiollo  •  Roberta Calegari  •  Giovanni Ciatto  •  Cristian Cosci  •  Angelo Croatti  •  Enrico Denti  •  Matteo Magnini  •  Sara Montagna  •  Andrea Omicini  •  Giuseppe Pisano  •  Andrea Rafanelli  •  Federico Sabbatini