PUBLICATIONS

to

1720 Results

Vinicius Vielmo Cogo, Joao Paulo, Alysson Bessani. GenoDedup: Similarity-Based Deduplication and Delta-Encoding for Genome Sequencing Data. IEEE Transactions on Computers, 70(5):669-681, Institute of Electrical and Electronics Engineers (IEEE), 2021 [Biblios]
Paulo Santos, Jose Campos, Christopher S. Timperley, Alcides Fonseca. Augmenting Search-based Techniques with Static Synthesis-based Input Generation. In 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST), pages 12-15. IEEE, 2021 [Biblios]
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning. Nested Session Types. In Programming Languages and Systems,Lecture Notes in Computer Science , 2021 [Biblios]