default search action
Manuel Montenegro
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j18]Enrique Martin-Martin
, Manuel Montenegro, Adrián Riesco
Verification of the ROS NavFn planner using executable specification languages. J. Log. Algebraic Methods Program. 132: 100860 (2023) - [j17]Jorge Blázquez
Verification of mutable linear data structures and iterator-based algorithms in Dafny. J. Log. Algebraic Methods Program. 134: 100875 (2023) - 2022
- [c26]Enrique Martin-Martin
Improving Database Learning with an Automatic Judge. SEKE 2022: 499-502 - 2021
- [j16]Isaac Agudo
A Blockchain Approach for Decentralized V2X (D-V2X). IEEE Trans. Veh. Technol. 70(5): 4001-4010 (2021) - 2020
- [j15]Manuel Montenegro
Extending Liquid Types to Arrays. ACM Trans. Comput. Log. 21(2): 13:1-13:41 (2020) - [j14]Francisco Javier López-Fraguas
Deriving overloaded success type schemes in Erlang. J. Comput. Lang. 58: 100965 (2020)
2010 – 2019
- 2018
- [c25]Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García:
Polymorphic success types for Erlang. LPAR 2018: 515-533 - [c24]María Asunción Lubiano, Carlos Carleos, Manuel Montenegro
Case Study-Based Sensitivity Analysis of Scale Estimates w.r.t. the Shape of Fuzzy Data. SMPS 2018: 157-165 - 2017
- [c23]Manuel Montenegro, Susana Nieva
Liquid Types for Array Invariant Synthesis. ATVA 2017: 289-306 - 2016
- [j13]María Asunción Lubiano, Manuel Montenegro
Hypothesis testing for means in connection with fuzzy rating scale-based data: algorithms and applications. Eur. J. Oper. Res. 251(3): 918-929 (2016) - [j12]María Asunción Lubiano, Sara de la Rosa de Sáa, Manuel Montenegro
Descriptive analysis of responses to items in questionnaires. Why not using a fuzzy rating scale? Inf. Sci. 360: 131-148 (2016) - [c22]Francisco Javier López-Fraguas
Polymorphic Types in Erlang Function Specifications. FLOPS 2016: 181-197 - [c21]María Asunción Lubiano, Antonia Salas, Sara de la Rosa de Sáa, Manuel Montenegro
An Empirical Analysis of the Coherence Between Fuzzy Rating Scale- and Likert Scale-Based Responses to Questionnaires. SMPS 2016: 329-337 - 2015
- [j11]Manuel Montenegro, Ricardo Peña, Clara Segura
Shape analysis in a functional language by using regular languages. Sci. Comput. Program. 111: 51-78 (2015) - [j10]Manuel Montenegro, Ricardo Peña, Clara Segura
Space consumption analysis by abstract interpretation: Inference of recursive functions. Sci. Comput. Program. 111: 426-457 (2015) - [j9]Manuel Montenegro, Ricardo Peña, Clara Segura
Space consumption analysis by abstract interpretation: Reductivity properties. Sci. Comput. Program. 111: 458-482 (2015) - [c20]Rafael Caballero
Checking Java Assertions Using Automated Test-Case Generation. LOPSTR 2015: 221-226 - [c19]Manuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández
A Generic Intermediate Representation for Verification Condition Generation. LOPSTR 2015: 227-243 - 2014
- [j8]Rody W. J. Kersten, Bernard van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen:
ResAna: a resource analysis toolset for (real-time) JAVA. Concurr. Comput. Pract. Exp. 26(14): 2432-2455 (2014) - [j7]Manuel Montenegro, Ricardo Peña, Clara Segura
A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation. Inf. Comput. 235: 3-35 (2014) - [c18]Beatriz Sinova, Sonia Pérez-Fernández
The Wabl/Ldev/Rdev Median of a Random Fuzzy Number and Statistical Properties. SMPS 2014: 143-150 - 2013
- [c17]Manuel Montenegro, Ricardo Peña, Clara Segura
Shape analysis in a functional language by using regular languages. PPDP 2013: 251-262 - 2012
- [c16]Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko C. J. D. van Eekelen:
Making resource analysis practical for real-time Java. JTRES 2012: 135-144 - [c15]Ángela Blanco-Fernández, Ana Colubi, Marta García-Bárzana, Manuel Montenegro
A Linear Regression Model for Interval-Valued Response Based on Set Arithmetic. SMPS 2012: 105-113 - 2011
- [c14]Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña:
Interpolation-Based Height Analysis for Improving a Recurrence Solver. FOPARA 2011: 36-53 - 2010
- [c13]Javier de Dios, Manuel Montenegro, Ricardo Peña:
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. IFM 2010: 305-319 - [c12]Ana Belén Ramos-Guajardo, Gil González-Rodríguez, Manuel Montenegro
Power Analysis of the Homoscedasticity Test for Random Fuzzy Sets. SMPS 2010: 537-544
2000 – 2009
- 2009
- [j6]Gil González-Rodríguez
Multi-sample test-based clustering for fuzzy random variables. Int. J. Approx. Reason. 50(5): 721-731 (2009) - [c11]Manuel Montenegro, Ricardo Peña, Clara Segura
A Space Consumption Analysis by Abstract Interpretation. FOPARA 2009: 34-50 - [c10]Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
A Simple Region Inference Algorithm for a First-Order Functional Language. WFLP 2009: 145-161 - 2008
- [c9]Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
An Inference Algorithm for Guaranteeing Safe Destruction. LOPSTR 2008: 135-151 - [c8]Manuel Montenegro, Ricardo Pena, Clara Segura
A type system for safe memory management and its proof of correctness. PPDP 2008: 152-162 - [c7]Manuel Montenegro
Testing 'Two-Sided' Hypothesis about the Mean of an Interval-Valued Random Set. SMPS 2008: 133-139 - [c6]Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. WFLP 2008: 167-182 - 2007
- [j5]María Angeles Gil
Testing linear independence in linear models with interval-valued data. Comput. Stat. Data Anal. 51(6): 3002-3015 (2007) - [j4]Manuel Montenegro, Mireia Garcia-Viloca
Comparative study of the prereactive protein kinase A Michaelis complex with Kemptide substrate. J. Comput. Aided Mol. Des. 21(10-11): 603-615 (2007) - [c5]Ana Colubi, Norberto Corral, Gil González-Rodríguez, Manuel Montenegro
A Determination Doefficient for Fuzzy Random Variables in a Fuzzy Frithmetic-based Linear Model. FUZZ-IEEE 2007: 1-4 - 2006
- [j3]María Angeles Gil
Bootstrap approach to the multi-sample test of means with imprecise data. Comput. Stat. Data Anal. 51(1): 148-162 (2006) - [j2]Gil González-Rodríguez
Bootstrap techniques and fuzzy random variables: Synergy in hypothesis testing with fuzzy data. Fuzzy Sets Syst. 157(19): 2608-2613 (2006) - [c4]Ricardo Peña-Marí, Clara Segura, Manuel Montenegro:
A sharing analysis for SAFE. Trends in Functional Programming 2006: 109-128 - [c3]Ana Colubi, Gil González-Rodríguez, María Asunción Lubiano, Manuel Montenegro
Exploratory Analysis of Random Variables Based on Fuzzifications. SMPS 2006: 95-102 - 2005
- [c2]Manuel Montenegro, Gil González-Rodríguez, Ana Colubi, María Angeles Gil:
Bootstrap Techniques: A Valuable Tool in Statistical Hypothesis Testing about the Means of Fuzzy Random Variables. EUSFLAT Conf. 2005: 599-604 - 2001
- [j1]Manuel Montenegro
Two-sample hypothesis tests of means of a fuzzy random variable. Inf. Sci. 133(1-2): 89-100 (2001) - [c1]Manuel Montenegro, María Rosa Casals, Ana Colubi, María Angeles Gil:
Testing the expected value of a fuzzy random variable. A discussion. EUSFLAT Conf. 2001: 352-355
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 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: