OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "Laboratoire Lorrain de Recherche en Informatique et ses Applications - LORIA (Nancy, France)"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 18.

Article

Avanesov, Tigran and Chevalier, Yannick and Rusinowitch, Michaël and Turuani, Mathieu. Intruder deducibility constraints with negation. Decidability and application to secured service compositions. (2017) Journal of Symbolic Computation, 80 (1). 4-26. ISSN 0747-7171

Avanesov, Tigran and Chevalier, Yannick and Rusinowitch, Michaël and Turuani, Mathieu. Satisfiability of general intruder constraints with and without a set constructor. (2017) Journal of Symbolic Computation, 80 (1). 27-61. ISSN 0747-7171

Couceiro, Miguel and Dubois, Didier and Prade, Henri and Waldhauser, Tamas. Decision-Making with sugeno integrals - bridging the gap between multicriteria evaluation and decision under uncertainty. (2016) Order, 33 (3). 517-535. ISSN 0167-8094

Bolander, Thomas and van Ditmarsch, Hans and Herzig, Andreas and Lorini, Emiliano and Pardo, Pere and Schwarzentruber, François. Announcements to Attentive Agents. (2015) Journal of Logic, Language and Information, 25 (1). 1-35. ISSN 0925-8531

Belkhir, Walid and Chevalier, Yannick and Rusinowitch, Michaël. Parametrized automata simulation and application to service composition. (2015) Journal of Symbolic Computation, 69. 40-60. ISSN 0747-7171

Balbiani, Philippe and van Ditmarsch, Hans. A simple proof of the completeness of APAL. (2015) Studies in Logic, 8. 65-78. ISSN 1674-3202

Saqui-Sannes, Pierre de and Villemur, Thierry and Mota, Sara and Fontan, Benjamin and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent. Formal verification of secure group communication protocols modelled in UML. (2010) Innovations in Systems and Software Engineering, 6 (1-2). 125-133. ISSN 1614-5046

Conference or Workshop Item

Singh, Neeraj Kumar and Aït-Ameur, Yamine and Mery, Dominique. Formal Ontology Driven Model Refactoring. (2018) In: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), 12 December 2018 - 14 December 2018 (Melbourne, Australia).

Fernández Pérez, Iñaki and Boumaza, Amine and Charpillet, François. Maintaining Diversity in Robot Swarms with Distributed Embodied Evolution. (2018) In: 11th International Conference on Swarm Intelligence (ANTS 2018), 29 October 2018 - 31 October 2018 (Rome, Italy).

Brabant, Quentin and Couceiro, Miguel and Dubois, Didier and Prade, Henri and Rico, Agnés. Extracting Decision Rules from Qualitative Data via Sugeno Utility Functionals. (2018) In: 17th International Conference, Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2018), 11 June 2018 - 15 June 2018 (Càdiz, Spain).

Jha, Tushant and Belkhir, Walid and Chevalier, Yannick and Rusinowitch, Michaël. Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata. (2016) In: International Conference on Service Oriented Computing (ICSOC 2015), 16 November 2015 - 19 November 2015 (Goa, India).

Balbiani, Philippe and Galmiche, Didier. About intuitionistic public announcement logic. (2016) In: 11th conference on Advances in Modal logic (AiML 2016), 30 August 2016 - 2 September 2016 (Budapest, Hungary).

Balbiani, Philippe and van Ditmarsch, Hans and Herzig, Andreas. Before announcement. (2016) In: 11th conference on Advances in Modal logic (AiML 2016), 30 August 2016 - 2 September 2016 (Budapest, Hungary).

Mery, Dominique and Singh, Neeraj Kumar. Analyzing Requirements Using Environment Modelling. (2015) In: Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference (DHM 2015), 2 August 2015 - 7 August 2015 (Los Angeles, United States).

Van Ditmarsch, Hans and Herzig, Andreas and Lorini, Emiliano and Schwarzentruber, François. Listen to me! Public announcements to agents that pay attention - or not. (2013) In: 4th International Workshop on Logic, Rationality and Interaction (LORI IV), 9 October 2013 - 12 October 2013 (Hangzhou, China).

Balbiani, Philippe and Van Ditmarsch, Hans and Kudinov, Andrey. Subset space logic with arbitrary announcements. (2013) In: 5th Indian Conference on Logics and its Applications (ICLA), 10 January 2013 - 12 January 2013 (Chennai, India).

Saqui-Sannes, Pierre de and Villemur, Thierry and Fontan, Benjamin and Mota, Sara and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent. Formal verification of secure group communication protocols modelled in UML. (2010) In: 2nd IEEE International workshop UML and Formal Methods - UML&FM'2009, 08 Dec 2009, Rio de Janeiro, Brazil .

Gaucherel, Cedric and Martinet, Vincent and Inchausti, Pablo and Schaller, Noémie and Bamière, Laure and Sheeren, David and Gibon, Annick and Joannon, Alexandre and Castellazzi, Marie and Boussard, Hugues and Barraquand, Frédéric and Lazrak, El-Ghali and Mari, Jean-Francois and Houet, Thomas and Bretagnolle, Vincent. A multidisciplinary modelling approach to understand the effects of landscape dynamics on biodiversity. (2010) In: 2010 International Conference on Integrative Landscape Modelling, 3 February 2010 - 5 February 2010 (Montpellier, France). (Unpublished)

This list was generated on Wed Nov 20 03:37:45 2019 CET.