Manuel Carro

Cited by

	All	Since 2016
Citations	1908	521
h-index	24	9
i10-index	49	6

160

120

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202112 10 38 23 3 20 45 28 40 35 40 48 61 82 133 78 77 98 147 98 105 97 113 101 140 91 70 6

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
Julio MariñoUniversidad Politécnica de MadridVerified email at fi.upm.es
Edison MeraProcess Design Center BVVerified email at process-design-center.com
Ivona BrandicProfessor for High Performance Computing Systems, Vienna University of TechnologyVerified email at ec.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
Klaus Pohlpaluno, Univ. Duisburg-EssenVerified email at paluno.uni-due.de
Salima BenbernouProfessor at Université Paris DescartesVerified email at parisdescartes.fr
Schahram DustdarProfessor of Computer Science, Member of Academia Europaea, IEEE Fellow, TU Wien, AustriaVerified email at dsg.tuwien.ac.at
Gopal GuptaProfessor of Computer Science, The University of Texas at DallasVerified email at utdallas.edu
Enrico PontelliNew Mexico State UniversityVerified email at cs.nmsu.edu
Attila KerteszAssociate professor at University of SzegedVerified email at inf.u-szeged.hu
Joaquín AriasUniversidad Rey Juan CarlosVerified email at urjc.es
Maria Garcia de la BandaProfessor, Faculty of Information Technology, Monash UniversityVerified email at monash.edu

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, ... arXiv preprint arXiv:1102.5497, 2011	165	2011
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	141	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	114	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	107	1997
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C) LP Systems. MV Hermenegildo, F Bueno, D Cabeza, M Carro, MJG de la Banda, ... APPIA-GULP-PRODE, 105-110, 1996	101	1996
Concurrency in Prolog Using Threads and a Shared Database. M Carro, MV Hermenegildo ICLP, 320-334, 1999	68	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	58	2011
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
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. MV Hermenegildo, DC Gras, M Carro ICLP, 631-645, 1995	48	1995
Some Paradigms for Visualizing Parallel Execution of Logic Programs. M Carro, LMG Henríquez, MV Hermenegildo ICLP 93, 184-201, 1993	45*	1993
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	40*	2004
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 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	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
The CIAO prolog system: reference manual F Bueno, D Cabeza, M Carro, M Hermenegildo, P López, G Puebla	31	2000
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	30	2010
An overview of the ciao multiparadigm language and program development environment and its design philosophy MV Hermenegildo, F Bueno, M Carro, P López, JF Morales, G Puebla Concurrency, Graphs and Models, 209-237, 2008	30	2008
Sound multi-party business protocols for service networks M Mancioppi, M Carro, WJ van den Heuvel, MP Papazoglou International Conference on Service-Oriented Computing, 302-316, 2008	29	2008
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	29*	2004

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

Upload PDF

Follow this author

Cited by

Co-authors