Fernando Rubio

Available identifiers

zbMath Open rubio.fernandoWikidataQ56565512 ScholiaQ56565512MaRDI QIDQ470034

List of research outcomes

Publication	Date of Publication	Type
Introducing complexity to formal testing	2020-01-31	Paper
Testing restorable systems: formal definition and heuristic solution based on river formation dynamics	2014-11-11	Paper
Comparing Problem Solving Strategies for NP-hard Optimization Problems	2013-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q3075204	2011-02-10	Paper
https://portal.mardi4nfdi.de/entity/Q4929334	2010-09-22	Paper
Introducing Debugging Capabilities to Natural Semantics	2010-02-02	Paper
A Formal Approach to Heuristically Test Restorable Systems	2009-08-20	Paper
Using River Formation Dynamics to Design Heuristic Algorithms	2009-02-17	Paper
Theoretical Aspects of Computing – ICTAC 2005	2006-11-01	Paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce	2006-10-24	Paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce	2006-10-24	Paper
Formal specification of multi-agent e-barter systems	2005-08-03	Paper
An integrated framework for the performance analysis of asynchronous communicating stochastic processes	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4817289	2004-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q3045843	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3046000	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4737551	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4460216	2004-05-18	Paper
Comparing parallel functional languages: Programming and performance	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4433998	2003-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4409862	2003-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q2763379	2002-01-15	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: Fernando Rubio