( en | de | ru )

 

Disambiguation of "Ginsburg, Boris"

Author of the publication

copydeleteadd this publication to your clipboard
The ForSpec Temporal Logic: A New Temporal Property-Specification Language.

, , , , , , , , , , , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 296-211. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rachel Ginsburg

Sigmar Ginsburg

Sarah Ginsburg

Bernhard Ginsburg

Samuel Ginsburg

 

Other publications of authors with the same name

The ForSpec Temporal Logic: A New Temporal Property-Specification Language., , , , , , , , , and 2 other author(s). TACAS, volume 2280 of Lecture Notes in Computer Science, page 296-211. Springer, (2002)Training Neural Speech Recognition Systems with Synthetic Speech Augmentation., , , and . CoRR, (2018)Training Deep AutoEncoders for Collaborative Filtering., and . CoRR, (2017)TitaNet: Neural Model for speaker representation with 1D Depth-wise separable convolutions and global context., , and . CoRR, (2021)BigVGAN: A Universal Neural Vocoder with Large-Scale Training., , , , and . CoRR, (2022)AmberNet: A Compact End-to-End Model for Spoken Language Identification., , , and . CoRR, (2022)TalkNet: Non-Autoregressive Depth-Wise Separable Convolutional Model for Speech Synthesis., and . Interspeech, page 3760-3764. ISCA, (2021)CTC Variations Through New WFST Topologies., , and . INTERSPEECH, page 1041-1045. ISCA, (2022)Flexible Multichannel Speech Enhancement for Noise-Robust Frontend., , and . WASPAA, page 1-5. IEEE, (2023)LibriSpeech-PC: Benchmark for Evaluation of Punctuation and Capitalization Capabilities of End-to-End ASR Models., , , , , and . ASRU, page 1-7. IEEE, (2023)