( en | de | ru )

 

Disambiguation of "Valencia, Frank"

Author of the publication

copydeleteadd this publication to your clipboard
Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents.

, , , , , and . CONCUR, volume 140 of LIPIcs, page 29:1-29:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alvaro Valencia

William Valencia

Meiser Valencia

Ray Valencia

Emperatriz Valencia Chaves

 

Other publications of authors with the same name

Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming., , , and . WRLA@ETAPS, volume 11152 of Lecture Notes in Computer Science, page 226-244. Springer, (2018)Counting and Computing Join-Endomorphisms in Lattices., , , and . RAMiCS, volume 12062 of Lecture Notes in Computer Science, page 253-269. Springer, (2020)Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge., , , and . RAMiCS, volume 13027 of Lecture Notes in Computer Science, page 413-432. Springer, (2021)Toward a Formal Model for Group Polarization in Social Networks., , and . The Art of Modelling Computational Systems, volume 11760 of Lecture Notes in Computer Science, page 419-441. Springer, (2019)Fairness and Consensus in a Gossip Model of Social Networks., , , and . CoRR, (2023)Reducing Weak to Strong Bisimilarity in CCP, , , and . ICE, volume 104 of EPTCS, page 2-16. (2012)Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic., , , and . WRLA, volume 14953 of Lecture Notes in Computer Science, page 104-123. Springer, (2024)A Formal Model for Polarization under Confirmation Bias in Social Networks., , , , and . Log. Methods Comput. Sci., (2023)Reasoning about distributed information with infinitely many agents., , , , , and . J. Log. Algebraic Methods Program., (2021)On the Impossibility of Non-trivial Accuracy in Presence of Fairness Constraints., , , and . AAAI, page 7993-8000. AAAI Press, (2022)