Manuel Carro

Cited by

	All	Since 2018
Citations	2301	655
h-index	28	10
i10-index	54	10

180

135

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202314 15 43 24 10 19 47 38 45 24 38 61 65 69 155 82 77 78 139 104 104 92 117 100 143 100 74 121 161 51

Public access

View all

28 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
Gopal GuptaProfessor of Computer Science, The University of Texas at DallasVerified email at utdallas.edu
Julio MariñoUniversidad Politécnica de MadridVerified email at fi.upm.es
Joaquín AriasUniversidad Rey Juan CarlosVerified email at urjc.es
Ángel HerranzUniversidad Politécnica de MadridVerified email at upm.es
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
Andreas Metzgerpaluno, University of Duisburg-EssenVerified email at paluno.uni-due.de
Maria Garcia de la BandaProfessor, Faculty of Information Technology, Monash UniversityVerified email at monash.edu
Attila KerteszAssociate professor at University of SzegedVerified email at inf.u-szeged.hu
Enrico PontelliNew Mexico State UniversityVerified email at cs.nmsu.edu
Schahram DustdarProfessor of Computer Science, Member of Academia Europaea, IEEE|EAI|AAIA Fellow, TU Wien, AustriaVerified email at dsg.tuwien.ac.at
Klaus Pohlpaluno, Univ. Duisburg-EssenVerified email at paluno.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	208	2012
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	164	2014
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	157	2013
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	122	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	120	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	90	2018
Concurrency in Prolog Using Threads and a Shared Database. M Carro, MV Hermenegildo ICLP, 320-334, 1999	76	1999
Constraint-based runtime prediction of SLA violations in service orchestrations D Ivanović, M Carro, M Hermenegildo Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 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	59*	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	53	2010
Some Paradigms for Visualizing Parallel Execution of Logic Programs¹ M Carro, L Gómez, M Hermenegildo Logic Programming: Proceedings of the Tenth International Conference on …, 1993	47*	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
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	36	2006
Tools for constraint visualisation: The VIFID/TRIFID tool M Carro, M Hermenegildo Analysis and Visualization Tools for Constraint Programming: Constraint …, 2000	35*	2000
Justifications for goal-directed constraint answer set programming J Arias, M Carro, Z Chen, G Gupta arXiv preprint arXiv:2009.10238, 2020	34	2020
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	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	34	1997
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	33	2006
Relating data-parallelism and (and-) parallelism in logic programs MV Hermenegildo, M Carro Computer languages 22 (2-3), 143-163, 1996	33*	1996
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	32	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

Cited by

Co-authors