Manuel Carro 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	2455	651
h 指数	28	9
i10 指数	55	8

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 69 119 167 133 56

开放获取的出版物数量

查看全部

30 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)在 upm.es 的电子邮件经过验证
Germán PueblaAssociate Professor在 fi.upm.es 的电子邮件经过验证
Pedro Lopez-GarciaSpanish Research Council (CSIC) and The IMDEA Software Institute在 imdea.org 的电子邮件经过验证
Jose F. MoralesAssistant Professor at UPM / IMDEA Software Institute在 imdea.org 的电子邮件经过验证
Gopal GuptaProfessor of Computer Science, The University of Texas at Dallas在 utdallas.edu 的电子邮件经过验证
Edison MeraProcess Design Center BV在 process-design-center.com 的电子邮件经过验证
Joaquín AriasUniversidad Rey Juan Carlos在 urjc.es 的电子邮件经过验证
Julio MariñoUniversidad Politécnica de Madrid在 fi.upm.es 的电子邮件经过验证
Ángel HerranzUniversidad Politécnica de Madrid在 upm.es 的电子邮件经过验证
Ivona BrandicFull Professor for High Performance Computing Systems, TU Wien在 tuwien.ac.at 的电子邮件经过验证
Barbara PerniciPolitecnico di Milano在 polimi.it 的电子邮件经过验证
Pierluigi PlebaniPolitecnico di Milano在 polimi.it 的电子邮件经过验证
Cinzia CappielloDipartimento di Elettronica, Informazione e Bioingegneria - Politecnico di Milano在 polimi.it 的电子邮件经过验证
Kyriakos KritikosResearcher, ICS-FORTH在 ics.forth.gr 的电子邮件经过验证
Andreas Metzgerpaluno, University of Duisburg-Essen在 paluno.uni-due.de 的电子邮件经过验证
Attila KerteszAssociate professor at University of Szeged在 inf.u-szeged.hu 的电子邮件经过验证
Maria Garcia de la BandaFaculty of Information Technology, Monash University在 monash.edu 的电子邮件经过验证
Enrico PontelliNew Mexico State University在 cs.nmsu.edu 的电子邮件经过验证
Schahram DustdarProfessor of Computer Science, Member of Academia Europaea, IEEE|EAI|AAIA Fellow, TU Wien, Austria在 dsg.tuwien.ac.at 的电子邮件经过验证
Klaus Pohlpaluno, Univ. Duisburg-Essen在 paluno.uni-due.de 的电子邮件经过验证

关注

Manuel Carro

IMDEA Software Institute and Universidad Politécnica de Madrid

在 imdea.org 的电子邮件经过验证

computer science computational logic knowledge representation and reasoning


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	213	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	180	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	168	2013
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
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	119	2018
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, M Hermenegildo	77	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	63	2011
Using attributed variables in the implementation of concurrent and parallel logic programming systems M Hermenegildo, D Cabeza, M Carro	59	1995
Justifications for goal-directed constraint answer set programming J Arias, M Carro, Z Chen, G Gupta arXiv preprint arXiv:2009.10238, 2020	54	2020
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
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
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	34	2022
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
Relating data-parallelism and (and-) parallelism in logic programs MV Hermenegildo, M Carro Computer languages 22 (2-3), 143-163, 1996	34*	1996

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用