Manuel Carro

Cited by

	All	Since 2017
Citations	2155	621
h-index	27	10
i10-index	54	10

160

120

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202214 16 45 24 6 21 43 35 47 30 40 52 66 74 145 85 72 81 142 107 97 96 114 102 132 100 82 140 63

Public access

View all

30 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
Gopal GuptaProfessor of Computer Science, The University of Texas at DallasVerified email at utdallas.edu
Joaquín AriasUniversidad Rey Juan CarlosVerified email at urjc.es
Ivona BrandicFull Professor for High Performance Computing Systems, Vienna University of TechnologyVerified email at tuwien.ac.at
Andreas Metzgerpaluno, University of Duisburg-EssenVerified email at paluno.uni-due.de
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
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
Attila KerteszAssociate professor at University of SzegedVerified email at inf.u-szeged.hu
Philipp LeitnerAssociate Professor at Chalmers | University of GothenburgVerified email at chalmers.se
Eric SchmiedersIT.NRWVerified email at uni-due.de

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	200	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	148	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	143	2014
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	117	1997
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	116	1996
Concurrency in Prolog Using Threads and a Shared Database. M Carro, MV Hermenegildo ICLP, 320-334, 1999	73	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	62	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
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	59	2018
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	51	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	47*	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
Tools for constraint visualisation: The VIFID/TRIFID tool M Carro, M Hermenegildo Analysis and Visualization Tools for Constraint Programming, 253-272, 2000	35	2000
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 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	33	1997
Relating data-parallelism and (and-) parallelism in logic programs MV Hermenegildo, M Carro Computer languages 22 (2-3), 143-163, 1996	33*	1996
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
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	31	2010

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 this author

Cited by

Co-authors