Manuel Carro

Cited by

	All	Since 2020
Citations	2546	637
h-index	28	9
i10-index	56	9

160

120

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 15 40 23 6 26 50 38 47 25 39 59 62 69 154 91 75 81 138 106 99 95 116 99 141 109 69 125 158 138 131 14

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. MoralesAssistant Professor at UPM / IMDEA Software InstituteVerified email at imdea.org
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
Edison MeraProcess Design Center BVVerified email at process-design-center.com
Julio MariñoUniversidad Politécnica de MadridVerified email at fi.upm.es
Ángel HerranzUniversidad Politécnica de MadridVerified email at upm.es
Ivona BrandicFull Professor for High Performance Computing Systems, TU WienVerified 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
Salima BenbernouProfessor at Université Paris CitéVerified email at u-paris.fr
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
Maria Garcia de la BandaFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Enrico PontelliNew Mexico State UniversityVerified email at cs.nmsu.edu
Zhuo ChenUniversity of Texas at DallasVerified email at utdallas.edu
Schahram DustdarProfessor of Computer Science, Member of Academia Europaea, IEEE|EAI|AAIA Fellow, TU Wien, AustriaVerified email at dsg.tuwien.ac.at

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	221	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	185	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	167	2013
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	152	2018
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	124	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	117	1996
Concurrency in Prolog Using Threads and a Shared Database. M Carro, MV Hermenegildo ICLP, 320-334, 1999	76	1999
Justifications for goal-directed constraint answer set programming J Arias, M Carro, Z Chen, G Gupta arXiv preprint arXiv:2009.10238, 2020	68	2020
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	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	46*	1993
Modeling and reasoning in event calculus using goal-directed constraint answer set programming J Arias, M Carro, Z Chen, G Gupta Theory and Practice of Logic Programming 22 (1), 51-80, 2022	45	2022
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	44*	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	37	2006
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	36*	2007
Tools for constraint visualisation: The VIFID/TRIFID tool M Carro, M Hermenegildo Analysis and Visualization Tools for Constraint Programming: Constraint …, 2000	35*	2000
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	35	1997
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	34	2010
Sound multi-party business protocols for service networks M Mancioppi, M Carro, WJ Van den Heuvel, MP Papazoglou Service-Oriented Computing–ICSOC 2008: 6th International Conference, Sydney …, 2008	33	2008

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