Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Carro, Manuel
351  Ergebnisse:
englisch X
Personensuche X
?
1

Building Information Modeling Using Constraint Logic Progra..:

ARIAS, JOAQUÍN ; TÖRMÄ, SEPPO ; CARRO, MANUEL.
Theory and Practice of Logic Programming.  22 (2022)  5 - p. 723-738 , 2022
Link: https://doi.org/10.1017/..
 
?
2

Modeling and Reasoning in Event Calculus using Goal-Directe..:

ARIAS, JOAQUÍN ; CARRO, MANUEL ; CHEN, ZHUO.
Theory and Practice of Logic Programming.  22 (2021)  1 - p. 51-80 , 2021
Link: https://doi.org/10.1017/..
 
?
3

Description, Implementation, and Evaluation of a Generic De..:

ARIAS, JOAQUÍN ; CARRO, MANUEL
Theory and Practice of Logic Programming.  19 (2019)  3 - p. 412-448 , 2019
Link: https://doi.org/10.1017/..
 
?
4

Evaluation of the Implementation of an Abstract Interpretat..:

ARIAS, JOAQUÍN ; CARRO, MANUEL
Theory and Practice of Logic Programming.  19 (2019)  5-6 - p. 1107-1123 , 2019
Link: https://doi.org/10.1017/..
 
?
5

Constraint Answer Set Programming without Grounding:

ARIAS, JOAQUIN ; CARRO, MANUEL ; SALAZAR, ELMER..
Theory and Practice of Logic Programming.  18 (2018)  3-4 - p. 337-354 , 2018
Link: https://doi.org/10.1017/..
 
?
6

Description and evaluation of a generic design to integrate..:

, In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming,
Arias, Joaquín ; Carro, Manuel - p. 10-23 , 2016
Link: https://dl.acm.org/doi/1..
 
?
7

Introduction to the 32nd International Conference on Logic ..:

CARRO, MANUEL ; KING, ANDY
Theory and Practice of Logic Programming.  16 (2016)  5-6 - p. 509-514 , 2016
Link: https://doi.org/10.1017/..
 
?
8

Description and Optimization of Abstract Machines in a Dial..:

MORALES, JOSÉ F. ; CARRO, MANUEL ; HERMENEGILDO, MANUEL
Theory and Practice of Logic Programming.  16 (2015)  1 - p. 1-58 , 2015
Link: https://doi.org/10.1017/..
 
?
9

A model-driven approach to teaching concurrency:

Carro, Manuel ; Herranz, Ángel ; Mariño, Julio
ACM Transactions on Computing Education.  13 (2013)  1 - p. 1-19 , 2013
Link: https://doi.org/10.1145/..
 
?
10

A survey on service quality description:

Kritikos, Kyriakos ; Pernici, Barbara ; Plebani, Pierluigi...
ACM Computing Surveys.  46 (2013)  1 - p. 1-58 , 2013
Link: https://doi.org/10.1145/..
 
?
11

A survey on service quality description:

Kritikos, Kyriakos ; Pernici, Barbara ; Plebani, Pierluigi...
ACM Computing Surveys (CSUR).  46 (2013)  1 - p. 1-58 , 2013
Link: https://dl.acm.org/doi/1..
 
?
12

A model-driven approach to teaching concurrency:

Carro, Manuel ; Herranz, Ángel ; Mariño, Julio
ACM Transactions on Computing Education (TOCE).  13 (2013)  1 - p. 1-19 , 2013
Link: https://dl.acm.org/doi/1..
 
?
13

A sharing-based approach to supporting adaptation in servic..:

Ivanović, Dragan ; Carro, Manuel ; Hermenegildo, Manuel V.
Computing.  95 (2012)  6 - p. 453-492 , 2012
Link: https://doi.org/10.1007/..
 
?
14

A segment-swapping approach for executing trapped computati..:

, In: Proceedings of the 14th international conference on Practical Aspects of Declarative Languages,
Chico de Guzm$#225;n, Pablo ; Casas, Amadeo ; Carro, Manuel. - p. 138-152 , 2012
Link: https://dl.acm.org/doi/1..
 
?
15

Analyzing service-oriented systems using their data and str..:

, In: Proceedings of the First International Workshop on European Software Services and Systems Research: Results and Challenges,
Ivanović, Dragan ; Carro, Manuel ; Hermenegildo, Manuel - p. 47-48 , 2012
Link: https://dl.acm.org/doi/1..
 
1-15