Frank Darwin Valencia Posso

2022

On the Impossibility of Non-trivial Accuracy in Presence of Fairness Constraints

Pinzón, C., Palamidessi, C., Piantanida, P. & Valencia, F., 30 jun. 2022, AAAI-22 Technical Tracks 7. Association for the Advancement of Artificial Intelligence, p. 7993-8000 8 p. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022; vol. 36).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

4 Citas (Scopus)

2021

A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks

Alvim, M. S., Amorim, B., Knight, S., Quintero, S. & Valencia, F., 2021, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Peters, K. & Willemse, T. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 22-41 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

4 Citas (Scopus)

Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge

Pinzón, C., Quintero, S., Ramírez, S. & Valencia, F., 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 413-432 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

2020

Counting and Computing Join-Endomorphisms in Lattices

Quintero, S., Ramirez, S., Rueda, C. & Valencia, F., 2020, Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Proceedings. Fahrenberg, U., Jipsen, P. & Winter, M. (eds.). Springer, p. 253-269 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12062 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

2 Citas (Scopus)

2019

Reasoning about distributed knowledge of groups with infinitely many agents

Guzmán, M., Knight, S., Quintero, S., Ramírez, S., Rueda, C. & Valencia, F., ago. 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

4 Citas (Scopus)

2018

Real-time rewriting logic semantics for spatial concurrent constraint programming

Ramírez, S., Romero, M., Rocha, C. & Valencia, F., 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer Verlag, p. 226-244 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

1 Cita (Scopus)

2017

D-SPACES: Implementing Declarative Semantics for Spatially Structured Information

Haar, S., Perchy, S. & Valencia, F., 29 mar. 2017, Proceedings - IEEE 11th International Conference on Semantic Computing, ICSC 2017. Institute of Electrical and Electronics Engineers Inc., p. 227-233 7 p. 7889532. (Proceedings - IEEE 11th International Conference on Semantic Computing, ICSC 2017).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

1 Cita (Scopus)

2016

Deriving inverse operators for modal logic

Guzmán, M., Perchy, S., Rueda, C. & Valencia, F. D., 2016, Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings. Wang, F. & Sampaio, A. (eds.). Springer Verlag, p. 214-232 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9965 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

5 Citas (Scopus)

On the expressiveness of spatial constraint systems

Guzmán, M. & Valencia, F. D., 01 nov. 2016, Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016. King, A., Saeedloei, N., De Vos, M. & Linares, M. C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16. (OpenAccess Series in Informatics; vol. 52).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

1 Cita (Scopus)

2015

A labelled semantics for soft concurrent constraint programming

Gadducci, F., Santini, F., Pino, L. F. & Valencia, F. D., 2015, Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings. Holvoet, T. & Viroli, M. (eds.). Springer Verlag, p. 133-149 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9037).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

4 Citas (Scopus)

An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic

Haar, S., Perchy, S., Rueda, C. & Valencia, F., 14 jul. 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015. Association for Computing Machinery, Inc, p. 161-172 12 p. (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

12 Citas (Scopus)

Theoretical aspects of computing - ICTAC 2015: 12th international colloquium cali, Colombia, October 29-31, 2015 proceedings

Leucker, M., Rueda, C. & Valencia, F. D., 2015, Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings. Leucker, M., Rueda, C., Valencia, F. D. & Valencia, F. D. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9399).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

2013

Efficient computation of program equivalence for confluent concurrent constraint programming

Pino, L. F., Bonchi, F. & Valencia, F. D., 2013, Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013. p. 263-274 12 p. (Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

3 Citas (Scopus)

2012

Partition refinement for bisimilarity in CCP

Aristizabal, A., Bonchi, F., Valencia, F. D. & Pino, L. F., 2012, 27th Annual ACM Symposium on Applied Computing, SAC 2012. p. 88-93 6 p. (Proceedings of the ACM Symposium on Applied Computing).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

6 Citas (Scopus)

Spatial and epistemic modalities in constraint-based process calculi

Knight, S., Palamidessi, C., Panangaden, P. & Valencia, F. D., 2012, Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings. p. 317-332 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7454 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

32 Citas (Scopus)

2011

Deriving labels and bisimilarity for concurrent constraint programming

Aristizábal, A., Bonchi, F., Palamidessi, C., Pino, L. & Valencia, F., 2011, Foundations of Software Science and Computational Structures - 14th Int. Conf., FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. Springer Verlag, p. 138-152 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6604 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

17 Citas (Scopus)

Modeling cellular signaling systems: An abstraction-refinement approach

Hermith, D., Olarte, C., Rueda, C. & Valencia, F. D., 2011, 5th International Conference on Practical Applications of Computational Biology and Bioinformatics (PACBB 2011). Rocha, M., Corchado Rodriguez, J., Fdez-Riverola, F. & Valencia, A. (eds.). p. 321-328 8 p. (Advances in Intelligent and Soft Computing; vol. 93).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

3 Citas (Scopus)

2009

An overview of FORCES: An INRIA project on declarative formalisms for emergent systems

Aranda, J., Assayag, G., Olarte, C., Pérez, J. A., Rueda, C., Toro, M. & Valencia, F. D., 2009, Logic Programming - 25th International Conference, ICLP 2009, Proceedings. p. 509-513 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5649 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

3 Citas (Scopus)

On the expressive power of restriction and priorities in ccs with replication

Aranda, J., Valencia, F. D. & Versari, C., 2009, Foundations of Software Science and Computational Structures - 12th International Conference, FOSSACS 2009 - Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2009, Proc.. p. 242-256 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5504 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

13 Citas (Scopus)

2008

On the asynchronous nature of the asynchronous π-calculus

Beauxis, R., Palamidessi, C. & Valencia, F. D., 2008, Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. p. 473-492 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5065 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

16 Citas (Scopus)

Stochastic behavior and explicit discrete time in concurrent constraint programming

Aranda, J., Pérez, J. A., Rueda, C. & Valencia, F. D., 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 682-686 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

3 Citas (Scopus)

The expressivity of universal timed CCP: Undecidability of monadic FLTL and closure operators for security

Olarte, C. & Valencia, F. D., 2008, PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. p. 8-19 12 p. (PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

13 Citas (Scopus)

Universal concurrent constraint programing: Symbolic semantics and applications to security

Olarte, C. & Valencia, F. D., 2008, Proceedings of the 23rd Annual ACM Symposium on Applied Computing, SAC'08. p. 145-150 6 p. (Proceedings of the ACM Symposium on Applied Computing).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

25 Citas (Scopus)

2007

CCS with replication in the chomsky hierarchy: The expressive power of divergence

Aranda, J., Di Giusto, C., Nielsen, M. & Valencia, F. D., 2007, Programming Languages and Systems - 5th Asian Symposium, APLAS 2007, Proceedings. Springer Verlag, p. 383-398 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4807 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

5 Citas (Scopus)

Declarative diagnosis of temporal concurrent constraint programs

Falaschi, M., Olarte, C., Palamidessi, C. & Valencia, F., 2007, Logic Programming - 23rd International Conference, ICLP 2007, Proceedings. Springer Verlag, p. 271-285 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4670 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

12 Citas (Scopus)

On recursion, replication and scope mechanisms in process calculi

Aranda, J., Giusto, C. D., Palamidessi, C. & Valencia, F. D., 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 185-206 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4709 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

5 Citas (Scopus)

Universal timed concurrent constraint programming

Olarte, C., Palamidessi, C. & Valencia, F., 2007, Logic Programming - 23rd International Conference, ICLP 2007, Proceedings. Springer Verlag, p. 464-465 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4670 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

1 Cita (Scopus)

2006

A declarative framework for security: Secure concurrent constraint programming

López, H. A., Palamidessi, C., Pérez, J. A., Rueda, C. & Valencia, F. D., 2006, Logic Programming - 22nd International Conference, ICLP 2006, Proceedings. Springer Verlag, p. 449-450 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4079 LNCS).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

5 Citas (Scopus)

On the expressiveness of linearity vs persistence in the asychronous pi-calculus

Palamidessi, C., Saraswat, V., Valencia, F. D. & Victor, B., 2006, Proceedings - 21st Annual IEEE Symposium on Logic in Computer Science, LICS 2006. p. 59-68 10 p. 1691217. (Proceedings - Symposium on Logic in Computer Science).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Acceso abierto

31 Citas (Scopus)

2002

On the expressive power of temporal concurrent constraint programming languages

Nielsen, M., Palamidessi, C. & Valencia, F. D., 2002, Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02). Association for Computing Machinery (ACM), p. 156-167 12 p. (Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02)).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

25 Citas (Scopus)

2001

A temporal concurrent constraint programming calculus

Palamidessi, C. & Valencia, F. D., 2001, Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings. Walsh, T. (ed.). Springer Verlag, p. 302-316 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2239).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

21 Citas (Scopus)

Temporal concurrent constraint programming

Valencia, F. D., 2001, Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings. Walsh, T. (ed.). Springer Verlag, p. 786 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2239).

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

1 Cita (Scopus)

Frank Darwin Valencia Posso

Producción

Resultados de la búsqueda