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

This page was built for person: Fernando Rubio