Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Gutierrez, Julian
434  Ergebnisse:
Artikel (Online) X
englisch X
?
1

A combined experimental and DFT study on the zero valent ir..:

Gutiérrez, Julián ; Robein, Yael N. ; Juan, Julián...
Sensors and Actuators B: Chemical.  404 (2024)  - p. 135233 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Extending the IoT-Stream Model with a Taxonomy for Sensors ..:

Santos, Rodrigo ; Eggly, Gabriel ; Gutierrez, Julián.
Sustainability.  15 (2023)  8 - p. 6594 , 2023
Link: https://doi.org/10.3390/..
 
?
3

A Random-Supply Mean Field Game Price Model:

Gomes, Diogo ; Gutierrez, Julian ; Ribeiro, Ricardo
SIAM Journal on Financial Mathematics.  14 (2023)  1 - p. 188-222 , 2023
Link: https://doi.org/10.1137/..
 
?
4

Cooperative concurrent games:

Gutierrez, Julian ; Kowara, Szymon ; Kraus, Sarit..
Artificial Intelligence.  314 (2023)  - p. 103806 , 2023
Link: https://doi.org/10.1016/..
 
?
5

Machine Learning Architectures for Price Formation Models:

Gomes, Diogo ; Gutierrez, Julian ; Laurière, Mathieu
Applied Mathematics & Optimization.  88 (2023)  1 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
6

Mean-Payoff Games with ω-Regular Specifications:

Gutierrez, Julian ; Steeples, Thomas ; Wooldridge, Michael
Games.  13 (2022)  1 - p. 19 , 2022
Link: https://doi.org/10.3390/..
 
?
7

On the complexity of rational verification:

Gutierrez, Julian ; Najib, Muhammad ; Perelli, Giuseppe.
Annals of Mathematics and Artificial Intelligence.  91 (2022)  4 - p. 409-430 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Open Source Automated Flow Analysis Instrument for Detectin..:

Gutiérrez, Julián ; Mochen, Juan Pablo ; Eggly, Gabriel..
HardwareX.  11 (2022)  - p. e00284 , 2022
Link: https://doi.org/10.1016/..
 
?
9

Multi-player games with LDL goals over finite traces:

Gutierrez, Julian ; Perelli, Giuseppe ; Wooldridge, Michael
Information and Computation.  276 (2021)  - p. 104555 , 2021
Link: https://doi.org/10.1016/..
 
?
10

Expressiveness and Nash Equilibrium in Iterated Boolean Gam..:

Gutierrez, Julian ; Harrenstein, Paul ; Perelli, Giuseppe.
ACM Transactions on Computational Logic.  22 (2021)  2 - p. 1-38 , 2021
Link: https://doi.org/10.1145/..
 
?
11

Partial Order Games:

Zahoransky, Valeria ; Gutierrez, Julian ; Harrenstein, Paul.
Games.  13 (2021)  1 - p. 2 , 2021
Link: https://doi.org/10.3390/..
 
?
12

Expressiveness and Nash Equilibrium in Iterated Boolean Gam..:

Gutierrez, Julian ; Harrenstein, Paul ; Perelli, Giuseppe.
ACM Transactions on Computational Logic (TOCL).  22 (2021)  2 - p. 1-38 , 2021
Link: https://dl.acm.org/doi/1..
 
?
13

Rational verification: game-theoretic verification of multi..:

Abate, Alessandro ; Gutierrez, Julian ; Hammond, Lewis...
Applied Intelligence.  51 (2021)  9 - p. 6569-6584 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Automated temporal equilibrium analysis: Verification and s..:

Gutierrez, Julian ; Najib, Muhammad ; Perelli, Giuseppe.
Artificial Intelligence.  287 (2020)  - p. 103353 , 2020
Link: https://doi.org/10.1016/..
 
?
15

Equilibria for games with combined qualitative and quantita..:

Gutierrez, Julian ; Murano, Aniello ; Perelli, Giuseppe...
Acta Informatica.  58 (2020)  6 - p. 585-610 , 2020
Link: https://doi.org/10.1007/..
 
1-15