Sébastien Limet

From MaRDI portal
Person:877841

Available identifiers

zbMath Open limet.sebastienMaRDI QIDQ877841

List of research outcomes





PublicationDate of PublicationType
Efficient and Systematic Partitioning of Large and Deep Neural Networks for Parallelization2022-03-31Paper
Manipulating Tree Tuple Languages by Transforming Logic Programs1 1Extended abstract; see http://www.logic.at/css/ftp03.pdf for the proofs.2013-04-19Paper
Rewriting Techniques and Applications2009-04-30Paper
Deciding Satisfiability of Positive Second Order Joinability Formulae2008-05-27Paper
https://portal.mardi4nfdi.de/entity/Q54461752008-03-06Paper
Tree tuple languages from the logic programming point of view2007-05-03Paper
Theoretical Aspects of Computing – ICTAC 20052006-11-01Paper
https://portal.mardi4nfdi.de/entity/Q27788782002-03-21Paper
https://portal.mardi4nfdi.de/entity/Q49386012000-02-23Paper
https://portal.mardi4nfdi.de/entity/Q38365131999-12-09Paper
https://portal.mardi4nfdi.de/entity/Q38387651999-02-04Paper
https://portal.mardi4nfdi.de/entity/Q42179421998-11-11Paper

Research outcomes over time

This page was built for person: Sébastien Limet

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:877841&oldid=7076364"
Powered by MediaWiki