Search Results - "ANTONIO CASARES" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

$Half-Positional Objectives Recognized by Deterministic B\"uchi Automata$

Half-Positional Objectives Recognized by Deterministic B\"uchi Automata

by Bouyer, Patricia, Casares, Antonio, Randour, Mickael, Vandenhove, Pierre
Published in Logical methods in computer science (29.08.2024)

Get full text

Journal Article

Quantum simulation of battery materials using ionic pseudopotentials

Quantum simulation of battery materials using ionic pseudopotentials

by Shokrian Zini, Modjtaba, Delgado, Alain, dos Reis, Roberto, Moreno Casares, Pablo Antonio, Mueller, Jonathan E., Voigt, Arne-Christian, Arrazola, Juan Miguel
Published in Quantum (Vienna, Austria) (10.07.2023)

Get full text

Journal Article

Half-Positional Objectives Recognized by Deterministic Büchi Automata

Half-Positional Objectives Recognized by Deterministic Büchi Automata

by Bouyer, Patricia, Casares, Antonio, Randour, Mickael, Vandenhove, Pierre
Published in Logical methods in computer science (29.08.2024)

Get full text

Journal Article

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism

by Casares, Antonio, Colcombet, Thomas, Fijalkow, Nathanaël, Lehtinen, Karoliina
Published in TheoretiCS (24.04.2024)

Get full text

Journal Article

Effect of goal-directed haemodynamic therapy on postoperative complications in low–moderate risk surgical patients: a multicentre randomised controlled trial (FEDORA trial)

Effect of goal-directed haemodynamic therapy on postoperative complications in low–moderate risk surgical patients: a multicentre randomised controlled trial (FEDORA trial)

by Calvo-Vecino, J.M., Ripollés-Melchor, J., Mythen, M.G., Casans-Francés, R., Balik, A., Artacho, J.P., Martínez-Hurtado, E., Serrano Romero, A., Fernández Pérez, C., Asuero de Lis, S., Errazquin, Ana Tirado, Gil Lapetra, Cristina, Motos, Ane Abad, Reche, Elena Garrido, Medraño Viñas, Cristina, Villaba, Raúl, Cobeta, Pilar, Ureta, Eva, Montiel, María, Mané, Nuria, Martínez Castro, Nilda, Horno, Gema Aleson, Salas, Rebeca Alonso, Bona García, Carmen, Ferrer Ferrer, Marta L., Franco Abad, Marta, García Lecina, Ana C., Antón, Julia Guillén, Gascón, Guillermo Hojas, Peligro Deza, Javier, Pascual, Leticia Pérez, Ruiz Garcés, Tomás, Roberto Alcácer, Ana T., Badura, Marek, Terrer Galera, Eduardo, Fernández Casares, Antonio, Martínez Fernández, Maria Carmen, Espinosa, Ángel, Abad-Gurumeta, Alfredo, Feldheiser, Aarne, López Timoneda, Francisco, Zuleta-Alarcón, Alix, Bergese, Sergio
Published in British journal of anaesthesia : BJA (01.04.2018)

Get full text

Journal Article

On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions

On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions

by Casares, Antonio
Year of Publication 25.05.2021

Get full text

Journal Article

$Positional $\omega$-regular languages$

Positional $\omega$-regular languages

by Casares, Antonio, Ohlmann, Pierre
Year of Publication 27.01.2024

Get full text

Journal Article

$The Complexity of Simplifying $\omega$-Automata through the Alternating Cycle Decomposition$

The Complexity of Simplifying $\omega$-Automata through the Alternating Cycle Decomposition

by Casares, Antonio, Mascle, Corto
Year of Publication 08.01.2024

Get full text

Journal Article

Characterising memory in infinite games

Characterising memory in infinite games

by Casares, Antonio, Ohlmann, Pierre
Year of Publication 24.09.2022

Get full text

Journal Article

Fast value iteration for energy games

Fast value iteration for energy games

by Casares, Antonio, Ohlmann, Pierre
Year of Publication 14.10.2021

Get full text

Journal Article

$A positional $\mathbf{\Pi}^0_3$-complete objective$

A positional $\mathbf{\Pi}^0_3$-complete objective

by Casares, Antonio, Ohlmann, Pierre, Vandenhove, Pierre
Year of Publication 03.10.2024

Get full text

Journal Article

On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions

On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions

by Casares, Antonio
Published in arXiv.org (05.11.2021)

Get full text

Paper

Optimal Transformations of Muller Conditions

Optimal Transformations of Muller Conditions

by Casares, Antonio, Colcombet, Thomas, Fijalkow, Nathanaël
Published in arXiv.org (19.10.2023)

Get full text

Paper Journal Article

$The Complexity of Simplifying \(\omega\)-Automata through the Alternating Cycle Decomposition$

The Complexity of Simplifying \(\omega\)-Automata through the Alternating Cycle Decomposition

by Casares, Antonio, Mascle, Corto
Published in arXiv.org (28.06.2024)

Get full text

Paper

Characterising memory in infinite games

Characterising memory in infinite games

by Casares, Antonio, Ohlmann, Pierre
Published in arXiv.org (29.02.2024)

Get full text

Paper

$Half-positional \(\omega\)-regular languages$

Half-positional \(\omega\)-regular languages

by Casares, Antonio, Ohlmann, Pierre
Published in arXiv.org (27.01.2024)

Get full text

Paper

$On the Minimisation of Deterministic and History-Deterministic Generalised (co)B\"uchi Automata$

On the Minimisation of Deterministic and History-Deterministic Generalised (co)B\"uchi Automata

by Casares, Antonio, Idir, Olivier, Kuperberg, Denis, Mascle, Corto, Prakash, Aditya
Year of Publication 25.07.2024

Get full text

Journal Article

On the size of good-for-games Rabin automata and its link with the memory in Muller games

On the size of good-for-games Rabin automata and its link with the memory in Muller games

by Casares, Antonio, Colcombet, Thomas, Lehtinen, Karoliina
Year of Publication 24.04.2022

Get full text

Journal Article

On the ESL algorithm for solving energy games

On the ESL algorithm for solving energy games

by Casares, Antonio, Ohlmann, Pierre
Published in arXiv.org (14.10.2021)

Get full text

Paper

$A positional \(\mathbf{\Pi}^0_3\)-complete objective$

A positional \(\mathbf{\Pi}^0_3\)-complete objective

by Casares, Antonio, Ohlmann, Pierre, Vandenhove, Pierre
Published in arXiv.org (03.10.2024)

Get full text

Paper

1
2
3
4
5
6
7
8
Next
[8]