Manuel Carro

Cited by

	All	Since 2017
Citations	2218	674
h-index	27	10
i10-index	54	10

160

120

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202214 15 45 24 6 21 44 35 46 31 42 54 65 74 145 87 76 82 142 106 97 96 115 101 131 103 78 118 143

Public access

View all

25 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verified email at upm.es
Germán PueblaAssociate ProfessorVerified email at fi.upm.es
Pedro Lopez-GarciaSpanish Research Council (CSIC) and The IMDEA Software InstituteVerified email at imdea.org
Jose F. MoralesResearcher at IMDEA Software InstituteVerified email at imdea.org
Edison MeraProcess Design Center BVVerified email at process-design-center.com
Julio MariñoUniversidad Politécnica de MadridVerified email at fi.upm.es
Joaquín AriasUniversidad Rey Juan CarlosVerified email at urjc.es
Gopal GuptaProfessor of Computer Science, The University of Texas at DallasVerified email at utdallas.edu
Ivona BrandicFull Professor for High Performance Computing Systems, Vienna University of TechnologyVerified email at tuwien.ac.at
Barbara PerniciPolitecnico di MilanoVerified email at polimi.it
Pierluigi PlebaniPolitecnico di MilanoVerified email at polimi.it
Cinzia CappielloDipartimento di Elettronica, Informazione e Bioingegneria - Politecnico di MilanoVerified email at polimi.it
Kyriakos KritikosResearcher, ICS-FORTHVerified email at ics.forth.gr
Maria Garcia de la BandaProfessor, Faculty of Information Technology, Monash UniversityVerified email at monash.edu
Andreas Metzgerpaluno, University of Duisburg-EssenVerified email at paluno.uni-due.de
Attila KerteszAssociate professor at University of SzegedVerified email at inf.u-szeged.hu
Schahram DustdarProfessor of Computer Science, Member of Academia Europaea, IEEE Fellow, TU Wien, AustriaVerified email at dsg.tuwien.ac.at
Klaus Pohlpaluno, Univ. Duisburg-EssenVerified email at paluno.uni-due.de
Enrico PontelliNew Mexico State UniversityVerified email at cs.nmsu.edu
Philipp LeitnerAssociate Professor at Chalmers | University of GothenburgVerified email at chalmers.se

Manuel Carro

IMDEA Software Institute and Universidad Politécnica de Madrid

Verified email at imdea.org

computer science computational logic knowledge representation and reasoning


Title Sort by citations Sort by year Sort by 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	201	2012
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	153	2013
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	151	2014
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	119	1996
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	118	1997
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	74	2018
Concurrency in Prolog Using Threads and a Shared Database. M Carro, MV Hermenegildo ICLP, 320-334, 1999	72	1999
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	63	2011
Using attributed variables in the implementation of concurrent and parallel logic programming systems MV Hermenegildo, D Cabeza Gras, M Carro Liñares MIT Press, 1995	60	1995
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	52	2010
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	46*	2004
Some Paradigms for Visualizing Parallel Execution of Logic Programs. M Carro, LMG Henríquez, MV Hermenegildo ICLP 93, 184-201, 1993	44	1993
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	37	2006
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	35*	2007
Tools for constraint visualisation: The VIFID/TRIFID tool M Carro, M Hermenegildo Analysis and Visualization Tools for Constraint Programming, 253-272, 2000	35	2000
An improved continuation call-based implementation of tabling P Chico de Guzmán, M Carro, MV Hermenegildo, C Silva, R Rocha International Symposium on Practical Aspects of Declarative Languages, 197-213, 2008	32	2008
High-level languages for small devices: a case study M Carro, JF Morales, HL Muller, G Puebla, M Hermenegildo Proceedings of the 2006 international conference on Compilers, architecture …, 2006	32	2006
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	32*	2004
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	32	1997
Relating data-parallelism and (and-) parallelism in logic programs MV Hermenegildo, M Carro Computer languages 22 (2-3), 143-163, 1996	32*	1996

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors