Fernando Rubio

From MaRDI portal
Person:470034

Available identifiers

zbMath Open rubio.fernandoWikidataQ56565512 ScholiaQ56565512MaRDI QIDQ470034

List of research outcomes





PublicationDate of PublicationType
Introducing complexity to formal testing2020-01-31Paper
Testing restorable systems: formal definition and heuristic solution based on river formation dynamics2014-11-11Paper
Comparing Problem Solving Strategies for NP-hard Optimization Problems2013-07-31Paper
https://portal.mardi4nfdi.de/entity/Q30752042011-02-10Paper
https://portal.mardi4nfdi.de/entity/Q49293342010-09-22Paper
Introducing Debugging Capabilities to Natural Semantics2010-02-02Paper
A Formal Approach to Heuristically Test Restorable Systems2009-08-20Paper
Using River Formation Dynamics to Design Heuristic Algorithms2009-02-17Paper
Theoretical Aspects of Computing – ICTAC 20052006-11-01Paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce2006-10-24Paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce2006-10-24Paper
Formal specification of multi-agent e-barter systems2005-08-03Paper
An integrated framework for the performance analysis of asynchronous communicating stochastic processes2004-10-01Paper
https://portal.mardi4nfdi.de/entity/Q48172892004-09-22Paper
https://portal.mardi4nfdi.de/entity/Q30458432004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q30460002004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q47375512004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44602162004-05-18Paper
Comparing parallel functional languages: Programming and performance2004-03-15Paper
https://portal.mardi4nfdi.de/entity/Q44339982003-11-03Paper
https://portal.mardi4nfdi.de/entity/Q44098622003-07-01Paper
https://portal.mardi4nfdi.de/entity/Q27633792002-01-15Paper

Research outcomes over time

This page was built for person: Fernando Rubio