Follow
Manuel Carro
Manuel Carro
IMDEA Software Institute and Universidad Politécnica de Madrid
Verified email at imdea.org
Title
Cited by
Cited by
Year
An overview of Ciao and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ...
Theory and Practice of Logic Programming 12 (1-2), 219-252, 2012
2152012
Comparing and combining predictive business process monitoring techniques
A Metzger, P Leitner, D Ivanović, E Schmieders, R Franklin, M Carro, ...
IEEE Transactions on Systems, Man, and Cybernetics: Systems 45 (2), 276-290, 2014
1732014
A survey on service quality description
K Kritikos, B Pernici, P Plebani, C Cappiello, M Comuzzi, S Benrernou, ...
ACM Computing Surveys (CSUR) 46 (1), 1-58, 2013
1642013
The Ciao prolog system
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ...
Reference Manual. The Ciao System Documentation Series–TR CLIP3/97.1, School …, 1997
1231997
The CIAO multi-dialect compiler and system: An experimentation workbench for future (C) LP systems
MV Hermenegildo, F Bueno Carrillo, D Cabeza Gras, M Carro Liñares, ...
Informatica, 1996
1201996
Constraint answer set programming without grounding
J Arias, M Carro, E Salazar, K Marple, G Gupta
Theory and Practice of Logic Programming 18 (3-4), 337-354, 2018
1132018
Concurrency in prolog using threads and a shared database
M Carro, M Hermenegildo
771999
Constraint-based runtime prediction of SLA violations in service orchestrations
D Ivanović, M Carro, M Hermenegildo
International Conference on Service-Oriented Computing, 62-76, 2011
632011
Using attributed variables in the implementation of concurrent and parallel logic programming systems
M Hermenegildo, D Cabeza, M Carro
591995
Towards data-aware qos-driven adaptation for service orchestrations
D Ivanovic, M Carro, M Hermenegildo
2010 IEEE International Conference on Web Services, 107-114, 2010
522010
Justifications for goal-directed constraint answer set programming
J Arias, M Carro, Z Chen, G Gupta
arXiv preprint arXiv:2009.10238, 2020
492020
Some Paradigms for Visualizing Parallel Execution of Logic Programs.
M Carro, LMG Henríquez, MV Hermenegildo
ICLP 93, 184-201, 1993
48*1993
Improved compilation of Prolog to C using moded types and determinism information
J Morales, M Carro, M Hermenegildo
Practical Aspects of Declarative Languages: 6th International Symposium …, 2004
46*2004
Tools for constraint visualisation: The VIFID/TRIFID tool
M Carro, M Hermenegildo
Analysis and Visualization Tools for Constraint Programming: Constraint …, 2000
37*2000
The Ciao System. Ref. Manual (v1. 13)
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ...
Technical report, CS School (UPM), 2006. Available at http://www. ciaohome. org, 2006
362006
Combining static analysis and profiling for estimating execution times
E Mera, P López-García, G Puebla, M Carro, MV Hermenegildo
Practical Aspects of Declarative Languages: 9th International Symposium …, 2007
35*2007
The CIAO prolog system: reference manual
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ...
School of Computer Science, Technical University of Madrid (UPM), Tech. Rep …, 1997
351997
A soft constraint-based approach to qos-aware service selection
MA Zemni, S Benbernou, M Carro
Service-Oriented Computing: 8th International Conference, ICSOC 2010, San …, 2010
342010
Sound multi-party business protocols for service networks
M Mancioppi, M Carro, WJ Van den Heuvel, MP Papazoglou
Service-Oriented Computing–ICSOC 2008: 6th International Conference, Sydney …, 2008
342008
Relating data-parallelism and (and-) parallelism in logic programs
MV Hermenegildo, M Carro
Computer languages 22 (2-3), 143-163, 1996
34*1996
The system can't perform the operation now. Try again later.
Articles 1–20