Valencia, Frank
Valencia, Frank D., 1973-
Valencia, Frank D.
Valencia, F. D. (Frank D.)
VIAF ID: 307282578 (Personal)
Permalink: http://viaf.org/viaf/307282578
Preferred Forms
-
- 100 1 _ ‡a Valencia, Frank
- 100 1 _ ‡a Valencia, Frank D ‡d 1973-
-
-
- 100 1 _ ‡a Valencia, Frank D., ‡d 1973-
-
4xx's: Alternate Name Forms (6)
5xx's: Related Names (1)
- 511 2 _ ‡a Laboratoire d'informatique de l'École polytechnique (Palaiseau, Essonne)
Works
Title | Sources |
---|---|
The art of modelling computational systems : a journey from logic and concurrency to security and privacy : essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday | |
Des études sur l’équité et la confidentialité dans l’apprentissage automatique. | |
Exploring fairness and privacy in machine learning | |
On the expressiveness of spatial constraint systems | |
On the expressivity of infinite and local behaviour in fragments of the pi-calculus | |
Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes | |
Opinions, Mensonges et Connaissance. Une Approche Algébrique à la Mobilité de l’Information et des Processus.. | |
Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, c2008: | |
Sémantique formelle et vérification automatique de scénarios hiérarchiques multimédia avec des choix interactifs | |
SOFSEM 2009 : Theory and Practice of Computer Science : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009 : Proceedings | |
Sur l'expressivité des systèmes de contraintes spatiales. | |
Sur l'expressivité du comportement infini et local dans quelques fragments du calcul pi. | |
Techniques de bisimulation et algorithmes pour la programmation concurrente par contraintes. | |
Theoretical Aspects of Computing – ICTAC 2015 : 12th International Colloquium Cali, Colombia, October 29–31, 2015, Proceedings | |
Universal temporal Concurrent Constraint Programming |