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, ...
arXiv preprint arXiv:1102.5497, 2011
1572011
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
1302013
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
1081997
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
1052014
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C) LP Systems.
MV Hermenegildo, F Bueno, D Cabeza, M Carro, MJG de la Banda, ...
APPIA-GULP-PRODE, 105-110, 1996
1041996
Concurrency in Prolog Using Threads and a Shared Database.
M Carro, MV Hermenegildo
ICLP, 320-334, 1999
681999
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
502011
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
502010
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems.
MV Hermenegildo, DC Gras, M Carro
ICLP, 631-645, 1995
491995
Some Paradigms for Visualizing Parallel Execution of Logic Programs.
M Carro, LMG Henríquez, MV Hermenegildo
ICLP 93, 184-201, 1993
421993
Improved compilation of Prolog to C using moded types and determinism information
J Morales, M Carro, M Hermenegildo
International Symposium on Practical Aspects of Declarative Languages, 86-103, 2004
39*2004
Tools for constraint visualisation: The VIFID/TRIFID tool
M Carro, M Hermenegildo
Analysis and Visualization Tools for Constraint Programming, 253-272, 2000
332000
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
322006
Relating data-parallelism and (and-) parallelism in logic programs
MV Hermenegildo, M Carro
Computer languages 22 (2-3), 143-163, 1996
32*1996
Combining static analysis and profiling for estimating execution times
E Mera, P López-García, G Puebla, M Carro, MV Hermenegildo
International Symposium on Practical Aspects of Declarative Languages, 140-154, 2007
31*2007
The CIAO prolog system: reference manual
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López, G Puebla
312000
The Ciao System. Reference Manual (v1. 13)
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ...
Distributed from the URL http://www. ciaohome. org, 2004
29*2004
A soft constraint-based approach to qos-aware service selection
MA Zemni, S Benbernou, M Carro
International Conference on Service-Oriented Computing, 596-602, 2010
272010
Sound multi-party business protocols for service networks
M Mancioppi, M Carro, WJ van den Heuvel, MP Papazoglou
International Conference on Service-Oriented Computing, 302-316, 2008
272008
An improved continuation call-based implementation of tabling
PC De Guzmán, M Carro, MV Hermenegildo, C Silva, R Rocha
International Symposium on Practical Aspects of Declarative Languages, 197-213, 2008
272008
The system can't perform the operation now. Try again later.
Articles 1–20