- titre
- Procedural bridges-and-pillars support generation
- auteur
- Marco Freire, Samuel Hornus, Salim Perchy, Sylvain Lefebvre
- article
- Eurographics 2022 - 43rd annual conference of the european association for computer graphics, Apr 2022, Reims, France
- titre
- Characterizing Right Inverses for Spatial Constraint Systems with Applications to Modal Logic
- auteur
- Michell Guzmán, Salim Perchy, Camilo Rueda, Frank Valencia
- article
- Theoretical Computer Science, 2018, 744 (56--77)
- titre
- Declarative Framework for Semantical Interpretations of Structured Information — An Applicative Approach
- auteur
- Stefan Haar, Salim Perchy, Frank Valencia
- article
- International Journal of Semantic Computing, 2017, 11 (04), pp.451 - 472. ⟨10.1142/S1793351X17400189⟩
- titre
- D-SPACES: Implementing Declarative Semantics for Spatially Structured Information
- auteur
- Stefan Haar, Salim Perchy, Frank Valencia
- article
- 11th International Conference on Semantic Computing , IEEE, Jan 2017, San Diego, California, United States
- titre
- Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion
- auteur
- Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia
- article
- Journal of Logical and Algebraic Methods in Programming, 2016, ⟨10.1016/j.jlamp.2016.09.001⟩
- titre
- Deriving Inverse Operators for Modal Logic
- auteur
- Michell Guzman, Salim Perchy, Camilo Rueda, Frank Valencia
- article
- Theoretical Aspects of Computing – ICTAC 2016, Oct 2016, Taipei, Taiwan. pp.214-232, ⟨10.1007/978-3-319-46750-4_13⟩
- titre
- Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes
- auteur
- Yamil Salim Perchy
- article
- Logic in Computer Science [cs.LO]. Université Paris Saclay (COmUE), 2016. English. ⟨NNT : 2016SACLX059⟩
- titre
- Opinions and Beliefs as constraint system operators
- auteur
- Salim Perchy, Frank Valencia
- article
- Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Aug 2015, Cork, Ireland. pp.1
- titre
- An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic
- auteur
- Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia
- article
- 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Jul 2015, Siena, Italy. pp.161-172, ⟨10.1145/2790449.2790520⟩
- titre
- Multimedia Interaction with NTCC
- auteur
- Salim Perchy
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Pontificia Universidad Javeriana, 2013. English. ⟨NNT : ⟩
- titre
- Musical Composition with Stochastic Context-Free Grammars
- auteur
- Salim Perchy, Gerardo Sarria
- article
- 8th Mexican International Conference on Artificial Intelligence (MICAI 2009), Nov 2009, Guanajuato, Mexico
- titre
- DISSONANCES: BRIEF DESCRIPTION AND ITS COMPUTATIONAL REPRESENTATION IN THE RTCC CALCULUS
- auteur
- Salim Perchy, Gerardo Sarria
- article
- 6th Sound and Music Computing Conference (SMC 2009), Fabien Gouyon, Jul 2009, Porto, Portugal. pp.6