Author of the publication

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.

 

Other publications of authors with the same name

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)Counting and Computing Join-Endomorphisms in Lattices., , , and . RAMiCS, volume 12062 of Lecture Notes in Computer Science, page 253-269. Springer, (2020)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)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)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)Consensus in Models for Opinion Dynamics with Generalized-Bias., , , and . CoRR, (2024)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)Make Puzzles Great Again., , , and . The Art of Modelling Computational Systems, volume 11760 of Lecture Notes in Computer Science, page 442-459. Springer, (2019)Universal Timed Concurrent Constraint Programming., , and . ICLP, volume 4670 of Lecture Notes in Computer Science, page 464-465. Springer, (2007)