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
1672012
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
1412013
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
1182014
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
1071997
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
1011996
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
582011
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
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems.
MV Hermenegildo, DC Gras, M Carro
ICLP, 631-645, 1995
481995
Some Paradigms for Visualizing Parallel Execution of Logic Programs.
M Carro, LMG Henríquez, MV Hermenegildo
ICLP 93, 184-201, 1993
45*1993
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
40*2004
Tools for constraint visualisation: The VIFID/TRIFID tool
M Carro, M Hermenegildo
Analysis and Visualization Tools for Constraint Programming, 253-272, 2000
352000
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
34*2007
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
332006
Relating data-parallelism and (and-) parallelism in logic programs
MV Hermenegildo, M Carro
Computer languages 22 (2-3), 143-163, 1996
33*1996
The CIAO prolog system: reference manual
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López, G Puebla
312000
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
302010
An overview of the ciao multiparadigm language and program development environment and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López, JF Morales, G Puebla
Concurrency, Graphs and Models, 209-237, 2008
302008
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
292008
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
The system can't perform the operation now. Try again later.
Articles 1–20