Manuel Montenegro

Available identifiers

zbMath Open montenegro.manuelMaRDI QIDQ209390

List of research outcomes

Publication	Date of Publication	Type
Verification of mutable linear data structures and iterator-based algorithms in Dafny	2023-08-08	Paper
Verification of the ROS NavFn planner using executable specification languages	2023-03-20	Paper
Analyzing the influence of the rating scale for items in a questionnaire on Cronbach coefficient alpha	2022-10-26	Paper
Liquid Types for Array Invariant Synthesis	2022-08-12	Paper
Extending Liquid Types to Arrays	2020-09-11	Paper
Polymorphic success types for Erlang	2019-07-04	Paper
Arithmetic and Distance-Based Approach to the Statistical Analysis of Imprecisely Valued Data	2016-11-08	Paper
Hypothesis testing for means in connection with fuzzy rating scale-based data: algorithms and applications	2016-10-07	Paper
Hypothesis testing for means in connection with fuzzy rating scale-based data: algorithms and applications	2016-06-01	Paper
The Wabl/Ldev/Rdev Median of a Random Fuzzy Number and Statistical Properties	2016-05-26	Paper
A Linear Regression Model for Interval-Valued Response Based on Set Arithmetic	2016-05-13	Paper
Polymorphic Types in Erlang Function Specifications	2016-04-04	Paper
Checking Java Assertions Using Automated Test-Case Generation	2016-02-05	Paper
A Generic Intermediate Representation for Verification Condition Generation	2016-02-05	Paper
Least squares fitting of an affine function and strength of association for interval-valued data	2015-10-14	Paper
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation	2015-04-09	Paper
Bertoluzza et al.'s metric as a basis for analyzing fuzzy data	2014-12-03	Paper
A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation	2014-03-13	Paper
Interpolation-Based Height Analysis for Improving a Recurrence Solver	2012-11-02	Paper
A Space Consumption Analysis by Abstract Interpretation	2010-09-14	Paper
Multi-sample test-based clustering for fuzzy random variables	2010-04-07	Paper
Testing linear independence in linear models with interval-valued data	2009-05-29	Paper
Bootstrap approach to the multi-sample test of means with imprecise data	2009-04-06	Paper
An Inference Algorithm for Guaranteeing Safe Destruction	2009-03-24	Paper
Bootstrap techniques and fuzzy random variables: synergy in hypothesis testing with fuzzy data	2006-11-15	Paper
https://portal.mardi4nfdi.de/entity/Q3157552	2005-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q3157563	2005-01-19	Paper
Asymptotic and bootstrap techniques for testing the expected value of a fuzzy random variable	2004-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4329330	2002-04-29	Paper
Regression and correlation analyses of a linear relation between random intervals	2002-03-26	Paper
Two-sample hypothesis tests of means of a fuzzy random variable	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4011482	1992-09-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Manuel Montenegro