List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Testing restorable systems: formal definition and heuristic solution based on river formation dynamics Formal Aspects of Computing | 2014-11-11 | Paper |
| Comparing problem solving strategies for NP-hard optimization problems Fundamenta Informaticae | 2013-07-31 | Paper |
| A centralized and a decentralized method to automatically derive choreography-conforming web service systems The Journal of Logic and Algebraic Programming | 2012-03-13 | Paper |
| Applying RFD to construct optimal quality-investment trees | 2011-02-10 | Paper |
| A Formal Approach to Heuristically Test Restorable Systems Theoretical Aspects of Computing - ICTAC 2009 | 2009-08-20 | Paper |
| Using River Formation Dynamics to Design Heuristic Algorithms Lecture Notes in Computer Science | 2009-02-17 | Paper |
Research outcomes over time
This page was built for person: Pablo Rabanal
