• Summary
• LIFO Members (Directory)
• Research Teams
• CA
• GAMoC
• PaMDA
• SDS
• Research Actions
• Doctoral Research
• Seminars and Events
• Seminars (french)
• Events at LIFO
• Events out of LIFO
• Publications and Software
• Publications
• Doctoral and Habil. Theses
• Research Reports
• Software
• Technology transfer

• Contacts/Reaching LIFO
• Who's who at LIFO
• Coming to LIFO
• Teaching
• CS Department
• CS Technical Department
• ENSI Bourges

Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37

Software development at LIFO

3D4J

3D4J is a java librairy that allows a 3D spatial placement of objects.
http://www.univ-orleans.fr/lifo/software/3D4J/

Agape

The Agape library is an open source Java implementation of exponential or parametrized graph algorithms of the literature and developed during the French ANRAgape.
https://traclifo.univ-orleans.fr/Agape/

BoolLoader

A Boolean-based approach to load and evaluate sparseness of transaction datasets. Auteurs: Zahir Maazouzi, Ansaf Salleb and Christel Vrain.

BoolMiner

Discovery of maximal frequent itemsets relying on Binary Decision Diagrams. Authors: Zahir Maazouzi, Ansaf Salleb and Chritel Vrain.

Bulk Synchronous Parallel ML (BSML)

BSML is an Obective Caml library for direct-mode BSP (Bulk Synchronous Parallelism) programming.
http://traclifo.univ-orleans.fr/BSML/

Explorer-3D

Explorer-3D is a vizualization tool under development within the Contraint and Learning Project. Explorer-3D aims at using a 3-D space to vizualize and parameterize distances (or dissimilarities). Authors : Lionel Martin and Matthieu Exbrayat.
http://www.univ-orleans.fr/lifo/software/Explorer3D/

Implementation of tree automatas and tree synchronized language grammars.

TAJA (Tree Automata in JAva) is a graphical tool that allows main operations on finites automatas of tree tuples. TTSLI (Tree Tuple Synchronised Languages Implementation) is a non-graphical tool for manipulating tree synchronized language grammars.

Acceptable interference within process algebras

BNAI analyzer allows verification/diagnostics for acceptable interference property (non-deterministic of bisimulation) between private and public chanels for a communication protocol specified within a process algebra.

Minimally Synchronous Parallel ML (MSPML)

MSPML is a library for scalable computing with Objective Caml. If follows the MPM model of parallel programming.
http://traclifo.univ-orleans.fr/MSPML/

Near-factorizations finder

This software searches finite groups quasi-factorization, i.e. partitionable Cayley graphs.

Program Calculation In Coq

"Program Calculation In Coq" is a Coq library to write Bird-Merteens style proof.
http://traclifo.univ-orleans.fr/SDPP/

The QeCode System

The QeCode project aims at building a comprehensive, extensible and open-source quantified constraint solver on top of Gecode.
http://www.univ-orleans.fr/lifo/software/qecode/QeCode.html

QuantMiner

Mining Quantitative Association Rules using a Genetic algorithm (Collaboration with BRGM). Authors: Cyril Nortet supervised by Ansaf Salleb (LIFO) and Daniel Cassard(BRGM).

Scalable High Performance Virtual Reality

http://netjuggler.sourceforge.net/

SDPP

"SDPP" is a Coq library containing the theory of an algorithmic skeleton called BH together with results concerning deriving of correct-by-building parallel functional programs.
http://traclifo.univ-orleans.fr/SDPP/

SIGMiner

Learning Characteristic Rules in Geographic Information Systems. Authors: David Cossard supervised by Ansaf Salleb (LIFO), Christel Vrain (LIFO) and Daniel Cassard (BRGM).