Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Robert F. C. Walters
@article{DBLP:journals/tcs/SabadiniSW17,
author = {Nicoletta Sabadini and
Filippo Schiavio and
Robert F. C. Walters},
title = {On the geometry and algebra of networks with state},
journal = {Theor. Comput. Sci.},
volume = {664},
pages = {144--163},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2016.01.028},
doi = {10.1016/J.TCS.2016.01.028},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/SabadiniSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/MagliaSW15,
author = {D. Maglia and
Nicoletta Sabadini and
Robert F. C. Walters},
title = {Blocked-Braid Groups},
journal = {Appl. Categorical Struct.},
volume = {23},
number = {1},
pages = {53--61},
year = {2015},
url = {https://doi.org/10.1007/s10485-013-9363-2},
doi = {10.1007/S10485-013-9363-2},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/MagliaSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/AlbasiniSW11,
author = {Luisa de Francesco Albasini and
Nicoletta Sabadini and
Robert F. C. Walters},
title = {The Compositional Construction of Markov Processes},
journal = {Appl. Categorical Struct.},
volume = {19},
number = {1},
pages = {425--437},
year = {2011},
url = {https://doi.org/10.1007/s10485-010-9233-0},
doi = {10.1007/S10485-010-9233-0},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/AlbasiniSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/AlbasiniSW11,
author = {Luisa de Francesco Albasini and
Nicoletta Sabadini and
Robert F. C. Walters},
title = {The compositional construction of Markov processes {II}},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {45},
number = {1},
pages = {117--142},
year = {2011},
url = {https://doi.org/10.1051/ita/2011015},
doi = {10.1051/ITA/2011015},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/AlbasiniSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-0715,
author = {Robert D. Rosebrugh and
Nicoletta Sabadini and
Robert F. C. Walters},
title = {Tangled Circuits},
journal = {CoRR},
volume = {abs/1110.0715},
year = {2011},
url = {http://arxiv.org/abs/1110.0715},
eprinttype = {arXiv},
eprint = {1110.0715},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-0715.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AlbasiniSW09,
author = {Luisa de Francesco Albasini and
Nicoletta Sabadini and
Robert F. C. Walters},
editor = {Alessandra Cherubini and
Mario Coppo and
Giuseppe Persiano},
title = {The compositional construction of Markov processes},
booktitle = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
Cremona, Italy, September 28-30, 2009, Proceedings},
pages = {91--98},
year = {2009},
timestamp = {Tue, 28 May 2013 14:21:59 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/AlbasiniSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbasiniSW11,
author = {Luisa de Francesco Albasini and
Nicoletta Sabadini and
Robert F. C. Walters},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {An Algebra of Automata That Includes Both Classical and Quantum Entities},
booktitle = {Proceedings of the 6th International Workshop on Quantum Physics and
Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {270},
number = {2},
pages = {263--272},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.036},
doi = {10.1016/J.ENTCS.2011.01.036},
timestamp = {Fri, 10 Mar 2023 13:14:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbasiniSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-2434,
author = {Luisa de Francesco Albasini and
Nicoletta Sabadini and
Robert F. C. Walters},
title = {The compositional construction of Markov processes},
journal = {CoRR},
volume = {abs/0901.2434},
year = {2009},
url = {http://arxiv.org/abs/0901.2434},
eprinttype = {arXiv},
eprint = {0901.2434},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-2434.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-4754,
author = {Luisa de Francesco Albasini and
Nicoletta Sabadini and
Robert F. C. Walters},
title = {An algebra of automata which includes both classical and quantum entities},
journal = {CoRR},
volume = {abs/0901.4754},
year = {2009},
url = {http://arxiv.org/abs/0901.4754},
eprinttype = {arXiv},
eprint = {0901.4754},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-4754.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/RosebrughSW08,
author = {Robert D. Rosebrugh and
Nicoletta Sabadini and
Robert F. C. Walters},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {Calculating Colimits Compositionally},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {581--592},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_36},
doi = {10.1007/978-3-540-68679-8\_36},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/RosebrughSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/RosebrughSW04,
author = {Robert D. Rosebrugh and
Nicoletta Sabadini and
Robert F. C. Walters},
title = {Minimisation and minimal realisation in Span(Graph)},
journal = {Math. Struct. Comput. Sci.},
volume = {14},
number = {5},
pages = {685--714},
year = {2004},
url = {https://doi.org/10.1017/S096012950400430X},
doi = {10.1017/S096012950400430X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/RosebrughSW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BushLW03,
author = {Michael R. Bush and
M. Leeming and
Robert F. C. Walters},
title = {Computing left Kan extensions},
journal = {J. Symb. Comput.},
volume = {35},
number = {2},
pages = {107--126},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(02)00102-5},
doi = {10.1016/S0747-7171(02)00102-5},
timestamp = {Thu, 07 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BushLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SabadiniW03,
author = {Nicoletta Sabadini and
Robert F. C. Walters},
editor = {James Harland},
title = {Hierarchical Automata and P-systems},
booktitle = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
SA, Australia, February 4-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {78},
pages = {5--19},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)81003-X},
doi = {10.1016/S1571-0661(04)81003-X},
timestamp = {Fri, 11 Nov 2022 16:09:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SabadiniW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CherubiniSW04,
author = {Alessandra Cherubini and
Nicoletta Sabadini and
Robert F. C. Walters},
editor = {Furio Honsell and
Marina Lenisa and
Marino Miculan},
title = {Timing in the Cospan-Span Model},
booktitle = {Proceedings of the Workshop of the {COMETA} Project on Computational
Metamodels, {COMETA} 2003, Udine, Italy, December 15-17, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {104},
pages = {81--97},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.08.020},
doi = {10.1016/J.ENTCS.2004.08.020},
timestamp = {Fri, 09 Dec 2022 11:43:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CherubiniSW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KatisSW04,
author = {Piergiulio Katis and
Nicoletta Sabadini and
Robert F. C. Walters},
editor = {Furio Honsell and
Marina Lenisa and
Marino Miculan},
title = {Compositional Minimization in Span(Graph): Some Examples},
booktitle = {Proceedings of the Workshop of the {COMETA} Project on Computational
Metamodels, {COMETA} 2003, Udine, Italy, December 15-17, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {104},
pages = {181--197},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.08.025},
doi = {10.1016/J.ENTCS.2004.08.025},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KatisSW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KatisSW02,
author = {Piergiulio Katis and
Nicoletta Sabadini and
Robert F. C. Walters},
title = {Feedback, trace and fixed-point semantics},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {36},
number = {2},
pages = {181--194},
year = {2002},
url = {https://doi.org/10.1051/ita:2002009},
doi = {10.1051/ITA:2002009},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/KatisSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GadducciKMSW01,
author = {Fabio Gadducci and
Piergiulio Katis and
Ugo Montanari and
Nicoletta Sabadini and
Robert F. C. Walters},
editor = {Marina Lenisa and
Marino Miculan},
title = {Comparing cospan-spans and tiles via a Hoare-style process calculus},
booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
Udine, Italy, November 19-21, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {62},
pages = {157--176},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00325-1},
doi = {10.1016/S1571-0661(04)00325-1},
timestamp = {Wed, 30 Nov 2022 12:15:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GadducciKMSW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/KatisSW00,
author = {Piergiulio Katis and
Nicoletta Sabadini and
Robert F. C. Walters},
editor = {Ant{\'{o}}nio Porto and
Gruia{-}Catalin Roman},
title = {A Formalization of the {IWIM} Model},
booktitle = {Coordination Languages and Models, 4th International Conference, {COORDINATION}
2000, Limassol, Cyprus, September 11-13, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1906},
pages = {267--283},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45263-X\_17},
doi = {10.1007/3-540-45263-X\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/KatisSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0002008,
author = {R. Gates and
Piergiulio Katis and
Nicoletta Sabadini and
Robert F. C. Walters},
title = {On Automata with Boundary},
journal = {CoRR},
volume = {cs.DC/0002008},
year = {2000},
url = {https://arxiv.org/abs/cs/0002008},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0002008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/RosebrughSW98,
author = {Robert D. Rosebrugh and
Nicoletta Sabadini and
Robert F. C. Walters},
title = {Minimal Realization in Bicategories of Automata},
journal = {Math. Struct. Comput. Sci.},
volume = {8},
number = {2},
pages = {93--116},
year = {1998},
url = {http://journals.cambridge.org/action/displayAbstract?aid=44733},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/RosebrughSW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/KatisSW97,
author = {Piergiulio Katis and
Nicoletta Sabadini and
Robert F. C. Walters},
editor = {Michael Johnson},
title = {Span(Graph): {A} Categorial Algebra of Transition Systems},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {307--321},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000479},
doi = {10.1007/BFB0000479},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/KatisSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/KatisSW97a,
author = {Piergiulio Katis and
Nicoletta Sabadini and
Robert F. C. Walters},
editor = {Michael Johnson},
title = {Representing Place/Transition Nets in Span(Graph)},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {322--336},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000480},
doi = {10.1007/BFB0000480},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/KatisSW97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/BloomSW96,
author = {Stephen L. Bloom and
Nicoletta Sabadini and
Robert F. C. Walters},
title = {Matrices, machines and behaviors},
journal = {Appl. Categorical Struct.},
volume = {4},
number = {4},
pages = {343--360},
year = {1996},
url = {https://doi.org/10.1007/BF00122683},
doi = {10.1007/BF00122683},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/BloomSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SabadiniVW96,
author = {Nicoletta Sabadini and
Sebastiano Vigna and
Robert F. C. Walters},
title = {A Note on Recursive Functions},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {2},
pages = {127--139},
year = {1996},
url = {https://doi.org/10.1017/S0960129500000918},
doi = {10.1017/S0960129500000918},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SabadiniVW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/WagnerKW95,
author = {Eric G. Wagner and
Wafaa Khalil and
Robert F. C. Walters},
title = {Fix-point Semantics for Programs in Distributive Categories},
journal = {Fundam. Informaticae},
volume = {22},
number = {1/2},
pages = {187--202},
year = {1995},
url = {https://doi.org/10.3233/FI-1995-22129},
doi = {10.3233/FI-1995-22129},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/WagnerKW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CarmodyLW95,
author = {S. Carmody and
M. Leeming and
Robert F. C. Walters},
title = {The Todd-Coxeter Procedure and Left Kan Extensions},
journal = {J. Symb. Comput.},
volume = {19},
number = {5},
pages = {459--488},
year = {1995},
url = {https://doi.org/10.1006/jsco.1995.1027},
doi = {10.1006/JSCO.1995.1027},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CarmodyLW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/KellyLW93,
author = {G. M. Kelly and
Stephen Lack and
Robert F. C. Walters},
title = {Coinverters and categories of fractions for categories with structure},
journal = {Appl. Categorical Struct.},
volume = {1},
number = {1},
pages = {95--102},
year = {1993},
url = {https://doi.org/10.1007/BF00872988},
doi = {10.1007/BF00872988},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/KellyLW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KhalilW93,
author = {Wafaa Khalil and
Robert F. C. Walters},
title = {An Imperative Language Based on Distributive Categories {II}},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {27},
number = {6},
pages = {503--522},
year = {1993},
url = {https://doi.org/10.1051/ita/1993270605031},
doi = {10.1051/ITA/1993270605031},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/KhalilW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/SabadiniVW93,
author = {Nicoletta Sabadini and
Sebastiano Vigna and
Robert F. C. Walters},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {A Notion of Refinement for Automata},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '93), Proceedings
of the Third International Conference on Methodology and Software
Technology, University of Twente, Enschede, The Netherlands, 21-25
June, 1993},
series = {Workshops in Computing},
pages = {325--332},
publisher = {Springer},
year = {1993},
timestamp = {Tue, 18 Feb 2003 11:00:12 +0100},
biburl = {https://dblp.org/rec/conf/amast/SabadiniVW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Walters92,
author = {Robert F. C. Walters},
title = {An Imperative Language Based on Distributive Categories},
journal = {Math. Struct. Comput. Sci.},
volume = {2},
number = {3},
pages = {249--256},
year = {1992},
url = {https://doi.org/10.1017/S0960129500001468},
doi = {10.1017/S0960129500001468},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Walters92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
