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