Frank D. Valencia

Available identifiers

zbMath Open valencia.frank-dMaRDI QIDQ347367

List of research outcomes

Publication	Date of Publication	Type
Real-time rewriting logic semantics for spatial concurrent constraint programming	2023-07-28	Paper
Computing distributed knowledge as the greatest lower bound of knowledge	2023-03-30	Paper
A Formal Model for Polarization under Confirmation Bias in Social Networks	2023-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q5875391	2023-02-03	Paper
Counting and Computing Join-Endomorphisms in Lattices (Revisited)	2022-11-01	Paper
Counting and Computing Join-Endomorphisms in Lattices	2022-08-30	Paper
A multi-agent model for polarization under confirmation bias in social networks	2022-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q3385648	2021-12-20	Paper
Reasoning about distributed information with infinitely many agents	2021-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4986260	2021-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q5208771	2020-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5240218	2019-10-24	Paper
Characterizing right inverses for spatial constraint systems with applications to modal logic	2018-09-24	Paper
Observational and behavioural equivalences for soft concurrent constraint programming	2017-09-12	Paper
Deriving Inverse Operators for Modal Logic	2016-12-21	Paper
Belief, knowledge, lies and other utterances in an algebra for space and extrusion	2016-11-30	Paper
Models and emerging trends of concurrent constraint programming	2015-06-15	Paper
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice	2015-01-13	Paper
Timed Concurrent Constraint Programming for Analysing Biological Systems	2013-12-06	Paper
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus	2013-12-06	Paper
Spatial and Epistemic Modalities in Constraint-Based Process Calculi	2012-09-25	Paper
Deriving Labels and Bisimilarity for Concurrent Constraint Programming	2011-05-19	Paper
Concurrent and Reactive Constraint Programming	2010-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q3396569	2009-09-19	Paper
Logic Programming	2009-08-06	Paper
Logic Programming	2009-08-06	Paper
On the Expressive Power of Restriction and Priorities in CCS with Replication	2009-03-31	Paper
Declarative Diagnosis of Temporal Concurrent Constraint Programs	2009-03-05	Paper
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming	2009-01-22	Paper
On Recursion, Replication and Scope Mechanisms in Process Calculi	2008-09-17	Paper
On the Asynchronous Nature of the Asynchronous π-Calculus	2008-06-19	Paper
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence	2008-05-15	Paper
A Declarative Framework for Security: Secure Concurrent Constraint Programming	2008-03-11	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
Lectures on Concurrency and Petri Nets	2005-12-23	Paper
Logic Programming	2005-08-26	Paper
Decidability of infinite-state timed CCP processes and first-order LTL	2005-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4738301	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4475640	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4735934	2004-08-09	Paper
Integrating constraints and concurrent objects in musical applications: A calculus and its visual language	2003-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q3150207	2002-12-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Frank D. Valencia