Centre de Recherche en Informatique de Lens

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, 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

    • 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, 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

    • 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