Ando Saabas

According to our database1, Ando Saabas authored at least 27 papers between 2005 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
The ICASSP 2024 Audio Deep Packet Loss Concealment Challenge.
CoRR, 2024

ICASSP 2024 Speech Signal Improvement Challenge.
CoRR, 2024

2023
ICASSP 2023 Acoustic Echo Cancellation Challenge.
CoRR, 2023

DeepVQE: Real Time Deep Voice Quality Enhancement for Joint Acoustic Echo Cancellation, Noise Suppression and Dereverberation.
CoRR, 2023

PLCMOS - a data-driven non-intrusive metric for the evaluation of packet loss concealment algorithms.
CoRR, 2023

2022
Deep model with built-in self-attention alignment for acoustic echo cancellation.
CoRR, 2022

INTERSPEECH 2022 Audio Deep Packet Loss Concealment Challenge.
Proceedings of the Interspeech 2022, 2022

AECMOS: A Speech Quality Assessment Metric for Echo Impairment.
Proceedings of the IEEE International Conference on Acoustics, 2022

ICASSP 2022 Acoustic Echo Cancellation Challenge.
Proceedings of the IEEE International Conference on Acoustics, 2022

2021
INTERSPEECH 2021 Acoustic Echo Cancellation Challenge.
Proceedings of the Interspeech 2021, 22nd Annual Conference of the International Speech Communication Association, Brno, Czechia, 30 August, 2021

ICASSP 2021 Acoustic Echo Cancellation Challenge: Datasets, Testing Framework, and Results.
Proceedings of the IEEE International Conference on Acoustics, 2021

Crowdsourcing Approach for Subjective Evaluation of Echo Impairment.
Proceedings of the IEEE International Conference on Acoustics, 2021

2020
ICASSP 2021 Acoustic Echo Cancellation Challenge: Datasets and Testing Framework.
CoRR, 2020

2015
Explaining International Migration in the Skype Network: The Role of Social Network Features.
Proceedings of the 1st ACM Workshop on Social Media World Sensors, Guzelyurt, 2015

2009
Proof optimization for partial redundancy elimination.
J. Log. Algebraic Methods Program., 2009

Program Repair as Sound Optimization of Broken Programs.
Proceedings of the TASE 2009, 2009

Bidirectional data-flow analyses, type-systematically.
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

2008
Program and proof optimizations with type systems.
J. Log. Algebraic Methods Program., 2008

On Bounded Reachability of Programs with Set Comprehensions.
Proceedings of the Logic for Programming, 2008

Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract).
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007
Type Systems for Optimizing Stack-based Code.
Proceedings of the Second Workshop on Bytecode Semantics, 2007

Foundational certification of data-flow analyses.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2006
Compositional Type Systems for Stack-Based Low-Level Languages.
Proceedings of the Theory of Computing 2006, 2006

2005
A Compositional Natural Semantics and Hoare Logic for Low-Level Languages.
Proceedings of the Second Workshop on Structural Operational Semantics, 2005

COCOVILA - Compiler-Compiler for Visual Languages.
Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, 2005

Visual tool for generative programming.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Proof Obligations Preserving Compilation.
Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005


  Loading...