Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Manuel Montenegro
@article{DBLP:journals/jlap/MartinMartinMRRR23,
author = {Enrique Martin{-}Martin and
Manuel Montenegro and
Adri{\'{a}}n Riesco and
Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
Rub{\'{e}}n Rubio},
title = {Verification of the {ROS} NavFn planner using executable specification
languages},
journal = {J. Log. Algebraic Methods Program.},
volume = {132},
pages = {100860},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100860},
doi = {10.1016/J.JLAMP.2023.100860},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/MartinMartinMRRR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BlazquezMS23,
author = {Jorge Bl{\'{a}}zquez and
Manuel Montenegro and
Clara Segura},
title = {Verification of mutable linear data structures and iterator-based
algorithms in Dafny},
journal = {J. Log. Algebraic Methods Program.},
volume = {134},
pages = {100875},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100875},
doi = {10.1016/J.JLAMP.2023.100875},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/BlazquezMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Martin-MartinMR22,
author = {Enrique Martin{-}Martin and
Manuel Montenegro and
Adri{\'{a}}n Riesco and
Rub{\'{e}}n Rubio},
editor = {Rong Peng and
Carlos Eduardo Pantoja and
Pankaj Kamthan},
title = {Improving Database Learning with an Automatic Judge},
booktitle = {The 34th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2022, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2022},
pages = {499--502},
publisher = {{KSI} Research Inc.},
year = {2022},
url = {https://doi.org/10.18293/SEKE2022-025},
doi = {10.18293/SEKE2022-025},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Martin-MartinMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/AgudoML21,
author = {Isaac Agudo and
Manuel Montenegro and
Javier L{\'{o}}pez},
title = {A Blockchain Approach for Decentralized {V2X} {(D-V2X)}},
journal = {{IEEE} Trans. Veh. Technol.},
volume = {70},
number = {5},
pages = {4001--4010},
year = {2021},
url = {https://doi.org/10.1109/TVT.2020.3046640},
doi = {10.1109/TVT.2020.3046640},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvt/AgudoML21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MontenegroNPS20,
author = {Manuel Montenegro and
Susana Nieva and
Ricardo Pe{\~{n}}a and
Clara Segura},
title = {Extending Liquid Types to Arrays},
journal = {{ACM} Trans. Comput. Log.},
volume = {21},
number = {2},
pages = {13:1--13:41},
year = {2020},
url = {https://doi.org/10.1145/3362740},
doi = {10.1145/3362740},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/MontenegroNPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/Lopez-FraguasMS20,
author = {Francisco Javier L{\'{o}}pez{-}Fraguas and
Manuel Montenegro and
Gorka Su{\'{a}}rez{-}Garc{\'{\i}}a},
title = {Deriving overloaded success type schemes in Erlang},
journal = {J. Comput. Lang.},
volume = {58},
pages = {100965},
year = {2020},
url = {https://doi.org/10.1016/j.cola.2020.100965},
doi = {10.1016/J.COLA.2020.100965},
timestamp = {Wed, 15 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/Lopez-FraguasMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Lopez-FraguasMS18,
author = {Francisco Javier L{\'{o}}pez{-}Fraguas and
Manuel Montenegro and
Gorka Su{\'{a}}rez{-}Garc{\'{\i}}a},
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {Polymorphic success types for Erlang},
booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
pages = {515--533},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/w2m2},
doi = {10.29007/W2M2},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Lopez-FraguasMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smps/LubianoCMG18,
author = {Mar{\'{\i}}a Asunci{\'{o}}n Lubiano and
Carlos Carleos and
Manuel Montenegro and
Mar{\'{\i}}a Angeles Gil},
editor = {S{\'{e}}bastien Destercke and
Thierry Denoeux and
Mar{\'{\i}}a Angeles Gil and
Przemyslaw Grzegorzewski and
Olgierd Hryniewicz},
title = {Case Study-Based Sensitivity Analysis of Scale Estimates w.r.t. the
Shape of Fuzzy Data},
booktitle = {Uncertainty Modelling in Data Science, {SMPS} 2018, Compi{\`{e}}gne,
France, 17-21 September 2018},
series = {Advances in Intelligent Systems and Computing},
volume = {832},
pages = {157--165},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-97547-4\_21},
doi = {10.1007/978-3-319-97547-4\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smps/LubianoCMG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MontenegroNPS17,
author = {Manuel Montenegro and
Susana Nieva and
Ricardo Pe{\~{n}}a and
Clara Segura},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Liquid Types for Array Invariant Synthesis},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {289--306},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_20},
doi = {10.1007/978-3-319-68167-2\_20},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/MontenegroNPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/LubianoMSSG16,
author = {Mar{\'{\i}}a Asunci{\'{o}}n Lubiano and
Manuel Montenegro and
Beatriz Sinova and
Sara de la Rosa de S{\'{a}}a and
Mar{\'{\i}}a Angeles Gil},
title = {Hypothesis testing for means in connection with fuzzy rating scale-based
data: algorithms and applications},
journal = {Eur. J. Oper. Res.},
volume = {251},
number = {3},
pages = {918--929},
year = {2016},
url = {https://doi.org/10.1016/j.ejor.2015.11.016},
doi = {10.1016/J.EJOR.2015.11.016},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eor/LubianoMSSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/LubianoSMSG16,
author = {Mar{\'{\i}}a Asunci{\'{o}}n Lubiano and
Sara de la Rosa de S{\'{a}}a and
Manuel Montenegro and
Beatriz Sinova and
Mar{\'{\i}}a Angeles Gil},
title = {Descriptive analysis of responses to items in questionnaires. Why
not using a fuzzy rating scale?},
journal = {Inf. Sci.},
volume = {360},
pages = {131--148},
year = {2016},
url = {https://doi.org/10.1016/j.ins.2016.04.029},
doi = {10.1016/J.INS.2016.04.029},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/LubianoSMSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Lopez-FraguasMR16,
author = {Francisco Javier L{\'{o}}pez{-}Fraguas and
Manuel Montenegro and
Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}}},
editor = {Oleg Kiselyov and
Andy King},
title = {Polymorphic Types in Erlang Function Specifications},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {181--197},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_12},
doi = {10.1007/978-3-319-29604-3\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/Lopez-FraguasMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smps/LubianoSSMG16,
author = {Mar{\'{\i}}a Asunci{\'{o}}n Lubiano and
Antonia Salas and
Sara de la Rosa de S{\'{a}}a and
Manuel Montenegro and
Mar{\'{\i}}a {\'{A}}ngeles Gil},
editor = {Maria Brigida Ferraro and
Paolo Giordani and
Barbara Vantaggi and
Marek Gagolewski and
Mar{\'{\i}}a {\'{A}}ngeles Gil and
Przemyslaw Grzegorzewski and
Olgierd Hryniewicz},
title = {An Empirical Analysis of the Coherence Between Fuzzy Rating Scale-
and Likert Scale-Based Responses to Questionnaires},
booktitle = {Soft Methods for Data Science, {SMPS} 2016, Rome, Italy, 12-14 September,
2016},
series = {Advances in Intelligent Systems and Computing},
volume = {456},
pages = {329--337},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42972-4\_41},
doi = {10.1007/978-3-319-42972-4\_41},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smps/LubianoSSMG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MontenegroPS15,
author = {Manuel Montenegro and
Ricardo Pe{\~{n}}a and
Clara Segura},
title = {Shape analysis in a functional language by using regular languages},
journal = {Sci. Comput. Program.},
volume = {111},
pages = {51--78},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.12.006},
doi = {10.1016/J.SCICO.2014.12.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MontenegroPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MontenegroPS15a,
author = {Manuel Montenegro and
Ricardo Pe{\~{n}}a and
Clara Segura},
title = {Space consumption analysis by abstract interpretation: Inference of
recursive functions},
journal = {Sci. Comput. Program.},
volume = {111},
pages = {426--457},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.04.006},
doi = {10.1016/J.SCICO.2014.04.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MontenegroPS15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MontenegroPS15b,
author = {Manuel Montenegro and
Ricardo Pe{\~{n}}a and
Clara Segura},
title = {Space consumption analysis by abstract interpretation: Reductivity
properties},
journal = {Sci. Comput. Program.},
volume = {111},
pages = {458--482},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.04.014},
doi = {10.1016/J.SCICO.2014.04.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MontenegroPS15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CaballeroMKH15,
author = {Rafael Caballero and
Manuel Montenegro and
Herbert Kuchen and
Vincent von Hof},
editor = {Moreno Falaschi},
title = {Checking Java Assertions Using Automated Test-Case Generation},
booktitle = {Logic-Based Program Synthesis and Transformation - 25th International
Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9527},
pages = {221--226},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27436-2\_13},
doi = {10.1007/978-3-319-27436-2\_13},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/CaballeroMKH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MontenegroPS15,
author = {Manuel Montenegro and
Ricardo Pe{\~{n}}a and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
editor = {Moreno Falaschi},
title = {A Generic Intermediate Representation for Verification Condition Generation},
booktitle = {Logic-Based Program Synthesis and Transformation - 25th International
Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9527},
pages = {227--243},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27436-2\_14},
doi = {10.1007/978-3-319-27436-2\_14},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MontenegroPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/KerstenGSME14,
author = {Rody W. J. Kersten and
Bernard van Gastel and
Olha Shkaravska and
Manuel Montenegro and
Marko C. J. D. van Eekelen},
title = {ResAna: a resource analysis toolset for (real-time) {JAVA}},
journal = {Concurr. Comput. Pract. Exp.},
volume = {26},
number = {14},
pages = {2432--2455},
year = {2014},
url = {https://doi.org/10.1002/cpe.3154},
doi = {10.1002/CPE.3154},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/KerstenGSME14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MontenegroPS14,
author = {Manuel Montenegro and
Ricardo Pe{\~{n}}a and
Clara Segura},
title = {A resource semantics and abstract machine for Safe: {A} functional
language with regions and explicit deallocation},
journal = {Inf. Comput.},
volume = {235},
pages = {3--35},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.01.003},
doi = {10.1016/J.IC.2014.01.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MontenegroPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smps/SinovaPM14,
author = {Beatriz Sinova and
Sonia P{\'{e}}rez{-}Fern{\'{a}}ndez and
Manuel Montenegro},
editor = {Przemyslaw Grzegorzewski and
Marek Gagolewski and
Olgierd Hryniewicz and
Mar{\'{\i}}a {\'{A}}ngeles Gil},
title = {The Wabl/Ldev/Rdev Median of a Random Fuzzy Number and Statistical
Properties},
booktitle = {Strengthening Links Between Data Analysis and Soft Computing, {SMPS}
2014, Warsaw, Poland, September 22-24, 2014},
series = {Advances in Intelligent Systems and Computing},
volume = {315},
pages = {143--150},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10765-3\_17},
doi = {10.1007/978-3-319-10765-3\_17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smps/SinovaPM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MontenegroPS13,
author = {Manuel Montenegro and
Ricardo Pe{\~{n}}a and
Clara Segura},
editor = {Ricardo Pe{\~{n}}a and
Tom Schrijvers},
title = {Shape analysis in a functional language by using regular languages},
booktitle = {15th International Symposium on Principles and Practice of Declarative
Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
pages = {251--262},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505879.2505893},
doi = {10.1145/2505879.2505893},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/MontenegroPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/KerstenSGME12,
author = {Rody Kersten and
Olha Shkaravska and
Bernard van Gastel and
Manuel Montenegro and
Marko C. J. D. van Eekelen},
editor = {Martin Schoeberl and
Andy J. Wellings},
title = {Making resource analysis practical for real-time Java},
booktitle = {The 10th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '12, Copenhagen, Denmark, October 24-26,
2012},
pages = {135--144},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2388936.2388959},
doi = {10.1145/2388936.2388959},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/KerstenSGME12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smps/Blanco-FernandezCGM12,
author = {{\'{A}}ngela Blanco{-}Fern{\'{a}}ndez and
Ana Colubi and
Marta Garc{\'{\i}}a{-}B{\'{a}}rzana and
Manuel Montenegro},
editor = {Rudolf Kruse and
Michael R. Berthold and
Christian Moewes and
Mar{\'{\i}}a Angeles Gil and
Przemyslaw Grzegorzewski and
Olgierd Hryniewicz},
title = {A Linear Regression Model for Interval-Valued Response Based on Set
Arithmetic},
booktitle = {Synergies of Soft Computing and Statistics for Intelligent Data Analysis,
Proceedings of the 6th International Conference on Soft Methods in
Probability and Statistics, {SMPS} 2012, Konstanz, Germany, October
4-6, 2012},
series = {Advances in Intelligent Systems and Computing},
volume = {190},
pages = {105--113},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33042-1\_12},
doi = {10.1007/978-3-642-33042-1\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smps/Blanco-FernandezCGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/MontenegroSEP11,
author = {Manuel Montenegro and
Olha Shkaravska and
Marko C. J. D. van Eekelen and
Ricardo Pe{\~{n}}a},
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Interpolation-Based Height Analysis for Improving a Recurrence Solver},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
pages = {36--53},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32495-6\_3},
doi = {10.1007/978-3-642-32495-6\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/fopara/MontenegroSEP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DiosMP10,
author = {Javier de Dios and
Manuel Montenegro and
Ricardo Pe{\~{n}}a},
editor = {Dominique M{\'{e}}ry and
Stephan Merz},
title = {Certified Absence of Dangling Pointers in a Language with Explicit
Deallocation},
booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6396},
pages = {305--319},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16265-7\_22},
doi = {10.1007/978-3-642-16265-7\_22},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DiosMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smps/Ramos-GuajardoG10,
author = {Ana Bel{\'{e}}n Ramos{-}Guajardo and
Gil Gonz{\'{a}}lez{-}Rodr{\'{\i}}guez and
Manuel Montenegro and
Mar{\'{\i}}a Teresa L{\'{o}}pez},
editor = {Christian Borgelt and
Gil Gonz{\'{a}}lez{-}Rodr{\'{\i}}guez and
Wolfgang Trutschnig and
Mar{\'{\i}}a Asunci{\'{o}}n Lubiano and
Mar{\'{\i}}a {\'{A}}ngeles Gil and
Przemyslaw Grzegorzewski and
Olgierd Hryniewicz},
title = {Power Analysis of the Homoscedasticity Test for Random Fuzzy Sets},
booktitle = {Combining Soft Computing and Statistical Methods in Data Analysis,
{SMPS} 2010, Oviedo, Spain, September 29 - October 1, 2010},
series = {Advances in Intelligent and Soft Computing},
volume = {77},
pages = {537--544},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14746-3\_66},
doi = {10.1007/978-3-642-14746-3\_66},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smps/Ramos-GuajardoG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Gonzalez-RodriguezCDM09,
author = {Gil Gonz{\'{a}}lez{-}Rodr{\'{\i}}guez and
Ana Colubi and
Pierpaolo D'Urso and
Manuel Montenegro},
title = {Multi-sample test-based clustering for fuzzy random variables},
journal = {Int. J. Approx. Reason.},
volume = {50},
number = {5},
pages = {721--731},
year = {2009},
url = {https://doi.org/10.1016/j.ijar.2009.01.003},
doi = {10.1016/J.IJAR.2009.01.003},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/Gonzalez-RodriguezCDM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/MontenegroPS09,
author = {Manuel Montenegro and
Ricardo Pe{\~{n}}a and
Clara Segura},
editor = {Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {A Space Consumption Analysis by Abstract Interpretation},
booktitle = {Foundational and Practical Aspects of Resource Analysis - First International
Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6324},
pages = {34--50},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-15331-0\_3},
doi = {10.1007/978-3-642-15331-0\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/fopara/MontenegroPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/MontenegroPS09,
author = {Manuel Montenegro and
Ricardo Pe{\~{n}}a{-}Mar{\'{\i}} and
Clara Segura},
editor = {Santiago Escobar},
title = {A Simple Region Inference Algorithm for a First-Order Functional Language},
booktitle = {Functional and Constraint Logic Programming, 18th International Workshop,
{WFLP} 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5979},
pages = {145--161},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11999-6\_10},
doi = {10.1007/978-3-642-11999-6\_10},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/MontenegroPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MontenegroPS08,
author = {Manuel Montenegro and
Ricardo Pe{\~{n}}a{-}Mar{\'{\i}} and
Clara Segura},
editor = {Michael Hanus},
title = {An Inference Algorithm for Guaranteeing Safe Destruction},
booktitle = {Logic-Based Program Synthesis and Transformation, 18th International
Symposium, {LOPSTR} 2008, Valencia, Spain, July 17-18, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5438},
pages = {135--151},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00515-2\_10},
doi = {10.1007/978-3-642-00515-2\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MontenegroPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MontenegroPS08,
author = {Manuel Montenegro and
Ricardo Pena and
Clara Segura},
editor = {Sergio Antoy and
Elvira Albert},
title = {A type system for safe memory management and its proof of correctness},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {152--162},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389468},
doi = {10.1145/1389449.1389468},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/MontenegroPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smps/MontenegroCCG08,
author = {Manuel Montenegro and
Mar{\'{\i}}a Rosa Casals and
Ana Colubi and
Mar{\'{\i}}a Angeles Gil},
editor = {Didier Dubois and
Mar{\'{\i}}a Asunci{\'{o}}n Lubiano and
Henri Prade and
Mar{\'{\i}}a Angeles Gil and
Przemyslaw Grzegorzewski and
Olgierd Hryniewicz},
title = {Testing 'Two-Sided' Hypothesis about the Mean of an Interval-Valued
Random Set},
booktitle = {Soft Methods for Handling Variability and Imprecision, Selected papers
from the 4th International Conference on Soft Methods in Probability
and Statistics, {SMPS} 2008, Toulouse, France, September 8-10, 2008},
series = {Advances in Soft Computing},
volume = {48},
pages = {133--139},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85027-4\_17},
doi = {10.1007/978-3-540-85027-4\_17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smps/MontenegroCCG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MontenegroPS09,
author = {Manuel Montenegro and
Ricardo Pe{\~{n}}a{-}Mar{\'{\i}} and
Clara Segura},
editor = {Moreno Falaschi},
title = {A Resource-Aware Semantics and Abstract Machine for a Functional Language
with Explicit Deallocation},
booktitle = {Proceedings of the 17th International Workshop on Functional and (Constraint)
Logic Programming, {WFLP} 2008, Siena, Italy, July 3-4, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {246},
pages = {167--182},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.021},
doi = {10.1016/J.ENTCS.2009.07.021},
timestamp = {Thu, 09 Mar 2023 14:45:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MontenegroPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/GilGCM07,
author = {Mar{\'{\i}}a Angeles Gil and
Gil Gonz{\'{a}}lez{-}Rodr{\'{\i}}guez and
Ana Colubi and
Manuel Montenegro},
title = {Testing linear independence in linear models with interval-valued
data},
journal = {Comput. Stat. Data Anal.},
volume = {51},
number = {6},
pages = {3002--3015},
year = {2007},
url = {https://doi.org/10.1016/j.csda.2006.01.015},
doi = {10.1016/J.CSDA.2006.01.015},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csda/GilGCM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcamd/MontenegroGGL07,
author = {Manuel Montenegro and
Mireia Garcia{-}Viloca and
{\`{A}}ngels Gonz{\'{a}}lez{-}Lafont and
Jos{\'{e}} M. Lluch},
title = {Comparative study of the prereactive protein kinase {A} Michaelis
complex with Kemptide substrate},
journal = {J. Comput. Aided Mol. Des.},
volume = {21},
number = {10-11},
pages = {603--615},
year = {2007},
url = {https://doi.org/10.1007/s10822-007-9143-x},
doi = {10.1007/S10822-007-9143-X},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcamd/MontenegroGGL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/ColubiCGM07,
author = {Ana Colubi and
Norberto Corral and
Gil Gonz{\'{a}}lez{-}Rodr{\'{\i}}guez and
Manuel Montenegro},
title = {A Determination Doefficient for Fuzzy Random Variables in a Fuzzy
Frithmetic-based Linear Model},
booktitle = {{FUZZ-IEEE} 2007, {IEEE} International Conference on Fuzzy Systems,
Imperial College, London, UK, 23-26 July, 2007, Proceedings},
pages = {1--4},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/FUZZY.2007.4295412},
doi = {10.1109/FUZZY.2007.4295412},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fuzzIEEE/ColubiCGM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/GilMGCC06,
author = {Mar{\'{\i}}a Angeles Gil and
Manuel Montenegro and
Gil Gonz{\'{a}}lez{-}Rodr{\'{\i}}guez and
Ana Colubi and
Mar{\'{\i}}a Rosa Casals},
title = {Bootstrap approach to the multi-sample test of means with imprecise
data},
journal = {Comput. Stat. Data Anal.},
volume = {51},
number = {1},
pages = {148--162},
year = {2006},
url = {https://doi.org/10.1016/j.csda.2006.04.018},
doi = {10.1016/J.CSDA.2006.04.018},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csda/GilMGCC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Gonzalez-RodriguezMCG06,
author = {Gil Gonz{\'{a}}lez{-}Rodr{\'{\i}}guez and
Manuel Montenegro and
Ana Colubi and
Mar{\'{\i}}a Angeles Gil},
title = {Bootstrap techniques and fuzzy random variables: Synergy in hypothesis
testing with fuzzy data},
journal = {Fuzzy Sets Syst.},
volume = {157},
number = {19},
pages = {2608--2613},
year = {2006},
url = {https://doi.org/10.1016/j.fss.2003.11.021},
doi = {10.1016/J.FSS.2003.11.021},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Gonzalez-RodriguezMCG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Pena-MariSM06,
author = {Ricardo Pe{\~{n}}a{-}Mar{\'{\i}} and
Clara Segura and
Manuel Montenegro},
editor = {Henrik Nilsson},
title = {A sharing analysis for {SAFE}},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {109--128},
publisher = {Intellect},
year = {2006},
timestamp = {Thu, 25 Oct 2007 12:11:04 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Pena-MariSM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smps/ColubiGLM06,
author = {Ana Colubi and
Gil Gonz{\'{a}}lez{-}Rodr{\'{\i}}guez and
Mar{\'{\i}}a Asunci{\'{o}}n Lubiano and
Manuel Montenegro},
editor = {Jonathan Lawry and
Enrique Miranda and
Alberto Bugar{\'{\i}}n and
Shoumei Li and
Mar{\'{\i}}a Angeles Gil and
Przemyslaw Grzegorzewski and
Olgierd Hryniewicz},
title = {Exploratory Analysis of Random Variables Based on Fuzzifications},
booktitle = {Soft Methods for Integrated Uncertainty Modelling, Proceedings of
the 2006 International Workshop on Soft Methods in Probability and
Statistics, {SMPS} 2006, Bristol, UK, 5-7 September 2006},
series = {Advances in Soft Computing},
volume = {37},
pages = {95--102},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/3-540-34777-1\_13},
doi = {10.1007/3-540-34777-1\_13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smps/ColubiGLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/MontenegroGCG05,
author = {Manuel Montenegro and
Gil Gonz{\'{a}}lez{-}Rodr{\'{\i}}guez and
Ana Colubi and
Mar{\'{\i}}a Angeles Gil},
editor = {Eduard Montseny and
Pilar Sobrevilla},
title = {Bootstrap Techniques: {A} Valuable Tool in Statistical Hypothesis
Testing about the Means of Fuzzy Random Variables},
booktitle = {Proceedings of the Joint 4th Conference of the European Society for
Fuzzy Logic and Technology and the 11th Rencontres Francophones sur
la Logique Floue et ses Applications, Barcelona, Spain, September
7-9, 2005},
pages = {599--604},
publisher = {Universidad Polytecnica de Catalunya},
year = {2005},
url = {http://www.eusflat.org/proceedings/EUSFLAT-LFA\_2005/papers/S116-06.pdf},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusflat/MontenegroGCG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/MontenegroCLG01,
author = {Manuel Montenegro and
Mar{\'{\i}}a Rosa Casals and
Mar{\'{\i}}a Asunci{\'{o}}n Lubiano and
Mar{\'{\i}}a Angeles Gil},
title = {Two-sample hypothesis tests of means of a fuzzy random variable},
journal = {Inf. Sci.},
volume = {133},
number = {1-2},
pages = {89--100},
year = {2001},
url = {https://doi.org/10.1016/S0020-0255(01)00078-0},
doi = {10.1016/S0020-0255(01)00078-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/MontenegroCLG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/MontenegroCCG01,
author = {Manuel Montenegro and
Mar{\'{\i}}a Rosa Casals and
Ana Colubi and
Mar{\'{\i}}a Angeles Gil},
editor = {Jonathan M. Garibaldi and
Robert Ivor John},
title = {Testing the expected value of a fuzzy random variable. {A} discussion},
booktitle = {Proceedings of the 2nd International Conference in Fuzzy Logic and
Technology, Leicester, United Kingdom, September 5-7, 2001},
pages = {352--355},
publisher = {De Montfort University, Leicester, {UK}},
year = {2001},
url = {http://www.eusflat.org/proceedings/EUSFLAT\_2001/papers/352\_Montenegro.pdf},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusflat/MontenegroCCG01.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-02-06 23:48 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:
