Cikkek nyilvánosan hozzáférhető megbízással - Łukasz KaiserTovábbi információ
Valahol hozzáférhető: 7
Transforming machine translation: a deep learning system reaches news translation quality comparable to human professionals
M Popel, M Tomkova, J Tomek, Ł Kaiser, J Uszkoreit, O Bojar, ...
Nature communications 11 (1), 4381, 2020
Megbízások: European Commission
Synthesis for structure rewriting systems
Ł Kaiser
International Symposium on Mathematical Foundations of Computer Science, 415-426, 2009
Megbízások: German Research Foundation
MPIDepQBF: Towards parallel QBF solving without knowledge sharing
C Jordan, L Kaiser, F Lonsing, M Seidl
International Conference on Theory and Applications of Satisfiability …, 2014
Megbízások: Austrian Science Fund
A unified approach to boundedness properties in MSO
L Kaiser, M Lang, S Leßenich, C Löding
24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 441-456, 2015
Megbízások: German Research Foundation
Solving counter parity games
D Berwanger, Ł Kaiser, S Leßenich
International Symposium on Mathematical Foundations of Computer Science, 160-171, 2012
Megbízások: German Research Foundation
Model checking the quantitative mu-calculus on linear hybrid systems
D Fischer, L Kaiser
Logical Methods in Computer Science 8, 2012
Megbízások: German Research Foundation
A Counting Logic for Structure Transition Systems
L Kaiser, S Leßenich
Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012
Megbízások: German Research Foundation
A publikációs és a finanszírozási adatokat számítógépes program határozza meg, automatikusan.