Search results for "automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
29	John C. Meakin	Automata and the word problem.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
29	Jean-Camille Birget	Basic techniques for two-way finite automata.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
29	Kosaburo Hashiguchi	Relative star height, star height and finite automata with distance functions.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
29	Jean Berstel	Finite automata and rational languages. An introduction.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
29	G. Rauzy	Numbers and automata.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
29	Maurice Gross	The Use of Finite Automata in the Lexical Representaion of Natural Language.	Electronic Dictionaries and Automata in Computational Linguistics	1987	DBLP DOI BibTeX RDF
29	Maurice Tchuenté	Computation on Finite Networks of Automata.	Automata Networks	1986	DBLP DOI BibTeX RDF
29	Christian Choffrut	An Introduction to Automata Network Theory.	Automata Networks	1986	DBLP DOI BibTeX RDF
29	Paul E. Schupp	Arrays, Automata and Groups: Some Interconnections.	Automata Networks	1986	DBLP DOI BibTeX RDF
29	Dominique Perrin	An introduction to finite automata on infinite words.	Automata on Infinite Words	1984	DBLP DOI BibTeX RDF
29	David E. Muller, Paul E. Schupp	Alternating automata on infinite objects, determinacy and Rabin's theorem.	Automata on Infinite Words	1984	DBLP DOI BibTeX RDF
29	M. W. Shields	Deterministic asynchronous automata.	Automata on Infinite Words	1984	DBLP DOI BibTeX RDF
29	John H. Holland	Studies of the Spontaneous Emergence of Self-Replicating Systems Using Cellular Automata and Formal Grammars.	Automata, Languages, Development	1975	DBLP BibTeX RDF
28	Sukanta Das, Biplab K. Sikdar	Classification of CA Rules Targeting Synthesis of Reversible Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF
28	Ángel Martín del Rey	A Protocol to Provide Assurance of Images Integrity Using Memory Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF
28	Shunsuke Miyamoto, Hideyuki Sakai, Toshihiko Shiraishi, Shin Morishita	A Flow Modeling of Lubricating Greases Under Shear Deformation by Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF
28	G. V. Lasko, Ye. Ye. Deryugin, Siegfried Schmauder	Simulation of the Evolution of Band Structures in Polycrystals on the Basis of Relaxation Element Method and Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF
28	Hiroshi Umeo, Takashi Yanagihara, Masaru Kanazawa	State-Efficient Firing Squad Synchronization Protocols for Communication-Restricted Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF
28	Kamel Chelghoum, Maurice Margenstern, Benoît Martin, Isabelle Pecci	Cellular Automata in the Hyperbolic Plane: Proposal for a New Environment.	ACRI	2004	DBLP DOI BibTeX RDF
28	René Rodríguez Zamora, Sergio Víctor Chapa Vergara	Using de Bruijn Diagrams to Analyze 1d Cellular Automata Traffic Models.	ACRI	2004	DBLP DOI BibTeX RDF
28	Predrag T. Tosic, Gul Agha	Characterizing Configuration Spaces of Simple Threshold Cellular Automata.	ACRI	2004	DBLP DOI BibTeX RDF
28	Tomoaki Suzudo	Searching for Pattern-Forming Asynchronous Cellular Automata - An Evolutionary Approach.	ACRI	2004	DBLP DOI BibTeX RDF
28	Robert Kozma 0001, Marko Puljic, Paul Balister, Béla Bollobás, Walter J. Freeman	Neuropercolation: A Random Cellular Automata Approach to Spatio-temporal Neurodynamics.	ACRI	2004	DBLP DOI BibTeX RDF
28	Marta Pla-Castells, Ignacio García-Fernández, Rafael J. Martínez	Approximation of Continuous Media Models for Granular Systems Using Cellular Automata.	ACRI	2004	DBLP DOI BibTeX RDF
28	Yousuke Takada, Teijiro Isokawa, Ferdinand Peper, Nobuyuki Matsui	Universal Construction on Self-Timed Cellular Automata.	ACRI	2004	DBLP DOI BibTeX RDF
28	Mehrdad Ghaemi, Nasrollah Rezaei-Ghaleh, Mohammad-Nabi Sarbolouki	Directed Ligand Passage over the Surface of Diffusion-Controlled Enzymes: A Cellular Automata Model.	ACRI	2004	DBLP DOI BibTeX RDF
28	Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury	Characterization of a Class of Complemented Group Cellular Automata.	ACRI	2004	DBLP DOI BibTeX RDF
28	Donato D'Ambrosio, Salvatore Di Gregorio, Giulio Iovine, Valeria Lupiano, Rocco Rongo, William Spataro	Modelling Surface Flows for Macroscopic Phenomena by Cellular Automata: An Application to Debris Flows.	ACRI	2002	DBLP DOI BibTeX RDF
28	Ivan Blecic, Arnaldo Cecchini, Paola Rizzi, Giuseppe A. Trunfio	Playing with Automata. An Innovative Perspective for Gaming Simulation.	ACRI	2002	DBLP DOI BibTeX RDF
28	Pradipta Maji, Niloy Ganguly, Sourav Saha 0001, Anup K. Roy, Parimal Pal Chaudhuri	Cellular Automata Machine for Pattern Recognition.	ACRI	2002	DBLP DOI BibTeX RDF
28	Samira El Yacoubi, Abdelhaq El Jai, Nezha Ammor	Regional Controllability with Cellular Automata Models.	ACRI	2002	DBLP DOI BibTeX RDF
28	Peter M. A. Sloot, Fan Chen, Charles A. Boucher	Cellular Automata Model of Drug Therapy for HIV Infection.	ACRI	2002	DBLP DOI BibTeX RDF
28	Beatrix Braune, Stephan Diehl 0001, Andreas Kerren, Reinhard Wilhelm	Animation of the Generation and Computation of Finite Automata for Learning Software.	WIA	1999	DBLP DOI BibTeX RDF
28	Lin Liu 0003, Jonathan Billington	Recursive Parametric Automata and epsilon-Removal.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF	Parametric Automata, Automata Reduction, Language Equivalence, Protocol Verification
28	Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan	Testing Systems Specified as Partial Order Input/Output Automata.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Testing distributed systems, conformance relations, partial order automata, HMSC, partial order, finite state automata
28	Ryan Cavalcante, Thomas Finley, Susan H. Rodger	A visual and interactive automata theory course with JFLAP 4.0.	SIGCSE	2004	DBLP DOI BibTeX RDF	SLR parsing, automata, grammar, L-system, turing machine, pushdown automata, JFLAP, LL parsing
28	Aryeh Teitelbaum, H. G. Medelbaum	Arts'Codes : Generation of Parallel-Automata Real-Time Systems, using a Unifying Diagrammatic Component Oriented Design Methodology.	SwSTE	2003	DBLP DOI BibTeX RDF	Components design, VPL, Parallel Automata, Real-Time Systems, Timed-automata
28	Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi 0001	Verifying temporal constraints on data in multi-rate transactions using timed automata.	RTCSA	2000	DBLP DOI BibTeX RDF	temporal constraint verification, multi-rate transactions, nonpreemptive execution order, scheduling, real-time systems, real-time systems, program verification, transaction processing, computational models, timed automata, data dependencies, schedulability analysis, reachability analysis, reachability analysis, automata theory, end-to-end latency
28	Georgios I. Papadimitriou, Athena Vakali, Andreas S. Pomportsis	Designing a learning-automata-based controller for client/server systems: a methodology.	ICTAI	2000	DBLP DOI BibTeX RDF	learning-automata-based controller, polling policy, throughput-delay performance, selective polling, feedback information, round-robin polling, bursty traffic conditions, learning (artificial intelligence), simulation results, client-server systems, automata theory, client/server systems
28	Adel Bouhoula, Jean-Pierre Jouannaud	Automata-Driven Automated Induction.	LICS	1997	DBLP DOI BibTeX RDF	automata-driven automated induction, inductive theorem proving, first-order functions, finitely many unary membership predicates, rational subsets, ground reducibility, inductive prover, theorem proving, tree automata, Horn Clauses, proof obligations
28	Subarna Bhattacharjee, J. Bhattacharya, U. Raghavendra, Debashis Saha, Parimal Pal Chaudhuri	A VLSI architecture for cellular automata based parallel data compression.	VLSI Design	1996	DBLP DOI BibTeX RDF	parallel data compression, nongroup CA, VLSI, parallel architectures, data compression, cellular automata, cellular automata, VLSI architecture, state transition
28	Santanu Chattopadhyay, Samir Roy, Parimal Pal Chaudhuri	Technology mapping on a multi-output logic module built around Cellular Automata Array for a new FPGA architecture.	VLSI Design	1995	DBLP DOI BibTeX RDF	multi-output logic module, cellular automata array, design turn-around time, field programmability, rapid circuit realization, logic blocks, AND-XOR based logic, library based technology mapping technique, MCNC benchmarks, field programmable gate arrays, VLSI, cellular automata, logic CAD, testability, technology mapping, multivalued logic circuits, FPGA architecture
28	Santanu Chattopadhyay, Dipanwita Roy Chowdhury, Subarna Bhattacharjee, Parimal Pal Chaudhuri	Board level fault diagnosis using cellular automata array.	VLSI Design	1995	DBLP DOI BibTeX RDF	board level fault diagnosis, cellular automata array, output responses, encoding strategy, byte error correcting code, encoded symbols, decoding structure, VLSI, fault diagnosis, logic testing, cellular automata, error correction codes, VLSI implementation, test vectors
28	Brigitte Plateau, Karim Atif	Stochastic Automata Network For Modeling Parallel Systems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	parallel activities, synchronization points, modular state-transition representation, Markovian assumptions, tensor algebra operators, performance evaluation, parallel algorithms, parallel architectures, parallel system, SAN, decomposition technique, stochastic automata, stochastic automata network, state-space explosion, transition matrix, storage cost
28	Abdelaziz Fellah	Time and alternation: an automata based framework to software model checking.	SAC	2010	DBLP DOI BibTeX RDF	software verification and testing, timed alternating and buchi automata, timed temporal propositional logic, software model checking
28	Darío Maravall, Javier de Lope Asiaín	ANLAGIS: Adaptive Neuron-Like Network Based on Learning Automata Theory and Granular Inference Systems with Applications to Pattern Recognition and Machine Learning.	IWINAC (1)	2009	DBLP DOI BibTeX RDF	Learning Automata Theory, Machine Learning, Pattern Recognition, Artificial Neural Networks, Granular Computing
28	Colin Stirling	Dependency Tree Automata.	FoSSaCS	2009	DBLP DOI BibTeX RDF	binding terms, Tree automata, typed lambda calculus
28	Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen	Optimal infinite scheduling for multi-priced timed automata.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Priced timed automata, Optimal mean-payoff
28	Marc Boule, Zeljko Zilic	Automata-based assertion-checker synthesis of PSL properties.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	assertion checkers, emulation, hardware, automata, PSL, Assertion-Based Verification
28	Leonid Libkin, Cristina Sirangelo	Reasoning about XML with Temporal Logics and Automata.	LPAR	2008	DBLP DOI BibTeX RDF	Query automata, XML, static analysis, temporal logics
28	Sayed Mehran Sharafi	Extending Team Automata to Evaluate Software Architectural Design.	COMPSAC	2008	DBLP DOI BibTeX RDF	Team Automata, Performance evaluation, Software Architecture, Components Interaction
28	Joan M. Lucas, Jonathan Jarvis	Incorporating transformations into jflap for enhanced understanding of automata.	SIGCSE	2008	DBLP DOI BibTeX RDF	automata, educational software, undecidability, jflap
28	Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen	Time-Abstracting Bisimulation for Probabilistic Timed Automata.	TASE	2008	DBLP DOI BibTeX RDF	time-abstracting bisimulation, probabilistic timed automata
28	Amparo Fúster-Sabater, Pino Caballero-Gil, O. Delgado	On the Use of Linear Cellular Automata for the Synthesis of Cryptographic Sequences.	HAIS	2008	DBLP DOI BibTeX RDF	interleaved sequence, linear cellular automata, cryptography, self-shrinking generator
28	Viraj Kumar, P. Madhusudan, Mahesh Viswanathan 0001	Visibly pushdown automata for streaming XML.	WWW	2007	DBLP DOI BibTeX RDF	XML, query, typing, schema, streaming algorithms, pushdown automata
28	Sayed Mehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar 0001	A Review on Specifying Software Architectures Using Extended Automata-Based Models.	FSEN	2007	DBLP DOI BibTeX RDF	Automata-based models, Software architectures, Components interaction
28	M. Khaled Hashem, B. John Oommen	On Using Learning Automata to Model a Student's Behavior in a Tutorial-like System.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Tutorial-like Systems, Student Modelling, Learning Automata
28	Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani 0001	On using priced timed automata to achieve optimal scheduling.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Priced-timed automata, Zone-based, Linear programming, Real-time scheduling, Cost optimality
28	Erzsébet Csuhaj-Varjú, Oscar H. Ibarra, György Vaszil	On the Computational Complexity of P Automata.	Nat. Comput.	2006	DBLP DOI BibTeX RDF	accepting P systems, communicating P systems, P automata, sub-logarithmic space complexity, context-sensitive languages
28	Barbara Fila, Siva Anantharaman	Automata for Positive Core XPath Queries on Compressed Documents.	LPAR	2006	DBLP DOI BibTeX RDF	Tree grammars, Dags, Core XPath, XML, Automata
28	Manfred Droste, George Rahonis	Weighted Automata and Weighted Logics on Infinite Words.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF	Weighted logics, Weighted Muller automata, Infinitary formal power series
28	David Delgado 0002, David Vidal, Germán Jairo Hernández-Pérez	Evolutionary design of pseudorandom sequence generators based on cellular automata and its applicability in current cryptosystems.	GECCO	2006	DBLP DOI BibTeX RDF	genetic algorithm, cryptography, cellular automata, statistical test, pseudorandom generator
28	Amparo Fúster-Sabater, Pino Caballero-Gil, Maria Eugenia Pazo-Robles	Efficient Application of Hybrid 150/90 Cellular Automata to Symmetric Cryptography.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF	Linear automata, sequence generator, symmetric cryptography
28	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
28	Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab	Compositional Semantics of an Actor-Based Language Using Constraint Automata.	COORDINATION	2006	DBLP DOI BibTeX RDF	Rebeca, Compositional semantics, Reo, Constraint Automata, actor model
28	Amparo Fúster-Sabater, Pino Caballero-Gil, Maria Eugenia Pazo-Robles	Modelling of Complex Cryptographic Systems in Terms of Simple Cellular Automata .	ICCSA (1)	2006	DBLP DOI BibTeX RDF	Linear cellular automata, nonlinear sequence generator, cryptography
28	Gonzalo Álvarez Marañón, Luis Hernández Encinas, Ángel Martín del Rey	A New Secret Sharing Scheme for Images Based on Additive 2-Dimensional Cellular Automata.	IbPRIA (1)	2005	DBLP DOI BibTeX RDF	Image processing, Cryptography, Cellular automata, Secret sharing
28	Shang-Wei Lin 0001, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen	Model Checking Prioritized Timed Automata.	ATVA	2005	DBLP DOI BibTeX RDF	Prioritized timed automata, DBM subtraction, zone merging, zone reduction
28	Julien Cervelle, Enrico Formenti, Benoît Masson	Basic Properties for Sand Automata.	MFCS	2005	DBLP DOI BibTeX RDF	sand automata, ultimate periodicity, undecidability, reversibility
28	Joachim Niehren, Laurent Planque, Jean-Marc Talbot, Sophie Tison	N-Ary Queries by Tree Automata.	DBPL	2005	DBLP DOI BibTeX RDF	XML, databases, information extraction, pattern, logic, types, automata
28	Hélène Fargier, Marie-Catherine Vilarem	Compiling CSPs into Tree-Driven Automata for Interactive Solving.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	interactive constraint solving, CSP compilation, tree clustering, configuration, tree automata
28	Ana Sokolova, Erik P. de Vink	Probabilistic Automata: System Types, Parallel Composition and Comparison.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF	probabilistic automata (transition systems), probabilistic bisimulation, preservation and reflection of bisimulation, non-determinism, parallel composition
28	Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury	Cellular Automata : An Ideal Candidate for a Block Cipher.	ICDCIT	2004	DBLP DOI BibTeX RDF	Cycle Structure, Self-invertibility, Cellular Automata, Block Ciphers, Non-linearity
28	Makoto Onizuka	Light-weight xPath processing of XML stream with deterministic automata.	CIKM	2003	DBLP DOI BibTeX RDF	XPath processing, streaming XML, automata, selective dissemination of information
28	Farn Wang	Efficient Verification of Timed Automata with BDD-Like Data-Structures.	VMCAI	2003	DBLP DOI BibTeX RDF	model-checking, verification, data-structures, timed automata, BDD
28	Santanu Chattopadhyay	Efficient Circuit Specific Pseudoexhaustive Testing with Cellular Automata.	Asian Test Symposium	2002	DBLP DOI BibTeX RDF	cellular automata, Test pattern generators, pseudoexhaustive testing
28	Stavros Tripakis	Fault Diagnosis for Timed Automata.	FTRTFT	2002	DBLP DOI BibTeX RDF	Fault diagnosis, Timed Automata, Partial observability
28	Dirk Beyer 0001	Improvements in BDD-Based Reachability Analysis of Timed Automata.	FME	2001	DBLP DOI BibTeX RDF	Real-time systems, Formal verification, Timed automata, BDDs, Discretization
28	Julien Cervelle, Bruno Durand 0001, Enrico Formenti	Algorithmic Information Theory and Cellular Automata Dynamics.	MFCS	2001	DBLP DOI BibTeX RDF	topology, cellular automata, Kolmogorov complexity, discrete dynamical systems
28	Frank Neven, Thomas Schwentick	Automata-and Logic-Based Pattern Languages for Tree-Structured Data.	Semantics in Databases	2001	DBLP DOI BibTeX RDF	XML, logic, automata, formal languages, attribute grammars, query evaluation
28	Lina Khatib, Nicola Muscettola, Klaus Havelund	Mapping Temporal Planning Constraints into Timed Automata.	TIME	2001	DBLP DOI BibTeX RDF	Time in AI, Temporal Representation and Constraints, Scheduling, Model Checking, Validation, Planning, Timed Automata
28	Steve Vestal	Formal Verification of the MetaH Executive Using Linear Hybrid Automata.	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF	real-time CASE, verification, software architecture, formal methods, schedulability analysis, hybrid automata
28	Hamid Beigy, Mohammad Reza Meybodi	Adaptation of Parameters of BP Algorithm Using Learning Automata.	SBRN	2000	DBLP DOI BibTeX RDF	Momentum Factor, Steepness Parameter, Neural Network, Backpropagation, Learning Automata
28	Raju D. Venkataramana, N. Ranganathan	Multiple Cost Optimization for Task Assignment in Heterogeneous Computing Systems Using Learning Automata.	Heterogeneous Computing Workshop	1999	DBLP DOI BibTeX RDF	variable structure learning automata, multiple cost criteria, task flow graph and processor graph, stochastic optimization, Task assignment
28	Andris Ambainis, Rusins Freivalds	1-Way Quantum Finite Automata: Strengths, Weaknesses and Generalizations.	FOCS	1998	DBLP DOI BibTeX RDF	quantum computation, finite automata
28	Colin de la Higuera	Learning Stochastic Finite Automata from Experts.	ICGI	1998	DBLP DOI BibTeX RDF	identification with probability one, polynomial learning, stochastic deterministic finite automata, grammatical inference
28	Pavol Duris, Juraj Hromkovic, José D. P. Rolim, Georg Schnitger	Las Vegas Versus Determinism for One-way Communication Complexity, Finite Automata, and Polynomial-time Computations.	STACS	1997	DBLP DOI BibTeX RDF	Las Vegas, communication complexity, automata, determinism, computational and structural complexity
28	Tirza Hirst, David Harel	On the Power of Bounded Concurrency II: Pushdown Automata.	J. ACM	1994	DBLP DOI BibTeX RDF	cooperative concurrency, pushdown automata, succinctness
28	Bernard Boigelot, Julien Brusten, Jérôme Leroux	A Generalization of Semenov's Theorem to Automata over Real Numbers.	CADE	2009	DBLP DOI BibTeX RDF
28	Pierre Wolper	On the Use of Automata for Deciding Linear Arithmetic.	TABLEAUX	2009	DBLP DOI BibTeX RDF
28	Jeremy Sproston	Strict Divergence for Probabilistic Timed Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
28	Martin Kutrib, Hartmut Messerschmidt, Friedrich Otto	On Stateless Deterministic Restarting Automata.	SOFSEM	2009	DBLP DOI BibTeX RDF
28	Tom Fawcett	Data mining with cellular automata.	SIGKDD Explor.	2008	DBLP DOI BibTeX RDF
28	Fang Yu 0001, Tevfik Bultan, Marco Cova, Oscar H. Ibarra	Symbolic String Verification: An Automata-Based Approach.	SPIN	2008	DBLP DOI BibTeX RDF
28	Stéphane Demri, Ranko Lazic 0001, Arnaud Sangnier	Model Checking Freeze LTL over One-Counter Automata.	FoSSaCS	2008	DBLP DOI BibTeX RDF
28	C. C. Oliveira, Pedro Paulo Balbi de Oliveira	An Approach to Searching for Two-Dimensional Cellular Automata for Recognition of Handwritten Digits.	MICAI	2008	DBLP DOI BibTeX RDF	genetic algorithm, pattern recognition, evolutionary computation, Cellular automaton, handwritten digit, handwritten character
28	Mohamed Faouzi Atig, Benedikt Bollig, Peter Habermehl	Emptiness of Multi-pushdown Automata Is 2ETIME-Complete.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
28	QingE Wu 0001, Guangzhao Cui	Application of Fuzzy Automata to Fuzzy Signal Processing.	CSSE (5)	2008	DBLP DOI BibTeX RDF
28	Parosh Aziz Abdulla, Pavel Krcál, Wang Yi 0001	R-Automata.	CONCUR	2008	DBLP DOI BibTeX RDF
28	Jochen Eisinger	Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract).	CSL	2008	DBLP DOI BibTeX RDF