Per Year
@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}}}, 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}}}, 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}}}, 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 }
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