Search results for: Sébastien Limet
Procedia Computer Science > 2017 > 108 > C > 545-554
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 185-200
Lecture Notes in Computer Science > High Performance Computing and Applications > Contributed Papers > 133-138
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 15-29
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 429-440
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Formal Languages > 110-124
Lecture Notes in Computer Science > Euro-Par 2004 Parallel Processing > Topic 7: Applications on High Performance Computers > 497-505
Concurrency and Computation: Practice and Experience > 28 > 7 > 2120 - 2144
Procedia Computer Science > 2014 > 29 > Complete > 692-702