BibTeX records: Manuel Montenegro

download as .bib file

@inproceedings{DBLP:conf/lpar/Lopez-FraguasMS18,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Manuel Montenegro and
               Gorka Su{\'{a}}rez{-}Garc{\'{\i}}a},
  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},
  pages     = {515--533},
  year      = {2018},
  crossref  = {DBLP:conf/lpar/2018},
  url       = {http://www.easychair.org/publications/paper/FzsM},
  timestamp = {Mon, 31 Dec 2018 12:25:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/Lopez-FraguasMS18},
  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},
  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.},
  pages     = {157--165},
  year      = {2018},
  crossref  = {DBLP:conf/smps/2018},
  url       = {https://doi.org/10.1007/978-3-319-97547-4\_21},
  doi       = {10.1007/978-3-319-97547-4\_21},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/smps/LubianoCMG18},
  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},
  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},
  pages     = {289--306},
  year      = {2017},
  crossref  = {DBLP:conf/atva/2017},
  url       = {https://doi.org/10.1007/978-3-319-68167-2\_20},
  doi       = {10.1007/978-3-319-68167-2\_20},
  timestamp = {Thu, 05 Oct 2017 16:48:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/MontenegroNPS17},
  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   = {European Journal of Operational Research},
  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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eor/LubianoMSSG16},
  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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/isci/LubianoSMSG16},
  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}}},
  title     = {Polymorphic Types in Erlang Function Specifications},
  booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
               2016, Kochi, Japan, March 4-6, 2016, Proceedings},
  pages     = {181--197},
  year      = {2016},
  crossref  = {DBLP:conf/flops/2016},
  url       = {https://doi.org/10.1007/978-3-319-29604-3\_12},
  doi       = {10.1007/978-3-319-29604-3\_12},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/Lopez-FraguasMR16},
  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},
  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.},
  pages     = {329--337},
  year      = {2016},
  crossref  = {DBLP:conf/smps/2016},
  url       = {https://doi.org/10.1007/978-3-319-42972-4\_41},
  doi       = {10.1007/978-3-319-42972-4\_41},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/smps/LubianoSSMG16},
  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 = {Fri, 15 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/MontenegroPS15},
  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 = {Fri, 15 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/MontenegroPS15a},
  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 = {Fri, 15 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/MontenegroPS15b},
  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},
  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},
  pages     = {221--226},
  year      = {2015},
  crossref  = {DBLP:conf/lopstr/2015},
  url       = {https://doi.org/10.1007/978-3-319-27436-2\_13},
  doi       = {10.1007/978-3-319-27436-2\_13},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/CaballeroMKH15},
  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},
  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},
  pages     = {227--243},
  year      = {2015},
  crossref  = {DBLP:conf/lopstr/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/bib/conf/lopstr/MontenegroPS15},
  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   = {Concurrency and Computation: Practice and Experience},
  volume    = {26},
  number    = {14},
  pages     = {2432--2455},
  year      = {2014},
  url       = {https://doi.org/10.1002/cpe.3154},
  doi       = {10.1002/cpe.3154},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/concurrency/KerstenGSME14},
  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 = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/MontenegroPS14},
  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},
  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.},
  pages     = {143--150},
  year      = {2014},
  crossref  = {DBLP:conf/smps/2014},
  url       = {https://doi.org/10.1007/978-3-319-10765-3\_17},
  doi       = {10.1007/978-3-319-10765-3\_17},
  timestamp = {Tue, 14 Aug 2018 10:17:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smps/SinovaPM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MontenegroPS13,
  author    = {Manuel Montenegro and
               Ricardo Pe{\~{n}}a and
               Clara Segura},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/ppdp/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/bib/conf/ppdp/MontenegroPS13},
  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},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/jtres/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/bib/conf/jtres/KerstenSGME12},
  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},
  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},
  pages     = {105--113},
  year      = {2012},
  crossref  = {DBLP:conf/smps/2012},
  url       = {https://doi.org/10.1007/978-3-642-33042-1\_12},
  doi       = {10.1007/978-3-642-33042-1\_12},
  timestamp = {Mon, 05 Jun 2017 12:41:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smps/Blanco-FernandezCGM12},
  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},
  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},
  pages     = {36--53},
  year      = {2011},
  crossref  = {DBLP:conf/fopara/2011},
  url       = {https://doi.org/10.1007/978-3-642-32495-6\_3},
  doi       = {10.1007/978-3-642-32495-6\_3},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fopara/MontenegroSEP11},
  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},
  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},
  pages     = {305--319},
  year      = {2010},
  crossref  = {DBLP:conf/ifm/2010},
  url       = {https://doi.org/10.1007/978-3-642-16265-7\_22},
  doi       = {10.1007/978-3-642-16265-7\_22},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/DiosMP10},
  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},
  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},
  pages     = {537--544},
  year      = {2010},
  crossref  = {DBLP:conf/smps/2010},
  url       = {https://doi.org/10.1007/978-3-642-14746-3\_66},
  doi       = {10.1007/978-3-642-14746-3\_66},
  timestamp = {Tue, 14 Aug 2018 10:40:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smps/Ramos-GuajardoG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/MontenegroPS09,
  author    = {Manuel Montenegro and
               Ricardo Pe{\~{n}}a{-}Mar{\'{\i}} and
               Clara Segura},
  title     = {A Resource-Aware Semantics and Abstract Machine for a Functional Language
               with Explicit Deallocation},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {246},
  pages     = {167--182},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.07.021},
  doi       = {10.1016/j.entcs.2009.07.021},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/MontenegroPS09},
  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. Reasoning},
  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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijar/Gonzalez-RodriguezCDM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/MontenegroPS09,
  author    = {Manuel Montenegro and
               Ricardo Pe{\~{n}}a and
               Clara Segura},
  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},
  pages     = {34--50},
  year      = {2009},
  crossref  = {DBLP:conf/fopara/2009},
  url       = {https://doi.org/10.1007/978-3-642-15331-0\_3},
  doi       = {10.1007/978-3-642-15331-0\_3},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fopara/MontenegroPS09},
  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},
  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},
  pages     = {145--161},
  year      = {2009},
  crossref  = {DBLP:conf/wflp/2009},
  url       = {https://doi.org/10.1007/978-3-642-11999-6\_10},
  doi       = {10.1007/978-3-642-11999-6\_10},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wflp/MontenegroPS09},
  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},
  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},
  pages     = {135--151},
  year      = {2008},
  crossref  = {DBLP:conf/lopstr/2008},
  url       = {https://doi.org/10.1007/978-3-642-00515-2\_10},
  doi       = {10.1007/978-3-642-00515-2\_10},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/MontenegroPS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MontenegroPS08,
  author    = {Manuel Montenegro and
               Ricardo Pena and
               Clara Segura},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/ppdp/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/bib/conf/ppdp/MontenegroPS08},
  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},
  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},
  pages     = {133--139},
  year      = {2008},
  crossref  = {DBLP:conf/smps/2008},
  url       = {https://doi.org/10.1007/978-3-540-85027-4\_17},
  doi       = {10.1007/978-3-540-85027-4\_17},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smps/MontenegroCCG08},
  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   = {Computational Statistics {\&} Data Analysis},
  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 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/csda/GilGCM07},
  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   = {Journal of Computer-Aided Molecular Design},
  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 = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcamd/MontenegroGGL07},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/fuzzIEEE/2007},
  url       = {https://doi.org/10.1109/FUZZY.2007.4295412},
  doi       = {10.1109/FUZZY.2007.4295412},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fuzzIEEE/ColubiCGM07},
  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   = {Computational Statistics {\&} Data Analysis},
  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 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/csda/GilMGCC06},
  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 and Systems},
  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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fss/Gonzalez-RodriguezMCG06},
  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},
  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.},
  pages     = {109--128},
  year      = {2006},
  crossref  = {DBLP:conf/sfp/2006},
  timestamp = {Thu, 25 Oct 2007 12:11:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfp/Pena-MariSM06},
  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},
  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},
  pages     = {95--102},
  year      = {2006},
  crossref  = {DBLP:conf/smps/2006},
  url       = {https://doi.org/10.1007/3-540-34777-1\_13},
  doi       = {10.1007/3-540-34777-1\_13},
  timestamp = {Mon, 26 Jun 2017 15:51:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smps/ColubiGLM06},
  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},
  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},
  year      = {2005},
  crossref  = {DBLP:conf/eusflat/2005},
  url       = {http://www.eusflat.org/proceedings/EUSFLAT-LFA\_2005/papers/S116-06.pdf},
  timestamp = {Thu, 18 Apr 2013 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eusflat/MontenegroGCG05},
  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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/isci/MontenegroCLG01},
  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},
  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},
  year      = {2001},
  crossref  = {DBLP:conf/eusflat/2001},
  url       = {http://www.eusflat.org/proceedings/EUSFLAT\_2001/papers/352\_Montenegro.pdf},
  timestamp = {Thu, 23 Nov 2017 20:40:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eusflat/MontenegroCCG01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2018,
  editor    = {Gilles Barthe and
               Geoff Sutcliffe and
               Margus Veanes},
  title     = {{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},
  publisher = {EasyChair},
  year      = {2018},
  url       = {http://www.easychair.org/publications/volume/LPAR-22},
  timestamp = {Mon, 31 Dec 2018 12:25:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smps/2018,
  editor    = {S{\'{e}}bastien Destercke and
               Thierry Denoeux and
               Mar{\'{\i}}a Angeles Gil and
               Przemyslaw Grzegorzewski and
               Olgierd Hryniewicz},
  title     = {Uncertainty Modelling in Data Science, {SMPS} 2018, Compi{\`{e}}gne,
               France, 17-21 September 2018},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {832},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-319-97547-4},
  doi       = {10.1007/978-3-319-97547-4},
  isbn      = {978-3-319-97546-7},
  timestamp = {Tue, 14 Aug 2018 10:13:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smps/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2017,
  editor    = {Deepak D'Souza and
               K. Narayan Kumar},
  title     = {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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68167-2},
  doi       = {10.1007/978-3-319-68167-2},
  isbn      = {978-3-319-68166-5},
  timestamp = {Thu, 05 Oct 2017 16:48:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2016,
  editor    = {Oleg Kiselyov and
               Andy King},
  title     = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
               2016, Kochi, Japan, March 4-6, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9613},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-29604-3},
  doi       = {10.1007/978-3-319-29604-3},
  isbn      = {978-3-319-29603-6},
  timestamp = {Sun, 21 May 2017 00:19:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smps/2016,
  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     = {Soft Methods for Data Science, {SMPS} 2016, Rome, Italy, 12-14 September,
               2016},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {456},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-42972-4},
  doi       = {10.1007/978-3-319-42972-4},
  isbn      = {978-3-319-42971-7},
  timestamp = {Tue, 14 Aug 2018 11:00:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smps/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2015,
  editor    = {Moreno Falaschi},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-27436-2},
  doi       = {10.1007/978-3-319-27436-2},
  isbn      = {978-3-319-27435-5},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smps/2014,
  editor    = {Przemyslaw Grzegorzewski and
               Marek Gagolewski and
               Olgierd Hryniewicz and
               Mar{\'{\i}}a {\'{A}}ngeles Gil},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-10765-3},
  doi       = {10.1007/978-3-319-10765-3},
  isbn      = {978-3-319-10764-6},
  timestamp = {Tue, 14 Aug 2018 10:17:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smps/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2013,
  editor    = {Ricardo Pe{\~{n}}a and
               Tom Schrijvers},
  title     = {15th International Symposium on Principles and Practice of Declarative
               Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2505879},
  isbn      = {978-1-4503-2154-9},
  timestamp = {Thu, 19 Sep 2013 11:13:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jtres/2012,
  editor    = {Martin Schoeberl and
               Andy J. Wellings},
  title     = {The 10th International Workshop on Java Technologies for Real-time
               and Embedded Systems, {JTRES} '12, Copenhagen, Denmark, October 24-26,
               2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2388936},
  isbn      = {978-1-4503-1688-0},
  timestamp = {Sat, 13 Apr 2013 21:25:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jtres/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smps/2012,
  editor    = {Rudolf Kruse and
               Michael R. Berthold and
               Christian Moewes and
               Mar{\'{\i}}a Angeles Gil and
               Przemyslaw Grzegorzewski and
               Olgierd Hryniewicz},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-33042-1},
  doi       = {10.1007/978-3-642-33042-1},
  isbn      = {978-3-642-33041-4},
  timestamp = {Mon, 05 Jun 2017 12:41:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smps/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fopara/2011,
  editor    = {Ricardo Pe{\~{n}}a and
               Marko C. J. D. van Eekelen and
               Olha Shkaravska},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32495-6},
  doi       = {10.1007/978-3-642-32495-6},
  isbn      = {978-3-642-32494-9},
  timestamp = {Sun, 21 May 2017 00:18:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fopara/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2010,
  editor    = {Dominique M{\'{e}}ry and
               Stephan Merz},
  title     = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
               Nancy, France, October 11-14, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6396},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16265-7},
  doi       = {10.1007/978-3-642-16265-7},
  isbn      = {978-3-642-16264-0},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smps/2010,
  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     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14746-3},
  doi       = {10.1007/978-3-642-14746-3},
  isbn      = {978-3-642-14745-6},
  timestamp = {Tue, 14 Aug 2018 10:40:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smps/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fopara/2009,
  editor    = {Marko C. J. D. van Eekelen and
               Olha Shkaravska},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15331-0},
  doi       = {10.1007/978-3-642-15331-0},
  isbn      = {978-3-642-15330-3},
  timestamp = {Sun, 21 May 2017 00:18:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fopara/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wflp/2009,
  editor    = {Santiago Escobar},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11999-6},
  doi       = {10.1007/978-3-642-11999-6},
  isbn      = {978-3-642-11998-9},
  timestamp = {Mon, 05 Jun 2017 12:43:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wflp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2008,
  editor    = {Michael Hanus},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00515-2},
  doi       = {10.1007/978-3-642-00515-2},
  isbn      = {978-3-642-00514-5},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2008,
  editor    = {Sergio Antoy and
               Elvira Albert},
  title     = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 15-17, 2008,
               Valencia, Spain},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-117-0},
  timestamp = {Tue, 11 Nov 2008 14:40:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smps/2008,
  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     = {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},
  publisher = {Springer},
  year      = {2008},
  isbn      = {978-3-540-85026-7},
  timestamp = {Wed, 03 Dec 2008 12:10:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/smps/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fuzzIEEE/2007,
  title     = {{FUZZ-IEEE} 2007, {IEEE} International Conference on Fuzzy Systems,
               Imperial College, London, UK, 23-26 July, 2007, Proceedings},
  publisher = {{IEEE}},
  year      = {2007},
  timestamp = {Fri, 04 Jul 2008 14:05:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fuzzIEEE/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2006,
  editor    = {Henrik Nilsson},
  title     = {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},
  publisher = {Intellect},
  year      = {2007},
  isbn      = {978-1-84150-188-8},
  timestamp = {Thu, 25 Oct 2007 12:11:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfp/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smps/2006,
  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     = {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},
  publisher = {Springer},
  year      = {2006},
  isbn      = {978-3-540-34776-7},
  timestamp = {Mon, 26 Jun 2017 15:51:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smps/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eusflat/2005,
  editor    = {Eduard Montseny and
               Pilar Sobrevilla},
  title     = {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},
  publisher = {Universidad Polytecnica de Catalunya},
  year      = {2005},
  isbn      = {84-7653-872-3},
  timestamp = {Wed, 24 Sep 2008 15:56:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eusflat/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eusflat/2001,
  editor    = {Jonathan M. Garibaldi and
               Robert Ivor John},
  title     = {Proceedings of the 2nd International Conference in Fuzzy Logic and
               Technology, Leicester, United Kingdom, September 5-7, 2001},
  publisher = {De Montfort University, Leicester, {UK}},
  year      = {2001},
  timestamp = {Thu, 23 Nov 2017 20:40:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eusflat/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier