Search results for "automaton"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Ranjan Chaudhuri, Hartmut Höft	On rational solution of the state equation of a finite automation (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
30	Jean-Eric Pin	On the Language Accepted by Finite Reversible Automata.	ICALP	1987	DBLP DOI BibTeX RDF
30	Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison	Stack automata and compiling.	J. ACM	1967	DBLP DOI BibTeX RDF
28	Jan Lunze	Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-Event Models.	Discret. Event Dyn. Syst.	2008	DBLP DOI BibTeX RDF	Embedded map, Nondeterministic automaton, Fault diagnosis, Hybrid system, Completeness, Semi-Markov process, Timed automaton, Model abstraction
28	Norio Konno	Quantum Walks and Quantum Cellular Automata.	ACRI	2008	DBLP DOI BibTeX RDF	quantum cellular automaton, stochastic cellular automaton, quantum walk
28	Monika Maidl	The Common Fragment of CTL and LTL.	FOCS	2000	DBLP DOI BibTeX RDF	action-based computation tree logic, linear time logic, common fragment, ACTL formulas, PSPACE-complete problem, path quantifiers, 1-weak Buchi automaton, automaton size, formula size, computational complexity, temporal logic, trees (mathematics), decidability, finite automata, expressive power, negation, CTL, LTL, inductive definition
28	Kazue Sugino, Yasuyoshi Inagaki, Teruo Fukumura	A Note on the Linear Space Automata Stability Problem.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	linear space automaton, probabilistic automaton, stability, Approximation, eigenvalue, norm, matrix, spectral radius
27	Ali Safari Mamaghani, Mostafa Mahi, Mohammad Reza Meybodi	A Learning Automaton Based Approach for Data Fragments Allocation in Distributed Database Systems.	CIT	2010	DBLP DOI BibTeX RDF	Object migration learning automaton, Distributed Data fragment allocation, Distributed systems
27	Ming-Ming Xiao, Shun-Zheng Yu, Yu Wang 0017	Automatic Network Protocol Automaton Extraction.	NSS	2009	DBLP DOI BibTeX RDF	protocol reverse engineering, automaton inference, regular expression, Protocol analysis
27	Shengpeng Yu, Xianbin Cao 0001, Maobin Hu, Wenbo Du, Jun Zhang 0007	A real-time schedule method for aircraft landing scheduling problem based on cellular automaton.	GEC Summit	2009	DBLP DOI BibTeX RDF	aircraft landing scheduling, genetic algorithm, optimization, cellular automaton
27	Yoshiteru Ishida, Tatsuya Hayashi	Asymmetric Phenomena of Segregation and Integration in Biological Systems: A Matching Automaton.	KES (2)	2009	DBLP DOI BibTeX RDF	neural system, segregation and integration, matching automaton, Necker Cube, immune system, stable marriage problem
27	Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng	Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	model checking, formal method, timed automaton
27	Weiguo Wang	An Asynchronous Two-Dimensional Self-Correcting Cellular Automaton	FOCS	1991	DBLP DOI BibTeX RDF	fault-free global synchronization clock, asynchronous two-dimensional self-correcting cellular automaton, arbitrary size, homogeneous asynchronous array, asynchronous environment, reliability, probability, reliable computation
27	Masateru Harao, Shoichi Noguchi	On Some Dynamical Properties of Finite Cellular Automaton.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	tree type transition, Abelian group graph, cycle type transition, homogeneous nets, passive configuration, cellular automaton, spectrum, characteristic polynomial
26	Michal Bidlo, Zdenek Vasícek	Development of combinational circuits using non-uniform cellular automata: initial results.	GECCO	2009	DBLP DOI BibTeX RDF	evolutionary algorithm, combinational circuit, development, cellular automaton
26	Farn Wang	Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.	ATVA	2008	DBLP DOI BibTeX RDF	time progress, model-checking, convex, Timed automaton, concave, TCTL
26	Julien Groslambert	A.	B	2007	DBLP DOI BibTeX RDF	Büchi Automaton, Verification, LTL
26	Julien Groslambert	Verification of LTL on B Event Systems.	B	2007	DBLP DOI BibTeX RDF	Büchi Automaton, Verification, Refinement, LTL
26	T. Kalyani, V. Rajkumar Dare, D. Gnanaraj Thomas, T. Robinson 0001	Iso-array Acceptors and Learning.	ICGI	2006	DBLP DOI BibTeX RDF	iso-picture languages, recognizable iso-picture languages, two-dimensional on-line tessellation automaton, Learning
26	M. Anton Ertl, Kevin Casey, David Gregg	Fast and flexible instruction selection with on-demand tree-parsing automata.	PLDI	2006	DBLP DOI BibTeX RDF	tree parsing, dynamic programming, automaton, lazy, instruction selection
26	Jonas Månsson, Patrik Nordbeck	A generalized Ufnarovski graph.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF	Non-commutative algebras, Automaton algebras, Ufnarovski graph, Dickson's lemma, Noetherianity, Automata
26	Bo Qin, Tao Lv	Real-Time Dynamic Cloud Modeling and Rendering.	CGIV	2005	DBLP DOI BibTeX RDF	Virtual reality, Animation, Cellular automaton, Multiple scattering
26	Harumichi Nishimura, Tomoyuki Yamakami	An Application of Quantum Finite Automata to Interactive Proof Systems.	CIAA	2004	DBLP DOI BibTeX RDF	quantum finite automaton, quantum interactive proof system, quantum measurement, quantum circuit
26	Michaël Adélaïde, Claire Pagetti	On the Urgency Expressiveness.	FSTTCS	2004	DBLP DOI BibTeX RDF	timed regular expression, minimal number of clocks, n-clock timed language, Timed automaton, urgency
26	Satoshi Yamane	Formal Timing Verification Techniques for Distributed System .	FTDCS	1995	DBLP DOI BibTeX RDF	language inclusion algorithm, formal specification, timing verification, timed automaton
26	Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen	From CSP Models to Markov Models.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	probabilistic dependability model, trace-based functional model, time homogeneous Markov process, deterministic systems, event occurrences, exponential time distribution, terminal failure, gas burner system, specification, fault tolerant computing, Markov processes, finite automata, safety-critical system, waiting time, communicating sequential process, communicating sequential processes, stochastic, finite automaton
26	Samira Attou, Ludovic Mignot, Djelloul Ziadi	The Bottom-Up Position Tree Automaton and the Father Automaton.	Int. J. Found. Comput. Sci.	2020	DBLP DOI BibTeX RDF
26	Samira Attou, Ludovic Mignot, Djelloul Ziadi	The Bottom-Up Position Tree Automaton, the Father Automaton and their Compact Versions.	CoRR	2018	DBLP BibTeX RDF
26	Daniele D'Angeli, Emanuele Rodaro, Jan Philipp Wächter	On the complexity of the word problem for automaton semigroups and automaton groups.	Adv. Appl. Math.	2017	DBLP DOI BibTeX RDF
26	Tara Brough, Alan J. Cain	Automaton semigroups: New constructions results and examples of non-automaton semigroups.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
26	Daniele D'Angeli, Emanuele Rodaro, Jan Philipp Wächter	On the Complexity of the Word Problem of Automaton Semigroups and Automaton Groups.	CoRR	2016	DBLP BibTeX RDF
26	Tara Brough, Alan J. Cain	Automaton semigroups: new construction results and examples of non-automaton semigroups.	CoRR	2016	DBLP BibTeX RDF
26	Mary Jemima Samuel, V. Rajkumar Dare	Watson-Crick online tessellation automaton and timed Watson-Crick ω-automaton.	BIC-TA	2010	DBLP DOI BibTeX RDF
26	Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi	Follow Automaton versus Equation Automaton.	DCFS	2004	DBLP BibTeX RDF
26	Aleksandr V. Babash	Solving Automaton Equations with Distortions in the Automaton Transition Function.	Probl. Inf. Transm.	2002	DBLP DOI BibTeX RDF
26	Bruce H. Barnes	A Two-Way Automaton with Fewer States than Any Equivalent One-Way Automaton.	IEEE Trans. Computers	1971	DBLP DOI BibTeX RDF
25	Yanbing Liu, Yifu Yang, Ping Liu 0001, Jianlong Tan	A Table Compression Method for Extended Aho-Corasick Automaton.	CIAA	2009	DBLP DOI BibTeX RDF
25	Markus Holzer 0001, Andreas Maletti	An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton.	CIAA	2009	DBLP DOI BibTeX RDF
25	Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot	A New Family of Regular Operators Fitting with the Position Automaton Computation.	SOFSEM	2009	DBLP DOI BibTeX RDF
25	Reuven Cohen, Pierre Fraigniaud, David Ilcinkas, Amos Korman, David Peleg	Label-guided graph exploration by a finite automaton.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	Distributed algorithms, labeling schemes, graph exploration
25	Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg	A Context-Free Process as a Pushdown Automaton.	CONCUR	2008	DBLP DOI BibTeX RDF
25	Fengjun Li, Bo Luo, Peng Liu 0005, Dongwon Lee 0001, Chao-Hsien Chu	Automaton segmentation: a new approach to preserve privacy in xml information brokering.	CCS	2007	DBLP DOI BibTeX RDF	privacy, access control, xml
25	Gurvan Le Guernic	Automaton-based Confidentiality Monitoring of Concurrent Programs.	CSF	2007	DBLP DOI BibTeX RDF
25	Maxime Crochemore, Chiara Epifanio, Alessandra Gabriele, Filippo Mignosi	On the Suffix Automaton with Mismatches.	CIAA	2007	DBLP DOI BibTeX RDF	suffix automata, languages with mismatches, approximate string matching, combinatorics on words
25	Julien Cervelle, Enrico Formenti, Pierre Guillon 0001	Sofic Trace Subshift of a Cellular Automaton.	CiE	2007	DBLP DOI BibTeX RDF	sofic systems, cellular automata, formal languages, symbolic dynamics, discrete-time dynamical systems
25	Didier Lime, Olivier H. Roux	Model Checking of Time Petri Nets Using the State Class Timed Automaton.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Dense-time systems, Model-checking, Timed automata, Time petri nets
25	Xiaolong Shi, Linqiang Pan, Xu Jin	General DNA Automaton Model with R/W Tape.	ICIC (3)	2006	DBLP DOI BibTeX RDF
25	Feng Cao, Zhenfu Cao	A Proxy-Protected Signature Scheme Based on Finite Automaton.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
25	Tong Wang 0005, Daxin Liu 0001, Xuan-Zuo Lin	Query Optimization Method Based on Automaton for Content-based Filtering.	AINA (2)	2006	DBLP DOI BibTeX RDF
25	Elizabeth I. Leonard, Myla Archer	Extended abstract: organizing automaton specifications to achieve faithful representation.	MEMOCODE	2005	DBLP DOI BibTeX RDF
25	Shiri Dori, Gad M. Landau	Construction of Aho Corasick Automaton in Linear Time for Integer Alphabets.	CPM	2005	DBLP DOI BibTeX RDF
25	Reuven Cohen, Pierre Fraigniaud, David Ilcinkas, Amos Korman, David Peleg	Label-Guided Graph Exploration by a Finite Automaton.	ICALP	2005	DBLP DOI BibTeX RDF
25	Jacques Sakarovitch	The Language, the Expression, and the (Small) Automaton.	CIAA	2005	DBLP DOI BibTeX RDF
25	Rajeev Goré, Linh Anh Nguyen	A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.	TABLEAUX	2005	DBLP DOI BibTeX RDF
25	René Schott, Jean-Claude Spehner	On the Minimal Automaton of the Shuffle of Words and Araucarias.	MCU	2004	DBLP DOI BibTeX RDF
25	Emmanuel Sapin, Olivier Bailleux, Jean-Jacques Chabrier, Pierre Collet	A New Universal Cellular Automaton Discovered by Evolutionary Algorithms.	GECCO (1)	2004	DBLP DOI BibTeX RDF
25	Loek G. Cleophas, Bruce W. Watson, Gerard Zwaan	Automaton-Based Sublinear Keyword Pattern Matching.	SPIRE	2004	DBLP DOI BibTeX RDF
25	Hamid Beigy, Mohammad Reza Meybodi	A New Continuous Action-Set Learning Automaton for Function Optimization.	ISCIS	2003	DBLP DOI BibTeX RDF
25	Kamal Lodaya, Ramaswamy Ramanujam	An Automaton Model of User-Controlled Navigation on the Web.	CIAA	2000	DBLP DOI BibTeX RDF
25	Angelika Mader, Hanno Wupper	Timed automaton models for simple programmable logic controllers.	ECRTS	1999	DBLP DOI BibTeX RDF
25	Masayuki Ikebe, Masamichi Akazawa, Yoshihito Amemiya	nu-MOS cellular-automaton devices for intelligent image sensors.	KES (3)	1998	DBLP DOI BibTeX RDF
25	Y. Kawano, Zensho Nakao, Yen-Wei Chen 0001	An application of automaton neural networks to artificial agents.	KES (3)	1998	DBLP DOI BibTeX RDF
25	Nils Klarlund	Mona & Fido: The Logic-Automaton Connection in Practice.	CSL	1997	DBLP DOI BibTeX RDF
25	Craig A. Rich	The Complexity of a Counting Finite-State Automaton.	FSTTCS	1988	DBLP DOI BibTeX RDF
25	Danièle Beauquier	Some Results About Finite and Infinite Behaviours of a Pushdown Automaton.	ICALP	1984	DBLP DOI BibTeX RDF
25	Wojciech Rytter	Fast Recognition of Pushdown Automaton and Context-Free Languages.	MFCS	1984	DBLP DOI BibTeX RDF
25	Paul Branquart, Jean-Pierre Cardinael, Johan Lewi, Jean-Paul Delescaille, Michael Van Begin	A simple translation automaton allowing the generation of optimized code.	Methods of Algorithmic Language Implementation	1975	DBLP DOI BibTeX RDF
24	Thomas Colcombet, Konrad Zdanowski	A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata.	ICALP (2)	2009	DBLP DOI BibTeX RDF
24	Pawel Gawrychowski, Artur Jez	Hyper-minimisation Made Efficient.	MFCS	2009	DBLP DOI BibTeX RDF	hyper-minimisation, cover automata, finite automata, minimisation
24	Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot	Small Extended Expressions for Acyclic Automata.	CIAA	2009	DBLP DOI BibTeX RDF
24	Valentino Crespi, George Cybenko, Guofei Jiang	The theory of trackability with applications to sensor networks.	ACM Trans. Sens. Networks	2008	DBLP DOI BibTeX RDF	multiple hypotheses, Sensor networks, tracking
24	Giusi Castiglione, Antonio Restivo, Marinella Sciortino	Hopcroft's Algorithm and Cyclic Automata.	LATA	2008	DBLP DOI BibTeX RDF
24	Michela Becchi, Patrick Crowley	Extending finite automata to efficiently match Perl-compatible regular expressions.	CoNEXT	2008	DBLP DOI BibTeX RDF
24	Hajime Takekawa, Hiroshi Ishikawa 0004	Incrementally-Updatable Stream Processors for XPath Queries based on Merging Automata via Ordered Hash-keys.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
24	Douglas R. Smith	Requirement enforcement by transformation automata.	FOAL	2007	DBLP DOI BibTeX RDF
24	Hing Leung	Structurally Unambiguous Finite Automata.	CIAA	2006	DBLP DOI BibTeX RDF
24	Martin Simunek, Borivoj Melichar	Borders and Finite Automata.	CIAA	2006	DBLP DOI BibTeX RDF
24	Frantisek Mráz, Friedrich Otto, Martin Plátek	On the Gap-Complexity of Simple RL-Automata.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
24	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Automated Incremental Synthesis of Timed Automata.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF	Bounded liveness, Bounded response, Real-time, Formal methods, Synthesis, Transformation, Timed automata
24	Vince Bárány, Christof Löding, Olivier Serre	Regularity Problems for Visibly Pushdown Languages.	STACS	2006	DBLP DOI BibTeX RDF
24	Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit	Reformulation of Global Constraints Based on Constraints Checkers.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	automata, global constraints, reformulation
24	Carsten Fritz	Concepts of Automata Construction from LTL.	LPAR	2005	DBLP DOI BibTeX RDF
24	Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi	Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
24	John P. Gallagher, Kim S. Henriksen, Gourinath Banda	Techniques for Scaling Up Analyses Based on Pre-interpretations.	ICLP	2005	DBLP DOI BibTeX RDF
24	Shoham Ben-David, Dana Fisman, Sitvanit Ruah	The Safety Simple Subset.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
24	Shankara Narayanan Krishna, Paritosh K. Pandya	Modal Strength Reduction in Quantified Discrete Duration Calculus.	FSTTCS	2005	DBLP DOI BibTeX RDF
24	Pham Hong Thai, Dang Van Hung	Verifying Linear Duration Constraints of Timed Automata.	ICTAC	2004	DBLP DOI BibTeX RDF
24	Lynette van Zijl	Magic Numbers for Symmetric Difference NFAs.	CIAA	2004	DBLP DOI BibTeX RDF
24	Hellis Tamm, Matti Nykänen, Esko Ukkonen	Size Reduction of Multitape Automata.	CIAA	2004	DBLP DOI BibTeX RDF
24	Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi 0001	Timed vs. Time-Triggered Automata.	CONCUR	2004	DBLP DOI BibTeX RDF
24	Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir	Formal Verification of a Practical Lock-Free Queue Algorithm.	FORTE	2004	DBLP DOI BibTeX RDF
24	Sylvain Lombardy, Jacques Sakarovitch	How Expressions Can Code for Automata.	LATIN	2004	DBLP DOI BibTeX RDF
24	Javier Esparza	An Automata-Theoretic Approach to Software Verification.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
24	Thomas Stauner	Discrete-Time Refinement of Hybrid Automata.	HSCC	2002	DBLP DOI BibTeX RDF
24	Sylvain Lombardy, Jacques Sakarovitch	Star Height of Reversible Languages and Universal Automata.	LATIN	2002	DBLP DOI BibTeX RDF
24	Heui-Seok Seo, In Sang Chung, Byeong Man Kim, Yong Rae Kwon	The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs.	APSEC	2001	DBLP DOI BibTeX RDF
24	Valerie King, Orna Kupferman, Moshe Y. Vardi	On the Complexity of Parity Word Automata.	FoSSaCS	2001	DBLP DOI BibTeX RDF
24	Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero	Evolving Cellular Automata for Self-Testing Hardware.	ICES	2000	DBLP DOI BibTeX RDF
24	Hubert Comon, Yan Jurski	Timed Automata and the Theory of Real Numbers.	CONCUR	1999	DBLP DOI BibTeX RDF
24	Pavol Duris, Tomasz Jurdzinski, Miroslaw Kutylowski, Krzysztof Lorys	Power of Cooperation and Multihead Finite Systems.	ICALP	1998	DBLP DOI BibTeX RDF