default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: César Rodríguez
@article{DBLP:journals/fmsd/CotiPRS21,
author = {Camille Coti and
Laure Petrucci and
C{\'{e}}sar Rodr{\'{\i}}guez and
Marcelo Sousa},
title = {Quasi-optimal partial order reduction},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {1},
pages = {3--33},
year = {2021},
url = {https://doi.org/10.1007/s10703-020-00350-4},
doi = {10.1007/S10703-020-00350-4},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/CotiPRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SchemmelBRLW20,
author = {Daniel Schemmel and
Julian B{\"{u}}ning and
C{\'{e}}sar Rodr{\'{\i}}guez and
David Laprell and
Klaus Wehrle},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Symbolic Partial-Order Execution for Testing Multi-Threaded Programs},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {376--400},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_18},
doi = {10.1007/978-3-030-53288-8\_18},
timestamp = {Wed, 12 Aug 2020 15:15:42 +0200},
biburl = {https://dblp.org/rec/conf/cav/SchemmelBRLW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/SchemmelBRLW20,
author = {Daniel Schemmel and
Julian B{\"{u}}ning and
C{\'{e}}sar Rodr{\'{\i}}guez and
David Laprell and
Klaus Wehrle},
title = {Artifact for the {CAV} 2020 Paper: Symbolic Partial-Order Execution
for Testing Multi-Threaded Programs (Version 1)},
publisher = {Zenodo},
year = {2020},
month = jul,
howpublished = {\url{https://doi.org/10.5281/zenodo.5771252}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.5771252},
doi = {10.5281/ZENODO.5771252},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/SchemmelBRLW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-06688,
author = {Daniel Schemmel and
Julian B{\"{u}}ning and
C{\'{e}}sar Rodr{\'{\i}}guez and
David Laprell and
Klaus Wehrle},
title = {Symbolic Partial-Order Execution for Testing Multi-Threaded Programs},
journal = {CoRR},
volume = {abs/2005.06688},
year = {2020},
url = {https://arxiv.org/abs/2005.06688},
eprinttype = {arXiv},
eprint = {2005.06688},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-06688.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NguyenRSCP18,
author = {Huyen T. T. Nguyen and
C{\'{e}}sar Rodr{\'{\i}}guez and
Marcelo Sousa and
Camille Coti and
Laure Petrucci},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Quasi-Optimal Partial Order Reduction},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {354--371},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_22},
doi = {10.1007/978-3-319-96142-2\_22},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/NguyenRSCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KhannaSRP18,
author = {Dhriti Khanna and
Subodh Sharma and
C{\'{e}}sar Rodr{\'{\i}}guez and
Rahul Purandare},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {Dynamic Symbolic Verification of {MPI} Programs},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {466--484},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_28},
doi = {10.1007/978-3-319-95582-7\_28},
timestamp = {Mon, 04 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/KhannaSRP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-03950,
author = {Huyen T. T. Nguyen and
C{\'{e}}sar Rodr{\'{\i}}guez and
Marcelo Sousa and
Camille Coti and
Laure Petrucci},
title = {Quasi-Optimal Partial Order Reduction},
journal = {CoRR},
volume = {abs/1802.03950},
year = {2018},
url = {http://arxiv.org/abs/1802.03950},
eprinttype = {arXiv},
eprint = {1802.03950},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-03950.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/AndreCR17,
author = {{\'{E}}tienne Andr{\'{e}} and
Thomas Chatain and
C{\'{e}}sar Rodr{\'{\i}}guez},
title = {Preserving Partial-Order Runs in Parametric Time Petri Nets},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {2},
pages = {43:1--43:26},
year = {2017},
url = {https://doi.org/10.1145/3012283},
doi = {10.1145/3012283},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/AndreCR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SousaRDK17,
author = {Marcelo Sousa and
C{\'{e}}sar Rodr{\'{\i}}guez and
Vijay Victor D'Silva and
Daniel Kroening},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Abstract Interpretation with Unfoldings},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {197--216},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_11},
doi = {10.1007/978-3-319-63390-9\_11},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/SousaRDK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SousaRDK17,
author = {Marcelo Sousa and
C{\'{e}}sar Rodr{\'{\i}}guez and
Vijay Victor D'Silva and
Daniel Kroening},
title = {Abstract Interpretation with Unfoldings},
journal = {CoRR},
volume = {abs/1705.00595},
year = {2017},
url = {http://arxiv.org/abs/1705.00595},
eprinttype = {arXiv},
eprint = {1705.00595},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SousaRDK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KordonGHPJRH16,
author = {Fabrice Kordon and
Hubert Garavel and
Lom{-}Messan Hillah and
Emmanuel Paviot{-}Adet and
Lo{\"{\i}}g Jezequel and
C{\'{e}}sar Rodr{\'{\i}}guez and
Francis Hulin{-}Hubard},
title = {MCC'2015 - The Fifth Model Checking Contest},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {11},
pages = {262--273},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53401-4\_12},
doi = {10.1007/978-3-662-53401-4\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/KordonGHPJRH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/AndreCR15,
author = {{\'{E}}tienne Andr{\'{e}} and
Thomas Chatain and
C{\'{e}}sar Rodr{\'{\i}}guez},
title = {Preserving Partial Order Runs in Parametric Time Petri Nets},
booktitle = {15th International Conference on Application of Concurrency to System
Design, {ACSD} 2015, Brussels, Belgium, June 21-26, 2015},
pages = {120--129},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ACSD.2015.20},
doi = {10.1109/ACSD.2015.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/AndreCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LeonRCHH15,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
C{\'{e}}sar Rodr{\'{\i}}guez and
Josep Carmona and
Keijo Heljanko and
Stefan Haar},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Unfolding-Based Process Discovery},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {31--47},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_4},
doi = {10.1007/978-3-319-24953-7\_4},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/LeonRCHH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LeonRC15,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
C{\'{e}}sar Rodr{\'{\i}}guez and
Josep Carmona},
editor = {Florian Daniel and
Stefan Zugal},
title = {{POD} - {A} Tool For Process Discovery Using Partial Orders and Independence
Information},
booktitle = {Proceedings of the {BPM} Demo Session 2015 Co-located with the 13th
International Conference on Business Process Management {(BPM} 2015),
Innsbruck, Austria, September 2, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1418},
pages = {100--104},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1418/paper21.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:55 +0100},
biburl = {https://dblp.org/rec/conf/bpm/LeonRC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RodriguezSSK15,
author = {C{\'{e}}sar Rodr{\'{\i}}guez and
Marcelo Sousa and
Subodh Sharma and
Daniel Kroening},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Unfolding-based Partial Order Reduction},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {456--469},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.456},
doi = {10.4230/LIPICS.CONCUR.2015.456},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/RodriguezSSK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RodriguezSSK15,
author = {C{\'{e}}sar Rodr{\'{\i}}guez and
Marcelo Sousa and
Subodh Sharma and
Daniel Kroening},
title = {Unfolding-based Partial Order Reduction},
journal = {CoRR},
volume = {abs/1507.00980},
year = {2015},
url = {http://arxiv.org/abs/1507.00980},
eprinttype = {arXiv},
eprint = {1507.00980},
timestamp = {Mon, 04 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/RodriguezSSK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LeonRCHH15,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
C{\'{e}}sar Rodr{\'{\i}}guez and
Josep Carmona and
Keijo Heljanko and
Stefan Haar},
title = {Unfolding-Based Process Discovery},
journal = {CoRR},
volume = {abs/1507.02744},
year = {2015},
url = {http://arxiv.org/abs/1507.02744},
eprinttype = {arXiv},
eprint = {1507.02744},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LeonRCHH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Rodriguez13a,
author = {C{\'{e}}sar Rodr{\'{\i}}guez},
title = {Verification based on unfoldings of Petri nets with read arcs. (V{\'{e}}rification
{\`{a}} l'aide de d{\'{e}}pliages de r{\'{e}}seaux de Petri
{\'{e}}tendus avec des arcs de lecture)},
school = {{\'{E}}cole normale sup{\'{e}}rieure de Cachan, Paris, France},
year = {2013},
url = {https://tel.archives-ouvertes.fr/tel-00927064},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Rodriguez13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HaarRS13,
author = {Stefan Haar and
C{\'{e}}sar Rodr{\'{\i}}guez and
Stefan Schwoon},
editor = {Josep Carmona and
Mihai T. Lazarescu and
Marta Pietkiewicz{-}Koutny},
title = {Reveal Your Faults: It's Only Fair!},
booktitle = {13th International Conference on Application of Concurrency to System
Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
pages = {120--129},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ACSD.2013.15},
doi = {10.1109/ACSD.2013.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HaarRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/RodriguezSK13,
author = {C{\'{e}}sar Rodr{\'{\i}}guez and
Stefan Schwoon and
Victor Khomenko},
editor = {Jos{\'{e}} Manuel Colom and
J{\"{o}}rg Desel},
title = {Contextual Merged Processes},
booktitle = {Application and Theory of Petri Nets and Concurrency - 34th International
Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7927},
pages = {29--48},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38697-8\_3},
doi = {10.1007/978-3-642-38697-8\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/RodriguezSK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/RodriguezS13,
author = {C{\'{e}}sar Rodr{\'{\i}}guez and
Stefan Schwoon},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {Cunf: {A} Tool for Unfolding and Verifying Petri Nets with Read Arcs},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {492--495},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_42},
doi = {10.1007/978-3-319-02444-8\_42},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/RodriguezS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsfma/RodriguezS13,
author = {C{\'{e}}sar Rodr{\'{\i}}guez and
Stefan Schwoon},
editor = {Christine Choppy and
Jun Sun},
title = {An Improved Construction of Petri Net Unfoldings},
booktitle = {1st French Singaporean Workshop on Formal Methods and Applications,
{FSFMA} 2013, July 15-16, 2013, Singapore},
series = {OASIcs},
volume = {31},
pages = {47--52},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/OASIcs.FSFMA.2013.47},
doi = {10.4230/OASICS.FSFMA.2013.47},
timestamp = {Tue, 15 Feb 2022 09:40:03 +0100},
biburl = {https://dblp.org/rec/conf/fsfma/RodriguezS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KordonLBBFHHLLMPPRRTWW13,
author = {Fabrice Kordon and
Alban Linard and
Marco Beccuti and
Didier Buchs and
Lukasz Fronc and
Lom{-}Messan Hillah and
Francis Hulin{-}Hubard and
Fabrice Legond{-}Aubry and
Niels Lohmann and
Alexis Marechal and
Emmanuel Paviot{-}Adet and
Franck Pommereau and
C{\'{e}}sar Rodr{\'{\i}}guez and
Christian Rohr and
Yann Thierry{-}Mieg and
Harro Wimmel and
Karsten Wolf},
title = {Model Checking Contest @ Petri Nets, Report on the 2013 edition},
journal = {CoRR},
volume = {abs/1309.2485},
year = {2013},
url = {http://arxiv.org/abs/1309.2485},
eprinttype = {arXiv},
eprint = {1309.2485},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KordonLBBFHHLLMPPRRTWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaldanBCKRS12,
author = {Paolo Baldan and
Alessandro Bruni and
Andrea Corradini and
Barbara K{\"{o}}nig and
C{\'{e}}sar Rodr{\'{\i}}guez and
Stefan Schwoon},
title = {Efficient unfolding of contextual Petri nets},
journal = {Theor. Comput. Sci.},
volume = {449},
pages = {2--22},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.04.046},
doi = {10.1016/J.TCS.2012.04.046},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BaldanBCKRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RodriguezS12,
author = {C{\'{e}}sar Rodr{\'{\i}}guez and
Stefan Schwoon},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Verification of Petri Nets with Read Arcs},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {471--485},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_33},
doi = {10.1007/978-3-642-32940-1\_33},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/RodriguezS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RodriguezSB11,
author = {C{\'{e}}sar Rodr{\'{\i}}guez and
Stefan Schwoon and
Paolo Baldan},
editor = {Joost{-}Pieter Katoen and
Barbara K{\"{o}}nig},
title = {Efficient Contextual Unfolding},
booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
{CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6901},
pages = {342--357},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23217-6\_23},
doi = {10.1007/978-3-642-23217-6\_23},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/RodriguezSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/SchwoonR11,
author = {Stefan Schwoon and
C{\'{e}}sar Rodr{\'{\i}}guez},
editor = {Markus Holzer and
Martin Kutrib and
Giovanni Pighizzini},
title = {Construction and SAT-Based Verification of Contextual Unfoldings},
booktitle = {Descriptional Complexity of Formal Systems - 13th International Workshop,
{DCFS} 2011, Gie{\ss}en/Limburg, Germany, July 25-27, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6808},
pages = {34--42},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22600-7\_3},
doi = {10.1007/978-3-642-22600-7\_3},
timestamp = {Sun, 25 Oct 2020 22:35:40 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/SchwoonR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/MarceloMR99,
author = {Agust{\'{\i}}n Marcelo and
F{\'{e}}lix Marcelo and
C{\'{e}}sar Rodr{\'{\i}}guez},
title = {Radicals of primary submodules},
journal = {{SIGSAM} Bull.},
volume = {33},
number = {3},
pages = {17},
year = {1999},
url = {https://doi.org/10.1145/347127.347310},
doi = {10.1145/347127.347310},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/MarceloMR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/MarceloMR99,
author = {Agust{\'{\i}}n Marcelo and
F{\'{e}}lix Marcelo and
C{\'{e}}sar Rodr{\'{\i}}guez},
editor = {Victor G. Ganzha and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
title = {Effectively Computation of Some Radicals of Submodules of Free Modules},
booktitle = {Proceedings of the Second Workshop on Computer Algebra in Scientific
Computing, {CASC} 1999, Munich, Germany, May 31 - June 4, 1999},
pages = {287--292},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60218-4\_22},
doi = {10.1007/978-3-642-60218-4\_22},
timestamp = {Tue, 25 Jun 2019 15:50:01 +0200},
biburl = {https://dblp.org/rec/conf/casc/MarceloMR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-07-20 21:19 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:
