Search results for "Büchi"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
178	Orna Kupferman, Gila Morgenstern, Aniello Murano	Typeness for omega-Regular Automata.	ATVA	2004	DBLP DOI BibTeX RDF
129	Orna Kupferman, Nir Piterman	Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata.	FoSSaCS	2009	DBLP DOI BibTeX RDF
111	Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalbán, André Nies	From Automatic Structures to Borel Structures.	LICS	2008	DBLP DOI BibTeX RDF	Borel, Buechi, automata, isomorphism
96	Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai 0001, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang	Tool support for learning Büchi automata and linear temporal logic.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Büchi automata, QPTL, Model checking, GOAL, Linear temporal logic
89	Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger	Trading Probability for Fairness.	CSL	2002	DBLP DOI BibTeX RDF
85	Salvatore La Torre, Aniello Murano	Reasoning About Co-Büchi Tree Automata.	ICTAC	2004	DBLP DOI BibTeX RDF
85	Olivier Finkel	On the Accepting Power of 2-Tape Büchi Automata.	STACS	2006	DBLP DOI BibTeX RDF	2-tape Büchi automata, infinitary rational relations, Cantor topology, topological complexity, Borel hierarchy, complete sets
81	Carsten Fritz	Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata.	CIAA	2003	DBLP DOI BibTeX RDF
78	Olivier Finkel	Wadge Degrees of Infinitary Rational Relations.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	2-tape Büchi automata, infinitary rational relations, Cantor topology, topological complexity, Wadge hierarchy, Wadge degrees, Wadge games, Borel hierarchy, complete sets
74	Mohammad Izadi, Marcello M. Bonsangue	Recasting Constraint Automata into Büchi Automata.	ICTAC	2008	DBLP DOI BibTeX RDF
74	Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai 0001, Kang-Nien Wu, Wen-Chin Chan	GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae.	TACAS	2007	DBLP DOI BibTeX RDF
70	Benjamin Aminof, Orna Kupferman, Omer Lev	On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata.	LPAR	2008	DBLP DOI BibTeX RDF
63	Thomas Colcombet, Konrad Zdanowski	A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata.	ICALP (2)	2009	DBLP DOI BibTeX RDF
63	Seth Fogarty, Moshe Y. Vardi	Büchi Complementation and Size-Change Termination.	TACAS	2009	DBLP DOI BibTeX RDF
63	Detlef Kähler, Thomas Wilke	Complementation, Disambiguation, and Determinization of Büchi Automata Unified.	ICALP (1)	2008	DBLP DOI BibTeX RDF
63	Carsten Fritz, Thomas Wilke	State Space Reductions for Alternating Büchi Automata.	FSTTCS	2002	DBLP DOI BibTeX RDF
63	Paul Gastin, Denis Oddoux	Fast LTL to Büchi Automata Translation.	CAV	2001	DBLP DOI BibTeX RDF
63	Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala	Bounded Model Checking for Weak Alternating Büchi Automata.	CAV	2006	DBLP DOI BibTeX RDF	Weak Alternating Büchi Automata, Bounded Model Checking, PSL, NuSMV
56	Benjamin Aminof, Orna Kupferman	On the Succinctness of Nondeterminism.	ATVA	2006	DBLP DOI BibTeX RDF
56	Gjalt G. de Jong	An Automata Theoretic Approach to Temporal Logic.	CAV	1991	DBLP DOI BibTeX RDF
55	Khalil Ajami, Serge Haddad, Jean-Michel Ilié	Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond.	TACAS	1998	DBLP DOI BibTeX RDF	Büchi automata, Model Checking, Verification, Temporal Logic, Symmetries, LTL
52	Guangyuan Li	Checking Timed Büchi Automata Emptiness Using LU-Abstractions.	FORMATS	2009	DBLP DOI BibTeX RDF
52	Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi	Büchi Complementation Made Tighter.	ATVA	2004	DBLP DOI BibTeX RDF
52	Roberto Sebastiani, Stefano Tonetta	"More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking.	CHARME	2003	DBLP DOI BibTeX RDF
52	Dimitra Giannakopoulou, Flavio Lerda	From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.	FORTE	2002	DBLP DOI BibTeX RDF
52	Felix Klaedtke	Complementation of Büchi Automata Using Alternation.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
52	Markus Roggenbach	Determinization of Büchi-Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
52	Tomasz Fryderyk Urbanski	On Deciding if Deterministic Rabin Language Is in Büchi Class.	ICALP	2000	DBLP DOI BibTeX RDF
52	Nils Klarlund, Madhavan Mukund, Milind A. Sohoni	Determinizing Büchi Asnchronous Automata.	FSTTCS	1995	DBLP DOI BibTeX RDF
51	Stavros Tripakis	Checking timed Büchi automata emptiness on simulation graphs.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	property-preserving abstractions, timed Büchi automata, model checking, Formal methods, specification languages
44	Orna Kupferman, Moshe Y. Vardi	Complementation Constructions for Nondeterministic Automata on Infinite Words.	TACAS	2005	DBLP DOI BibTeX RDF
44	Valerie King, Orna Kupferman, Moshe Y. Vardi	On the Complexity of Parity Word Automata.	FoSSaCS	2001	DBLP DOI BibTeX RDF
44	Danièle Beauquier, Damian Niwinski	Automata on Infinite Trees with Counting Constraints.	TAPSOFT	1993	DBLP DOI BibTeX RDF
44	Hugues Calbrix, Maurice Nivat, Andreas Podelski	Ultimately Periodic Words of Rational w-Languages.	MFPS	1993	DBLP DOI BibTeX RDF
44	Manfred Droste, George Rahonis	Weighted Automata and Weighted Logics with Discounting.	CIAA	2007	DBLP DOI BibTeX RDF	weighted Büchi and Muller automata, weighted MSO logic, discounting, formal power series, weighted automata
44	Julien Groslambert	A.	B	2007	DBLP DOI BibTeX RDF	Büchi Automaton, Verification, LTL
44	Julien Groslambert	Verification of LTL on B Event Systems.	B	2007	DBLP DOI BibTeX RDF	Büchi Automaton, Verification, Refinement, LTL
44	Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand	Modular Verification for a Class of PLTL Properties.	IFM	2000	DBLP DOI BibTeX RDF	Büchi automata, Propositional linear temporal logic PLTL, B specification, model-checking, Verification, Refinement, modularity
41	Alexander Schimpf, Stephan Merz, Jan-Georg Smaus	Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL.	TPHOLs	2009	DBLP DOI BibTeX RDF
41	Hrishikesh Karmarkar, Supratik Chakraborty	On Minimal Odd Rankings for Büchi Complementation.	ATVA	2009	DBLP DOI BibTeX RDF
41	Sven Schewe	Tighter Bounds for the Determinisation of Büchi Automata.	FoSSaCS	2009	DBLP DOI BibTeX RDF
41	Hans Svensson	Implementing an LTL-to-Büchi translator in Erlang: a protest experience report.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	LTL-to-B?chi translator, QuickCheck, property driven development
41	Moshe Y. Vardi	The Büchi Complementation Saga.	STACS	2007	DBLP DOI BibTeX RDF
41	Sudeep Juvekar, Nir Piterman	Minimizing Generalized Büchi Automata.	CAV	2006	DBLP DOI BibTeX RDF
41	Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud	On-the-Fly Emptiness Checks for Generalized Büchi Automata.	SPIN	2005	DBLP DOI BibTeX RDF
41	Heikki Tauriainen	Nested Emptiness Search for Generalized Büchi Automata.	ACSD	2004	DBLP DOI BibTeX RDF
41	Kousha Etessami, Gerard J. Holzmann	Optimizing Büchi Automata.	CONCUR	2000	DBLP DOI BibTeX RDF
41	Mads Dam	Fixed Points of Büchi Automata.	FSTTCS	1992	DBLP DOI BibTeX RDF
41	A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper	The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract).	ICALP	1985	DBLP DOI BibTeX RDF
37	Yong Li 0031, Sven Schewe, Moshe Y. Vardi	Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata.	CoRR	2023	DBLP DOI BibTeX RDF
37	Yong Li 0031, Sven Schewe, Moshe Y. Vardi	Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata.	CONCUR	2023	DBLP DOI BibTeX RDF
37	Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux 0001	Playing (Almost-)Optimally in Concurrent Büchi and co-Büchi Games.	CoRR	2022	DBLP DOI BibTeX RDF
37	Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux 0001	Playing (Almost-)Optimally in Concurrent Büchi and Co-Büchi Games.	FSTTCS	2022	DBLP DOI BibTeX RDF
37	Yih-Kuen Tsay, Ming-Hsien Tsai 0001, Jinn-Shu Chang, Yi-Wen Chang	Büchi Store: An Open Repository of Büchi Automata.	TACAS	2011	DBLP DOI BibTeX RDF
37	Udi Boker, Orna Kupferman	The Quest for a Tight Translation of Büchi to co-Büchi Automata.	Fields of Logic and Computation	2010	DBLP DOI BibTeX RDF
33	Zoltán Ésik, Szabolcs Iván	Context-Free Languages of Countable Words.	ICTAC	2009	DBLP DOI BibTeX RDF
33	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	Safraless Compositional Synthesis.	CAV	2006	DBLP DOI BibTeX RDF
33	Jaco Geldenhuys, Henri Hansen	Larger Automata and Less Work for LTL Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF
33	Orna Kupferman, Robby Lampert	On the Construction of Fine Automata for Safety Properties.	ATVA	2006	DBLP DOI BibTeX RDF
33	Carsten Fritz	Concepts of Automata Construction from LTL.	LPAR	2005	DBLP DOI BibTeX RDF
33	Moritz Hammer, Alexander Knapp, Stephan Merz	Truly On-the-Fly LTL Model Checking.	TACAS	2005	DBLP DOI BibTeX RDF
33	Viktor Schuppan, Armin Biere	Shortest Counterexamples for Symbolic Model Checking of LTL with Past.	TACAS	2005	DBLP DOI BibTeX RDF
33	Xiang Fu 0001, Tevfik Bultan, Jianwen Su	Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services.	CIAA	2003	DBLP DOI BibTeX RDF
33	Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi	Resets vs. Aborts in Linear Temporal Logic.	TACAS	2003	DBLP DOI BibTeX RDF
33	Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger	Simple Stochastic Parity Games.	CSL	2003	DBLP DOI BibTeX RDF
33	Kousha Etessami	A Hierarchy of Polynomial-Time Computable Simulations for Automata.	CONCUR	2002	DBLP DOI BibTeX RDF
33	Salvatore La Torre, Aniello Murano, Margherita Napoli	Weak Muller Acceptance Conditions for Tree Automata.	VMCAI	2002	DBLP DOI BibTeX RDF
33	Jerzy Marcinkowski, Tomasz Truderung	Optimal Complexity Bounds for Positive LTL Games.	CSL	2002	DBLP DOI BibTeX RDF
33	Orna Kupferman, Moshe Y. Vardi	Weak alternating automata are not that weak.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	weak alternating automata, complementation
33	Steffen Lange, Gunter Grieser, Klaus P. Jantke	Extending Elementary Formal Systems.	ALT	2001	DBLP DOI BibTeX RDF
33	Christian Choffrut	Elementary Theory of Ordinals with Addition and Left Translation by omega.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
33	Moshe Y. Vardi	Linear-Time Model Checking: Automata Theory in Practice.	CIAA	2007	DBLP DOI BibTeX RDF	Büchi automata, model checking, linear-temporal logic
33	Roderick Bloem, Harold N. Gabow, Fabio Somenzi	An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	language emptiness, Büchi automata, Streett automata, model checking, binary decision diagrams, depth-first search, breadth-first search, strongly connected components, symbolic algorithms
33	Willem Visser, Howard Barringer	Practical CTL* Model Checking: Should SPIN be Extended?	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Büchi automata, Hesitant alternating automata, Model checking, Games, Spin
33	Moritz Büchi	Digital well-being theory and research.	New Media Soc.	2024	DBLP DOI BibTeX RDF
33	Roland Büchi	Parameter Tables for PID Controllers for Time-delayed Systems Optimized with a Learning Method.	Simul. Notes Eur.	2023	DBLP DOI BibTeX RDF
33	Moritz Büchi, Noemi Festic, Michael Latzer	The Chilling Effects of Digital Dataveillance: A Theoretical Model and an Empirical Research Agenda.	Big Data Soc.	2022	DBLP DOI BibTeX RDF
33	Francesco Witz, Baptiste Buchi, Hakim Mabed, Frédéric Lassabe, Jaafar Gaber, Wahabou Abdou	Deep Learning for the selection of the best modular robots self-reconfiguration algorithm.	ISCC	2022	DBLP DOI BibTeX RDF
33	Roland Büchi	PID Parameter Tables for Time-Delayed Systems, Found with Learning Algorithms According to Minimum IAE, ITAE and ISE Criteria.	IntelliSys (3)	2022	DBLP DOI BibTeX RDF
33	Moritz Büchi	Book Review: The digital divide.	New Media Soc.	2021	DBLP DOI BibTeX RDF
33	Baptiste Buchi, Hakim Mabed, Frédéric Lassabe, Jaafar Gaber, Wahabou Abdou	Translation based Self Reconfiguration Algorithm for 6-lattice Modular Robots.	ISPDC	2021	DBLP DOI BibTeX RDF
33	Roland Büchi	Machine Learning for Optimal ITAE Controller Parameters for Thermal PTn Actuators.	IntelliSys (2)	2021	DBLP DOI BibTeX RDF
33	Roland Büchi	Optimal ITAE Criterion PID Parameters for PTn Plants Found with a Machine Learning Approach.	ICCMA	2021	DBLP DOI BibTeX RDF
33	Matthias Büchi, Andreas Ahlenstorf	audiomate: A Python package for working with audio datasets.	J. Open Source Softw.	2020	DBLP DOI BibTeX RDF
33	Moritz Büchi, Eduard Fosch-Villaronga, Christoph Lutz, Aurelia Tamò-Larrieux, Shruthi Velidi, Salomé Viljöen	The chilling effects of algorithmic profiling: Mapping the issues.	Comput. Law Secur. Rev.	2020	DBLP DOI BibTeX RDF
33	Matthias Büchi, Malgorzata Anna Ulasik, Manuela Hürlimann, Fernando Benites, Pius von Däniken, Mark Cieliebak	ZHAW-InIT at GermEval 2020 Task 4: Low-Resource Speech-to-Text.	SwissText/KONVENS	2020	DBLP BibTeX RDF
33	Rainer Winkler, Claudio Büchi, Matthias Söllner 0001	Improving Problem-Solving Skills with Smart Personal Assistants: Insights from a Quasi Field Experiment.	ICIS	2019	DBLP BibTeX RDF
33	Marina Micheli, Christoph Lutz, Moritz Büchi	Digital footprints: an emerging dimension of digital inequality.	J. Inf. Commun. Ethics Soc.	2018	DBLP DOI BibTeX RDF
33	Moritz Büchi, Natascha Just, Michael Latzer	Modeling the second-level digital divide: A five-country study of social differences in Internet use.	New Media Soc.	2016	DBLP DOI BibTeX RDF
33	Julien Rebetez, Héctor F. Satizábal, Matteo Mota, Dorothea Noll, Lucie Büchi, Marina Wendling, Bertrand Cannelle, Andrés Pérez-Uribe, Stéphane Burgos	Augmenting a convolutional neural network with local histograms - A case study in crop classification from high-resolution UAV imagery.	ESANN	2016	DBLP BibTeX RDF
33	Miguel Nussbaum, Cristian Alcoholado, Thomas Büchi	A comparative analysis of interactive arithmetic learning in the classroom and computer lab.	Comput. Hum. Behav.	2015	DBLP DOI BibTeX RDF
33	Jérôme Bernard, Sébastien Delprat, Felix N. Büchi, Thierry-Marie Guerra	Fuel-Cell Hybrid Powertrain: Toward Minimization of Hydrogen Consumption.	IEEE Trans. Veh. Technol.	2009	DBLP DOI BibTeX RDF
33	Kandasamy Selvaradjou, Buchi Goutham, C. Siva Ram Murthy	Exploiting Resource-Rich Actors for Bridging Network Partitions in Wireless Sensor and Actor Networks.	ICDCN	2008	DBLP DOI BibTeX RDF
33	Kandasamy Selvaradjou, Marudachalam Dhanaraj, Buchi Goutham, C. Siva Ram Murthy	A new battery and redundancy aware node scheduling protocol for Wireless Sensor Networks.	COMSWARE	2008	DBLP DOI BibTeX RDF
33	Elke Reuss, Marino Menozzi, Markus Büchi, Johanna Koller, Helmut Krueger	Information access at the point of care: what can we learn for designing a mobile CPR system?	Int. J. Medical Informatics	2004	DBLP DOI BibTeX RDF
33	Martin Büchi, Emil Sekerinski	A Foundation for Refining Concurrent Objects.	Fundam. Informaticae	2000	DBLP BibTeX RDF
33	Martin Büchi, Wolfgang Weck	Generic Wrappers.	ECOOP	2000	DBLP DOI BibTeX RDF
33	Martin Büchi, Ralph-Johan Back	Compositional Symmetric Sharing in B.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
33	Martin Büchi	The B Bank: A Complete Case Study.	ICFEM	1998	DBLP DOI BibTeX RDF
33	Martin Büchi, Wolfgang Weck	Compound Types for Java.	OOPSLA	1998	DBLP DOI BibTeX RDF	Java