Salim Perchy

According to our database, Salim Perchy authored at least 10 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Procedural Bridges-and-pillars Support Generation.

Marco Freire, Samuel Hornus, Salim Perchy, Sylvain Lefebvre

Proceedings of the 43rd Annual Conference of the European Association for Computer Graphics, 2022

2018

Characterizing right inverses for spatial constraint systems with applications to modal logic.

Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia

Theor. Comput. Sci., 2018

2017

Belief, knowledge, lies and other utterances in an algebra for space and extrusion.

Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia

J. Log. Algebraic Methods Program., 2017

Declarative Framework for Semantical Interpretations of Structured Information - An Applicative Approach.

Stefan Haar, Salim Perchy, Frank Valencia

Int. J. Semantic Comput., 2017

D-SPACES: Implementing Declarative Semantics for Spatially Structured Information.

Stefan Haar, Salim Perchy, Frank D. Valencia

Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

2016

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).

Salim Perchy

PhD thesis, 2016

Deriving Inverse Operators for Modal Logic.

Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

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

Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Opinions and Beliefs as constraint system operators.

Salim Perchy, Frank Valencia

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

2013

Multimedia Interaction with NTCC. (Interacción Multimedia con NTCCInteraction Multimédia avec NTCC).

Salim Perchy

MSc thesis, 2013