Manuel Carro
Publications by Year
Research Areas
Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Service-Oriented Architecture and Web Services
Most-Cited Works
- → A survey on service quality description(2013)317 cited
- → An overview of Ciao and its design philosophy(2011)148 cited
- → Comparing and Combining Predictive Business Process Monitoring Techniques(2014)126 cited
- → Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations(2011)44 cited
- Concurrency in Prolog using threads and a shared database(1999)
- → Towards Data-Aware QoS-driven Adaptation for Service Orchestrations(2010)31 cited
- → Justifications for Goal-Directed Constraint Answer Set Programming(2020)30 cited
- → Improved Compilation of Prolog to C Using Moded Types and Determinism Information(2004)29 cited
- → An Improved Continuation Call-Based Implementation of Tabling(2007)26 cited
- → Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems(1995)25 cited