Jean-Vincent Loddo

According to our database, Jean-Vincent Loddo authored at least 9 papers between 1996 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Mariotel: A web-based virtual remote computer science lab.

Jean-Vincent Loddo, Rushed Kanawati

Proceedings of the 20th International Conference on Information Technology Based Higher Education and Training, 2022

2015

Practical activities in network courses for MOOCs, SPOCs and eLearning with Marionnet.

Camille Coti, Jean-Vincent Loddo, Emmanuel Viennet

Proceedings of the 2015 International Conference on Information Technology Based Higher Education and Training, 2015

2010

How to Correctly Prune Tropical Trees.

Jean-Vincent Loddo, Luca Saiu

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2007

Status report: marionnet or "how to implement a virtual network laboratory in six months and be happy".

Jean-Vincent Loddo, Luca Saiu

Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007

Tree Components Programming: An Application to XML.

Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo

Proceedings of the Theoretical Aspects of Computing, 2007

2002

Généralisation des Jeux Combinatoires et Applications aux Langages Logiques. (Generalisation of Combinatorial Games andApplications to Logic Languages).

Jean-Vincent Loddo

PhD thesis, 2002

2000

Playing Logic Programs with the Alpha-Beta Algorithm.

Jean-Vincent Loddo, Roberto Di Cosmo

Proceedings of the Logic for Programming and Automated Reasoning, 2000

1998

A Game Semantics Foundation for Logic Programming (Extended Abstract).

Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

1996

Mobile Processes with Local Clocks.

Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996