Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Comin, Carlo
59  Ergebnisse:
Personensuche X
?
1

Sorting with forbidden intermediates:

Comin, Carlo ; Labarre, Anthony ; Rizzi, Romeo.
Discrete Applied Mathematics.  279 (2020)  - p. 49-68 , 2020
Link: https://doi.org/10.1016/..
 
?
2

Instantaneous reaction-time in dynamic consistency checking..:

Cairo, Massimo ; Comin, Carlo ; Rizzi, Romeo
Journal of Logical and Algebraic Methods in Programming.  113 (2020)  - p. 100542 , 2020
Link: https://doi.org/10.1016/..
 
?
3

Checking dynamic consistency of conditional hyper temporal ..:

Comin, Carlo ; Rizzi, Romeo
Information and Computation.  259 (2018)  - p. 348-374 , 2018
Link: https://doi.org/10.1016/..
 
?
4

An Improved Upper Bound on Maximal Clique Listing via Recta..:

Comin, Carlo ; Rizzi, Romeo
Algorithmica.  80 (2018)  12 - p. 3525-3562 , 2018
Link: https://doi.org/10.1007/..
 
?
5

Improved Pseudo-polynomial Bound for the Value Problem and ..:

Comin, Carlo ; Rizzi, Romeo
Algorithmica.  77 (2016)  4 - p. 995-1021 , 2016
Link: https://doi.org/10.1007/..
 
?
6

Instantaneous Reaction-Time in Dynamic-Consistency Checking..:

, In: 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME),
Cairo, Massimo ; Comin, Carlo ; Rizzi, Romeo - p. 80-89 , 2016
Link: https://doi.org/10.1109/..
 
?
7

Hyper temporal networks: A tractable generalization of simp..:

Comin, Carlo ; Posenato, Roberto ; Rizzi, Romeo
Constraints.  22 (2016)  2 - p. 152-190 , 2016
Link: https://doi.org/10.1007/..
 
?
8

Sorting With Forbidden Intermediates:

Comin, Carlo ; Labarre, Anthony ; Rizzi, Romeo.
info:eu-repo/semantics/altIdentifier/arxiv/1602.06283.  , 2019
Link: https://hal.science/hal-..
 
?
9

Sorting With Forbidden Intermediates:

Comin, Carlo ; Labarre, Anthony ; Rizzi, Romeo.
info:eu-repo/semantics/altIdentifier/arxiv/1602.06283.  , 2019
Link: https://hal.science/hal-..
 
?
10

Sorting With Forbidden Intermediates:

Comin, Carlo ; Labarre, Anthony ; Rizzi, Romeo.
info:eu-repo/semantics/altIdentifier/arxiv/1602.06283.  , 2019
Link: https://hal.science/hal-..
 
?
11

Sorting With Forbidden Intermediates:

Comin, Carlo ; Labarre, Anthony ; Rizzi, Romeo.
info:eu-repo/semantics/altIdentifier/arxiv/1602.06283.  , 2019
Link: https://hal.science/hal-..
 
?
12

On Restricted Disjunctive Temporal Problems: Faster Algorit..:

Comin, Carlo ; Rizzi, Romeo
doi:10.4230/LIPIcs.TIME.2018.10.  , 2018
Link: https://doi.org/10.4230/..
 
?
13

Checking dynamic consistency of conditional hyper temporal ..:

Comin, Carlo ; Rizzi, Romeo
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ic.2017.08.008.  , 2018
Link: https://hal.science/hal-..
 
?
14

Checking dynamic consistency of conditional hyper temporal ..:

Comin, Carlo ; Rizzi, Romeo
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ic.2017.08.008.  , 2018
Link: https://hal.science/hal-..
 
?
15

Checking dynamic consistency of conditional hyper temporal ..:

Comin, Carlo ; Rizzi, Romeo
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ic.2017.08.008.  , 2018
Link: https://hal-upec-upem.ar..
 
1-15