?
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science ,
1
Finite-valued Streaming String Transducers:
, In:
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
2
Active learning for sound negotiations✱:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
3
One-way Resynchronizability of Word Transducers:
, In:
?
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science ,
5
Untwisting two-way transducers in elementary time:
, In:
?
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science ,
6
Static analysis of deterministic negotiations:
, In:
?
7
41st International Symposium on Mathematical Foundations of..
MFCS 2016, August 22-26, 2016, Kraków, Poland
LIPICs - Leibniz international proceedings in informatics ; vol. 58
?
11
Foundations of Software Science and Computation Structures
17th International Conference, FOSSACS 2014, Held as Part o...
Lecture Notes in Computer Science ; 8412;SpringerLink, Bücher
?
Proceedings of the 16th International Conference on Database Theory ,
13