Joanna OCHREMIAK
Joanna Ochremiak Chargé de Recherches (CNRS)

Équipe LaBRI : Méthodes formelles
Courrier électronique : joanna.ochremiakarobaselabri.fr
Bureau : 268
Tél : +33 (0)5 40 00 37 97


Extrait de publications


Albert Atserias, Anuj Dawar, Joanna Ochremiak. On the Power of Symmetric Linear Programs. 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2019, Vancouver, Canada. pp.1-13,

Khadijeh Keshvardoost, Bartek Klin, Sławomir Lasota, Joanna Ochremiak, Szymon Toruńczyk. Definable isomorphism problem. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2019,

Albert Atserias, Joanna Ochremiak. Proof Complexity Meets Algebra. ACM Transactions on Computational Logic, Association for Computing Machinery, 2019, 20 (1), pp.1-46.


Page mise à jour le 13/08/2010 à 10:56