Search results for "stuttering"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Jan Friso Groote, Anton Wijs	An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation.	TACAS	2016	DBLP DOI BibTeX RDF
22	P. Mahesha, D. S. Vinod	Support vector machine-based stuttering dysfluency classification using GMM supervectors.	Int. J. Grid Util. Comput.	2015	DBLP DOI BibTeX RDF
22	Daniel Hudock, Nicholas A. Altieri, Lin Sun, Andrew Bowers, Christian Keil, Joseph Kalinowski	The effect of single syllable silent reading and pantomime speech in varied syllable positions on stuttering frequency throughout utterance productions.	Speech Commun.	2015	DBLP DOI BibTeX RDF
22	Akira Toyomura, Tetsunoshin Fujii, Shinya Kuriki	Effect of an 8-week practice of externally triggered speech on basal ganglia activity of stuttering and fluent speakers.	NeuroImage	2015	DBLP DOI BibTeX RDF
22	Tomas Lustyk, Petr Bergl, Tino Haderlein, Elmar Nöth, Roman Cmejla	Language-independent method for analysis of German stuttering recordings.	INTERSPEECH	2015	DBLP DOI BibTeX RDF
22	Iva Demarin, Ljubica Leko, Maja Skrobo, Helena Germano, Patrícia Macedo, Rui Neves Madeira	The Impact of Stuttering;: How Can a Mobile App Help?	ASSETS	2015	DBLP DOI BibTeX RDF
22	Pramati S. Kalwad, Shailja Pattanaik, T. L. Chandana, G. Ram Mohana Reddy	Language Modelling and English Speech Prediction System to Aid People with Stuttering Disorder.	WCI	2015	DBLP DOI BibTeX RDF
22	Benoît Delahaye, Kim G. Larsen, Axel Legay	Stuttering for Abstract Probabilistic Automata.	J. Log. Algebraic Methods Program.	2014	DBLP DOI BibTeX RDF
22	Sabine Helene Van Eerdenbrugh	Developing a Stand-alone Internet Version of the Lidcombe Program for Early Stuttering.		2014	RDF
22	Izabela Swietlicka, Wieslawa Kuniszyk-Józkowiak, Elzbieta Smolka	Hierarchical ANN system for stuttering identification.	Comput. Speech Lang.	2013	DBLP DOI BibTeX RDF
22	Seth Blumberg, James O. Lloyd-Smith	Inference of R0 and Transmission Heterogeneity from the Size Distribution of Stuttering Chains.	PLoS Comput. Biol.	2013	DBLP DOI BibTeX RDF
22	Rui Neves Madeira, Patrícia Macedo, Pedro Pita, Íris Bonança, Helena Germano	Building on Mobile towards Better Stuttering Awareness to Improve Speech Therapy.	MoMM	2013	DBLP DOI BibTeX RDF
22	Benoît Delahaye, Kim G. Larsen, Axel Legay	Stuttering for Abstract Probabilistic Automata.	LFCS	2013	DBLP DOI BibTeX RDF
22	Junbo Zhang, Bin Dong 0003, Yonghong Yan 0002	A Computer-Assist Algorithm to Detect Repetitive Stuttering Automatically.	IALP	2013	DBLP DOI BibTeX RDF
22	Stephan Merz	Stuttering Equivalence.	Arch. Formal Proofs	2012	DBLP BibTeX RDF
22	Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse	A Cure for Stuttering Parity Games.	ICTAC	2012	DBLP DOI BibTeX RDF
22	Jie Chen 0018, Peter L. Jackson, John A. Muckstadt	TECHNICAL NOTE - Exact Analysis of a Lost Sales Model Under Stuttering Poisson Demand.	Oper. Res.	2011	DBLP DOI BibTeX RDF
22	Akira Toyomura, Tetsunoshin Fujii, Shinya Kuriki	Effect of external auditory pacing on the neural activity of stuttering speakers.	NeuroImage	2011	DBLP DOI BibTeX RDF
22	Yoshikazu Kikuchi, Katsuya Ogata, Toshirou Umesaki, Takashi Yoshiura, Masamutsu Kenjo, Yoji Hirano, Tsuyoshi Okamoto, Shizuo Komune, Shozo Tobimatsu	Spatiotemporal signatures of an abnormal auditory system in stuttering.	NeuroImage	2011	DBLP DOI BibTeX RDF
22	Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse	Stuttering Equivalence for Parity Games	CoRR	2011	DBLP BibTeX RDF
22	Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse	Stuttering Mostly Speeds Up Solving Parity Games.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
22	Oren Civier, Daniel Bullock, Ludo Max, Frank H. Guenther	Dopamine Excess May Delay Selection of Syllabic Motor Programs: A Modeling Study of Stuttering.	ICPhS	2011	DBLP BibTeX RDF
22	Matthew D. Cykowski, Peter T. Fox, R. J. Ingham, J. C. Ingham, Donald A. Robin	A study of the reproducibility and etiology of diffusion anisotropy differences in developmental stuttering: A potential role for impaired myelination.	NeuroImage	2010	DBLP DOI BibTeX RDF
22	Mark Jones, Annette Dobson, Mark Onslow, Brenda Carey	Negative binomial mixed models for analysis of stuttering rates.	Comput. Stat. Data Anal.	2009	DBLP DOI BibTeX RDF
22	Soo-Eun Chang, Mary Kay Kenney, Torrey M. J. Loucks, Christy L. Ludlow	Brain activation abnormalities during speech and non-speech in stuttering speakers.	NeuroImage	2009	DBLP DOI BibTeX RDF
22	Francesco Ranzato, Francesco Tapparo	Computing Stuttering Simulations	CoRR	2009	DBLP BibTeX RDF
22	Walter Dosch, Annette Stümpel, Nontasak Janchum, Pornsiri Muenchaisri	Stuttering removal-developing mealy and moore style implementations of an interactive component.	AICCSA	2009	DBLP DOI BibTeX RDF
22	Michael Kaminski	Invariance Under Stuttering in a Temporal Logic without the "Until" Operator.	Fundam. Informaticae	2008	DBLP BibTeX RDF
22	Soo-Eun Chang, Kirk I. Erickson, Nicoline G. Ambrose, Mark A. Hasegawa-Johnson, Christy L. Ludlow	Brain anatomy differences in childhood stuttering.	NeuroImage	2008	DBLP DOI BibTeX RDF
22	Narciso Martí-Oliet, José Meseguer 0001, Miguel Palomino	Algebraic Stuttering Simulations.	PROLE	2007	DBLP DOI BibTeX RDF
22	Michael Kaminski	Invariance under stuttering in a temporal logic of actions.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
22	Antonín Kucera 0001, Jan Strejcek	The stuttering principle revisited.	Acta Informatica	2005	DBLP DOI BibTeX RDF
22	Pierpaolo Busan, Giovanna Pelamatti, Alessandro Tavano, Michele Grassi, Franco Fabbro	Improvement of verbal behavior after pharmacological treatment of developmental stuttering: a case study.	DiSS	2005	DBLP BibTeX RDF
22	Shiva Nejati, Arie Gurfinkel, Marsha Chechik	Stuttering Abstraction for Model Checkin.	SEFM	2005	DBLP DOI BibTeX RDF
22	Akira Toyomura, Takashi Omori	Stochastic control system of basal ganglia and relation with stuttering.	Neural Networks and Computational Intelligence	2004	DBLP BibTeX RDF
22	Christine Preibisch, Katrin Neumann, Peter Raab, Harald A. Euler, Alexander W. von Gudenberg, Heinrich Lanfermann, Anne-Lise Giraud	Evidence for compensation for stuttering by the right frontal operculum.	NeuroImage	2003	DBLP DOI BibTeX RDF
22	Christine Preibisch, Peter Raab, Katrin Neumann, Harald A. Euler, Alexander W. von Gudenberg, Volker Gall, Heinrich Lanfermann, Friedhelm E. Zanella	Event-related fMRI for the suppression of speech-associated artifacts in stuttering.	NeuroImage	2003	DBLP DOI BibTeX RDF
22	Dimitrie O. Paun, Marsha Chechik	On Closure Under Stuttering.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF
22	Henri Hansen, Wojciech Penczek, Antti Valmari	Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties.	FMICS	2002	DBLP DOI BibTeX RDF
22	Antonín Kucera 0001, Jan Strejcek	The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL.	CSL	2002	DBLP DOI BibTeX RDF
22	Nada Vasic, Frank Wijnen	Stuttering and speech monitoring.	DiSS	2001	DBLP BibTeX RDF
22	Elmar Nöth, Heinrich Niemann, Tino Haderlein, M. Decher, Ulrich Eysholdt, Frank Rosanowski, Thomas Wittenberg	Automatic stuttering recognition using hidden Markov models.	INTERSPEECH	2000	DBLP DOI BibTeX RDF
22	Somesh Jha, Doron A. Peled	Generalized Stuttering Equivalence.	PDPTA	1999	DBLP BibTeX RDF
22	Gerard J. Holzmann, Orna Kupferman	Not checking for closure under stuttering.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
22	Akira Ujihira, Haruo Kubozono	A phonetic and phonological analysis of stuttering in Japanese.	ICSLP	1994	DBLP DOI BibTeX RDF
22	Abdelillah Mokkedem, Dominique Méry	A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs.	ICTL	1994	DBLP DOI BibTeX RDF
22	Andranik Mirzaian	A Halving Technique for the Longest Stuttering Subsequence Problem.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
22	Megan D. Neilson, Peter D. Neilson	Speech motor control and stuttering: A computational model of adaptive sensory-motor processing.	Speech Commun.	1987	DBLP DOI BibTeX RDF
22	Bowen Alpern, Alan J. Demers, Fred B. Schneider	Safety Without Stuttering.	Inf. Process. Lett.	1986	DBLP DOI BibTeX RDF
16	Béatrice Bérard, Paul Gastin, Antoine Petit 0001	Timed substitutions for regular signal-event languages.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Signal-event word, Refinement, Abstraction, Timed automata, Substitution
16	Marius Cristian Cerlinca, Adrian Graur, Stefan Gheorghe Pentiuc, Tudor Joan Cerlinca	Developing a Logopaedic Mobile Device Using an FPGA.	SACI	2007	DBLP DOI BibTeX RDF
16	Conghua Zhou, Shiguang Ju	SAT-based Bounded Model Checking for SE-LTL.	SNPD (3)	2007	DBLP DOI BibTeX RDF
16	Rik Eshuis	Symbolic model checking of UML activity diagrams.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	Model checking, Unified Modeling Language, activity diagrams
16	Gordon D. Plotkin	Hennessy-Plotkin-Brookes Revisited.	FSTTCS	2006	DBLP DOI BibTeX RDF
16	Béatrice Bérard, Paul Gastin, Antoine Petit 0001	Intersection of Regular Signal-Event (Timed) Languages.	FORMATS	2006	DBLP DOI BibTeX RDF
16	Ingo Brückner, Heike Wehrheim	Slicing an Integrated Formal Method for Verification.	ICFEM	2005	DBLP DOI BibTeX RDF
16	Francesco Ranzato, Francesco Tapparo	An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation.	TACAS	2005	DBLP DOI BibTeX RDF
16	Sandip Ray, Warren A. Hunt Jr.	Deductive Verification of Pipelined Machines Using First-Order Quantification.	CAV	2004	DBLP DOI BibTeX RDF
16	E. Allen Emerson, Vineet Kahlon	Parameterized Model Checking of Ring-Based Message Passing Systems.	CSL	2004	DBLP DOI BibTeX RDF
16	Panagiotis Manolios	A Compositional Theory of Refinement for Branching Time.	CHARME	2003	DBLP DOI BibTeX RDF
16	Steve Babbage, Christophe De Cannière, Joseph Lano, Bart Preneel, Joos Vandewalle	Cryptanalysis of SOBER-t32.	FSE	2003	DBLP DOI BibTeX RDF	Sober-t32, Guess and Determine Attack, Cryptanalysis, Distinguishing Attack, Security Evaluation, NESSIE
16	Valery A. Nepomniaschy, Nikolay V. Shilov 0002, Evgeny V. Bodin, Vitaly E. Kozura	Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems.	IFM	2002	DBLP DOI BibTeX RDF
16	Patrik Ekdahl, Thomas Johansson 0001	Distinguishing Attacks on SOBER-t16 and t32.	FSE	2002	DBLP DOI BibTeX RDF
16	George Logothetis, Klaus Schneider 0001	A New Approach to the Specification and Verification of Real-Time Systems.	ECRTS	2001	DBLP DOI BibTeX RDF
16	George Logothetis, Klaus Schneider 0001	Symbolic Model Checking of Real-Time Systems.	TIME	2001	DBLP DOI BibTeX RDF
16	Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud	Designing a LTL Model-Checker Based on Unfolding Graphs.	ICATPN	2000	DBLP DOI BibTeX RDF
16	Ralph-Johan Back, Joakim von Wright	Reasoning Algebraically about Loops.	Acta Informatica	1999	DBLP DOI BibTeX RDF
16	Stephan Merz	A More Complete TLA.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
16	Jean Paul Bahsoun, Rami El-Baïda, Hugues-Olivier Yar	Decision Procedure for Temporal Logic of Concurrent Objects.	Euro-Par	1999	DBLP DOI BibTeX RDF
16	Irina B. Virbitskaite, E. Pokozy	A Partial Order Method for the Verification of Time Petri Nets.	FCT	1999	DBLP DOI BibTeX RDF
16	C. Norris Ip	Generalized Reversible Rules.	FMCAD	1998	DBLP DOI BibTeX RDF
16	Doron A. Peled, Thomas Wilke, Pierre Wolper	An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages.	CONCUR	1996	DBLP DOI BibTeX RDF
16	Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke	Efficient Verification of Parallel Real-Time Systems.	CAV	1993	DBLP DOI BibTeX RDF
16	Yonit Kesten, Zohar Manna, Amir Pnueli	Temporal Verification of Simulation and Refinement.	REX School/Symposium	1993	DBLP DOI BibTeX RDF
16	Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty	A Real-Time Interval Logic and Its Decision Procedure.	FSTTCS	1993	DBLP DOI BibTeX RDF
16	Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty	An Automata-Theoretic Decision Procedure for Future Interval Logic.	FSTTCS	1992	DBLP DOI BibTeX RDF