"Neurochemical models of near-death experiences: A large-scale study based on the semantic similarity of written reports" (2019) Martial, C.;Cassol, H.;Charland-Verville, V. (...)Tagliazucchi, E. Consciousness and Cognition. 69:52-69

"Automatic Detection of Negated Findings in Radiological Reports for Spanish Language: Methodology Based on Lexicon-Grammatical Information Processing" (2019) Koza, W.;Filippo, D.;Cotik, V. (...)Martínez-Gamboa, R. Journal of Digital Imaging. 32(1):19-29

"Fully Reflective Execution Environments" (2018) Chari, G.; Garbervetsky, D.; Marr, S.; Ducasse, S. IEEE Transactions on Software Engineering

"Fully Reflective Execution Environments" (2018) Chari, G.; Garbervetsky, D.; Marr, S.; Ducasse, S. IEEE Transactions on Software Engineering

"The experience elicited by hallucinogens presents the highest similarity to dreaming within a large database of psychoactive substance reports" (2018) Sanz, C.; Tagliazucchi, E. Frontiers in Neuroscience. 12(JAN)

"Automatic detection of negated findings with nooj: First results" (2018) Koza, W.;Muñoz, M.;Rivas, N. (...)Metais E. 23rd International Conference on Natural Language and Information Systems, NLDB 2018. 10859 LNCS:298-302

"The varieties of the psychedelic experience: A preliminary study of the association between the reported subjective effects and the binding affinity profiles of substituted phenethylamines and tryptamines" (2018) Zamberlan, F.;Sanz, C.;Martínez Vivot, R. (...)Tagliazucchi, E. Frontiers in Integrative Neuroscience. 12

"On the semantics and implementation of replicated data types" (2018) Gadducci, F.; Melgratti, H.; Roldán, C. Science of Computer Programming. 167:91-113

"Prediction of psychosis across protocols and risk cohorts using automated language analysis" (2018) Corcoran, C.M.;Carrillo, F.;Fernández-Slezak, D. (...)Cecchi, G.A. World Psychiatry. 17(1):67-75

"Contrasting dynamics of memory consolidation for novel word forms and meanings revealed by behavioral and neurophysiological markers" (2018) Kaczer, L.;Bavassi, L.;Petroni, A. (...)Pedreira, M.E. Neuropsychologia. 117:472-482

"Contrasting dynamics of memory consolidation for novel word forms and meanings revealed by behavioral and neurophysiological markers" (2018) Kaczer, L.;Bavassi, L.;Petroni, A. (...)Pedreira, M.E. Neuropsychologia. 117:472-482

"On observing contracts: Deontic contracts meet smart contracts" (2018) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Palmirani M. 31st International Conference on Legal Knowledge and Information Systems, JURIX 2018. 313:21-30

"The interpretation of dream meaning: Resolving ambiguity using Latent Semantic Analysis in a small corpus of text" (2017) Altszyler, E.; Ribeiro, S.; Sigman, M.; Fernández Slezak, D. Consciousness and Cognition. 56:178-187

"The interpretation of dream meaning: Resolving ambiguity using Latent Semantic Analysis in a small corpus of text" (2017) Altszyler, E.; Ribeiro, S.; Sigman, M.; Fernández Slezak, D. Consciousness and Cognition. 56:178-187

"Decidability of order-based modal logics" (2017) Caicedo, X.; Metcalfe, G.; Rodríguez, R.; Rogger, J. Journal of Computer and System Sciences. 88:53-74

"Formal specification and implementation of an automated pattern-based parallel-code generation framework" (2017) Pérez, G.; Yovine, S. International Journal on Software Tools for Technology Transfer:1-20

"Declaratively building behavior by means of scenario clauses" (2017) Asteasuain, F.; Braberman, V. Requirements Engineering. 22(2):239-274

"The first-order hypothetical logic of proofs" (2017) Steren, G.; Bonelli, E. Journal of Logic and Computation. 27(4):1023-1066

"Assessing the usefulness of online message board mining in automatic stock prediction systems" (2017) Gálvez, R.H.; Gravano, A. Journal of Computational Science. 19:43-56

"Failure to Recover from Proactive Semantic Interference and Abnormal Limbic Connectivity in Asymptomatic, Middle-Aged Offspring of Patients with Late-Onset Alzheimer's Disease" (2017) Sanchez, S.M.;Abulafia, C.;Duarte-Abritta, B. (...)Guinjoan, S.M. Journal of Alzheimer's Disease. 60(3):1183-1193

"Failure to Recover from Proactive Semantic Interference and Abnormal Limbic Connectivity in Asymptomatic, Middle-Aged Offspring of Patients with Late-Onset Alzheimer's Disease" (2017) Sanchez, S.M.;Abulafia, C.;Duarte-Abritta, B. (...)Guinjoan, S.M. Journal of Alzheimer's Disease. 60(3):1183-1193

"Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic" (2016) Bou, F.;Esteva, F.;Godo, L. (...)Yager R.R. 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016. 611:123-135

"Building efficient and highly run-time adaptable virtual machines" (2016) Chari, G.;Garbervetsky, D.;Marr, S. (...)ACM SIGPLAN 12th Symposium on Dynamic Languages, DLS 2016:60-71

"Contract automata: An operational view of contracts between interactive parties" (2016) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Schneider, G. Artificial Intelligence and Law:1-41

"Behaviour abstraction adequacy criteria for API call protocol testing" (2016) Czemerinski, H.; Braberman, V.; Uchitel, S. Software Testing Verification and Reliability. 26(3):211-244

"Contract automata: An operational view of contracts between interactive parties" (2016) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Schneider, G. Artificial Intelligence and Law. 24(3):203-243

"How language flows when movements don't: An automated analysis of spontaneous discourse in Parkinson's disease" (2016) García, A.M.;Carrillo, F.;Orozco-Arroyave, J.R. (...)Cecchi, G.A. Brain and Language. 162:19-28

"How language flows when movements don't: An automated analysis of spontaneous discourse in Parkinson's disease" (2016) García, A.M.;Carrillo, F.;Orozco-Arroyave, J.R. (...)Cecchi, G.A. Brain and Language. 162:19-28

"Lukasiewicz public announcement logic" (2016) Cabrer, L.;Rivieccio, U.;Rodriguez, R.O. (...)Yager R.R. 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016. 611:108-122

"Automated speech analysis for psychosis evaluation" (2016) Carrillo, F.;Mota, N.;Copelli, M. (...)Langs G. 4th International Workshop on Machine Learning and Interpretation in Neuroimaging, MLINI 2014 and workshop on Neural Information Processing Systems, NIPS 2014. 9444 LNAI:31-39

"Specification Patterns: Formal and Easy" (2015) Asteasuain, F.; Braberman, V. International Journal of Software Engineering and Knowledge Engineering. 25(4):669-700

"A normal form for stateful connectors" (2015) Bruni, R.;Melgratti, H.;Montanari, U. (...)Marti-Oliet N. Conference on Logic, Rewriting and Concurrency dedicated to Jose Meseguer on the Occasion of his 65th Birthday, 2015. 9200:205-227

"Fast distributed dynamics of semantic networks via social media" (2015) Carrillo, F.; Cecchi, G.A.; Sigman, M.; Slezak, D.F. Computational Intelligence and Neuroscience. 2015

"Fast distributed dynamics of semantic networks via social media" (2015) Carrillo, F.; Cecchi, G.A.; Sigman, M.; Slezak, D.F. Computational Intelligence and Neuroscience. 2015

"Fast distributed dynamics of semantic networks via social media" (2015) Carrillo, F.; Cecchi, G.A.; Sigman, M.; Slezak, D.F. Computational Intelligence and Neuroscience. 2015

"Categorical foundations for structured specifications in Z" (2015) Castro, P.F.; Aguirre, N.; Pombo, C.L.; Maibaum, T.S.E. Formal Aspects of Computing. 27(5-6):831-865

"Bi-modal Gödel logic over [0,1]-valued Kripke frames" (2015) Caicedo, X.; Rodríguez, R.O. Journal of Logic and Computation. 25(1):37-55

"A full operational semantics for asynchronous relational networks" (2015) Vissani, I.;Pombo, C.G.L.;Jose, J.L.F. (...)Diaconescu, R. 22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014. 9463:131-150

"An Approach for Automatic Classification of Radiology Reports in Spanish" (2015) Cotik, V.;Filippo, D.;Castaño, J. (...)de Azevedo Marques P.M. 15th World Congress on Health and Biomedical Informatics, MEDINFO 2015. 216:634-638

"An Approach for Automatic Classification of Radiology Reports in Spanish" (2015) Cotik, V.;Filippo, D.;Castaño, J. (...)de Azevedo Marques P.M. 15th World Congress on Health and Biomedical Informatics, MEDINFO 2015. 216:634-638

"Time to Tango: Expertise and contextual anticipation during action observation" (2014) Amoruso, L.;Sedeño, L.;Huepe, D. (...)Ibáñez, A. NeuroImage. 98:366-385

"Pupillary dynamics reveal computational cost in sentence planning" (2014) Sevilla, Y.; Maldonado, M.; Shalóm, D.E. Quarterly Journal of Experimental Psychology. 67(6):1041-1052

"Pupillary dynamics reveal computational cost in sentence planning" (2014) Sevilla, Y.; Maldonado, M.; Shalóm, D.E. Quarterly Journal of Experimental Psychology. 67(6):1041-1052

"From hierarchical BIP to Petri calculus" (2014) Bruni, R.; Melgratti, H.; Montanari, U. Workshop ""From Programs to Systems - The Systems Perspective in Computing"", FPS 2014. 8415 LNCS:54-68

"Integrated program verification tools in education" (2013) De Caso, G.; Garbervetsky, D.; Gorín, D. Software - Practice and Experience. 43(4):403-418

"A finite model property for gödel modal logics" (2013) Caicedo, X.; Metcalfe, G.; Rodríguez, R.; Rogger, J. 20th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2013. 8071 LNCS:226-237

"A categorical approach to structuring and promoting Z specifications" (2013) Castro, P.F.; Aguirre, N.; López Pombo, C.G.; Maibaum, T. 9th International Symposium on Formal Aspects of Component Software, FACS 2012. 7684 LNCS:73-91

"Synthesizing modal transition systems from triggered scenarios" (2013) Sibay, G.E.; Braberman, V.; Uchitel, S.; Kramer, J. IEEE Transactions on Software Engineering. 39(7):975-1001

"Behaviour abstraction coverage as black-box adequacy criteria" (2013) Czemerinski, H.; Braberman, V.; Uchitel, S. IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013:222-231

"Satisfiability calculus: The semantic counterpart of a proof calculus in general logics" (2013) Lopez Pombo, C.G.; Castro, P.F.; Aguirre, N.M.; Maibaum, T.S.E. 21st International Workshop on Algebraic Development Techniques, WADT 2012. 7841 LNCS:195-211

"Connector algebras for C/E and P/T nets' interactions" (2013) Bruni, R.; Melgratti, H.; Montanaric, U.; Sobociński, P.L. Logical Methods in Computer Science. 9(3)

"A composition algorithm based on cross modal taste-music correspondences" (2012) Mesz, B.; Sigman, M.; Trevisan, M.A. Frontiers in Human Neuroscience(APRIL 2012)

"A composition algorithm based on cross modal taste-music correspondences" (2012) Mesz, B.; Sigman, M.; Trevisan, M.A. Frontiers in Human Neuroscience(APRIL 2012)

"Neural Processing of Emotional Facial and Semantic Expressions in Euthymic Bipolar Disorder (BD) and Its Association with Theory of Mind (ToM)" (2012) Ibanez, A.;Urquina, H.;Petroni, A. (...)Manes, F. PLoS ONE. 7(10)

"A composition algorithm based on crossmodal taste-music correspondences" (2012) Mesz, B.; Sigman, M.; Trevisan, M. Frontiers in Human Neuroscience(MARCH 2012)

"A composition algorithm based on crossmodal taste-music correspondences" (2012) Mesz, B.; Sigman, M.; Trevisan, M. Frontiers in Human Neuroscience(MARCH 2012)

"A connector algebra for P/T nets interactions" (2011) Bruni, R.; Melgratti, H.; Montanari, U. 22nd Conference on Concurrency Theory, CONCUR 2011. 6901 LNCS:312-326

"Facial and semantic emotional interference: A pilot study on the behavioral and cortical responses to the dual valence association task" (2011) Ibáñez, A.;Hurtado, E.;Riveros, R. (...)Manes, F. Behavioral and Brain Functions. 7

"Facial and semantic emotional interference: A pilot study on the behavioral and cortical responses to the dual valence association task" (2011) Ibáñez, A.;Hurtado, E.;Riveros, R. (...)Manes, F. Behavioral and Brain Functions. 7

"Facial and semantic emotional interference: A pilot study on the behavioral and cortical responses to the dual valence association task" (2011) Ibáñez, A.;Hurtado, E.;Riveros, R. (...)Manes, F. Behavioral and Brain Functions. 7

"RDF semantics for web association rules" (2011) Minuto Espil, M. 5th International Conference on Web Reasoning and Rule Systems, RR 2011. 6902 LNCS:269-274

"Basic model theory for memory logics" (2011) Areces, C.;Carreiro, F.;Figueira, S. (...)Queiroz R. 18th International Workshop on Logic, Language, Information and Computation, WoLLIC 2011. 6642 LNAI:20-34

"Permissions in contracts, a logical insight" (2011) Pace, G.J.; Schapachnik, F. Frontiers in Artificial Intelligence and Applications. 235:140-144

"On the formal semantics of IF-like logics" (2010) Figueira, S.; Gorín, D.; Grimson, R. Journal of Computer and System Sciences. 76(5):333-346

"An integrated workbench for model-based engineering of service compositions" (2010) Foster, H.; Uchitel, S.; Magee, J.; Kramer, J. IEEE Transactions on Services Computing. 3(2):131-144

"A Sound observational semantics for modal transition systems" (2009) Fischbein, D.; Braberman, V.; Uchitel, S. 6th International Colloquium on Theoretical Aspects of Computing, ICTAC 2009. 5684 LNCS:215-230

"Residuated lattices as an algebraic semantics for paraconsistent nelson's logic" (2009) Busaniche, M.; Cignoli, R. Journal of Logic and Computation. 19(6):1019-1029

"Characterizing fuzzy modal semantics by fuzzy multimodal systems with crisp accessibility relations" (2009) Bou, F.; Esteva, F.; Godo, L.; Rodríguez, R. Joint 2009 International Fuzzy Systems Association World Congress, IFSA 2009 and 2009 European Society of Fuzzy Logic and Technology Conference, EUSFLAT 2009:1541-1546

"Existential live sequence charts revisited" (2008) Sibay, G.; Uchitel, S.; Braberman, V. 30th International Conference on Software Engineering 2008, ICSE'08:41-50

"On the formal semantics of IF-like logics" (2008) Figueira, S.; Gorín, D.; Grimson, R. 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008. 5110 LNAI:164-178

"A foundation for behavioural conformance in software product line architectures" (2006) Fischbein, D.; Uchitel, S.; Braberman, V. ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, ROSATEA '06. 2006:39-48

"DynAlloy: Upgrading alloy with actions" (2005) Frias, M.F.; Galeotti, J.P.; Pombo, C.G.L.; Aguirre, N.M. 27th International Conference on Software Engineering, ICSE05:442-450

"Modelling human intelligence: A learning mechanism" (2005) Segura, E.C.; Whitty, R. 4th Mexican International Conference on Artificial Intelligence, MICAI 2005. 3789 LNAI:1-10

"Functional programming concepts and straight-line programs in computer algebra" (2002) Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R. Mathematics and Computers in Simulation. 60(6):423-473

"On improving backwards verification of timed automata (extended abstract)" (2002) Braberman, V.; López Pombo, C.; Olivero, A. Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002). 65(6):60-67

"Observing timed systems by means of message sequence chart graphs" (2002) Blaustein, S.; Oliveto, F.; Braberman, V. 24th International Conference on Software Engineering (ICSE 2002):707

"Using a scenario model to derive the functions of a formal specification" (2001) Mauco, M.V.; Riesco, D.; George, C. 8th Asia Pacific Software Engineering Conference APSEC'2001:329-332