Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Renato Neves
@article{DBLP:journals/lmcs/DahlqvistN23,
author = {Fredrik Dahlqvist and
Renato Neves},
title = {The syntactic side of autonomous categories enriched over generalised
metric spaces},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:31)2023},
doi = {10.46298/LMCS-19(4:31)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/DahlqvistN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2304-02082,
author = {Fredrik Dahlqvist and
Renato Neves},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {A Complete V-Equational System for Graded lambda-Calculus},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12299},
doi = {10.46298/ENTICS.12299},
timestamp = {Wed, 03 Jan 2024 15:36:41 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-02082.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DahlqvistN22,
author = {Fredrik Dahlqvist and
Renato Neves},
editor = {Florin Manea and
Alex Simpson},
title = {An Internal Language for Categories Enriched over Generalised Metric
Spaces},
booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {216},
pages = {16:1--16:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CSL.2022.16},
doi = {10.4230/LIPICS.CSL.2022.16},
timestamp = {Thu, 27 Jan 2022 17:26:21 +0100},
biburl = {https://dblp.org/rec/conf/csl/DahlqvistN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-14356,
author = {Fredrik Dahlqvist and
Renato Neves},
title = {The syntactic dual of autonomous categories enriched over generalised
metric spaces},
journal = {CoRR},
volume = {abs/2208.14356},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.14356},
doi = {10.48550/ARXIV.2208.14356},
eprinttype = {arXiv},
eprint = {2208.14356},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-14356.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-08473,
author = {Fredrik Dahlqvist and
Renato Neves},
title = {An Internal Language for Categories Enriched over Generalised Metric
Spaces},
journal = {CoRR},
volume = {abs/2105.08473},
year = {2021},
url = {https://arxiv.org/abs/2105.08473},
eprinttype = {arXiv},
eprint = {2105.08473},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-08473.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/0001NP20,
author = {Sergey Goncharov and
Renato Neves and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Violet Ka I Pun and
Volker Stolz and
Adenilso Sim{\~{a}}o},
title = {Implementing Hybrid Semantics: From Functional to Imperative},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2020 - 17th International
Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12545},
pages = {262--282},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64276-1\_14},
doi = {10.1007/978-3-030-64276-1\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/0001NP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-14322,
author = {Sergey Goncharov and
Renato Neves and
Jos{\'{e}} Proen{\c{c}}a},
title = {Implementing Hybrid Semantics: From Functional to Imperative},
journal = {CoRR},
volume = {abs/2009.14322},
year = {2020},
url = {https://arxiv.org/abs/2009.14322},
eprinttype = {arXiv},
eprint = {2009.14322},
timestamp = {Wed, 07 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-14322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HofmannNN19,
author = {Dirk Hofmann and
Renato Neves and
Pedro Nora},
title = {Limits in categories of Vietoris coalgebras},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {4},
pages = {552--587},
year = {2019},
url = {https://doi.org/10.1017/S0960129518000269},
doi = {10.1017/S0960129518000269},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HofmannNN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/0001N19,
author = {Sergey Goncharov and
Renato Neves},
editor = {Ekaterina Komendantskaya},
title = {An Adequate While-Language for Hybrid Computation},
booktitle = {Proceedings of the 21st International Symposium on Principles and
Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
7-9, 2019},
pages = {11:1--11:15},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3354166.3354176},
doi = {10.1145/3354166.3354176},
timestamp = {Thu, 26 Sep 2019 14:21:31 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/0001N19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-07684,
author = {Sergey Goncharov and
Renato Neves},
title = {An Adequate While-Language for Hybrid Computation},
journal = {CoRR},
volume = {abs/1902.07684},
year = {2019},
url = {http://arxiv.org/abs/1902.07684},
eprinttype = {arXiv},
eprint = {1902.07684},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-07684.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NevesB18,
author = {Renato Neves and
Lu{\'{\i}}s Soares Barbosa},
title = {Languages and models for hybrid automata: {A} coalgebraic perspective},
journal = {Theor. Comput. Sci.},
volume = {744},
pages = {113--142},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2017.09.038},
doi = {10.1016/J.TCS.2017.09.038},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/NevesB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0001JN18,
author = {Sergey Goncharov and
Julian Jakob and
Renato Neves},
editor = {Sven Schewe and
Lijun Zhang},
title = {A Semantics for Hybrid Iteration},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {22:1--22:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.22},
doi = {10.4230/LIPICS.CONCUR.2018.22},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/0001JN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-04145,
author = {Fredrik Dahlqvist and
Renato Neves},
title = {Compositional semantics for new paradigms: probabilistic, hybrid and
beyond},
journal = {CoRR},
volume = {abs/1804.04145},
year = {2018},
url = {http://arxiv.org/abs/1804.04145},
eprinttype = {arXiv},
eprint = {1804.04145},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-04145.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-01053,
author = {Sergey Goncharov and
Julian Jakob and
Renato Neves},
title = {A Semantics for Hybrid Iteration},
journal = {CoRR},
volume = {abs/1807.01053},
year = {2018},
url = {http://arxiv.org/abs/1807.01053},
eprinttype = {arXiv},
eprint = {1807.01053},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-01053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MadeiraNMB18,
author = {Alexandre Madeira and
Renato Neves and
Manuel A. Martins and
Lu{\'{\i}}s Soares Barbosa},
editor = {Sandra Alves and
Renata Wasserman},
title = {Hierarchical Hybrid Logic},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {167--184},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.011},
doi = {10.1016/J.ENTCS.2018.10.011},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MadeiraNMB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MadeiraNM16,
author = {Alexandre Madeira and
Renato Neves and
Manuel A. Martins},
title = {An exercise on the generation of many-valued dynamic logics},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {1011--1037},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.03.004},
doi = {10.1016/J.JLAMP.2016.03.004},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MadeiraNM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/NevesBHM16,
author = {Renato Neves and
Lu{\'{\i}}s Soares Barbosa and
Dirk Hofmann and
Manuel A. Martins},
title = {Continuity as a computational effect},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {1057--1085},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.05.005},
doi = {10.1016/J.JLAMP.2016.05.005},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/NevesBHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NevesMMB16,
author = {Renato Neves and
Alexandre Madeira and
Manuel A. Martins and
Lu{\'{\i}}s Soares Barbosa},
title = {Proof theory for hybrid(ised) logics},
journal = {Sci. Comput. Program.},
volume = {126},
pages = {73--93},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.03.001},
doi = {10.1016/J.SCICO.2016.03.001},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/NevesMMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MadeiraNBM16,
author = {Alexandre Madeira and
Renato Neves and
Lu{\'{\i}}s Soares Barbosa and
Manuel A. Martins},
title = {A method for rigorous design of reconfigurable systems},
journal = {Sci. Comput. Program.},
volume = {132},
pages = {50--76},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.05.001},
doi = {10.1016/J.SCICO.2016.05.001},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/MadeiraNBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/NevesB16,
author = {Renato Neves and
Lu{\'{\i}}s Soares Barbosa},
editor = {Augusto Sampaio and
Farn Wang},
title = {Hybrid Automata as Coalgebras},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International
Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9965},
pages = {385--402},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46750-4\_22},
doi = {10.1007/978-3-319-46750-4\_22},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/NevesB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/NevesMBM16,
author = {Renato Neves and
Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa and
Manuel A. Martins},
editor = {Phillip James and
Markus Roggenbach},
title = {Asymmetric Combination of Logics is Functorial: {A} Survey},
booktitle = {Recent Trends in Algebraic Development Techniques - 23rd {IFIP} {WG}
1.3 International Workshop, {WADT} 2016, Gregynog, UK, September 21-24,
2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10644},
pages = {39--55},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-72044-9\_4},
doi = {10.1007/978-3-319-72044-9\_4},
timestamp = {Wed, 19 May 2021 08:32:29 +0200},
biburl = {https://dblp.org/rec/conf/wadt/NevesMBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/asc/BarbosaMMN16,
author = {Lu{\'{\i}}s Soares Barbosa and
Manuel A. Martins and
Alexandre Madeira and
Renato Neves},
editor = {Thouraya Bouabana{-}Tebibel and
Stuart H. Rubin},
title = {Reuse and Integration of Specification Logics: The Hybridisation Perspective},
booktitle = {Theoretical Information Reuse and Integration},
series = {Advances in Intelligent Systems and Computing},
volume = {446},
pages = {1--30},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-31311-5\_1},
doi = {10.1007/978-3-319-31311-5\_1},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/asc/BarbosaMMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HofmannNN16,
author = {Dirk Hofmann and
Renato Neves and
Pedro Nora},
title = {Limits in Categories of Vietoris Coalgebras},
journal = {CoRR},
volume = {abs/1612.03318},
year = {2016},
url = {http://arxiv.org/abs/1612.03318},
eprinttype = {arXiv},
eprint = {1612.03318},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HofmannNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NevesBHM15,
author = {Renato Neves and
Lu{\'{\i}}s Soares Barbosa and
Dirk Hofmann and
Manuel A. Martins},
title = {Continuity as a computational effect},
journal = {CoRR},
volume = {abs/1507.03219},
year = {2015},
url = {http://arxiv.org/abs/1507.03219},
eprinttype = {arXiv},
eprint = {1507.03219},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NevesBHM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/MartinsMBN14,
author = {Manuel A. Martins and
Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa and
Renato Neves},
editor = {James Joshi and
Elisa Bertino and
Bhavani Thuraisingham and
Ling Liu},
title = {Paradigm integration in a specification course},
booktitle = {Proceedings of the 15th {IEEE} International Conference on Information
Reuse and Integration, {IRI} 2014, Redwood City, CA, USA, August 13-15,
2014},
pages = {492--499},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/IRI.2014.7051929},
doi = {10.1109/IRI.2014.7051929},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/MartinsMBN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MadeiraNMB14,
author = {Alexandre Madeira and
Renato Neves and
Manuel A. Martins and
Lu{\'{\i}}s Soares Barbosa},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {A Dynamic Logic for Every Season},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {130--145},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_9},
doi = {10.1007/978-3-319-15075-8\_9},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MadeiraNMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/NevesMB14,
author = {Renato Neves and
Manuel A. Martins and
Lu{\'{\i}}s Soares Barbosa},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Completeness and Decidability Results for Hybrid(ised) Logics},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {146--161},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_10},
doi = {10.1007/978-3-319-15075-8\_10},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/NevesMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/NevesMMB13,
author = {Renato Neves and
Alexandre Madeira and
Manuel A. Martins and
Lu{\'{\i}}s Soares Barbosa},
editor = {Reiko Heckel and
Stefan Milius},
title = {Hybridisation at Work},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {340--345},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_28},
doi = {10.1007/978-3-642-40206-7\_28},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/NevesMMB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/NevesMMB13,
author = {Renato Neves and
Alexandre Madeira and
Manuel A. Martins and
Lu{\'{\i}}s Soares Barbosa},
editor = {Thouraya Bouabana{-}Tebibel and
Stuart H. Rubin},
title = {An Institution for Alloy and Its Translation to Second-Order Logic},
booktitle = {Integration of Reusable Systems [extended versions of the best papers
which were presented at {IEEE} International Conference on Information
Reuse and Integration and {IEEE} International Workshop on Formal
Methods Integration, San Francisco, CA, USA, August 2013]},
series = {Advances in Intelligent Systems and Computing},
volume = {263},
pages = {45--75},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04717-1\_3},
doi = {10.1007/978-3-319-04717-1\_3},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iri/NevesMMB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/NevesMM13,
author = {Renato Neves and
Alexandre Madeira and
Manuel A. Martins and
Lu{\'{\i}}s Soares Barbosa},
title = {Giving Alloy a family},
booktitle = {{IEEE} 14th International Conference on Information Reuse {\&}
Integration, {IRI} 2013, San Francisco, CA, USA, August 14-16, 2013},
pages = {512--519},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/IRI.2013.6642513},
doi = {10.1109/IRI.2013.6642513},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/NevesMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/MadeiraNMB13,
author = {Alexandre Madeira and
Renato Neves and
Manuel A. Martins and
Lu{\'{\i}}s Soares Barbosa},
title = {When Even the Interface Evolves..},
booktitle = {Seventh International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}},
pages = {79--82},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TASE.2013.19},
doi = {10.1109/TASE.2013.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/MadeiraNMB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/BotelhoNTO07,
author = {Silvia S. C. Botelho and
Renato Neves and
Lorenzo Taddei and
Vin{\'{\i}}cius Menezes de Oliveira},
title = {Using Augmented State Kalman Filter to Localize Multi Autonomous Underwater
Vehicles},
journal = {J. Braz. Comput. Soc.},
volume = {13},
number = {2},
pages = {61--70},
year = {2007},
url = {https://doi.org/10.1007/BF03192410},
doi = {10.1007/BF03192410},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcs/BotelhoNTO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dars/BotelhoCNMO04,
author = {Silvia S. C. Botelho and
R. Costa and
Renato Neves and
C. Madsen and
Vinicius Menezes de Oliveira},
editor = {Rachid Alami and
Raja Chatila and
Hajime Asama},
title = {Multi-AUVs for Visual Mapping Tasks},
booktitle = {Distributed Autonomous Robotic Systems 6, Proceedings of the 7th International
Symposium on Distributed Autonomous Robotic Systems, {DARS} 2004,
Toulouse, France, June 23-25, 2004},
pages = {127--136},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-4-431-35873-2\_13},
doi = {10.1007/978-4-431-35873-2\_13},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dars/BotelhoCNMO04.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-01-24 23:06 CET 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:
