Pablo Rabanal
From MaRDI portal
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
