E-LIB Suche - Ergebnisse für: Valencia, Frank

1

A Multi-agent Model for Opinion Evolution in Social Network..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Alvim, Mário S. ; Gaspar da Silva, Artur ; Knight, Sophia. - p. 3-19 , 2024

2

A Formal Model for Polarization under Confirmation Bias in ..:

Alvim, Mário S. ; Amorim, Bernardo ; Knight, Sophia..
Logical Methods in Computer Science. 19, Issue 1 (2023) - p. , 2023

Link: https://doi.org/10.46298..

3

On the incompatibility of accuracy and equal opportunity:

Pinzón, Carlos ; Palamidessi, Catuscia ; Piantanida, Pablo.
Machine Learning. 113 (2023) 5 - p. 2405-2434 , 2023

Link: https://doi.org/10.1007/..

4

Computing Distributed Knowledge as the Greatest Lower Bound..:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Pinzón, Carlos ; Quintero, Santiago ; Ramírez, Sergio. - p. 413-432 , 2021

Link: https://doi.org/10.1007/..

5

A Multi-agent Model for Polarization Under Confirmation Bia..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Alvim, Mário S. ; Amorim, Bernardo ; Knight, Sophia.. - p. 22-41 , 2021

Link: https://doi.org/10.1007/..

6

Reasoning about distributed information with infinitely man..:

Guzmán, Michell ; Knight, Sophia ; Quintero, Santiago...
Journal of Logical and Algebraic Methods in Programming. 121 (2021) - p. 100674 , 2021

Link: https://doi.org/10.1016/..

7

Counting and Computing Join-Endomorphisms in Lattices:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Quintero, Santiago ; Ramirez, Sergio ; Rueda, Camilo. - p. 253-269 , 2020

Link: https://doi.org/10.1007/..

8

Catuscia Palamidessi : a journey from logic and concurre..:

Alvim, Mário S. ; Chatzikokolakis, Konstantinos ; Olarte, Carlos.
ACM SIGLOG News. 7 (2020) 1 - p. 47-50 , 2020

Link: https://dl.acm.org/doi/1..

9

Catuscia Palamidessi: a journey from logic and concurrency ..:

Alvim, Mário S. ; Chatzikokolakis, Konstantinos ; Olarte, Carlos.
ACM SIGLOG News. 7 (2020) 1 - p. 47-50 , 2020

Link: https://doi.org/10.1145/..

10

The Art of Modelling Computational Systems: A Journey from ..

Theoretical Computer Science and General Issues, 11760

Alvim, Mário S ; Chatzikokolakis, Kostas ; Olarte, Carlos. - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..

11

Toward a Formal Model for Group Polarization in Social Netw..:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,

Alvim, Mário S. ; Knight, Sophia ; Valencia, Frank - p. 419-441 , 2019

Link: https://doi.org/10.1007/..

12

Make Puzzles Great Again:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,

Aristizabal, Nicolás ; Pinzón, Carlos ; Rueda, Camilo. - p. 442-459 , 2019

Link: https://doi.org/10.1007/..

13

Characterizing right inverses for spatial constraint system..:

Guzmán, Michell ; Perchy, Salim ; Rueda, Camilo.
Theoretical Computer Science. 744 (2018) - p. 56-77 , 2018

Link: https://doi.org/10.1016/..

14

Preface to special issue: ICTAC 2015:

LEUCKER, MARTIN ; PÉREZ, JORGE A. ; RUEDA, CAMILO.
Mathematical Structures in Computer Science. 29 (2018) 1 - p. 1-2 , 2018

Link: https://doi.org/10.1017/..

15

Real-Time Rewriting Logic Semantics for Spatial Concurrent ..:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,

Ramírez, Sergio ; Romero, Miguel ; Rocha, Camilo. - p. 226-244 , 2018

Link: https://doi.org/10.1007/..