Manuel Carro

Cited by

	All	Since 2019
Citations	2525	722
h-index	28	10
i10-index	56	10

180

135

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202416 15 40 23 6 26 54 40 49 25 38 58 64 68 152 91 74 81 137 103 104 91 120 95 143 107 71 118 166 140 120

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
Kyriakos KritikosResearcher, ICS-FORTHVerified email at ics.forth.gr
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
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	219	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	184	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	172	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	139	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, M Hermenegildo	77	1999
Justifications for goal-directed constraint answer set programming J Arias, M Carro, Z Chen, G Gupta arXiv preprint arXiv:2009.10238, 2020	64	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 M Hermenegildo, D Cabeza, M Carro	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	52	2010
Some paradigms for visualizing parallel execution of logic programs M Carro, L Gómez, M Hermenegildo	49*	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	45*	2004
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	41	2022
Tools for constraint visualisation: The VIFID/TRIFID tool M Carro, M Hermenegildo Analysis and Visualization Tools for Constraint Programming: Constraint …, 2000	37*	2000
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
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	35*	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	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
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	34	2006

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