Search results for "Stuttering"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
99	Diego Latella, Mieke Massink	On testing and conformance relations for UML statechart diagrams behaviours.	ISSTA	2002	DBLP DOI BibTeX RDF	UML statechart diagrams, formal testing theory, conformance testing, formal semantics, testing theory
98	Joachim Klein 0001, Christel Baier	On-the-Fly Stuttering in the Construction of Deterministic omega -Automata.	CIAA	2007	DBLP DOI BibTeX RDF	Rabin, ?-automaton, determinization, LTL, deterministic, stuttering
88	Francesco Ranzato, Francesco Tapparo	Computing Stuttering Simulations.	CONCUR	2009	DBLP DOI BibTeX RDF
88	Jan Friso Groote, Frits W. Vaandrager	An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence.	ICALP	1990	DBLP DOI BibTeX RDF
82	Dimitrie O. Paun, Marsha Chechik	Events in Linear-Time Properties.	RE	1999	DBLP DOI BibTeX RDF
71	Kedar S. Namjoshi	A Simple Characterization of Stuttering Bisimulation.	FSTTCS	1997	DBLP DOI BibTeX RDF
66	Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers	Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation.	CAV	1999	DBLP DOI BibTeX RDF
65	Eduard Diepstraten, Ruurd Kuiper 0001	Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings.	REX Workshop	1989	DBLP DOI BibTeX RDF	ghost variables, history and prophecy variables, Temporal logic, simulation relations, refinement mappings, stuttering
59	Jean-Raymond Abrial, Dominique Cansell, Dominique Méry	Refinement and Reachability in EventB.	ZB	2005	DBLP DOI BibTeX RDF	Refinement, Reachability, B Method, Stuttering
55	Brock J. LaMeres, Sunil P. Khatri	Bus stuttering: an encoding technique to reduce inductive noise in off-chip data transmission.	DATE	2006	DBLP DOI BibTeX RDF
55	Bas Luttik, Nikola Trcka	Stuttering Congruence for chi.	SPIN	2005	DBLP DOI BibTeX RDF
55	Joo Yeon Cho, Josef Pieprzyk	Algebraic Attacks on SOBER-t32 and SOBER-t16 without Stuttering.	FSE	2004	DBLP DOI BibTeX RDF	SOBER-t32, SOBER-t16, stream ciphers, linearization, Algebraic attack, NESSIE, modular addition, multivariate equations
49	Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová	Partial Order Reduction for State/Event LTL.	IFM	2009	DBLP DOI BibTeX RDF
44	Shaikh Abdul Waheed, P. Sheik Abdul Khader, A. Abdul Azeez Khan, K. Javubar Sathick	Feature extraction from behavioral styles of children for prediction of severity of stuttering using historical stuttering data.	Int. J. Speech Technol.	2022	DBLP DOI BibTeX RDF
44	Sebastian P. Bayerl, Florian Hönig, Joelle Reister, Korbinian Riedhammer	Towards Automated Assessment of Stuttering and Stuttering Therapy.	CoRR	2020	DBLP BibTeX RDF
44	Sebastian P. Bayerl, Florian Hönig, Joelle Reister, Korbinian Riedhammer	Towards Automated Assessment of Stuttering and Stuttering Therapy.	TDS	2020	DBLP DOI BibTeX RDF
44	Tim Saltuklaroglu, Ashley W. Harkrider, David Thornton, David Jenson, Tiffani Kittilstved	EEG Mu (µ) rhythm spectra and oscillatory activity differentiate stuttering from non-stuttering adults.	NeuroImage	2017	DBLP DOI BibTeX RDF
43	Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager	Model checker aided design of a controller for a wafer scanner.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Resource allocation systems, Deadlock avoidance policy, Finite and timed automata, Stuttering bisimulation, Model checking, Throughput optimization
38	Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin	Timed Control with Observation Based and Stuttering Invariant Strategies.	ATVA	2007	DBLP DOI BibTeX RDF
38	Halina Kwasnicka, Blazej Zak	Fuzzy Logic in Stuttering Therapy.	ICAISC	2006	DBLP DOI BibTeX RDF
38	Ivana Cerná, Ondrej Klíma 0001, Jirí Srba	Pattern Equations and Equations with Stuttering.	SOFSEM	1999	DBLP DOI BibTeX RDF
33	Azadeh Farzan, José Meseguer 0001	State Space Reduction of Rewrite Theories Using Invisible Transitions.	AMAST	2006	DBLP DOI BibTeX RDF
33	Dirk Seifert, Steffen Helke, Thomas Santen	Test Case Generation for UML Statecharts.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
33	Panagiotis Manolios	Correctness of Pipelined Machines.	FMCAD	2000	DBLP DOI BibTeX RDF
33	Doron A. Peled	On Projective and Separable Properties.	CAAP	1994	DBLP DOI BibTeX RDF
33	Howard Barringer, Ruurd Kuiper 0001, Amir Pnueli	A Really Abstract Concurrent Model and its Temporal Logic.	POPL	1986	DBLP DOI BibTeX RDF
26	Izabela Szczurowska, Wieslawa Kuniszyk-Józkowiak, Elzbieta Smolka	Speech nonfluency detection using Kohonen networks.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	Speech disfluency, Neural networks, Kohonen network, Stuttering
26	Rocco De Nicola, Frits W. Vaandrager	Three Logics for Branching Bisimulation.	J. ACM	1995	DBLP DOI BibTeX RDF	Hennessy-Milner logic, backward modalities, branching bisimulation equivalence, doubly labeled transition systems, stuttering equivalence, until operations, semantics, concurrency, reactive systems, labeled transition systems, Kripke structures, CTL*
26	Amir Pnueli	System Specification and Refinement in Temporal Logic.	FSTTCS	1992	DBLP DOI BibTeX RDF	stuttering robustness, simulation, Temporal logic, validation, refinement, requirement specification, system specification, temporal semantics
26	Ralph-Johan Back	Refinement Calculus, Part II: Parallel and Reactive Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering
22	Minki Cho, Youngju Song, Dongjae Lee, Lennard Gäher, Derek Dreyer	Stuttering for Free.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
22	G. Manjula, M. Shivakumar, M. Latha, M. Keerthi Kumar	Development of an Adaptive Optimization ANN Model for an Automatic Identification and Classification of Stuttering in Speech.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
22	Ian Chard, Nejra van Zalk, Lorenzo Picinali	Virtual reality exposure therapy for reducing social anxiety associated with stuttering: the role of outcome expectancy, therapeutic alliance, presence and social presence.	Frontiers Virtual Real.	2023	DBLP DOI BibTeX RDF
22	Shakeel A. Sheikh, Md. Sahidullah, Fabrice Hirsch, Slim Ouni	Stuttering detection using speaker representations and self-supervised contextual embeddings.	Int. J. Speech Technol.	2023	DBLP DOI BibTeX RDF
22	Ian Chard, Nejra van Zalk, Lorenzo Picinali	Virtual reality exposure therapy for reducing social anxiety in stuttering: A randomized controlled pilot trial.	Frontiers Digit. Health	2023	DBLP DOI BibTeX RDF
22	Sebastian P. Bayerl, Dominik Wagner, Ilja Baumann, Florian Hönig, Tobias Bocklet, Elmar Nöth, Korbinian Riedhammer	A Stutter Seldom Comes Alone - Cross-Corpus Stuttering Detection as a Multi-label Problem.	CoRR	2023	DBLP DOI BibTeX RDF
22	Shakeel A. Sheikh, Md. Sahidullah, Fabrice Hirsch, Slim Ouni	Stuttering Detection Using Speaker Representations and Self-supervised Contextual Embeddings.	CoRR	2023	DBLP DOI BibTeX RDF
22	Shakeel A. Sheikh, Md. Sahidullah, Fabrice Hirsch, Slim Ouni	Advancing Stuttering Detection via Data Augmentation, Class-Balanced Loss and Multi-Contextual Deep Learning.	CoRR	2023	DBLP DOI BibTeX RDF
22	Feng Li, Zeyu Xiong, Xinyi Li, Mingming Fan 0001	CoPracTter: Toward Integrating Personalized Practice Scenarios, Timely Feedback and Social Support into An Online Support Tool for Coping with Stuttering in China.	CoRR	2023	DBLP DOI BibTeX RDF
22	Sebastian P. Bayerl, Maurice Gerczuk, Anton Batliner, Christian Bergler, Shahin Amiriparian, Björn W. Schuller, Elmar Nöth, Korbinian Riedhammer	Classification of stuttering - The ComParE challenge and beyond.	Comput. Speech Lang.	2023	DBLP DOI BibTeX RDF
22	Shakeel A. Sheikh, Md. Sahidullah, Fabrice Hirsch, Slim Ouni	Advancing Stuttering Detection via Data Augmentation, Class-Balanced Loss and Multi-Contextual Deep Learning.	IEEE J. Biomed. Health Informatics	2023	DBLP DOI BibTeX RDF
22	Yongzi Yu, Wanyong Qiu, Chen Quan, Kun Qian 0003, Zhihua Wang, Yu Ma, Bin Hu 0001, Björn W. Schuller, Yoshiharu Yamamoto	Federated Intelligent Terminals Facilitate Stuttering Monitoring.	ICASSP	2023	DBLP DOI BibTeX RDF
22	Payal Mohapatra, Bashima Islam, Md Tamzeed Islam, Ruochen Jiao, Qi Zhu	Efficient Stuttering Event Detection Using Siamese Networks.	ICASSP	2023	DBLP DOI BibTeX RDF
22	Yu Ma, Yuting Huang, Kaixiang Yuan, Guangzhe Xuan, Yongzi Yu, Hengrui Zhong, Rui Li, Jian Shen 0004, Kun Qian 0003, Bin Hu 0001, Björn W. Schuller, Yoshiharu Yamamoto	Explainable Stuttering Recognition Using Axial Attention.	ICIC (3)	2023	DBLP DOI BibTeX RDF
22	Li Feng, Zeyu Xiong, Xinyi Li, Mingming Fan 0001	CoPracTter: Toward Integrating Personalized Practice Scenarios, Timely Feedback and Social Support into An Online Support Tool for Coping with Stuttering in China.	CHI	2023	DBLP DOI BibTeX RDF
22	Francesco Vona, Francesca Pentimalli, Fabio Catania, Alberto Patti, Franca Garzotto	Speak in Public: an Innovative Tool for the Treatment of Stuttering through Virtual Reality, Biosensors, and Speech Emotion Recognition.	CHI Extended Abstracts	2023	DBLP DOI BibTeX RDF
22	Shakeel Ahmad Sheikh	Deep learning for stuttering detection. (Apprentissage profond pour la détection du bégaiement).		2023	RDF
22	Shruti Chandra, Garima Gupta, Torrey M. Loucks, Kerstin Dautenhahn	Opportunities for social robots in the stuttering clinic: A review and proposed scenarios.	Paladyn J. Behav. Robotics	2022	DBLP DOI BibTeX RDF
22	Nilanjan Banerjee, Samarjeet Borah, Nilambar Sethi	Intelligent stuttering speech recognition: A succinct review.	Multim. Tools Appl.	2022	DBLP DOI BibTeX RDF
22	Shakeel A. Sheikh, Md. Sahidullah, Fabrice Hirsch, Slim Ouni	Machine learning for stuttering identification: Review, challenges and future directions.	Neurocomputing	2022	DBLP DOI BibTeX RDF
22	Ian Chard, Nejra van Zalk	Virtual Reality Exposure Therapy for Treating Social Anxiety: A Scoping Review of Treatment Designs and Adaptation to Stuttering.	Frontiers Digit. Health	2022	DBLP DOI BibTeX RDF
22	Shakeel Ahmad Sheikh, Md. Sahidullah, Fabrice Hirsch, Slim Ouni	Introducing ECAPA-TDNN and Wav2Vec2.0 Embeddings to Stuttering Detection.	CoRR	2022	DBLP DOI BibTeX RDF
22	Shakeel Ahmad Sheikh, Md. Sahidullah, Fabrice Hirsch, Slim Ouni	End-to-End and Self-Supervised Learning for ComParE 2022 Stuttering Sub-Challenge.	CoRR	2022	DBLP DOI BibTeX RDF
22	Sebastian P. Bayerl, Alexander Wolff von Gudenberg, Florian Hönig, Elmar Nöth, Korbinian Riedhammer	KSoF: The Kassel State of Fluency Dataset - A Therapy Centered Dataset of Stuttering.	CoRR	2022	DBLP DOI BibTeX RDF
22	Shakeel Ahmad Sheikh, Md. Sahidullah, Fabrice Hirsch, Slim Ouni	Robust Stuttering Detection via Multi-task and Adversarial Learning.	CoRR	2022	DBLP DOI BibTeX RDF
22	Sebastian P. Bayerl, Dominik Wagner, Elmar Nöth, Korbinian Riedhammer	Detecting Dysfluencies in Stuttering Therapy Using wav2vec 2.0.	CoRR	2022	DBLP DOI BibTeX RDF
22	Björn W. Schuller, Anton Batliner, Shahin Amiriparian, Christian Bergler, Maurice Gerczuk, Natalie Holz, Pauline Larrouy-Maestri, Sebastian P. Bayerl, Korbinian Riedhammer, Adria Mallol-Ragolta, Maria Pateraki, Harry Coppock, Ivan Kiskin, Marianne Sinka, Stephen J. Roberts	The ACM Multimedia 2022 Computational Paralinguistics Challenge: Vocalisations, Stuttering, Activity, & Mosquitoes.	CoRR	2022	DBLP DOI BibTeX RDF
22	Abedal-Kareem Al-Banna, Eran A. Edirisinghe, Hui Fang 0003, Wael Hadi	Stuttering Disfluency Detection Using Machine Learning Approaches.	J. Inf. Knowl. Manag.	2022	DBLP DOI BibTeX RDF
22	Liam Barrett, Junchao Hu, Peter Howell	Systematic Review of Machine Learning Approaches for Detecting Developmental Stuttering.	IEEE ACM Trans. Audio Speech Lang. Process.	2022	DBLP DOI BibTeX RDF
22	Sebastian Peter Bayerl, Dominik Wagner, Elmar Nöth, Korbinian Riedhammer	Detecting Dysfluencies in Stuttering Therapy Using wav2vec 2.0.	INTERSPEECH	2022	DBLP DOI BibTeX RDF
22	Yash Prabhu, Naeem Seliya	A CNN-Based Automated Stuttering Identification System.	ICMLA	2022	DBLP DOI BibTeX RDF
22	Claude Montacié, Marie-José Caraty, Nikola Lackovic	Audio Features from the Wav2Vec 2.0 Embeddings for the ACM Multimedia 2022 Stuttering Challenge.	ACM Multimedia	2022	DBLP DOI BibTeX RDF
22	Björn W. Schuller, Anton Batliner, Shahin Amiriparian, Christian Bergler, Maurice Gerczuk, Natalie Holz, Pauline Larrouy-Maestri, Sebastian P. Bayerl, Korbinian Riedhammer, Adria Mallol-Ragolta, Maria Pateraki, Harry Coppock, Ivan Kiskin, Marianne Sinka, Stephen J. Roberts	The ACM Multimedia 2022 Computational Paralinguistics Challenge: Vocalisations, Stuttering, Activity, & Mosquitoes.	ACM Multimedia	2022	DBLP DOI BibTeX RDF
22	Shakeel A. Sheikh, Md. Sahidullah, Slim Ouni, Fabrice Hirsch	End-to-End and Self-Supervised Learning for ComParE 2022 Stuttering Sub-Challenge.	ACM Multimedia	2022	DBLP DOI BibTeX RDF
22	Tamás Grósz, Dejan Porjazovski, Yaroslav Getman, Sudarsana Reddy Kadiri, Mikko Kurimo	Wav2vec2-based Paralinguistic Systems to Recognise Vocalised Emotions and Stuttering.	ACM Multimedia	2022	DBLP DOI BibTeX RDF
22	Shruti Chandra, Torrey M. Loucks, Gerardo Chavez Castaneda, Kerstin Dautenhahn	Social Robots in the Stuttering Clinic: A Human-Centred Exploration with Speech Language Pathologists.	ICSR (2)	2022	DBLP DOI BibTeX RDF
22	Sebastian P. Bayerl, Alexander Wolff von Gudenberg, Florian Hönig, Elmar Nöth, Korbinian Riedhammer	KSoF: The Kassel State of Fluency Dataset - A Therapy Centered Dataset of Stuttering.	LREC	2022	DBLP BibTeX RDF
22	Shakeel A. Sheikh, Md. Sahidullah, Fabrice Hirsch, Slim Ouni	Robust Stuttering Detection via Multi-task and Adversarial Learning.	EUSIPCO	2022	DBLP BibTeX RDF
22	Alexandra Korzeczek, Annika Primaßin, Alexander Wolff von Gudenberg, Peter Dechent, Walter Paulus, Martin Sommer, Nicole E. Neef	Fluency shaping increases integration of the command-to-execution and the auditory-to-motor pathways in persistent developmental stuttering.	NeuroImage	2021	DBLP DOI BibTeX RDF
22	Shakeel Ahmad Sheikh, Md. Sahidullah, Fabrice Hirsch, Slim Ouni	Machine Learning for Stuttering Identification: Review, Challenges & Future Directions.	CoRR	2021	DBLP BibTeX RDF
22	Sebastian P. Bayerl, Marc Wenninger, Jochen Schmidt, Alexander Wolff von Gudenberg, Korbinian Riedhammer	STAN: A stuttering therapy analysis helper.	CoRR	2021	DBLP BibTeX RDF
22	Shakeel A. Sheikh, Md. Sahidullah, Fabrice Hirsch, Slim Ouni	StutterNet: Stuttering Detection Using Time Delay Neural Network.	CoRR	2021	DBLP BibTeX RDF
22	Colin Lea, Vikramjit Mitra, Aparna Joshi, Sachin Kajarekar, Jeffrey P. Bigham	SEP-28k: A Dataset for Stuttering Event Detection From Podcasts With People Who Stutter.	CoRR	2021	DBLP BibTeX RDF
22	Man-Ching Yuen, Shin Ying Chu, Chiew Hock Wong, Ka-Fai Ng	Development and Pilot Test for Stuttering Self-Monitoring Solution using Telehealth.	COMSNETS	2021	DBLP DOI BibTeX RDF
22	Colin Lea, Vikramjit Mitra, Aparna Joshi, Sachin Kajarekar, Jeffrey P. Bigham	SEP-28k: A Dataset for Stuttering Event Detection from Podcasts with People Who Stutter.	ICASSP	2021	DBLP DOI BibTeX RDF
22	Shakeel A. Sheikh, Md. Sahidullah, Fabrice Hirsch, Slim Ouni	StutterNet: Stuttering Detection Using Time Delay Neural Network.	EUSIPCO	2021	DBLP DOI BibTeX RDF
22	Arun Das 0001, Jeffrey Mock, Henry Chacon, Farzan Irani, Edward J. Golob, Peyman Najafirad	Stuttering Speech Disfluency Prediction using Explainable Attribution Vectors of Facial Muscle Movements.	CoRR	2020	DBLP BibTeX RDF
22	Éric Brier, Rémi Géraud-Stewart, David Naccache, Alessandro Pacco, Emanuele Troiani	Stuttering Conway Sequences Are Still Conway Sequences.	CoRR	2020	DBLP BibTeX RDF
22	Sadeen Alharbi, Madina Hasan, Anthony J. H. Simons, Shelagh Brumfitt, Phil D. Green	Sequence labeling to detect stuttering events in read speech.	Comput. Speech Lang.	2020	DBLP DOI BibTeX RDF
22	Anastasia Korosteleva, Irina Malanchuk, Liliya Arutyunyan, Migran Arutyunyan	Review of fMRI methods in developmental stuttering and it's treatment.	BICA*AI	2020	DBLP DOI BibTeX RDF
22	HyunJin Jo, YeonJi Kim, JaeYoung Yun	Tingling Cast: Broadcasting Platform Service for Stuttering Children.	HCI (37)	2019	DBLP DOI BibTeX RDF
22	Manavalan Manjutha, Parthasarathy Subashini, Marimuthu Krishnaveni	Analysis on Regularity of Speech Energy based on Optimal Thresholding for Tamil Stuttering Dataset.	ISC2	2019	DBLP DOI BibTeX RDF
22	Fabio Fassetti, Ilaria Fassetti, Simona Nisticò	Learning and Detecting Stuttering Disorders.	AIAI	2019	DBLP DOI BibTeX RDF
22	Bruno Villegas, Kevin M. Flores, Kevin José Acuña, Kevin Pacheco-Barrios, Dante A. Elías	A Novel Stuttering Disfluency Classification System Based on Respiratory Biosignals.	EMBC	2019	DBLP DOI BibTeX RDF
22	Arpit Sharma 0002	Stuttering for Markov Automata.	TASE	2019	DBLP DOI BibTeX RDF
22	Grant Van Eaton, Douglas B. Clark, Pratim Sengupta	Revoicing, Bridging, and Stuttering Across Formal, Physical, and Virtual Spaces.	Int. J. Gaming Comput. Mediat. Simulations	2018	DBLP DOI BibTeX RDF
22	Keiko Ochi, Koichi Mori, Naomi Sakai	Automatic Evaluation of Soft Articulatory Contact for Stuttering Treatment.	INTERSPEECH	2018	DBLP DOI BibTeX RDF
22	Sadeen Alharbi, Madina Hasan, Anthony J. H. Simons, Shelagh Brumfitt, Phil D. Green	A Lightly Supervised Approach to Detect Stuttering in Children's Speech.	INTERSPEECH	2018	DBLP DOI BibTeX RDF
22	Xinxin Liu 0009, Wenhui Zhang	Characterization and Verification of Stuttering Equivalence.	Symposium on Real-Time and Hybrid Systems	2018	DBLP DOI BibTeX RDF
22	Atsuko K. Yamazaki, Noriaki Miwa, Kazukiyo Inada, Muhammad Nur Adilin Mohd Anuardi, Mashu Sanjo	Effects of facial expressions on impression evaluation for Japanese stuttering voices.	KES	2018	DBLP DOI BibTeX RDF
22	Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs	An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation.	ACM Trans. Comput. Log.	2017	DBLP DOI BibTeX RDF
22	Rob Sumners	Proof Reduction of Fair Stuttering Refinement of Asynchronous Systems and Applications.	ACL2	2017	DBLP DOI BibTeX RDF
22	Sadeen Alharbi, Madina Hasan, Anthony J. H. Simons, Shelagh Brumfitt, Phil D. Green	Detecting Stuttering Events in Transcripts of Children's Speech.	SLSP	2017	DBLP DOI BibTeX RDF
22	Fazwa Mohd Fadzilah, Noreen Izza Arshad	Towards the Development of Criteria to Assess Stuttering Mobile Apps.	PACIS	2017	DBLP BibTeX RDF
22	Sadeen Alharbi, Anthony J. H. Simons, Shelagh Brumfitt, Phil D. Green	Automatic recognition of children's read speech for stuttering application.	WOCCI	2017	DBLP BibTeX RDF
22	Olga Mishulina, Olga Skripko, Anastasia Korosteleva	Some features of eye movements during reading and retelling the text by people with stuttering.	BICA	2017	DBLP DOI BibTeX RDF
22	P. Mahesha, D. S. Vinod	Gaussian Mixture Model Based Classification of Stuttering Dysfluencies.	J. Intell. Syst.	2016	DBLP DOI BibTeX RDF
22	David N. Jansen, Jeroen J. A. Keiren	Stuttering equivalence is too slow!	CoRR	2016	DBLP BibTeX RDF
22	Jan Friso Groote, Anton Wijs	An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation.	CoRR	2016	DBLP BibTeX RDF
22	P. Mahesha, D. S. Vinod	Automatic Segmentation and Classification of Dysfluencies in Stuttering Speech.	ICTCS	2016	DBLP DOI BibTeX RDF