Testing the expected value of a fuzzy random variable. A discussion. - Manuel Montenegro; María Rosa Casals; Ana Colubi; María Angeles Gil (EUSFLAT Conf., 2001)

Two-sample hypothesis tests of means of a fuzzy random variable. - Manuel Montenegro; María Rosa Casals; María Asunción Lubiano; María Angeles Gil (Inf. Sci., 2001)

Bootstrap Techniques: A Valuable Tool in Statistical Hypothesis Testing about the Means of Fuzzy Random Variables. - Manuel Montenegro; Gil González-Rodríguez; Ana Colubi; María Angeles Gil (EUSFLAT Conf., 2005)

A sharing analysis for SAFE. - Ricardo Peña-Marí; Clara Segura; Manuel Montenegro (Trends in Functional Programming, 2006)

Exploratory Analysis of Random Variables Based on Fuzzifications. - Ana Colubi; Gil González-Rodríguez; María Asunción Lubiano; Manuel Montenegro (SMPS, 2006)

Bootstrap approach to the multi-sample test of means with imprecise data. - María Angeles Gil; Manuel Montenegro; Gil González-Rodríguez; Ana Colubi; María Rosa Casals (Comput. Stat. Data Anal., 2006)

Bootstrap techniques and fuzzy random variables: Synergy in hypothesis testing with fuzzy data. - Gil González-Rodríguez; Manuel Montenegro; Ana Colubi; María Angeles Gil (Fuzzy Sets Syst., 2006)

A Determination Doefficient for Fuzzy Random Variables in a Fuzzy Frithmetic-based Linear Model. - Ana Colubi; Norberto Corral; Gil González-Rodríguez; Manuel Montenegro (FUZZ-IEEE, 2007)

Testing linear independence in linear models with interval-valued data. - María Angeles Gil; Gil González-Rodríguez; Ana Colubi; Manuel Montenegro (Comput. Stat. Data Anal., 2007)

Comparative study of the prereactive protein kinase A Michaelis complex with Kemptide substrate. - Manuel Montenegro; Mireia Garcia-Viloca; Àngels González-Lafont; José M. Lluch (J. Comput. Aided Mol. Des., 2007)

An Inference Algorithm for Guaranteeing Safe Destruction. - Manuel Montenegro; Ricardo Peña-Marí; Clara Segura (LOPSTR, 2008)

A type system for safe memory management and its proof of correctness. - Manuel Montenegro; Ricardo Pena; Clara Segura (PPDP, 2008)

Testing 'Two-Sided' Hypothesis about the Mean of an Interval-Valued Random Set. - Manuel Montenegro; María Rosa Casals; Ana Colubi; María Angeles Gil (SMPS, 2008)

A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. - Manuel Montenegro; Ricardo Peña-Marí; Clara Segura (WFLP, 2008)

A Space Consumption Analysis by Abstract Interpretation. - Manuel Montenegro; Ricardo Peña; Clara Segura (FOPARA, 2009)

A Simple Region Inference Algorithm for a First-Order Functional Language. - Manuel Montenegro; Ricardo Peña-Marí; Clara Segura (WFLP, 2009)

Multi-sample test-based clustering for fuzzy random variables. - Gil González-Rodríguez; Ana Colubi; Pierpaolo D'Urso; Manuel Montenegro (Int. J. Approx. Reason., 2009)

Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. - Javier de Dios; Manuel Montenegro; Ricardo Peña (IFM, 2010)

Power Analysis of the Homoscedasticity Test for Random Fuzzy Sets. - Ana Belén Ramos-Guajardo; Gil González-Rodríguez; Manuel Montenegro; María Teresa López (SMPS, 2010)

Interpolation-Based Height Analysis for Improving a Recurrence Solver. - Manuel Montenegro; Olha Shkaravska; Marko C. J. D. van Eekelen; Ricardo Peña (FOPARA, 2011)

Making resource analysis practical for real-time Java. - Rody Kersten; Olha Shkaravska; Bernard van Gastel; Manuel Montenegro; Marko C. J. D. van Eekelen (JTRES, 2012)

A Linear Regression Model for Interval-Valued Response Based on Set Arithmetic. - Ángela Blanco-Fernández; Ana Colubi; Marta García-Bárzana; Manuel Montenegro (SMPS, 2012)

The Wabl/Ldev/Rdev Median of a Random Fuzzy Number and Statistical Properties. - Beatriz Sinova; Sonia Pérez-Fernández; Manuel Montenegro (SMPS, 2014)

ResAna: a resource analysis toolset for (real-time) JAVA. - Rody W. J. Kersten; Bernard van Gastel; Olha Shkaravska; Manuel Montenegro; Marko C. J. D. van Eekelen (Concurr. Comput. Pract. Exp., 2014)

A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation. - Manuel Montenegro; Ricardo Peña; Clara Segura (Inf. Comput., 2014)

Checking Java Assertions Using Automated Test-Case Generation. - Rafael Caballero 001; Manuel Montenegro; Herbert Kuchen; Vincent von Hof (LOPSTR, 2015)

A Generic Intermediate Representation for Verification Condition Generation. - Manuel Montenegro; Ricardo Peña; Jaime Sánchez-Hernández (LOPSTR, 2015)

Shape analysis in a functional language by using regular languages. - Manuel Montenegro; Ricardo Peña; Clara Segura (Sci. Comput. Program., 2015)

Space consumption analysis by abstract interpretation: Inference of recursive functions. - Manuel Montenegro; Ricardo Peña; Clara Segura (Sci. Comput. Program., 2015)

Space consumption analysis by abstract interpretation: Reductivity properties. - Manuel Montenegro; Ricardo Peña; Clara Segura (Sci. Comput. Program., 2015)

Polymorphic Types in Erlang Function Specifications. - Francisco Javier López-Fraguas; Manuel Montenegro; Juan Rodríguez-Hortalá (FLOPS, 2016)

An Empirical Analysis of the Coherence Between Fuzzy Rating Scale- and Likert Scale-Based Responses to Questionnaires. - María Asunción Lubiano; Antonia Salas; Sara de la Rosa de Sáa; Manuel Montenegro; María Ángeles Gil (SMPS, 2016)

Hypothesis testing for means in connection with fuzzy rating scale-based data: algorithms and applications. - María Asunción Lubiano; Manuel Montenegro; Beatriz Sinova; Sara de la Rosa de Sáa; María Angeles Gil (Eur. J. Oper. Res., 2016)

Descriptive analysis of responses to items in questionnaires. Why not using a fuzzy rating scale? - María Asunción Lubiano; Sara de la Rosa de Sáa; Manuel Montenegro; Beatriz Sinova; María Angeles Gil (Inf. Sci., 2016)

Liquid Types for Array Invariant Synthesis. - Manuel Montenegro; Susana Nieva; Ricardo Peña; Clara Segura (ATVA, 2017)

Polymorphic success types for Erlang. - Francisco Javier López-Fraguas; Manuel Montenegro; Gorka Suárez-García (LPAR, 2018)

Case Study-Based Sensitivity Analysis of Scale Estimates w.r.t. the Shape of Fuzzy Data. - María Asunción Lubiano; Carlos Carleos; Manuel Montenegro; María Angeles Gil (SMPS, 2018)

Extending Liquid Types to Arrays. - Manuel Montenegro; Susana Nieva; Ricardo Peña; Clara Segura (ACM Trans. Comput. Log., 2020)

Deriving overloaded success type schemes in Erlang. - Francisco Javier López-Fraguas; Manuel Montenegro; Gorka Suárez-García (J. Comput. Lang., 2020)

A Blockchain Approach for Decentralized V2X (D-V2X). - Isaac Agudo; Manuel Montenegro; Javier López 001 (IEEE Trans. Veh. Technol., 2021)

Improving Database Learning with an Automatic Judge. - Enrique Martin-Martin; Manuel Montenegro; Adrián Riesco 001; Rubén Rubio (SEKE, 2022)

Verification of the ROS NavFn planner using executable specification languages. - Enrique Martin-Martin; Manuel Montenegro; Adrián Riesco 001; Juan Rodríguez-Hortalá; Rubén Rubio (J. Log. Algebraic Methods Program., 2023)

Verification of mutable linear data structures and iterator-based algorithms in Dafny. - Jorge Blázquez; Manuel Montenegro; Clara Segura (J. Log. Algebraic Methods Program., 2023)