Publish! Publish or perish! That's how it is in the academic world these days. David Lodge, The British Museum is Falling Down, 1965

Nathalie Chetcuti-Sperandio

Publications

Revues internationales / International journals

    • Chetcuti-Sperandio Nathalie, Delorme Fabien, Lagrue Sylvain,
    • On aggregate and comparison functions for Motus/Lingo playing,
    • International Computer Games Association (ICGA) Journal, vol. 40, n° 3, IOS Press, pp. 258-268, 2018.
    • Chetcuti-Sperandio Nathalie, Fariñas del Cerro Luis,
    • A Mixed Decision Method for Duration Calculus,
    • Journal of Logic and Computation (JLC), vol. 10, n° 6, Oxford University Press, pp. 877-895, Dec. 2000.
    • Chetcuti-Sperandio Nathalie, Fariñas del Cerro Luis,
    • A Decision Method for Duration Calculus,
    • Journal of Universal Computer Science (JUCS), vol. 5, n° 11, Springer Verlag, pp. 743-764, 1999.

Congrès ou colloques internationaux avec publication des actes/ International conferences or workshops with published proceedings

    • Lagrue Sylvain, Chetcuti-Sperandio Nathalie, Delorme Fabien, Ma Thi Chau, Ngo Thi Duyen, Tabia Karim, Benferhat Salem,
    • An Ontology Web Application-based Annotation Tool for Intangible Culture Heritage Dance Videos,
    • 1st Workshop on Structuring and Understanding of Multimedia heritAge Contents (SUMAC'19), pp. 75-81, Nice, France, Oct. 2019. ACM 2019, ISBN 978-1-4503-6910-7
    • Ma Thi Chau, Chetcuti-Sperandio Nathalie, Lagrue Sylvain, Nguyen Thanh Thuy, The Duy Bui,
    • Towards an Ontology for Vietnamese Water Puppetry,
    • 2nd International Conference on Digital Arts, Media and Technology (ICDAMT'17), IEEE Press, pp. 302-307, Chiang Mai, Thailand, Mar. 2017.
    • Cardon Stéphane, Chetcuti-Sperandio Nathalie, Delorme Fabien, Lagrue Sylvain,
    • A Markovian Process Modelling for Pickomino,
    • 7th International Conference on Computers and Games (CG'10), Lecture Notes in Computer Science, vol. 6515, pp. 199-210, Kanazawa, Japan, Sep. 2010. (full paper)
    • Chetcuti-Sperandio Nathalie, Delorme Fabien, Lagrue Sylvain, Stackowiak Denis,
    • Determination and Evaluation of Efficient Strategies for a Stop or Roll Dice Game: Heckmeck am Bratwurmeck (Pickomino),
    • IEEE Symposium on Computational Intelligence and Games (CIG'08), Perth, Australia, Dec. 2008. (full paper)
    • Chetcuti-Sperandio Nathalie, Lagrue Sylvain,
    • How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic,
    • 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), AAAI Press, pp. 340-347, Sydney, Australia, Sept. 2008. (full paper)
    • Chetcuti-Sperandio Nathalie,
    • Tableau-based Automated Deduction for Duration Calculus,
    • Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux'02), Springer Verlag, pp. 53-69, Copenhagen, Denmark, Aug. 2002. (full paper)

Congrès ou colloques internationaux sans publication des actes / International conferences or workshops without published proceedings

    • Chetcuti-Sperandio Nathalie, Delorme Fabien, Lagrue Sylvain,
    • On aggregate and comparison functions for Motus/Lingo playing,
    • 10th International Conference on Computers and Games (CG'18), Taipei, Taiwan, Jul. 2018
    • Chetcuti-Sperandio Nathalie, Massacci Fabio,
    • A semantics and a calculi for reasoning about credential-based systems,
    • Methods for Modalities 3 (M4M3), pp. 61-76, Nancy, France, Sept. 2003.
    • Chetcuti-Sperandio Nathalie, Massacci Fabio,
    • Reasoning about Credential-based Systems,
    • Workshop on Formal Aspects in Security and Trust (FAST), pp. 23-38, Pisa, Italy, Sept. 2003.
    • Chetcuti-Sperandio Nathalie, Fariñas del Cerro Luis,
    • A Decision Method for Duration Calculus,
    • Fifth International Seminar on Relational Methods in Computer Science (RelMICS), pp. 31-44, Valcartier, Canada, Jan. 2000.

Revues d'audience nationale / National journals

    • Chetcuti-Sperandio Nathalie, Lagrue Sylvain,
    • Pondérations, collisions et préservation de la majorité en logique des pénalités,
    • Information - Interaction - Intelligence (I3 journal), vol. 9, n° 2, Cépaduès, Toulouse, France, 2009.

Congrès ou colloques nationaux / National conferences or workshops

    • Goudyme Alix, Chetcuti-Sperandio Nathalie, Lagrue Sylvain, de Lima Tiago,
    • Intention et logique épistémique dynamique,
    • 17èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2019), pp. 1-9, Toulouse, France, Jul. 2019. https://hal.archives-ouvertes.fr/hal-02161427/document
    • Chetcuti-Sperandio Nathalie, Delorme Fabien, Lagrue Sylvain,
    • Des fonctions d'agrégation et de comparaison pour jouer à Motus,
    • 25èmes Rencontres Francophones sur la Logique Floue et ses Applications (LFA'16), Cépaduès Editions, pp. 129-136, La Rochelle, France, Nov. 2016
    • Cardon Stéphane, Chetcuti-Sperandio Nathalie, Delorme Fabien, Lagrue Sylvain,
    • Pickomania : un logiciel pour jouer à Pickomino,
    • dix-septième Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'10), pp. 895-896, Caen, France, Jan. 2010. (demonstration track)
    • Cardon Stéphane, Chetcuti-Sperandio Nathalie, Delorme Fabien, Lagrue Sylvain,
    • Décision markovienne appliquée à un jeu de stop ou encore : Pickomino (Heckmeck Am Bratwurmeck),
    • Rencontres Francophones sur la Logique Floue et ses Applications (LFA'09), Éditions Cépaduès, pp. 159-166 Annecy, France, Nov. 2009.
    • Chetcuti-Sperandio Nathalie, Delorme Fabien, Lagrue Sylvain, Stackowiak Denis,
    • Évaluation d'algorithmes de type Monte-Carlo pour Pickomino,
    • Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'09), Marseille, France, Oct. 2009.
    • Chetcuti-Sperandio Nathalie, Lagrue Sylvain,
    • Pondérations et collisions en logique des pénalités,
    • Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'08), Paris, France, Oct. 2008.
    • Chetcuti-Sperandio Nathalie, Massacci Fabio,
    • Sémantique et raisonnement automatique pour une infrastructure à clés publiques,
    • quatorzième Congrés Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'04), pp. 1165-1174, Toulouse, France, Jan. 2004.
    • Chetcuti-Sperandio Nathalie,
    • Déduction automatique à base de tableaux en calcul des durées,
    • Formalisation des Activités Concurrentes (FAC'02), Toulouse, France, Mar. 2002.
    • Chetcuti-Sperandio Nathalie,
    • Déduction automatique à base de tableaux en calcul des durées,
    • treizième congrès francophone AFRIF-AFIA de reconnaissance des Formes et Intelligence Artificielle (RFIA'02), pp. 299-308, Angers, France, Jan. 2002.
    • Chetcuti-Sperandio Nathalie,
    • Méthode de décision hybride pour le calcul des durées,
    • Colloque francophone sur la Modélisation des Systèmes Réactifs (MSR'01), Hermès Science, pp. 259-274, Toulouse, France, Oct. 2001.
    • Chetcuti-Sperandio Nathalie,
    • Méthode de décision hybride pour le calcul des Durées,
    • cinquièmes Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA'00), pp. 63-81, Lyon, France, Sept. 2000.

Thèse de doctorat / PhD thesis

    • Chetcuti-Sperandio Nathalie,
    • Déduction automatique en calcul des durées basée sur la méthode des tableaux,
    • thèse de doctorat, Université Paul Sabatier (Toulouse 3), Toulouse, France, Dec. 2001.
Accueil / Home