BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
automata (215)
state (204)
machin (82)
model (77)
system (54)

Stem finit$ (all stems)

812 papers:

FoSSaCSFoSSaCS-2015-Winter #bisimulation #finite #λ-calculus
A Completeness Result for Finite λ-bisimulations (JW), pp. 117–132.
CIAACIAA-J-2013-KutribMMPW15 #automaton #decidability #finite #queue
Deterministic input-driven queue automata: Finite turns, decidability, and closure properties (MK, AM, CM, BP, MW), pp. 58–71.
CIAACIAA-2015-FernauPS #automaton #complexity #finite
Jumping Finite Automata: Characterizations and Complexity (HF, MP, MLS), pp. 89–101.
CIAACIAA-2015-GruberHJ #automaton #finite #nondeterminism
More on Deterministic and Nondeterministic Finite Cover Automata — Extended Abstract (HG, MH, SJ), pp. 114–126.
CIAACIAA-2015-Hulden #automaton #finite #regular expression
From Two-Way to One-Way Finite Automata — Three Regular Expression-Based Methods (MH), pp. 176–187.
CIAACIAA-2015-KushikY #automaton #finite #nondeterminism #sequence #state machine
Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata (NK, NY), pp. 188–198.
CIAACIAA-2015-Watson #automaton #finite #hardware #implementation #regular expression
Hardware Implementations of Finite Automata and Regular Expressions — Extended Abstract (BWW), pp. 13–17.
DLTDLT-2015-BealH #finite
Deciding Proper Conjugacy of Classes of One-Sided Finite-Type-Dyck Shifts (MPB, PH), pp. 167–178.
DLTDLT-2015-BrandlS #analysis #automaton #complexity #finite #monad
Complexity Analysis: Transformation Monoids of Finite Automata (CB, HUS), pp. 143–154.
DLTDLT-2015-CzybaST #automaton #finite #infinity #modelling
Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change (CC, CS, WT), pp. 203–214.
DLTDLT-2015-HolzerJK #automaton #finite
Minimal Reversible Deterministic Finite Automata (MH, SJ, MK), pp. 276–287.
ICALPICALP-v1-2015-KomarathSS #bound #finite
Comparator Circuits over Finite Bounded Posets (BK, JS, KSS), pp. 834–845.
LATALATA-2015-BachmeierLS #automaton #complexity #finite
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity (GB, ML, MS), pp. 473–485.
LATALATA-2015-Zinoviadis #2d #finite
Hierarchy and Expansiveness in 2D Subshifts of Finite Type (CZ), pp. 365–377.
HCIDHM-EH-2015-Hu0LZY #3d #analysis #development #finite
Development of a 3D Finite Element Model of the Chinese 50th Male for the Analysis of Automotive Impact (HH, LD, XL, CZ, YY), pp. 258–265.
ICMLICML-2015-AgarwalB #bound #finite #optimisation
A Lower Bound for the Optimization of Finite Sums (AA, LB), pp. 78–86.
ICMLICML-2015-WuGS #combinator #feedback #finite #identification #on the
On Identifying Good Options under Combinatorially Structured Feedback in Finite Noisy Environments (YW, AG, CS), pp. 1283–1291.
ECOOPECOOP-2015-BostromM #composition #finite #source code #verification
Modular Verification of Finite Blocking in Non-terminating Programs (PB, PM), pp. 639–663.
CADECADE-2015-Paulson #automaton #finite #formal method #set #using
A Formalisation of Finite Automata Using Hereditarily Finite Sets (LCP), pp. 231–245.
CSLCSL-2015-BovaM #finite #first-order #query
First-Order Queries on Finite Abelian Groups (SB, BM), pp. 41–59.
CSLCSL-2015-DawarW #finite
A Definability Dichotomy for Finite Valued CSPs (AD, PW), pp. 60–77.
CSLCSL-2015-KupfermanV #finite #on the #probability
On Relative and Probabilistic Finite Counterability (OK, GV), pp. 175–192.
CSLCSL-2015-Paperman #first-order #logic
Finite-Degree Predicates and Two-Variable First-Order Logic (CP), pp. 616–630.
LICSLICS-2015-AmarilliB #finite #query #strict
Finite Open-World Query Answering with Number Restrictions (AA, MB), pp. 305–316.
LICSLICS-2015-KlinKOT #constraints #finite #problem
Locally Finite Constraint Satisfaction Problems (BK, EK, JO, ST), pp. 475–486.
RTARTA-2015-EndrullisZ #automaton #finite #proving
Proving non-termination by finite automata (JE, HZ), pp. 160–176.
CASECASE-2014-XueL #finite
Input-output finite-time stability of time-delay systems and its application to active vibration control (WX, KL), pp. 878–882.
FoSSaCSFoSSaCS-2014-Chatterjee0NV #complexity #game studies #probability
The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies (KC, LD, SN, MYV), pp. 242–257.
DLTDLT-J-2013-KucukSY14 #automaton #finite
Finite Automata with Advice Tapes (UK, ACCS, AY), pp. 987–1000.
DLTDLT-J-2013-KutribMW14a #automaton #finite #multi
Stateless One-Way Multi-Head Finite Automata with Pebbles (MK, AM, MW), pp. 1141–1160.
DLTDLT-J-2013-Shur14 #anti #finite
Languages with a Finite antidictionary: some growth Questions (AMS), pp. 937–954.
AFLAFL-2014-BordihnKM #automaton #communication #finite #parallel
Measuring Communication in Parallel Communicating Finite Automata (HB, MK, AM), pp. 124–138.
AFLAFL-2014-Campeanu #automaton #finite #nondeterminism
Simplifying Nondeterministic Finite Cover Automata (CC), pp. 162–173.
AFLAFL-2014-FernauFH #distributed #finite #hybrid
Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes (HF, RF, MH), pp. 246–260.
AFLAFL-2014-GruberH #automaton #complexity #finite #regular expression #summary
From Finite Automata to Regular Expressions and Back — A Summary on Descriptional Complexity (HG, MH), pp. 25–48.
CIAACIAA-2014-AmorimMR #canonical #finite #linear #transducer #using
Counting Equivalent Linear Finite Transducers Using a Canonical Form (IA, AM, RR), pp. 70–83.
CIAACIAA-2014-BieglerM #automaton #finite #on the #word
On Comparing Deterministic Finite Automata and the Shuffle of Words (FB, IM), pp. 98–109.
CIAACIAA-2014-Ibarra #ambiguity #on the #problem #transducer
On the Ambiguity, Finite-Valuedness, and Lossiness Problems in Acceptors and Transducers (OHI), pp. 211–225.
CIAACIAA-2014-KurkaV #finite #transducer
Analytic Functions Computable by Finite State Transducers (PK, TV), pp. 252–263.
DLTDLT-2014-DickyJ #finite #infinity #word
Embedding Finite and Infinite Words into Overlapping Tiles — (Short Paper) (AD, DJ), pp. 339–347.
DLTDLT-2014-Sinya #automaton #finite #graph
Graph Spectral Properties of Deterministic Finite Automata — (Short Paper) (RS), pp. 76–83.
ICALPICALP-v1-2014-KoppartyKS #finite #performance
Efficient Indexing of Necklaces and Irreducible Polynomials over Finite Fields (SK, MK, MES), pp. 726–737.
ICALPICALP-v2-2014-EmekLUW #finite #problem #state machine
Solving the ANTS Problem with Asynchronous Finite State Machines (YE, TL, JU, RW), pp. 471–482.
LATALATA-2014-AnselmoGM #finite
Picture Codes with Finite Deciphering Delay (MA, DG, MM), pp. 88–100.
LATALATA-2014-ZhengGQ #automaton #complexity #finite #on the
On the State Complexity of Semi-quantum Finite Automata (SZ, JG, DQ), pp. 601–612.
SEFMSEFM-2014-CasselHJS #finite #learning #state machine
Learning Extended Finite State Machines (SC, FH, BJ, BS), pp. 250–264.
LISPILC-2014-SmithP #finite #lisp #performance #permutation
Efficient Finite Permutation Groups and Homomesy Computation in Common Lisp (RS, BP), p. 60.
ICPRICPR-2014-LinCCLH #analysis #detection
Left-Luggage Detection from Finite-State-Machine Analysis in Static-Camera Videos (KL, SCC, CSC, DTL, YPH), pp. 4600–4605.
KRKR-2014-BorgwardtDP #decidability #logic
Decidable Gödel Description Logics without the Finitely-Valued Model Property (SB, FD, RP).
KRKR-2014-GarciaLS #finite #logic #reasoning
Finite Model Reasoning in Horn Description Logics (YAIG, CL, TS).
PPDPPPDP-2014-YangEMMN #encryption #finite #unification
Theories of Homomorphic Encryption, Unification, and the Finite Variant Property (FY, SE, CM, JM, PN), pp. 123–133.
FSEFSE-2014-LiYP0H #finite #infinity #ltl #named #satisfiability
Aalta: an LTL satisfiability checker over Infinite/Finite traces (JL, YY, GP, LZ, JH), pp. 731–734.
ASPLOSASPLOS-2014-MytkowiczMS #finite #state machine
Data-parallel finite-state machines (TM, MM, WS), pp. 529–542.
ASPLOSASPLOS-2014-ZhaoWS #finite #state machine
Challenging the “embarrassingly sequential”: parallelizing finite state machine-based computations through principled speculation (ZZ, BW, XS), pp. 543–558.
IJCARIJCAR-2014-BaumgartnerBW #finite #proving #quantifier #theorem proving
Finite Quantification in Hierarchic Theorem Proving (PB, JB, UW), pp. 152–167.
IJCARIJCAR-2014-EhlersL #approximate #finite #incremental #logic #satisfiability
A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic (RE, ML), pp. 360–366.
LICSLICS-CSL-2014-Velner #multi #robust #synthesis
Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives (YV), p. 10.
CASECASE-2013-ChenZAX #analysis #finite
Analysis of production completion time in Bernoulli serial lines with finite buffers (GC, LZ, JA, GX), pp. 770–775.
CASECASE-2013-MohajeraniMF #automaton #composition #finite #using #verification
Compositional nonblocking verification for extended finite-state automata using partial unfolding (SM, RM, MF), pp. 930–935.
DACDAC-2013-ZhouLJ #3d #complexity #finite #linear #multi #scalability
A direct finite element solver of linear complexity for large-scale 3-D circuit extraction in multiple dielectrics (BZ, HL, DJ), p. 6.
DATEDATE-2013-ZhuDNZ #finite #implementation #robust #state machine
Robust and extensible task implementations of synchronous finite state machines (QZ, PD, MDN, HZ), pp. 1319–1324.
ICDARICDAR-2013-HaoGZXPSK #automation #detection #fault #finite #transducer
Automated Error Detection and Correction of Chinese Characters in Written Essays Based on Weighted Finite-State Transducer (SH, ZG, MZ, YX, HP, KS, DK), pp. 763–767.
WCREWCRE-2013-WalkinshawTD #finite #modelling #state machine
Inferring Extended Finite State Machine models from software executions (NW, RT, JD), pp. 301–310.
PLDIPLDI-2013-SankaranarayananCG #probability #source code #static analysis
Static analysis for probabilistic programs: inferring whole program properties from finitely many paths (SS, AC, SG), pp. 447–458.
STOCSTOC-2013-ThapperZ #complexity
The complexity of finite-valued CSPs (JT, SZ), pp. 695–704.
CIAACIAA-J-2012-Mohri13 #ambiguity #automaton #finite #functional #on the #transducer
On the Disambiguation of Finite Automata and Functional Transducers (MM), pp. 847–862.
CIAACIAA-2013-HanKS #approximate #automaton #context-free grammar #finite
Approximate Matching between a Context-Free Grammar and a Finite-State Automaton (YSH, SKK, KS), pp. 146–157.
CIAACIAA-2013-KushikY #finite #nondeterminism #on the #sequence #state machine
On the Length of Homing Sequences for Nondeterministic Finite State Machines (NK, NY), pp. 220–231.
CIAACIAA-2013-KutribMMPW #automaton #decidability #finite #queue
Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties (MK, AM, CM, BP, MW), pp. 232–243.
CIAACIAA-2013-MaiaMR #complexity #finite
Incomplete Transition Complexity of Basic Operations on Finite Languages (EM, NM, RR), pp. 349–356.
CIAACIAA-2013-Veanes #automaton #finite
Applications of Symbolic Finite Automata (MV), pp. 16–23.
DLTDLT-2013-BertoniCD #automaton #context-free grammar #decidability #finite #linear #problem #quantum
Quantum Finite Automata and Linear Context-Free Languages: A Decidable Problem (AB, CC, FD), pp. 82–93.
DLTDLT-2013-Freivalds #automaton #finite #turing machine
Ultrametric Finite Automata and Turing Machines (RF), pp. 1–11.
DLTDLT-2013-KucukSY #automaton #finite
Finite Automata with Advice Tapes (UK, ACCS, AY), pp. 301–312.
DLTDLT-2013-KutribMW #automaton #finite #multi
One-Way Multi-Head Finite Automata with Pebbles But No States (MK, AM, MW), pp. 313–324.
DLTDLT-2013-Loding #ambiguity #automaton #finite
Unambiguous Finite Automata (CL), pp. 29–30.
DLTDLT-2013-Shur #anti #finite #order
Languages with a Finite Antidictionary: Growth-Preserving Transformations and Available Orders of Growth (AMS), pp. 445–457.
ICALPICALP-v1-2013-Grier #finite #game studies
Deciding the Winner of an Arbitrary Finite Poset Game Is PSPACE-Complete (DG), pp. 497–503.
ICALPICALP-v1-2013-Kolmogorov #linear #power of #programming
The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization (VK), pp. 625–636.
ICALPICALP-v2-2013-BenaimBCKLMW #complexity #finite #logic
Complexity of Two-Variable Logic on Finite Trees (SB, MB, WC, EK, RL, FM, JW), pp. 74–88.
ICALPICALP-v2-2013-Worrell #automaton #equivalence #finite #multi #problem
Revisiting the Equivalence Problem for Finite Multitape Automata (JW), pp. 422–433.
LATALATA-2013-BalaK #ambiguity #automaton
Unambiguous Automata Denoting Finitely Sequential Functions (SB, AK), pp. 104–115.
LOPSTRLOPSTR-2013-NishidaV #finite #representation
A Finite Representation of the Narrowing Space (NN, GV), pp. 54–71.
PPDPPPDP-2013-AsadaHKHN #branch #calculus #finite #graph #graph transformation #monad
A parameterized graph transformation calculus for finite graphs with monadic branches (KA, SH, HK, ZH, KN), pp. 73–84.
PPDPPPDP-2013-CaballeroST #constraints #finite #programming
Finite type extensions in constraint programming (RC, PJS, ATF), pp. 217–227.
PPDPPPDP-2013-CalauttiGT #decidability #detection #logic programming #source code
Detecting decidable classes of finitely ground logic programs with function symbols (MC, SG, IT), pp. 239–250.
QAPLQAPL-2013-GazeauMP #difference #privacy #semantics
Preserving differential privacy under finite-precision semantics (IG, DM, CP), pp. 1–18.
CADECADE-2013-ReynoldsTGKDB #finite #quantifier #smt
Quantifier Instantiation Techniques for Finite Model Finding in SMT (AR, CT, AG, SK, MD, CB), pp. 377–391.
CAVCAV-2013-DAntoniV #equivalence #finite #transducer
Equivalence of Extended Symbolic Finite Transducers (LD, MV), pp. 624–639.
CAVCAV-2013-ReynoldsTGK #finite #smt
Finite Model Finding in SMT (AR, CT, AG, SK), pp. 640–655.
CSLCSL-2013-BerkholzKV #bound #logic #quantifier
Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy (CB, AK, OV), pp. 61–80.
ICTSSICTSS-2013-KushikEY #adaptation #finite #nondeterminism #state machine
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines (NK, KEF, NY), pp. 33–48.
ISSTAISSTA-2013-PurandareDE #finite #monitoring #optimisation
Optimizing monitoring of finite state properties through monitor compaction (RP, MBD, SGE), pp. 280–290.
LICSLICS-2013-FiliotGRS #finite #transducer
From Two-Way to One-Way Finite State Transducers (EF, OG, PAR, FS), pp. 468–477.
LICSLICS-2013-GogaczM #convergence #finite
Converging to the Chase — A Tool for Finite Controllability (TG, JM), pp. 540–549.
LICSLICS-2013-Otto #finite #modelling #symmetry
Groupoids, Hypergraphs, and Symmetries in Finite Models (MO), pp. 53–62.
CASECASE-2012-FeiMAL #approach #automaton #finite #scalability
A symbolic approach to large-scale discrete event systems modeled as finite automata with variables (ZF, SM, , BL), pp. 502–507.
CASECASE-2012-LiK #automation #automaton #finite #generative #modelling #testing #using
Model-based automatic test generation for Simulink/Stateflow using extended finite automaton (ML, RK), pp. 857–862.
CASECASE-2012-ShoaeiFL #abstraction #automaton #finite
Abstractions for nonblocking supervisory control of Extended Finite Automata (MRS, LF, BL), pp. 364–370.
DATEDATE-2012-AksoyCFM #design #finite
Design of low-complexity digital finite impulse response filters on FPGAs (LA, EC, PFF, JCM), pp. 1197–1202.
DATEDATE-2012-ChatziparaskevasBP #difference #finite #parallel #using
An FPGA-based parallel processor for Black-Scholes option pricing using finite differences schemes (GC, AB, IP), pp. 709–714.
DATEDATE-2012-NataleZ #finite #implementation #state machine
Task implementation of synchronous finite state machines (MDN, HZ), pp. 206–211.
ITiCSEITiCSE-2012-DrorR #automaton #finite
The effect of mathematical vs. verbal formulation for finite automata (TD, DLR), p. 382.
FLOPSFLOPS-2012-Triska #constraints #finite #prolog #theorem proving
The Finite Domain Constraint Solver of SWI-Prolog (MT), pp. 307–316.
AFLAFL-J-2011-BenattarBLMRS12 #finite #synthesis #transducer
Channel Synthesis for Finite Transducers (GB, BB, DL, JM, OHR, MS), pp. 1241–1260.
DLTDLT-J-2011-ZhengQL12 #automaton #finite #quantum
Some Languages Recognized by Two-Way Finite Automata with Quantum and Classical States (SZ, DQ, LL), pp. 1117–1130.
CIAACIAA-2012-Mohri #algorithm #ambiguity #automaton #finite #functional #transducer
A Disambiguation Algorithm for Finite Automata and Functional Transducers (MM), pp. 265–277.
DLTDLT-2012-CaralpRT #automaton #bound #multi
Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness (MC, PAR, JMT), pp. 226–238.
DLTDLT-2012-GandhiKL #complexity #finite #on the #word
On State Complexity of Finite Word and Tree Languages (AG, BK, JL), pp. 392–403.
DLTDLT-2012-GiambrunoMNS #bidirectional #finite
A Generalization of Girod’s Bidirectional Decoding Method to Codes with a Finite Deciphering Delay (LG, SM, JN, CS), pp. 471–476.
DLTDLT-2012-KapoutsisL #automaton #finite #nondeterminism #theorem
Analogs of Fagin’s Theorem for Small Nondeterministic Finite Automata (CAK, NL), pp. 202–213.
DLTDLT-2012-KutribMW #automaton #finite #multi
States and Heads Do Count for Unary Multi-head Finite Automata (MK, AM, MW), pp. 214–225.
LATALATA-2012-Axelsen #automaton #finite #multi
Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space (HBA), pp. 95–105.
LATALATA-2012-SaloT #automaton #finite #on the #product line #set
On Stable and Unstable Limit Sets of Finite Families of Cellular Automata (VS, IT), pp. 502–513.
LATALATA-2012-Yamakami #automaton #finite #quantum
One-Way Reversible and Quantum Finite Automata with Advice (TY), pp. 526–537.
FMFM-2012-CarlierDG #constraints #finite #theorem proving
A Certified Constraint Solver over Finite Domains (MC, CD, AG), pp. 116–131.
SEFMSEFM-2012-LefticaruI #algorithm #approach #finite #generative #search-based #state machine #testing #using
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms (RL, FI), pp. 293–307.
ICFPICFP-2012-SeveriV #finite #normalisation #recursion #type system
Pure type systems with corecursion on streams: from finite to infinitary normalisation (PS, FJdV), pp. 141–152.
ICMLICML-2012-BartokZS #adaptation #algorithm #finite #monitoring #probability
An adaptive algorithm for finite stochastic partial monitoring (GB, NZ, CS), p. 231.
KDIRKDIR-2012-SantosGSK #behaviour #detection #finite
Finite Belief Fusion Model for Hidden Source Behavior Change Detection (ESJ, QG, EES, JK), pp. 17–24.
POPLPOPL-2012-VeanesHLMB #algorithm #finite #transducer
Symbolic finite state transducers: algorithms and applications (MV, PH, BL, DM, NB), pp. 137–150.
ICLPICLP-2012-FilardoE #finite #flexibility
A Flexible Solver for Finite Arithmetic Circuits (NWF, JE), pp. 425–438.
ICLPICLP-J-2012-MetodiC #compilation #constraints #finite #satisfiability
Compiling finite domain constraints to SAT with BEE (AM, MC), pp. 465–483.
ICSTICST-2012-EndoS #comparison #finite #generative #state machine #testing
Experimental Comparison of Test Case Generation Methods for Finite State Machines (ATE, AdSS), pp. 549–558.
ICSTICST-2012-PetrenkoSY #finite #generative #nondeterminism #sequence #state machine
Generating Checking Sequences for Nondeterministic Finite State Machines (AP, AdSS, NY), pp. 310–319.
ICTSSICTSS-2012-Vaandrager #finite #learning #state machine
Active Learning of Extended Finite State Machines (FWV), pp. 5–7.
IJCARIJCAR-2012-BaazLZ #calculus #effectiveness #semantics
Effective Finite-Valued Semantics for Labelled Calculi (MB, OL, AZ), pp. 52–66.
RTARTA-2012-Lisitsa #automaton #finite #modelling #safety #verification
Finite Models vs Tree Automata in Safety Verification (AL), pp. 225–239.
TAPTAP-2012-SulzmannZ #analysis #finite #linear #logic
Constructive Finite Trace Analysis with Linear Temporal Logic (MS, AZ), pp. 132–148.
CASECASE-2011-FeiMA #automaton #finite #modelling #resource management #using
Modeling sequential resource allocation systems using Extended Finite Automata (ZF, SM, ), pp. 444–449.
CASECASE-2011-MiremadiLA #automaton #finite
BDD-based supervisory control on extended finite automata (SM, BL, ), pp. 25–31.
ICDARICDAR-2011-ChowdhuryGC #finite #online #recognition #transducer
A Weighted Finite-State Transducer (WFST)-Based Language Model for Online Indic Script Handwriting Recognition (SC, UG, TC), pp. 599–602.
ICDARICDAR-2011-YamazoeEYT #approach #finite #recognition #transducer
Hypothesis Preservation Approach to Scene Text Recognition with Weighted Finite-State Transducer (TY, ME, TY, KT), pp. 359–363.
STOCSTOC-2011-Kopparty #complexity #finite #on the
On the complexity of powering in finite fields (SK), pp. 489–498.
CIAACIAA-J-2010-AllauzenRS11 #algorithm #composition #finite #performance #transducer
A Filter-Based Algorithm for Efficient Composition of Finite-State Transducers (CA, MR, JS), pp. 1781–1795.
DLTDLT-J-2010-BordihnKM11 #automaton #communication #finite #parallel
Undecidability and Hierarchy Results for Parallel Communicating Finite Automata (HB, MK, AM), pp. 1577–1592.
DLTDLT-J-2010-RigoW11 #finite #logic #set
Logical Characterization of Recognizable Sets of polynomials over a Finite Field (MR, LW), pp. 1549–1563.
AFLAFL-2011-BenattarBLMRS #finite #synthesis #transducer
Channel Synthesis for Finite Transducers (GB, BB, DL, JM, OHR, MS), pp. 79–92.
AFLAFL-2011-Choffrut #finite #infinity #on the #word
On relations of finite words over infinite alphabets (CC), pp. 25–27.
AFLAFL-2011-MalettiQ #automaton #finite
Hyper-minimisation of deterministic weighted finite automata over semifields (AM, DQ), pp. 285–299.
CIAACIAA-2011-DaciukW #automaton #finite #representation
Smaller Representation of Finite State Automata (JD, DW), pp. 118–129.
CIAACIAA-2011-HolzerK #automaton #finite
Gaining Power by Input Operations: Finite Automata and Beyond (MH, MK), pp. 16–29.
CIAACIAA-2011-KushikEY #adaptation #finite #nondeterminism #state machine
Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines (NK, KEF, NY), pp. 215–224.
CIAACIAA-2011-PajicPP #approach #finite #information management #transducer
Information Extraction from Semi-structured Resources: A Two-Phase Finite State Transducers Approach (VP, GPL, MP), pp. 282–289.
DLTDLT-2011-DrosteMST #composition #finite
A Cascade Decomposition of Weighted Finite Transition Systems (MD, IM, BS, AT), pp. 472–473.
DLTDLT-2011-Kasprzik #automaton #finite #query
Inference of Residual Finite-State Tree Automata from Membership Queries and Finite Positive Data (AK), pp. 476–477.
DLTDLT-2011-KuncO #automaton #finite #using
Describing Periodicity in Two-Way Deterministic Finite Automata Using Transformation Semigroups (MK, AO), pp. 324–336.
LATALATA-2011-BareckaC #automaton #complexity #finite #problem
The Parameterized Complexity of Chosen Problems for Finite Automata on Trees (AB, WC), pp. 129–141.
LATALATA-2011-CharlierDHS #finite
Finite Orbits of Language Operations (EC, MD, TH, JS), pp. 204–215.
LATALATA-2011-CorranHKT #automation #finite #monad
Singular Artin Monoids of Finite Coxeter Type Are Automatic (RC, MH, DK, RMT), pp. 250–261.
LATALATA-2011-PolicritiT #finite #set
Well-Quasi-Ordering Hereditarily Finite Sets (AP, AIT), pp. 440–451.
GCMGCM-2010-PlumpSS11 #automaton #finite #graph #source code
Minimizing Finite Automata with Graph Programs (DP, RS, AS).
GT-VMTGT-VMT-2011-BrugginkH #decidability #graph
Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages (HJSB, MH).
ICMLICML-2011-GhavamzadehLMH #analysis
Finite-Sample Analysis of Lasso-TD (MG, AL, RM, MWH), pp. 1177–1184.
CSLCSL-2011-Straubing #algebra #finite #word
Algebraic Characterization of the Alternation Hierarchy in FO2[<] on Finite Words (HS), pp. 525–537.
ICSTICST-2011-ChanderDSY #automaton #finite #generative #modelling #sequence
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems (AC, DD, KS, DY), pp. 140–149.
LICSLICS-2011-Atserias #finite #tutorial
A Why-on-Earth Tutorial on Finite Model Theory (AA), p. 3.
ICSTSAT-2011-TanjoTB #csp #encoding #finite #performance
A Compact and Efficient SAT-Encoding of Finite Domain CSP (TT, NT, MB), pp. 375–376.
TLCATLCA-2011-RehofU #combinator #finite #logic
Finite Combinatory Logic with Intersection Types (JR, PU), pp. 169–183.
VMCAIVMCAI-2011-GoubaultP #finite #precise #static analysis
Static Analysis of Finite Precision Computations (EG, SP), pp. 232–247.
CASECASE-2010-OuedraogoKMA #approach #automaton #finite
Symbolic approach to nonblocking and safe control of Extended Finite Automata (LO, RK, RM, ), pp. 471–476.
DACDAC-2010-NovoLFRC #data flow #finite #precise
Exploiting finite precision information to guide data-flow mapping (DN, ML, RF, PR, FC), pp. 248–253.
FoSSaCSFoSSaCS-2010-CateF #calculus #finite #proving #μ-calculus
An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees (BtC, GF), pp. 161–175.
TACASTACAS-2010-DoyenR #algorithm #automaton #finite
Antichain Algorithms for Finite Automata (LD, JFR), pp. 2–22.
ICSMEICSM-2010-PradelBG #evaluation #finite #framework #specification #state machine
A framework for the evaluation of specification miners based on finite state machines (MP, PB, TRG), pp. 1–10.
AFLAFL-J-2008-AfoninK10 #on the #regular expression
On the Structure of Finitely Generated Semigroups of Unary Regular Languages (SA, EK), pp. 689–704.
AFLAFL-J-2008-KaminskiZ10 #automaton #nondeterminism
Finite-Memory Automata with Non-Deterministic Reassignment (MK, DZ), pp. 741–760.
DLTDLT-J-2008-BassinoGN10 #complexity #finite
The Average State Complexity of Rational Operations on Finite Languages (FB, LG, CN), pp. 495–516.
DLTDLT-J-2008-HolubN10 #finite #on the #word
On the Relation between Periodicity and Unbordered Factors of Finite Words (SH, DN), pp. 633–645.
CIAACIAA-2010-AllauzenRS #composition #finite #performance #transducer
Filters for Efficient Composition of Weighted Finite-State Transducers (CA, MR, JS), pp. 28–38.
CIAACIAA-2010-AntosM #approach #automaton #finite #pattern matching
Finite Automata for Generalized Approach to Backward Pattern Matching (JA, BM), pp. 49–58.
CIAACIAA-2010-Egri-NagyN #finite #on the #word
On Straight Words and Minimal Permutators in Finite Transformation Semigroups (AEN, CLN), pp. 115–124.
DLTDLT-2010-BordihnKM #automaton #communication #finite #parallel
Undecidability and Hierarchy Results for Parallel Communicating Finite Automata (HB, MK, AM), pp. 88–99.
DLTDLT-2010-Staiger #finite #infinity #word
Joint Topologies for Finite and Infinite Words (LS), pp. 442–443.
ICALPICALP-v2-2010-GimbertO #automaton #decidability #finite #probability #problem #word
Probabilistic Automata on Finite Words: Decidable and Undecidable Problems (HG, YO), pp. 527–538.
LATALATA-2010-LetichevskySS #automaton #equivalence #finite #multi #problem #proving #using
The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape (AAL, ASS, SKS), pp. 392–402.
ICMLICML-2010-LazaricGM10a #analysis
Finite-Sample Analysis of LSTD (AL, MG, RM), pp. 615–622.
ICPRICPR-2010-HamKN #automation #detection #finite #fuzzy
Fire-Flame Detection Based on Fuzzy Finite Automation (SH, BK, JYN), pp. 3919–3922.
ICPRICPR-2010-IsmailF #clustering #finite #modelling #robust
Possibilistic Clustering Based on Robust Modeling of Finite Generalized Dirichlet Mixture (MMBI, HF), pp. 573–576.
ICPRICPR-2010-LlobetCPA #finite #transducer #using
OCR Post-processing Using Weighted Finite-State Transducers (RL, JRCN, JCPC, JA), pp. 2021–2024.
PPDPPPDP-2010-Tarau #declarative #finite #modelling
Declarative modeling of finite mathematics (PT), pp. 131–142.
SACSAC-2010-LeeKWAHP #3d #finite #random #using
Tracking random finite objects using 3D-LIDAR in marine environments (KWL, BK, WSW, MA, FSH, NMP), pp. 1282–1287.
SPLCSPLC-2010-KaratasOD #constraints #feature model #finite #logic programming #modelling
Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains (ASK, HO, AHD), pp. 286–299.
LICSLICS-2010-AvronAZ #logic #on the
On Strong Maximality of Paraconsistent Finite-Valued Logics (AA, OA, AZ), pp. 304–313.
LICSLICS-2010-ColcombetL #cost analysis #finite
Regular Cost Functions over Finite Trees (TC, CL), pp. 70–79.
LICSLICS-2010-Ehrhard
A Finiteness Structure on Resource Terms (TE), pp. 402–410.
LICSLICS-2010-He #finite #first-order #on the #quantifier #strict
On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures (YH), pp. 170–178.
LICSLICS-2010-Milius #calculus #finite
A Sound and Complete Calculus for Finite Stream Circuits (SM), pp. 421–430.
DATEDATE-2009-KinsmanN #finite #modulo theories #precise #using
Finite Precision bit-width allocation using SAT-Modulo Theory (ABK, NN), pp. 1106–1111.
DATEDATE-2009-NovoLBPC #finite #precise
Finite precision processing in wireless applications (DN, ML, BB, LVdP, FC), pp. 1230–1233.
PODSPODS-2009-Libkin #database #finite
The finite model theory toolbox of a database theoretician (LL), pp. 65–76.
FASEFASE-2009-AndroutsopoulosCHLT #dependence #finite #state machine
Control Dependence for Extended Finite State Machines (KA, DC, MH, ZL, LT), pp. 216–230.
CIAACIAA-J-2008-AllauzenM09 #composition #finite #transducer
N-Way Composition of Weighted Finite-State Transducers (CA, MM), pp. 613–627.
CIAACIAA-J-2008-HolzerK09 #automaton #complexity #finite #nondeterminism
Nondeterministic Finite Automata — Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 563–580.
CIAACIAA-2009-Barthelemy #finite #framework #testing
A Testing Framework for Finite-State Morphology (FB), pp. 75–83.
CIAACIAA-2009-Freivalds #automaton #finite
Amount of Nonconstructivity in Finite Automata (RF), pp. 227–236.
CIAACIAA-2009-GruberHT #automaton #empirical #finite #regular expression
Short Regular Expressions from Finite Automata: Empirical Results (HG, MH, MT), pp. 188–197.
CIAACIAA-2009-HolubS #automaton #finite #implementation #on the #parallel
On Parallel Implementations of Deterministic Finite Automata (JH, SS), pp. 54–64.
CIAACIAA-2009-LuY #automaton #finite #question
Are Statecharts Finite Automata? (HL, SY), pp. 258–261.
CIAACIAA-2009-Savary #finite #multi #named
Multiflex: A Multilingual Finite-State Tool for Multi-Word Units (AS), pp. 237–240.
CIAACIAA-2009-Seidl #automaton #finite #program analysis
Program Analysis through Finite Tree Automata (HS), p. 3.
DLTDLT-2009-FriscoI #automaton #finite #multi #on the
On Stateless Multihead Finite Automata and Multihead Pushdown Automata (PF, OHI), pp. 240–251.
DLTDLT-2009-Kapoutsis #automaton #complexity #finite
Size Complexity of Two-Way Finite Automata (CAK), pp. 47–66.
ICALPICALP-v1-2009-AubrunB #decidability #finite
Decidability of Conjugacy of Tree-Shifts of Finite Type (NA, MPB), pp. 132–143.
ICALPICALP-v2-2009-BlumensathOW #bound #finite #higher-order #monad #word
Boundedness of Monadic Second-Order Formulae over Finite Words (AB, MO, MW), pp. 67–78.
LATALATA-2009-BoigelotD #automaton #finite #set #visualisation
Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization (BB, JFD), pp. 200–211.
LATALATA-2009-HolzerK #automaton #complexity #finite
Descriptional and Computational Complexity of Finite Automata (MH, MK), pp. 23–42.
LATALATA-2009-PribavkinaR #automaton
Finitely Generated Synchronizing Automata (EVP, ER), pp. 672–683.
SEFMSEFM-2009-SubramaniamGP #finite #impact analysis #state machine #testing #using
Using Change Impact Analysis to Select Tests for Extended Finite State Machines (MS, BG, ZP), pp. 93–102.
RERE-2009-SalinesiDDMR #constraints #finite #modelling #product line #programming
Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models (CS, DD, OD, RM, CR), pp. 375–376.
SACSAC-2009-BangerthJ #adaptation #finite #problem
Adaptive finite element methods for nonlinear inverse problems (WB, AJ), pp. 1002–1006.
SACSAC-2009-Djelloul #exponential #finite #infinity #linear
From exponential to almost linear decomposability of finite or infinite trees (KD), pp. 897–902.
SACSAC-2009-Tarau #data type #finite #haskell #morphism
Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell (PT), pp. 1898–1902.
ICSEICSE-2009-CasoBGU #abstraction #contract #finite #using #validation
Validation of contracts using enabledness preserving finite state abstractions (GdC, VAB, DG, SU), pp. 452–462.
CADECADE-2009-ClaessenL #automation #finite #satisfiability
Automated Inference of Finite Unsatisfiability (KC, AL), pp. 388–403.
ICLPICLP-2009-LierlerL #decidability #source code
One More Decidable Class of Finitely Ground Programs (YL, VL), pp. 489–493.
ICSTICST-2009-KalajiHS #finite #generative #state machine #testing
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) (ASK, RMH, SS), pp. 230–239.
LICSLICS-2009-KieronskiT #equivalence #finite #first-order #logic #on the #satisfiability
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations (EK, LT), pp. 123–132.
FATESTestCom-FATES-2009-El-FakihYF #fault #finite #state machine #testing
Testing Timed Finite State Machines with Guaranteed Fault Coverage (KEF, NY, HF), pp. 66–80.
ASEASE-2008-WalkinshawB #constraints #finite #modelling
Inferring Finite-State Models with Temporal Constraints (NW, KB), pp. 248–257.
DACDAC-2008-PiyachonL #automaton #design #finite #pattern matching #performance
Design of high performance pattern matching engine through compact deterministic finite automata (PP, YL), pp. 852–857.
FoSSaCSFoSSaCS-2008-Parys #commutative #equation #finite
Systems of Equations Satisfied in All Commutative Finite Semigroups (PP), pp. 261–272.
FoSSaCSFoSSaCS-2008-PattinsonS #algebra #finite #logic #modelling #rank #semantics
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics (DP, LS), pp. 66–80.
WCREWCRE-2008-AmalfitanoFT #finite #internet #reverse engineering #state machine
Reverse Engineering Finite State Machines from Rich Internet Applications (DA, ARF, PT), pp. 69–73.
DLTDLT-J-2007-DiekertGK08 #bibliography #finite #first-order #logic #word
A Survey on Small Fragments of First-Order Logic over Finite Words (VD, PG, MK), pp. 513–548.
DLTDLT-J-2007-Freivalds08 #automaton #finite #probability
Non-Constructive Methods for Finite Probabilistic Automata (RF), pp. 565–580.
DLTDLT-J-2007-HanS08 #complexity #finite
State Complexity of Union and Intersection of Finite Languages (YSH, KS), pp. 581–595.
DLTDLT-J-2007-JirasekJS08 #automaton #finite #nondeterminism
Deterministic blow-UPS of Minimal Nondeterministic Finite Automata over a Fixed Alphabet (JJ, GJ, AS), pp. 617–631.
AFLAFL-2008-KaminskiZ #automaton #nondeterminism
Extending finite-memory automata with non-deterministic reassignment (Extended abstract) (MK, DZ), pp. 195–207.
CIAACIAA-2008-AllauzenM #composition #finite #transducer
3-Way Composition of Weighted Finite-State Transducers (CA, MM), pp. 262–273.
CIAACIAA-2008-BouajjaniHHTV #automaton #finite #nondeterminism #testing
Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata (AB, PH, LH, TT, TV), pp. 57–67.
CIAACIAA-2008-GarciaPAR #automaton #finite #learning #nondeterminism #regular expression #using
Learning Regular Languages Using Nondeterministic Finite Automata (PG, MVdP, GIA, JR), pp. 92–101.
CIAACIAA-2008-HolzerK #complexity #finite #nondeterminism
Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 1–16.
CIAACIAA-2008-Razet #finite
Finite Eilenberg Machines (BR), pp. 242–251.
DLTDLT-2008-AllauzenMR #algorithm #ambiguity #automaton #finite #testing
General Algorithms for Testing the Ambiguity of Finite Automata (CA, MM, AR), pp. 108–120.
DLTDLT-2008-BassinoGN #complexity #finite #linear #set #word
The Average State Complexity of the Star of a Finite Set of Words Is Linear (FB, LG, CN), pp. 134–145.
DLTDLT-2008-BordihnKM #automaton #capacity #communication #finite #on the #parallel
On the Computational Capacity of Parallel Communicating Finite Automata (HB, MK, AM), pp. 146–157.
DLTDLT-2008-GruberH #automaton #finite #regular expression
Provably Shorter Regular Expressions from Deterministic Finite Automata (HG, MH), pp. 383–395.
DLTDLT-2008-Hirvensalo #aspect-oriented #automaton #finite #quantum
Various Aspects of Finite Quantum Automata (MH), pp. 21–33.
DLTDLT-2008-HolubN #finite #on the #word
On the Relation between Periodicity and Unbordered Factors of Finite Words (SH, DN), pp. 408–418.
DLTDLT-2008-JiraskovaO #automaton #complexity #finite #on the
On the State Complexity of Operations on Two-Way Finite Automata (GJ, AO), pp. 443–454.
ICALPICALP-B-2008-BoigelotBB #automaton #finite #multi #on the #set
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases (BB, JB, VB), pp. 112–123.
ICALPICALP-B-2008-GruberH #automaton #finite #regular expression
Finite Automata, Digraph Connectivity, and Regular Expression Size (HG, MH), pp. 39–50.
LATALATA-2008-AndersonRSS #automaton #finite
Finite Automata, Palindromes, Powers, and Patterns (TA, NR, NS, JS), pp. 52–63.
LATALATA-2008-ArrighiNW #automaton #bound #finite #quantum
One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations (PA, VN, RFW), pp. 64–75.
LATALATA-2008-BenschBHK #automaton #finite
Deterministic Input-Reversal and Input-Revolving Finite Automata (SB, HB, MH, MK), pp. 113–124.
LATALATA-2008-Klunder #automaton #finite #using
Characterization of Star-Connected Languages Using Finite Automata (BK), pp. 311–320.
LATALATA-2008-Mercer #automaton #bound #finite #quantum
Lower Bounds for Generalized Quantum Finite Automata (MM), pp. 373–384.
SEFMSEFM-2008-GuoS #finite #impact analysis #proving #state machine #theorem proving #using
Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover (BG, MS), pp. 335–344.
ICPRICPR-2008-ManoharSGS #finite #modelling
Finite element modeling of facial deformation in videos for computing strain pattern (VM, MS, DBG, SS), pp. 1–4.
KRKR-2008-HinrichsG #finite #how #injection #logic #what
Injecting the How into the What: Investigating a Finite Classical Logic (TLH, MRG), pp. 92–192.
PPDPPPDP-2008-ChitilD #algorithm #debugging #finite #functional #higher-order #source code
Comprehending finite maps for algorithmic debugging of higher-order functional programs (OC, TD), pp. 205–216.
PPDPPPDP-2008-FeydySS #constraints #difference #finite
Global difference constraint propagation for finite domain solvers (TF, AS, PJS), pp. 226–235.
CSLCSL-2008-HodkinsonMS #axiom #logic
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (IMH, AM, GS), pp. 308–322.
ICLPICLP-2008-Triska #constraints #finite #theorem proving
Generalising Constraint Solving over Finite Domains (MT), pp. 820–821.
ICSTICST-2008-El-FakihKPY #fault #finite #state machine
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults (KEF, AK, SP, NY), pp. 308–317.
LICSLICS-2008-ChadhaSV #complexity #finite #monitoring #on the
On the Expressiveness and Complexity of Randomization in Finite State Monitors (RC, APS, MV), pp. 18–29.
RTARTA-2008-EscobarMS #effectiveness #finite
Effectively Checking the Finite Variant Property (SE, JM, RS), pp. 79–93.
RTARTA-2008-Schmidt-SchaussM #call-by #finite #nondeterminism #simulation #λ-calculus
A Finite Simulation Method in a Non-deterministic Call-by-Need λ-Calculus with Letrec, Constructors, and Case (MSS, EM), pp. 321–335.
TAPTAP-2008-Cao #equivalence #finite #higher-order #π-calculus
Equivalence Checking for a Finite Higher Order π-Calculus (ZC), pp. 30–47.
FATESTestCom-FATES-2008-SimaoP #finite #generative #sequence #state machine
Generating Checking Sequences for Partial Reduced Finite State Machines (AdSS, AP), pp. 153–168.
CASECASE-2007-HablaMD #approach #capacity #finite
A Finite Capacity Production Planning Approach for Semiconductor Manufacturing (CH, LM, RD), pp. 82–87.
DATEDATE-2007-ChenZLC #analysis #performance #statistics
Fast statistical circuit analysis with finite-point based transistor model (MC, WZ, FL, YC), pp. 1391–1396.
ICDARICDAR-2007-BeaufortM #fault #finite #framework
A Weighted Finite-State Framework for Correcting Errors in Natural Scene OCR (RB, CMT), pp. 889–893.
ICDARICDAR-2007-KramerKKB #finite #metadata #probability #transducer #using
Bibliographic Meta-Data Extraction Using Probabilistic Finite State Transducers (MK, HK, DK, TMB), pp. 609–613.
PODSPODS-2007-GottlobPW #bound #datalog #finite #monad
Monadic datalog over finite structures with bounded treewidth (GG, RP, FW), pp. 165–174.
CIAACIAA-J-2006-BordihnHK07 #automaton #finite #hybrid
Hybrid Extended Finite Automata (HB, MH, MK), pp. 745–760.
CIAACIAA-J-2006-SimunekM07 #automaton #finite
Borders and Finite Automata (MS, BM), pp. 859–871.
CIAACIAA-2007-AllauzenRSSM #finite #library #named #performance #transducer
OpenFst: A General and Efficient Weighted Finite-State Transducer Library (CA, MR, JS, WS, MM), pp. 11–23.
CIAACIAA-2007-BlancCW #finite
A Finite-State Super-Chunker (OB, MC, PW), pp. 306–308.
CIAACIAA-2007-JonoskaP #2d #automaton #finite #representation
Finite State Automata Representing Two-Dimensional Subshifts (NJ, JBP), pp. 277–289.
CIAACIAA-2007-Klunder #automaton #finite
Finite Automata Accepting Star-Connected Languages (BK), pp. 312–313.
DLTDLT-2007-BelovsRS #automaton #finite #multi #quantum
Multi-letter Reversible and Quantum Finite Automata (AB, AR, JS), pp. 60–71.
DLTDLT-2007-BordihnHK #automaton #finite
Hairpin Finite Automata (HB, MH, MK), pp. 108–119.
DLTDLT-2007-Freivalds #automaton #finite #probability
Non-constructive Methods for Finite Probabilistic Automata (RF), pp. 169–180.
DLTDLT-2007-HanS #complexity #finite
State Complexity of Union and Intersection of Finite Languages (YSH, KS), pp. 217–228.
DLTDLT-2007-JirasekJS #automaton #finite #nondeterminism
Deterministic Blow-Ups of Minimal Nondeterministic Finite Automata over a Fixed Alphabet (JJ, GJ, AS), pp. 254–265.
DLTDLT-2007-Priese #automaton #finite #graph
Finite Automata on Unranked and Unordered DAGs (LP), pp. 346–360.
DLTDLT-2007-Sakarovitch #automaton #finite
Finite Automata and the Writing of Numbers (JS), pp. 29–30.
DLTDLT-2007-Salomaa #automaton #complexity #finite #nondeterminism
Descriptional Complexity of Nondeterministic Finite Automata (KS), pp. 31–35.
ICALPICALP-2007-CaryRS #finite #metric
Paper Retraction: On the Hardness of Embeddings Between Two Finite Metrics (MC, AR, AS), p. 949.
LATALATA-2007-GruberH #automaton #complexity #finite #nondeterminism
Computational Complexity of NFA Minimization for Finite and Unary Languages (HG, MH), pp. 261–272.
LATALATA-2007-Thorne #bound #finite
Categorial Module Grammars of Bounded Size have Finite Bounded Density (CT), pp. 577–588.
HCIDHM-2007-HaoJZZ #3d #analysis #finite
A Finite Element 3D Model of in Vivo Human Knee Joint Based on MRI for the Tibiofemoral Joint Contact Analysis (ZH, DJ, YZ, JZ), pp. 616–622.
HCIDHM-2007-HuWWJJZCZ #analysis #component #finite
Finite Element Analysis of a Six-Component Force Sensor for the Trans-Femoral Prosthesis (XH, RW, FW, DJ, XJ, JZ, FC, SZ), pp. 633–639.
HCIDHM-2007-LeeFCBEAP #finite #modelling #using
Finite Element Modeling to Aid in Refining the Rehabilitation of Amputees Using Osseointegrated Prostheses (WL, LF, NJC, RB, JE, CA, MJP), pp. 655–658.
HCIHCI-MIE-2007-LeePL #finite #multi #recognition #transducer
Multi-word Expression Recognition Integrated with Two-Level Finite State Transducer (KL, KSP, YSL), pp. 124–133.
ECMFAECMDA-FA-2007-MaraeeB #diagrams #finite #performance #reasoning #satisfiability #set #uml
Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets (AM, MB), pp. 17–31.
SACSAC-2007-DjelloulDF #constraints #finite #first-order #infinity #prolog #theorem proving #towards #unification #using
Toward a first-order extension of Prolog’s unification using CHR: a CHR first-order constraint solver over finite or infinite trees (KD, TBHD, TWF), pp. 58–64.
GTTSEGTTSE-2007-JuhaszSP #c++ #finite #implementation #library #state machine
Implementation of a Finite State Machine with Active Libraries in C++ (ZJ, ÁS, ZP), pp. 474–488.
SMTSMT-J-2006-KimJS07 #difference #finite #integer #logic
Disequality Management in Integer Difference Logic via Finite Instantiations (HK, HJ, FS), pp. 47–66.
CSLCSL-2007-DawarR #finite #logic #power of #strict
The Power of Counting Logics on Restricted Classes of Finite Structures (AD, DR), pp. 84–98.
ICLPICLP-2007-BaseliceBC #on the #recursion #source code
On Finitely Recursive Programs (SB, PAB, GC), pp. 89–103.
LICSLICS-2007-DengGHMZ #finite #probability #process #testing
Characterising Testing Preorders for Finite Probabilistic Processes (YD, RJvG, MH, CM, CZ), pp. 313–325.
LICSLICS-2007-Kolaitis #finite
Reflections on Finite Model Theory (PGK), pp. 257–269.
FATESTestCom-FATES-2007-PapSKN #algorithm #bound #finite #generative #incremental #state machine #testing
A Bounded Incremental Test Generation Algorithm for Finite State Machines (ZP, MS, GK, GÁN), pp. 244–259.
FATESTestCom-FATES-2007-ShabaldinaEY #finite #nondeterminism #state machine #testing
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation (NS, KEF, NY), pp. 305–318.
DATEDATE-DF-2006-HabibiMT #finite #generative #state machine
Generating finite state machines from SystemC (AH, HM, ST), pp. 76–81.
PODSPODS-2006-Rosati #database #decidability #finite #on the #query
On the decidability and finite controllability of query processing in databases with incomplete information (RR), pp. 356–365.
ITiCSEITiCSE-2006-Bozic #algorithm #automaton #finite #modelling
Application of finite state automata to the bakery algorithm in critical section modeling (VB), p. 362.
ITiCSEITiCSE-2006-SchreyerW #automaton #finite #modelling #problem
Finite automata models for CS problem with binary semaphore (BS, WW), p. 330.
FoSSaCSFoSSaCS-2006-ChenFN #finite #infinity #on the #simulation
On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation (TC, WF, SN), pp. 1–15.
FoSSaCSFoSSaCS-2006-Schroder #algebra #finite #logic
A Finite Model Construction for Coalgebraic Modal Logic (LS), pp. 157–171.
DLTDLT-J-2005-AfoninH06 #problem #regular expression #set
Membership and Finiteness Problems for Rational Sets of Regular Languages (SA, EH), pp. 493–506.
CIAACIAA-2006-AntoniouHIMP #automaton #finite #using
Finding Common Motifs with Gaps Using Finite Automata (PA, JH, CSI, BM, PP), pp. 69–77.
CIAACIAA-2006-BordihnHK #automaton #finite #hybrid
Hybrid Extended Finite Automata (HB, MH, MK), pp. 34–45.
CIAACIAA-2006-ConstantM #automaton #compilation #constraints #finite
Compiling Linguistic Constraints into Finite State Automata (MC, DM), pp. 242–252.
CIAACIAA-2006-Fernando #finite
Finite-State Temporal Projection (TF), pp. 230–241.
CIAACIAA-2006-GiraudVL #automaton #finite
Path-Equivalent Removals of epsilon-transitions in a Genomic Weighted Finite Automaton (MG, PV, DL), pp. 23–33.
CIAACIAA-2006-Leung #ambiguity #automaton #finite
Structurally Unambiguous Finite Automata (HL), pp. 198–207.
CIAACIAA-2006-RoyC #finite #infinity #model checking
A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems (SR, BC), pp. 277–278.
CIAACIAA-2006-SimunekM #automaton #finite
Borders and Finite Automata (MS, BM), pp. 58–68.
CIAACIAA-2006-Tischler #automaton #finite #random #refinement #video
Refinement of Near Random Access Video Coding with Weighted Finite Automata (GT), pp. 46–57.
DLTDLT-2006-DAlessandroRV #finite #order #set
Well Quasi Orders and the Shuffle Closure of Finite Sets (FD, GR, SV), pp. 260–269.
DLTDLT-2006-DassowV #finite #multi #string
Ciliate Bio-operations on Finite String Multisets (JD, GV), pp. 168–179.
DLTDLT-2006-Ravikumar #automaton #finite #modelling #on the #probability
On Some Variations of Two-Way Probabilistic Finite Automata Models (BR), pp. 443–454.
DLTDLT-2006-SanteanY #ambiguity #finite #on the #transducer
On Weakly Ambiguous Finite Transducers (NS, SY), pp. 156–167.
ICALPICALP-v1-2006-DotyLN #finite
Finite-State Dimension and Real Arithmetic (DD, JHL, SN), pp. 537–547.
ICALPICALP-v1-2006-Kunc #algebra #finite
Algebraic Characterization of the Finite Power Property (MK), pp. 120–131.
ICALPICALP-v2-2006-AcetoFIL #communication #equation #finite
A Finite Equational Base for CCS with Left Merge and Communication Merge (LA, WF, AI, BL), pp. 492–503.
KRKR-2006-Ben-Naim #finite
Lack of Finite Characterizations for the Distance-Based Revision (JBN), pp. 239–248.
PADLPADL-2006-HawkinsS #constraints #finite #hybrid #satisfiability #theorem proving
A Hybrid BDD and SAT Finite Domain Constraint Solver (PH, PJS), pp. 103–117.
SACSAC-2006-DjelloulD #constraints #finite #first-order #formal method #infinity
Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories (KD, TBHD), pp. 7–14.
ICSEICSE-2006-TanAC #finite #verification
Managing space for finite-state verification (JT, GSA, LAC), pp. 152–161.
ASPLOSASPLOS-2006-Solar-LezamaTBSS #combinator #finite #sketching #source code
Combinatorial sketching for finite programs (ASL, LT, RB, SAS, VAS), pp. 404–415.
CAVCAV-2006-WulfDHR #algorithm #anti #automaton #finite #named
Antichains: A New Algorithm for Checking Universality of Finite Automata (MDW, LD, TAH, JFR), pp. 17–30.
CSLCSL-2006-Aehlig #automaton #finite #infinity #semantics
A Finite Semantics of Simply-Typed λ Terms for Infinite Runs of Automata (KA), pp. 104–118.
CSLCSL-2006-Ong #approach #infinity #semantics #verification
Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) (CHLO), pp. 31–40.
CSLCSL-2006-ScheweF #calculus #finite #satisfiability #μ-calculus
Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus (SS, BF), pp. 591–605.
FATESFATES-RV-2006-KrichenT #finite #identification #problem #transducer
State-Identification Problems for Finite-State Transducers (MK, ST), pp. 148–162.
IJCARIJCAR-2006-JiaZ #finite #morphism
A Powerful Technique to Eliminate Isomorphism in Finite Model Search (XJ, JZ), pp. 318–331.
IJCARIJCAR-2006-NivelleM #finite #geometry #proving
Geometric Resolution: A Proof Procedure Based on Finite Model Search (HdN, JM), pp. 303–317.
IJCARIJCAR-2006-SutcliffeSCG #finite #using
Using the TPTP Language for Writing Derivations and Finite Interpretations (GS, SS, KC, AVG), pp. 67–81.
RTARTA-2006-Bruggink #finite #higher-order #product line #proving #using
A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property (HJSB), pp. 372–386.
ICTSSTestCom-2006-Ipate #bound #finite #nondeterminism #sequence #state machine #testing
Bounded Sequence Testing from Non-deterministic Finite State Machines (FI), pp. 55–70.
ICTSSTestCom-2006-KeumKKBC #finite #generative #state machine #testing #using #web #web service
Generating Test Cases for Web Services Using Extended Finite State Machine (CK, SK, IYK, JB, YIC), pp. 103–117.
CASECASE-2005-Hwang #approach #automation #behaviour #configuration management #finite #generative
Generating finite-state global behavior of reconfigurable automation systems: DEVS approach (MHH), pp. 254–260.
FoSSaCSFoSSaCS-2005-DengP #axiom #behaviour #finite #probability
Axiomatizations for Probabilistic Finite-State Behaviors (YD, CP), pp. 110–124.
STOCSTOC-2005-ChristodoulouK #finite #game studies
The price of anarchy of finite congestion games (GC, EK), pp. 67–73.
CIAACIAA-J-2004-GeserHWZ05 #automaton #finite #string #term rewriting #termination
Finding finite automata that certify termination of string rewriting systems (AG, DH, JW, HZ), pp. 471–486.
CIAACIAA-J-2004-KrawetzLS05 #complexity #finite #monad #set
State complexity and the monoid of transformations of a finite set (BK, JL, JS), pp. 547–563.
CIAACIAA-2005-CampeanuPS #algorithm #automaton #finite #incremental
An Incremental Algorithm for Constructing Minimal Deterministic Finite Cover Automata (CC, AP, JRS), pp. 90–103.
CIAACIAA-2005-CanoG #automaton #bound #constant #finite
Finite Automata and Unions of Regular Patterns with Bounded Constant Segments (AC, PG), pp. 104–115.
CIAACIAA-2005-Freivalds #automaton #finite #quantum
Languages Recognizable by Quantum Finite Automata (RF), pp. 1–14.
CIAACIAA-2005-HanW #automaton #finite #regular expression
Shorter Regular Expressions from Finite-State Automata (YSH, DW), pp. 141–152.
CIAACIAA-2005-HigueraPT #automaton #finite #learning #probability #recognition
Learning Stochastic Finite Automata for Musical Style Recognition (CdlH, FP, FT), pp. 345–346.
CIAACIAA-2005-SubramanianS #automaton #documentation #finite #recursion #using #xml
Compressing XML Documents Using Recursive Finite State Automata (HS, PS), pp. 282–293.
CIAACIAA-2005-ZdarekM #2d #automaton #finite #on the #pattern matching
On Two-Dimensional Pattern Matching by Finite Automata (JZ, BM), pp. 329–340.
DLTDLT-2005-AfoninH #problem #regular expression #set
Membership and Finiteness Problems for Rational Sets of Regular Languages (SA, EH), pp. 88–99.
DLTDLT-2005-BordihnHK #automaton #finite
Revolving-Input Finite Automata (HB, MH, MK), pp. 168–179.
DLTDLT-2005-GeffertMP #automaton #finite
Complementing Two-Way Finite Automata (VG, CM, GP), pp. 260–271.
ICALPICALP-2005-AtseriasDG #finite
Preservation Under Extensions on Well-Behaved Finite Structures (AA, AD, MG), pp. 1437–1449.
ICALPICALP-2005-CaryRS #finite #metric #on the
On the Hardness of Embeddings Between Two Finite Metrics (MC, AR, AS), pp. 1412–1423.
ICALPICALP-2005-CohenFIKP #automaton #finite #graph
Label-Guided Graph Exploration by a Finite Automaton (RC, PF, DI, AK, DP), pp. 335–346.
ICALPICALP-2005-FokkinkN #finite #semantics
A Finite Basis for Failure Semantics (WF, SN), pp. 755–765.
ICALPICALP-2005-Kayal #equation #finite #polynomial
Solvability of a System of Bivariate Polynomial Equations over a Finite Field (NK), pp. 551–562.
FMFM-2005-BanachPJS #finite #sequence
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern (RB, MP, CJ, SS), pp. 382–398.
ICMLICML-2005-SzepesvariM #bound #finite
Finite time bounds for sampling based fitted value iteration (CS, RM), pp. 880–887.
MLDMMLDM-2005-BouguilaZ #approach #estimation #finite
MML-Based Approach for Finite Dirichlet Mixture Estimation and Selection (NB, DZ), pp. 42–51.
MLDMMLDM-2005-ZhangZ #component #finite #modelling
Finite Mixture Models with Negative Components (BZ, CZ), pp. 31–41.
ICSTSAT-J-2004-AnsoteguiM05 #problem
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables (CA, FM), pp. 1–15.
CSLCSL-2005-MostowskiZ #finite #modelling
Coprimality in Finite Models (MM, KZ), pp. 263–275.
LICSLICS-2005-AbdullaHM #finite #infinity #markov #verification
Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property (PAA, NBH, RM), pp. 127–136.
RTARTA-2005-Comon-LundhD #algebra #finite #how
The Finite Variant Property: How to Get Rid of Some Algebraic Properties (HCL, SD), pp. 294–307.
DACDAC-2004-ParthasarathyICW #constraints #performance #theorem proving
An efficient finite-domain constraint solver for circuits (GP, MKI, KTC, LCW), pp. 212–217.
DATEDATE-v2-2004-TiwariT #embedded #finite #memory management #state machine
Saving Power by Mapping Finite-State Machines into Embedded Memory Blocks in FPGAs (AT, KAT), pp. 916–921.
ESOPESOP-2004-CarlssonB #algorithm #automaton #constraints #finite
From Constraints to Finite Automata to Filtering Algorithms (MC, NB), pp. 94–108.
FoSSaCSFoSSaCS-2004-FokkinkN #finite #infinity #on the
On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds (WF, SN), pp. 182–194.
CIAACIAA-2004-Egri-NagyN #algebra #automaton #comparison #composition #finite #implementation
Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn-Rhodes Theory (AEN, CLN), pp. 315–316.
CIAACIAA-2004-FerroOG #fault #finite
Regional Finite-State Error Repair (MVF, JO, JGG), pp. 269–280.
CIAACIAA-2004-FrishertCW #automaton #finite #regular expression
FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views (MF, LGC, BWW), pp. 125–133.
CIAACIAA-2004-GeserHWZ #automaton #finite #string #termination
Finding Finite Automata That Certify Termination of String Rewriting (AG, DH, JW, HZ), pp. 134–145.
CIAACIAA-2004-GiraudL #automaton #encoding #finite #linear
Linear Encoding Scheme for Weighted Finite Automata (MG, DL), pp. 146–155.
CIAACIAA-2004-KrawetzLS #complexity #finite #monad #set
State Complexity and the Monoid of Transformations of a Finite Set (BK, JL, JS), pp. 213–224.
CIAACIAA-2004-NishimuraY #automaton #finite #interactive #proving #quantum
An Application of Quantum Finite Automata to Interactive Proof Systems (HN, TY), pp. 225–236.
CIAACIAA-2004-Tischler #automaton #finite #parametricity
Parametric Weighted Finite Automata for Figure Drawing (GT), pp. 259–268.
DLTDLT-2004-KurganskyyP #2d #automaton #finite #on the #power of
On the Computation Power of Finite Automata in Two-dimensional Environments (OK, IP), pp. 261–271.
DLTDLT-2004-Truthe
A Method for Deciding the Finiteness of Deterministic Tabled Picture Languages (BT), pp. 406–417.
SEFMSEFM-2004-Roy #finite #infinity #using #verification
Symbolic Verification of Infinite Systems using a Finite Union of DFAs (SR), pp. 56–66.
ICMLICML-2004-PeltonenSK #finite
Sequential information bottleneck for finite data (JP, JS, SK).
ICPRICPR-v1-2004-BouguilaZ #finite #learning #modelling
A Powreful Finite Mixture Model Based on the Generalized Dirichlet Distribution: Unsupervised Learning and Applications (NB, DZ), pp. 280–283.
ICPRICPR-v2-2004-ZiouB #analysis #finite #image #learning #using
Unsupervised Learning of a Finite Gamma Mixture Using MML: Application to SAR Image Analysis (DZ, NB), pp. 68–71.
ICPRICPR-v4-2004-ZhaiRS #detection #finite #state machine #using
Conversation Detection in Feature Films Using Finite State Machines (YZ, ZR, MS), pp. 458–461.
KDDKDD-2004-MorinagaY #finite #roadmap #topic #using
Tracking dynamics of topic trends using a finite mixture model (SM, KY), pp. 811–816.
LOPSTRLOPSTR-2004-SatoK #finite
Negation Elimination for Finite PCFGs (TS, YK), pp. 117–132.
SACSAC-2004-AvinoGM #finite #problem #reverse engineering
Applications of finite fields to dynamical systems and reverse engineering problems (MAA, ELG, OM), pp. 191–196.
CSLCSL-2004-ArenasBL #finite #game studies #locality #modelling
Game-Based Notions of Locality Over Finite Models (MA, PB, LL), pp. 175–189.
IJCARIJCAR-2004-ColtonMSM #algebra #automation #classification #finite #generative #theorem
Automatic Generation of Classification Theorems for Finite Algebras (SC, AM, VS, RLM), pp. 400–414.
IJCARIJCAR-2004-GilHSZ #algorithm #constraints #finite #order #performance #problem
Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract (ÀJG, MH, GS, BZ), pp. 244–258.
IJCARIJCAR-2004-Gottlob #finite #higher-order #logic #research
Second-Order Logic over Finite Structures — Report on a Research Programme (GG), pp. 229–243.
LICSLICS-2004-DamsN #abstraction #branch #finite #model checking
The Existence of Finite Abstractions for Branching Time Model Checking (DD, KSN), pp. 335–344.
LICSLICS-2004-Huth #lts
Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space (MH), pp. 222–231.
SATSAT-2004-AnsoteguiM #problem
Mapping Problems with Finite-Domain Variables into Problems with Boolean Variables (CA, FM), pp. 111–119.
DACDAC-2003-FangRPC #modelling #performance #static analysis #towards
Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling (CFF, RAR, MP, TC), pp. 496–501.
DATEDATE-2003-LeeHH #composition #design #finite #power management #state machine
Decomposition of Extended Finite State Machine for Low Power Design (ML, TH, SYH), pp. 11152–11153.
ESOPESOP-2003-RepsSL #difference #finite #logic #static analysis
Finite Differencing of Logical Formulas for Static Analysis (TWR, SS, AL), pp. 380–398.
CIAACIAA-2003-ChamparnaudLOZ #automaton #finite
From Regular Weighted Expressions to Finite Automata (JMC, ÉL, FO, DZ), pp. 49–60.
CIAACIAA-2003-KellyC #finite #state machine
Computational Linguistic Motivations for a Finite-State Machine Hierarchy (RK, JCB), pp. 301–303.
CIAACIAA-2003-KempeBGGN #compilation #finite #named
WFSC — A New Weighted Finite State Compiler (AK, CB, TG, FG, FN), pp. 108–119.
CIAACIAA-2003-MelicharP #approach #automaton #finite #problem #sequence
The Longest Common Subsequence Problem A Finite Automata Approach (BM, TP), pp. 294–296.
CIAACIAA-2003-NgassamWK #automaton #finite
Preliminary Experiments in Hardcoding Finite Automata (EKN, BWW, DGK), pp. 299–300.
CIAACIAA-2003-UnoldTDT #finite
Finite-State Molecular Computing (OU, MT, TD, AT), pp. 309–310.
CIAACIAA-2003-WallmeierHT #finite #specification #synthesis
Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications (NW, PH, WT), pp. 11–22.
DLTDLT-2003-BonizzoniFMZ #finite #reflexive #regular expression
Regular Languages Generated by Reflexive Finite Splicing Systems (PB, CdF, GM, RZ), pp. 134–145.
DLTDLT-2003-CarmeGLTT #automaton #finite
Residual Finite Tree Automata (JC, RG, AL, AT, MT), pp. 171–182.
DLTDLT-2003-HolzerK #automaton #finite #monad #on the
On Deterministic Finite Automata and Syntactic Monoid Size, Continued (MH, BK), pp. 349–360.
DLTDLT-2003-KlimannLMP #ambiguity #automaton
Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton (IK, SL, JM, CP), pp. 373–385.
DLTDLT-2003-Malcher #automaton #finite
Minimizing Finite Automata Is Computationally Hard (AM), pp. 386–397.
ICALPICALP-2003-HromkovicS03a #automaton #finite #nondeterminism
Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser’s Separation (JH, GS), pp. 439–451.
ICALPICALP-2003-IkedaKOY #finite #graph #random
Impact of Local Topological Information on Random Walks on Finite Graphs (SI, IK, NO, MY), pp. 1054–1067.
PPDPPPDP-2003-PaluDPR #constraints #finite #set
Integrating finite domain constraints and CLP with sets (ADP, AD, EP, GR), pp. 219–229.
CADECADE-2003-LutzST #complexity #finite #logic #reasoning
The Complexity of Finite Model Reasoning in Description Logics (CL, US, LT), pp. 60–74.
CSLCSL-2003-GroheS #finite #monad #query
Comparing the Succinctness of Monadic Query Languages over Finite Trees (MG, NS), pp. 226–240.
LICSLICS-2003-Rossman #finite
Successor-Invariance in the Finite (BR), p. 148–?.
ICTSSTestCom-2003-El-FakihPYB #fault #finite #state machine
Fault Diagnosis in Extended Finite State Machines (KEF, SP, NY, GvB), pp. 197–210.
ASEASE-2002-OwenMC #finite #modelling #question #what
What Makes Finite-State Models More (or Less) Testable? (DO, TM, BC), pp. 237–240.
DATEDATE-2002-GorenF #finite #heuristic #named #reduction #state machine
CHESMIN: A Heuristic for State Reduction in Incompletely Specified Finite State Machines (SG, FJF), pp. 248–254.
DATEDATE-2002-TeichK #configuration management #finite #implementation #self #state machine
(Self-)reconfigurable Finite State Machines: Theory and Implementation (JT, MK), pp. 559–566.
ESOPESOP-2002-CharatonikGT #mobile
Finite-Control Mobile Ambients (WC, ADG, JMT), pp. 295–313.
ESOPESOP-2002-Martel #approach #fault #finite #precise #semantics
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach (MM), pp. 194–208.
SASSAS-2002-Lee #analysis #polynomial
Finiteness Analysis in Polynomial Time (CSL), pp. 493–508.
CIAACIAA-J-2000-CampeanuPY02 #algorithm #automaton #finite #performance
An Efficient Algorithm for Constructing Minimal Cover Automata for Finite Languages (CC, AP, SY), pp. 83–97.
CIAACIAA-2002-AnselmoGV #automaton #finite #self
Finite Automata and Non-self-Embedding Grammars (MA, DG, SV), pp. 47–56.
CIAACIAA-2002-CampeanuP #automaton #finite #similarity
The Number of Similarity Relations and the Number of Minimal Deterministic Finite Cover Automata (CC, AP), pp. 67–76.
CIAACIAA-2002-Daciuk #algorithm #automaton #comparison #finite #set #string
Comparison of Construction Algorithms for Minimal, Acyclic, Deterministic, Finite-State Automata from Sets of Strings (JD), pp. 255–261.
CIAACIAA-2002-GranaAV #compilation #constraints #finite #transducer
Compilation of Constraint-Based Contextual Rules for Part-of-Speech Tagging into Finite State Transducers (JG, GA, JV), pp. 128–137.
CIAACIAA-2002-GuingneN #finite #lazy evaluation
Finite State Lazy Operations in NLP (FG, FN), pp. 138–147.
CIAACIAA-2002-HolzerK #automaton #complexity #finite #nondeterminism
State Complexity of Basic Operations on Nondeterministic Finite Automata (MH, MK), pp. 148–157.
CIAACIAA-2002-Korner #automaton #finite #on the
On Minimizing Cover Automata for Finite Languages in O(n log n) Time (HK), pp. 117–127.
DLTDLT-2002-Archangelsky #algorithm #equivalence #finite #multi #performance
Efficient Algorithm for Checking Multiplicity Equivalence for the Finite Z-Σ*-Automata (KA), pp. 283–289.
DLTDLT-2002-Domaratzki #automaton #bound #finite
Improved Bounds on the Number of Automata Accepting Finite Languages (MD), pp. 209–219.
DLTDLT-2002-Esik #finite #generative #logic #monad #word
Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators (), pp. 43–58.
DLTDLT-2002-HolzerK02a #automaton #finite #monad #on the
On Deterministic Finite Automata and Syntactic Monoid Size (MH, BK), pp. 258–269.
DLTDLT-2002-IbarraDS #automaton #finite #safety #verification
Safety Verification for Two-Way Finite Automata with Monotonic Counters (OHI, ZD, ZWS), pp. 326–338.
DLTDLT-2002-Lam #finite
Finite Completion of Comma-Free Codes. Part I (NHL), pp. 357–368.
DLTDLT-2002-Seibert #automaton #finite #performance #regular expression
Efficient Transformations from Regular Expressions to Finite Automata (SS), pp. 28–42.
DLTDLT-2002-Svozil #automaton #concept #finite #modelling
Finite Automata Models of Quantized Systems: Conceptual Status and Outlook (KS), pp. 93–102.
ICALPICALP-2002-Bojanczyk #automaton #finite #modelling
Two-Way Alternating Automata and Finite Models (MB), pp. 833–844.
ICALPICALP-2002-EngebretsenHR #equation #finite
Inapproximability Results for Equations over Finite Groups (LE, JH, AR), pp. 73–84.
ICALPICALP-2002-KarhumakiL #equivalence #finite #problem
The Equivalence Problem of Finite Substitutions on ab*c, with Applications (JK, LPL), pp. 812–820.
SEKESEKE-2002-LeeKC #finite #interactive #sequence chart #state machine #testing
Construction of global finite state machine for testing task interactions written in message sequence charts (NHL, THK, SDC), pp. 369–376.
PADLPADL-2002-GallagherP #abstract interpretation #analysis #automaton #finite #logic programming #nondeterminism #source code
Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs (JPG, GP), pp. 243–261.
CADECADE-2002-AudemardB #finite #generative #reasoning #symmetry
Reasoning by Symmetry and Function Ordering in Finite Model Generation (GA, BB), pp. 226–240.
ICLPICLP-2002-Angelopoulos #bibliography #finite #perspective #probability
Probabilistic Finite Domains: A Brief Overview (NA), p. 475.
ICLPICLP-2002-BoigelotW #automaton #bibliography #constraints #finite #perspective #representation
Representing Arithmetic Constraints with Finite Automata: An Overview (BB, PW), pp. 1–19.
ICLPICLP-2002-FerrandL #approximate #finite #logic programming #reduction
A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs (GF, AL), pp. 478–479.
ICLPICLP-2002-Thielscher #constraints #finite #reasoning
Reasoning about Actions with CHRs and Finite Domain Constraints (MT), pp. 70–84.
ISSTAISSTA-2002-GrieskampGSV #finite #generative #state machine
Generating finite state machines from abstract state machines (WG, YG, WS, MV), pp. 112–122.
LICSLICS-2002-Otto #finite #theorem
Modal and Guarded Characterisation Theorems over Finite Transition Systems (MO), p. 371–?.
ICTSSTestCom-2002-SerdarT #approach #finite #generative #sequence #state machine
A New Approach To Checking Sequence Generation for Finite State Machines (BS, KCT), p. 391–?.
DATEDATE-2001-BertoniBF #architecture #encryption #finite #multi #performance
Efficient finite field digital-serial multiplier architecture for cryptography applications (GB, LB, PF), p. 812.
FoSSaCSFoSSaCS-2001-Bojanczyk #automaton #finite #graph #problem
The Finite Graph Problem for Two-Way Alternating Automata (MB), pp. 88–103.
SASSAS-2001-BagnaraGHZ #analysis #constraints
Finite-Tree Analysis for Constraint Logic-Based Languages (RB, RG, PMH, EZ), pp. 165–184.
STOCSTOC-2001-Shparlinski #approximate #finite #polynomial
Sparse polynomial approximation in finite fields (IS), pp. 209–215.
CIAACIAA-2001-AlegriaAEEU #finite #natural language #using
Using Finite State Technology in Natural Language Processing of Basque (IA, MJA, NE, AE, RU), pp. 1–12.
CIAACIAA-2001-DaciukN #automaton #finite #modelling #representation
Finite Automata for Compact Representation of Language Models in NLP (JD, GvN), pp. 65–73.
CIAACIAA-2001-DubernardG #automaton #finite #generative #scheduling
Scheduling Hard Sporadic Tasks by Means of Finite Automata and Generating Functions (JPD, DG), pp. 87–100.
CIAACIAA-2001-FriburgerM #finite #transducer
Finite-State Transducer Cascade to Extract Proper Names in Texts (NF, DM), pp. 115–124.
CIAACIAA-2001-Gaal #finite #question #transducer
Is this Finite-State Transducer Sequentiable? (TG), pp. 125–134.
CIAACIAA-2001-GranaBA #automaton #compilation #finite #scalability
Compilation Methods of Minimal Acyclic Finite-State Automata for Large Dictionaries (JG, FMB, MAA), pp. 135–148.
CIAACIAA-2001-KatritzkeMT #automaton #clustering #finite #image #using
Enhancements of Partitioning Techniques for Image Compression Using Weighted Finite Automata (FK, WM, MT), pp. 177–189.
CIAACIAA-2001-Kempe #finite #transducer
Extraction of epsilon-Cyclesfrom Finite-State Transducers (AK), pp. 190–201.
CIAACIAA-2001-MelicharS #automaton #finite #on the
On the Size of Deterministic Finite Automata (BM, JS), pp. 202–213.
CIAACIAA-2001-Savary #finite #nearest neighbour
Typographical Nearest-Neighbor Search in a Finite-State Lexicon and Its Application to Spelling Correction (AS), pp. 251–260.
CIAACIAA-2001-Zijl01a #automaton #finite
Supernondeterministic Finite Automata (LvZ), pp. 274–288.
ICALPICALP-2001-DaiLLM #finite
Finite-State Dimension (JJD, JIL, JHL, EM), pp. 1028–1039.
ICALPICALP-2001-JurdzinskiK #communication #finite #memory management
Communication Gap for Finite Memory Devices (TJ, MK), pp. 1052–1064.
ICALPICALP-2001-MuschollP #communication #finite #protocol #sequence chart
From Finite State Communication Protocols to High-Level Message Sequence Charts (AM, DP), pp. 720–731.
ICSEICSE-2001-CobleighCO #algorithm #analysis #data flow #finite #verification
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification (JMC, LAC, LJO), pp. 37–46.
ICSEICSE-2001-DwyerHJLPRZV #abstraction #finite #verification
Tool-Supported Program Abstraction for Finite-State Verification (MBD, JH, RJ, SL, CSP, R, HZ, WV), pp. 177–187.
CAVCAV-2001-RodehS #equivalence #finite #logic
Finite Instantiations in Equivalence Logic with Uninterpreted Functions (YR, OS), pp. 144–154.
IJCARIJCAR-2001-LynchM #complexity #decidability #equation #linear
Decidability and Complexity of Finitely Closable Linear Equational Theories (CL, BM), pp. 499–513.
TLCATLCA-2001-Joly #λ-calculus
The Finitely Generated Types of the λ-Calculus (TJ), pp. 240–252.
DACDAC-2000-HettSB #distance #finite #state machine #traversal
Distance driven finite state machine traversal (AH, CS, BB), pp. 39–42.
ESOPESOP-2000-Muller-OlmW #finite #on the
On the Translation of Procedures to Finite Machines (MMO, AW), pp. 290–304.
WRLAWRLA-2000-Ringeissen #finite #rule-based
Handling Relations over Finite Domains in the Rule-Based System ELAN (CR), pp. 194–211.
CIAACIAA-2000-ChamparnaudZ #automaton #canonical #finite
New Finite Automaton Constructions Based on Canonical Derivatives (JMC, DZ), pp. 94–104.
CIAACIAA-2000-DiehlKW #algorithm #automaton #finite #generative #visual notation #web
Visual Exploration of Generation Algorithms for Finite Automata on the Web (SD, AK, TW), pp. 327–328.
CIAACIAA-2000-Karttunen #finite #natural language #transducer
Applications of Finite-State Transducers in Natural Language Processing (LK), pp. 34–46.
CIAACIAA-2000-Kempe #ambiguity #finite #transducer
Factorization of Ambiguous Finite-State Transducers (AK), pp. 170–181.
CIAACIAA-2000-PaunSY #algorithm #automaton #finite
An O(n2) Algorithm for Constructing Minimal Cover Automata for Finite Languages (AP, NS, SY), pp. 243–251.
CIAACIAA-2000-SchmitzV #algorithm #finite #game studies #implementation
Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games (DS, JV), pp. 263–271.
CIAACIAA-2000-ShankarSAR #automaton #finite #implementation
A Package for the Implementation of Block Codes as Finite Automata (PS, KS, VA, BSR), pp. 279–292.
CIAACIAA-2000-Wareham #automaton #complexity #composition #finite #set
The Parameterized Complexity of Intersection and Composition Operations on Sets of Finite-State Automata (TW), pp. 302–310.
ICALPICALP-2000-BravettiG #axiom #behaviour #congruence #finite
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors (MB, RG), pp. 744–755.
ICALPICALP-2000-BulatovKJ #algebra #constraints #finite #problem
Constraint Satisfaction Problems and Finite Algebras (AAB, AAK, PJ), pp. 272–282.
ICALPICALP-2000-HenriksenMKT #graph #on the #sequence
On Message Sequence Graphs and Finitely Generated Regular MSC Languages (JGH, MM, KNK, PST), pp. 675–686.
ICALPICALP-2000-HromkovicKKSS #automaton #finite #metric #nondeterminism
Measures of Nondeterminism in Finite Automata (JH, JK, HK, GS, SS), pp. 199–210.
ICALPICALP-2000-KarhumakiP #finite #on the #set
On the Centralizer of a Finite Set (JK, IP), pp. 536–546.
ICALPICALP-2000-MeenakshiR #finite #message passing #reasoning
Reasoning about Message Passing in Finite State Environments (BM, RR), pp. 487–498.
WLCWLC-2000-AlmeidaE #finite #pseudo
Semidirect Products With the Pseudovariety of All Finite Groups (JA, APE), pp. 1–21.
WLCWLC-2000-GruskaV #automaton #finite #quantum
Quantum Finite Automata (JG, RV), pp. 192–211.
WLCWLC-2000-Nishio #automaton #finite
Cellular Automata with Polynomials over Finite Fields (HN), pp. 370–377.
IFMIFM-2000-BertC #finite
Construction of Finite Labelled Transistion Systems from B Abstract Systems (DB, FC), pp. 235–254.
ICMLICML-2000-Veeser #approach #automaton #finite #learning
An Evolutionary Approach to Evidence-Based Learning of Deterministic Finite Automata (SV), pp. 1071–1078.
ICPRICPR-v2-2000-FigueiredoJ #estimation #finite #modelling
Unsupervised Selection and Estimation of Finite Mixture Models (MATF, AKJ), pp. 2087–2090.
ICPRICPR-v3-2000-HongHT #finite #gesture #performance #recognition #state machine
Constructing Finite State Machines for Fast Gesture Recognition (PH, TSH, MT), pp. 3695–3698.
KDDKDD-2000-YamanishiTWM #algorithm #detection #finite #learning #online #using
On-line unsupervised outlier detection using finite mixtures with discounting learning algorithms (KY, JiT, GJW, PM), pp. 320–324.
KRKR-2000-GinsbergP #algorithm #finite #quantifier #satisfiability
Satisfiability Algorithms and Finite Quantification (MLG, AJP), pp. 690–701.
SACSAC-2000-MortonT #3d #adaptation #finite
A New 3D Adaptive Finite Element Scheme with l-Irregular Hexahedral Element Meshes (DM, JMT), pp. 99–104.
ICSEICSE-2000-CorbettDHLPRZ #finite #java #modelling #named #source code
Bandera: extracting finite-state models from Java source code (JCC, MBD, JH, SL, CSP, R, HZ), pp. 439–448.
CADECADE-2000-AudemardBH #finite
Two Techniques to Improve Finite Model Search (GA, BB, LH), pp. 302–308.
ICLPCL-2000-HahnleHS #constraints #finite #generative #proving #theorem proving
Moder Generation Theorem Proving with Finite Interval Constraints (RH, RH, YS), pp. 285–299.
ICLPCL-2000-HuiG #approach #constraints #finite
Developing Finite Domain Constraints — A Data Model Approach (KyH, PMDG), pp. 448–462.
ICLPCL-2000-MoinardR #finite #set
Smallest Equivalent Sets for Finite Propositional Formula Circumscription (YM, RR), pp. 897–911.
CSLCSL-2000-Laird #finite #modelling
Finite Models and Full Completeness (JL), pp. 384–398.
ISSTAISSTA-2000-Clarke #finite #validation #verification
Finite state verification: An emerging technology for validating software systems (abstract only) (LAC), p. 146.
LICSLICS-2000-LindellW #decidability #finite #first-order
The Role of Decidability in First Order Separations over Classes of Finite Structures (SL, SW), pp. 45–50.
RTARTA-2000-TakaiKS #effectiveness #finite #linear #term rewriting
Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability (TT, YK, HS), pp. 246–260.
DATEDATE-1999-HongB #analysis #finite #reachability #scalability #state machine #using
Symbolic Reachability Analysis of Large Finite State Machines Using Don’t Cares (YH, PAB), p. 13–?.
DATEDATE-1999-Kuchcinski #constraints #finite #graph #scheduling #using
Integrated Resource Assignment and Scheduling of Task Graphs Using Finite Domain Constraints (KK), pp. 772–773.
TACASTACAS-1999-MontanariP #finite #verification #π-calculus
Finite State Verification for the Asynchronous π-Calculus (UM, MP), pp. 255–269.
PLDIPLDI-1999-FraserP #code generation
Finite-Static Code Generation (CWF, TAP), pp. 270–280.
STOCSTOC-1999-AmanoI #automaton #finite #quantum
Undecidability on Quantum Finite Automata (MA, KI), pp. 368–375.
DLTDLT-1999-JirickaK #automaton #finite #nondeterminism
Deterministic forgetting planar automata are more powerful than non-deterministic finite-state planar automata (PJ, JK), pp. 71–80.
DLTDLT-1999-SalomaaY #composition #finite #on the
On the decomposition of finite languages (AS, SY), pp. 22–31.
ICALPICALP-1999-EngelfrietH #finite #higher-order #logic #monad #transducer
Two-Way Finite State Transducers and Monadic Second-Order Logic (JE, HJH), pp. 311–320.
ICALPICALP-1999-HromkovicS #automaton #finite #on the #power of
On the Power of Las Vegas II. Two-Way Finite Automata (JH, GS), pp. 433–442.
ICALPICALP-1999-Kirsten #finite #monad #problem
A Connection between the Star Problem and the Finite Power Property in Trace Monoids (DK), pp. 473–482.
ICALPICALP-1999-PeichlV #automaton #finite
Finite Automata with Generalized Acceptance Criteria (TP, HV), pp. 605–614.
CIAAWIA-1999-AmilhastreJV #finite #heuristic
FA Minimisation Heuristics for a Class of Finite Languages (JA, PJ, MCV), pp. 1–12.
CIAAWIA-1999-BrauneDKW #animation #automaton #finite #generative #learning
Animation of the Generation and Computation of Finite Automata for Learning Software (BB, SD, AK, RW), pp. 39–47.
CIAAWIA-1999-CampeanuCSY #complexity #finite
State Complexity of Basic Operations on Finite Languages (CC, KCI, KS, SY), pp. 60–70.
CIAAWIA-1999-Eramian #image
Computing Entropy Maps of Finite-Automaton-Encoded Binary Images (MGE), pp. 81–90.
CIAAWIA-1999-JurgensenS #automaton #encoding #finite #geometry
Finite Automata Encoding Geometric Figures (HJ, LS), pp. 101–108.
CIAAWIA-1999-Kiraz #finite #transducer
Compressed Storage of Sparse Finite-State Transducers (GAK), pp. 109–121.
CIAAWIA-1999-NoordG #compilation #finite #natural language #regular expression
An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing (GvN, DG), pp. 122–139.
CIAAWIA-1999-PaunT #finite #multi #transducer
Multiset Processing by Means of Systems of Finite State Transducers (GP, GT), pp. 140–157.
CIAAWIA-1999-Trahtman #algorithm #automaton #finite #testing #verification
An Algorithm to Verify Local Threshold Testability of Deterministic Finite Automata (ANT), pp. 164–173.
CIAAWIA-1999-Watson #algorithm #automaton #finite #taxonomy
A Taxonomy of Algorithms for Constructing Minimal Acyclic Deterministic Finite Automata (BWW), pp. 174–182.
ICFPICFP-1999-KfouryMTW #type system
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract) (AJK, HGM, FAT, JBW), pp. 90–101.
HCIHCI-CCAD-1999-FujishigeJK #automaton #finite #recognition #using #word
Recognition of Japanese sign language words using finite automata (EF, KJ, TK), pp. 167–171.
PPDPPPDP-1999-GoriL #finite #on the #verification
On the Verification of Finite Failure (RG, GL), pp. 311–327.
PPDPPPDP-1999-Ruiz-AndinoASR #constraints #execution #finite #modelling #parallel #programming
Parallel Execution Models for Constraint Programming over Finite Domains (ARA, LA, FS, JJR), pp. 134–151.
POPLPOPL-1999-KfouryW #decidability #type inference
Principality and Decidable Type Inference for Finite-Rank Intersection Types (AJK, JBW), pp. 161–174.
SACSAC-1999-CallahanT #finite #implementation #parallel
Parallel Implementation of a Frontal Finite Element Solver on Multiple Platforms (JDC, JMT), pp. 491–495.
SACSAC-1999-Taylor #finite #induction #pattern matching #using
Exon/Intron Discrimination Using the Finite Induction Pattern Matching Technique (PAT), pp. 41–45.
ICSEICSE-1999-DwyerAC #finite #specification #verification
Patterns in Property Specifications for Finite-State Verification (MBD, GSA, JCC), pp. 411–420.
CAVCAV-1999-LangerakB #algebra #finite #process
A Complete Finite Prefix for Process Algebra (RL, EB), pp. 184–195.
ICTSSIWTCS-1999-YevtushenkoCA #embedded #finite #nondeterminism #state machine #testing
Test Suite Minimization for Embedded Nondeterministic Finite State Machines (NY, ARC, RA), pp. 237–250.
LICSLICS-1999-AtseriasK #finite #first-order #fixpoint #logic #set
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory (AA, PGK), pp. 275–284.
LICSLICS-1999-HarmerM #finite #game studies #nondeterminism #semantics
A Fully Abstract Game Semantics for Finite Nondeterminism (RH, GM), pp. 422–430.
TLCATLCA-1999-DybjerS #axiom #finite #recursion
A Finite Axiomatization of Inductive-Recursive Definitions (PD, AS), pp. 129–146.
DACDAC-1998-MonteiroO #composition #finite #power management #state machine
Finite State Machine Decomposition For Low Power (JCM, ALO), pp. 758–763.
DACDAC-1998-XieB #classification #finite #markov #performance
Efficient State Classification of Finite State Markov Chains (AX, PAB), pp. 605–610.
TACASTACAS-1998-Grahlmann #automaton #finite #parallel #petri net #source code #using
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets (BG), pp. 102–117.
SASSAS-1998-Duggan #finite #morphism #polymorphism #type inference #type system
Finite Subtype Inference with Explicit Polymorphism (DD), pp. 295–310.
ICALPICALP-1998-BuchsbaumGW #automaton #finite #on the
On the Determinization of Weighted Finite Automata (ALB, RG, JW), pp. 482–493.
ICALPICALP-1998-DurisJKL #finite #multi #power of
Power of Cooperation and Multihead Finite Systems (PD, TJ, MK, KL), pp. 896–907.
ICALPICALP-1998-JancarKM #bisimulation #finite #process
Deciding Bisimulation-Like Equivalences with Finite-State Processes (PJ, AK, RM), pp. 200–211.
ICALPICALP-1998-Lin #proving #π-calculus
Complete Proof Systems for Observation Congruences in Finite-Control π-Calculus (HL), pp. 443–454.
ICALPICALP-1998-MukundKRS #finite #protocol #robust
Robust Asynchronous Protocols Are Finite-State (MM, KNK, JR, MAS), pp. 188–199.
CIAAWIA-1998-Augros #automaton #finite #infinity #set #word
Automata to Recognize Finite and Infinite Words with at Least Two Factorizations on a Given Finite Set (XA), pp. 220–225.
CIAAWIA-1998-CampeanuSY #finite
Minimal Cover-Automata for Finite Languages (CC, NS, SY), pp. 43–56.
CIAAWIA-1998-HolubM #approximate #automaton #finite #implementation #nondeterminism #pattern matching
Implementation of Nondeterministic Finite Automata for Approximate Pattern Matching (JH, BM), pp. 92–99.
CIAAWIA-1998-HuerterSWY #automaton #finite #implementation
Implementing Reversed Alternating Finite Automaton (r-AFA) Operations (SH, KS, XW, SY), pp. 69–81.
CIAAWIA-1998-Pedrazzini #automaton #design pattern #finite
The Finite State Automata’s Design Patterns (SP), pp. 213–219.
ICFPICFP-1998-Ennals #finite #nondeterminism #reasoning
Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed (RE), p. 339.
ICMLICML-1998-Cesa-BianchiF #bound #finite #multi #problem
Finite-Time Regret Bounds for the Multiarmed Bandit Problem (NCB, PF), pp. 100–108.
ICMLICML-1998-GarciaN #algorithm #analysis #learning
A Learning Rate Analysis of Reinforcement Learning Algorithms in Finite-Horizon (FG, SMN), pp. 215–223.
ICPRICPR-1998-HansenEL #approach #finite #modelling #simulation
Region-of-interest based finite element modelling of the brain-an approach to brain surgery simulation (KVH, MSE, OVL), pp. 292–296.
KRKR-1998-Kusters #automaton #finite #semantics #using
Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata (RK), pp. 499–511.
LOPSTRLOPSTR-1998-GabricGS #analysis #constraints #strict #theorem proving
Strictness Analysis as Finite-Domain Constraint Solving (TG, KG, HS), pp. 255–270.
CCCC-1998-BrouwerGP #analysis #automaton #finite #implementation #performance
Myths and Facts about the Efficient Implementation of Finite Automata and Lexical Analysis (KB, WG, EP), pp. 1–15.
CADECADE-1998-Malik #automation #deduction #finite #source code
Automated Deduction of Finite-State Control Programs for Reactive Systems (RM), pp. 302–316.
CAVCAV-1998-ColonU #abstraction #finite #generative #using
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures (MC, TEU), pp. 293–304.
CAVCAV-1998-Mitchell #analysis #finite #protocol #security
Finite-State Analysis of Security Protocols (JCM), pp. 71–76.
CSLCSL-1998-Pezzoli #complexity #finite #game studies
Computational Complexity of Ehrenfeucht-Fraïssé Games on Finite Structures (EP), pp. 159–170.
CSLCSL-1998-YannakakisL #finite #testing
Testing for Finite State Systems (MY, DL), pp. 29–44.
ICTSSIWTCS-1998-Boroday #finite #nondeterminism #state machine #testing
Distinguishing Tests for Nondeterministic Finite State Machines (SB), pp. 101–108.
ICLPJICSLP-1998-DovierPRP #finite #on the #representation #set
On the Representation and Management of Finite Sets in CLP Languages (AD, CP, GR, EP), pp. 40–54.
ICLPJICSLP-1998-Zhou #algorithm #compilation #constraints
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints (NFZ), pp. 70–84.
LICSLICS-1998-BaldwinB #embedded #finite #modelling #order
Embedded Finite Models, Stability Theory and the Impact of Order (JTB, MB), pp. 490–500.
LICSLICS-1998-DawarHS #finite #quantifier
Ordering Finite Variable Types with Generalized Quantifiers (AD, LH, AS), pp. 28–43.
RTARTA-1998-OttoSM #automation #convergence #finite #monad
Automatic Monoids Versus Monoids with Finite Convergent Presentations (FO, ASK, KM), pp. 32–46.
DACDAC-1997-MarculescuMP #analysis #finite #probability #sequence #state machine
Sequence Compaction for Probabilistic Analysis of Finite-State Machines (DM, RM, MP), pp. 12–15.
DATEEDTC-1997-HofmannGSMMSKC #generative
Generation of the HDL-A-model of a micromembrane from its finite-element-description (KH, MG, NS, AM, SM, JS, JMK, BC), pp. 108–112.
DATEEDTC-1997-PomeranzR97a #finite #on the #state machine #testing
On the use of reset to increase the testability of interconnected finite-state machines (IP, SMR), pp. 554–559.
ICALPICALP-1997-BeaudryLT #finite
Finite Loops Recognize Exactly the Regular Open Languages (MB, FL, DT), pp. 110–120.
ICALPICALP-1997-NarendranO #confluence #decidability #finite #problem #string #term rewriting #word
The Word Matching Problem Is Undecidable For Finite Special String-Rewriting Systems That Are Confluent (PN, FO), pp. 638–648.
CIAAWIA-1997-GarzonGRMDFS #finite #implementation #state machine
In Vitro Implementation of Finite-State Machines (MHG, YG, JAR, RCM, RJD, DRF, SESJ), pp. 56–74.
CIAAWIA-1997-GlennG #automaton #finite #implementation #performance
Implementing WS1S via Finite Automata: Performance Issues (JG, WIG), pp. 75–86.
CIAAWIA-1997-MohriPR #design #finite #library #transducer
A Rational Design for a Weighted Finite-State Transducer Library (MM, FCNP, MR), pp. 144–158.
CIAAWIA-1997-Trahtman #automaton #estimation #finite #order #precise #testing
A Precise Estimation of the Order of Local Testability of a Deterministic Finite Automaton (ANT), pp. 198–212.
AdaEuropeAdaEurope-1997-HolzmullerP #ada #finite
Finite Unions for Ada 95 (BH, EP), pp. 1–12.
TOOLSTOOLS-ASIA-1997-Zhang #development #finite #generative #specification
Finite Model Generation and Formal Specification Development (JZ0), pp. 350–355.
PPDPPLILP-1997-CarlssonOC #constraints #finite #theorem proving
An Open-Ended Finite Domain Constraint Solver (MC, GO, BC), pp. 191–206.
SACSAC-1997-KhuriSC #approach #finite #string
Randomness of finite strings: a reconstructive approach (SK, FS, TC), pp. 527–531.
SACSAC-1997-ShumskyWME #constraints #finite #first-order #generative #heuristic
Direct finite first-order model generation with negative constraint propagation heuristic (OS, RWW, WM, FE), pp. 25–29.
CADECADE-1997-NiehrenPR #constraints #finite #on the #similarity #unification
On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting (JN, MP, PR), pp. 34–48.
LICSLICS-1997-Grohe #finite #scalability
Large Finite Structures with Few Lk-Types (MG), pp. 216–227.
LICSLICS-1997-Libkin #finite #locality #modelling #on the
On the Forms of Locality over Finite Models (LL), pp. 204–215.
RTARTA-1997-Oostrom #finite #product line
Finite Family Developments (VvO), pp. 308–322.
RTARTA-1997-OttoKK #decidability #monad #problem #word
Cross-Sections for Finitely Presented Monoids with Decidable Word Problems (FO, MK, YK), pp. 53–67.
RTARTA-1997-Sattler-Klein #monad
New Undecidablility Results for Finitely Presented Monoids (ASK), pp. 68–82.
DACDAC-1996-GenderenM #performance #using
Using Articulation Nodes to Improve the Efficiency of Finite-Element based Resistance Extraction (AJvG, NPvdM), pp. 758–763.
DACDAC-1996-HiguchiM #algorithm #finite #performance #reduction #state machine
A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines (HH, YM), pp. 463–466.
SASSAS-1996-RehofM #constraints #finite
Tractable Constraints in Finite Semilattices (JR, TÆM), pp. 285–300.
ICALPICALP-1996-JancarE #bisimulation #petri net
Deciding Finiteness of Petri Nets Up To Bisimulation (PJ, JE), pp. 478–489.
ICALPICALP-1996-ShuklaHRS #complexity #finite #on the #problem #process #relational
On the Complexity of Relational Problems for Finite State Processes (Extended Abstract) (SKS, HBHI, DJR, RES), pp. 466–477.
CIAAWIA-1996-BoneDGM #automaton #finite
Time Series Forecasting by Finite-State Automata (RB, CD, AG, DM), pp. 26–34.
CIAAWIA-1996-GlennG #automaton #finite #implementation
Implementing WS1S via Finite Automata (JG, WIG), pp. 50–63.
CIAAWIA-1996-Noord #automaton #finite
FSA Utilities: A Toolbox to Manipulate Finite-State Automata (GvN), pp. 87–108.
CIAAWIA-1996-SalomaaY #automaton #finite #nondeterminism
NFA to DFA Transformation for Finite Languages (KS, SY), pp. 149–158.
ICMLICML-1996-Munos #algorithm #convergence #learning
A Convergent Reinforcement Learning Algorithm in the Continuous Case: The Finite-Element Reinforcement Learning (RM), pp. 337–345.
ICPRICPR-1996-LinLC96a #adaptation #modelling
Adaptive finite-element meshes for progressive contour models (RL, WCL, CTC), pp. 125–129.
ICPRICPR-1996-Melichar #automaton #difference #finite #string
String matching with k differences by finite automata (BM), pp. 256–260.
KDDKDD-1996-KontkanenMT #data mining #finite #mining #predict
Predictive Data Mining with Finite Mixtures (PK, PM, HT), pp. 176–182.
KRKR-1996-Calvanese #finite #logic #reasoning
Finite Model Reasoning in Description Logics (DC), pp. 292–303.
LICSLICS-1996-Nurmonen #finite #order #quantifier
Counting Modulo Quantifiers on Finite Linearly Ordered Trees (JN), pp. 484–493.
LICSLICS-1996-Selinger #finite #modelling
Order-Incompleteness and Finite λ Models (Extended Abstract) (PS), pp. 432–439.
RTARTA-1996-FettigL #finite #higher-order #unification #λ-calculus
Unification of Higher-Order patterns in a Simply Typed λ-Calculus with Finite Products and terminal Type (RF, BL), pp. 347–361.
DACDAC-1995-MeijsG
Delayed Frontal Solution for Finite-Element Based Resistance Extraction (NPvdM, AJvG), pp. 273–278.
PODSPODS-1995-StoloboushkinT #effectiveness #finite #query #syntax
Finite Queries do not Have Effective Syntax (APS, MAT), pp. 277–285.
TACASTACAS-1995-FrancescoFGI #approximate #finite #model checking #process
Model Checking of Non-Finite State Processes by Finite Approximations (NDF, AF, SG, PI), pp. 195–215.
STOCSTOC-1995-KaltofenS #finite
Subquadratic-time factoring of polynomials over finite fields (EK, VS), pp. 398–406.
DLTDLT-1995-Giammarresi #2d #bibliography #finite
Finite State Recognizability for Two-Dimensional Languages: A Brief Survey (DG), pp. 299–308.
DLTDLT-1995-Holzer #automaton #finite #on the
On Emptiness and Counting for Alternating Finite Automata (MH), pp. 88–97.
DLTDLT-1995-LitovskyS #finite #infinity #word
Finite Acceptance of Infinite Words (IL, LS), pp. 360–369.
ICALPICALP-1995-BaoI #automaton #finite
Break Finite Automata Public Key Cryptosystem (FB, YI), pp. 147–158.
ICALPICALP-1995-CulikK #finite #image
Finite State Transformations of Images (KCI, JK), pp. 51–62.
ICALPICALP-1995-DawarHK #finite #logic
Implicit Definability and Infinitary Logic in Finite Model Theory (AD, LH, PGK), pp. 624–635.
ICALPICALP-1995-Henzinger95a #automaton #bisimulation #finite #hybrid
Hybrid Automata with Finite Bisimulatioins (TAH), pp. 324–335.
ICMLICML-1995-Cussens #algorithm #analysis #finite #learning
A Bayesian Analysis of Algorithms for Learning Finite Functions (JC), pp. 142–149.
FSEFSE-1995-CheungK #analysis #composition #constraints #distributed #finite #reachability
Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints (SCC, JK), pp. 140–150.
LCTESLCT-RTS-1995-CamposCMM #analysis #finite #named #realtime
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems (SVAC, EMC, WRM, MM), pp. 70–78.
CAVCAV-1995-AzizBBDS #finite #state machine
Supervisory Control of Finite State Machines (AA, FB, RKB, MDD, AS), pp. 279–292.
CAVCAV-1995-Lescow #finite #game studies #on the #source code
On Polynomial-Size Programs Winning Finite-State Games (HL), pp. 239–252.
ICLPICLP-1995-BarthB #finite
Finite Domain and Cutting Plane Techniques in CLP(PB) (PB, AB), pp. 133–147.
ICLPICLP-1995-CarlsonC #compilation #constraints #finite
Compiling and Executing Disjunctions of Finite Domain Constraints (BC, MC), pp. 117–131.
ICLPICLP-1995-ShiraiH #constraints #problem
Two Approaches for Finite-Domain Constraint Satisfaction Problems — CP and CMGTP (YS, RH), pp. 249–263.
LICSLICS-1995-Gottlob #finite #quantifier
Relativized Logspace and Generalized Quantifiers over Finite Structures (GG), pp. 65–78.
LICSLICS-1995-ParedaensBG #finite #first-order #query
First-order Queries on Finite Structures over the Reals (JP, JVdB, DVG), pp. 79–87.
LICSLICS-1995-Stolboushkin
Finitely Monotone Properties (APS), pp. 324–330.
DACDAC-1994-AzizTB #finite #state machine
BDD Variable Ordering for Interacting Finite State Machines (AA, ST, RKB), pp. 283–288.
DACDAC-1994-HachtelMPS #analysis #finite #probability #scalability #state machine
Probabilistic Analysis of Large Finite State Machines (GDH, EM, AP, FS), pp. 270–275.
DACDAC-1994-LamBS #finite #state machine
Exact Minimum Cycle Times for Finite State Machines (WKCL, RKB, ALSV), pp. 100–105.
DATEEDAC-1994-Damiani #finite #nondeterminism #state machine
Nondeterministic finite-state machines and sequential don’t cares (MD), pp. 192–198.
DATEEDAC-1994-HachtelMPS #algorithm #finite #state machine
Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine (GDH, EM, AP, FS), pp. 214–218.
PODSPODS-1994-GrumbachS #database
Finitely Representable Databases (SG, JS), pp. 289–300.
PODSPODS-1994-MumickS #satisfiability
Universal Finiteness and Satisfiability (ISM, OS), pp. 190–200.
SIGMODSIGMOD-1994-SwamiS #finite
Estimating Page Fetches for Index Scans with Finite LRU Buffers (ANS, KBS), pp. 173–184.
SASSAS-1994-Jorgensen #analysis #finite #fixpoint #using
Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration (NJ), pp. 329–345.
STOCSTOC-1994-CondonHPW #automaton #finite #nondeterminism #on the #power of #probability
On the power of finite automata with both nondeterministic and probabilistic states (preliminary version) (AC, LH, SP, AW), pp. 676–685.
ICALPICALP-1994-Breugel #lts
Generalized Finiteness Conditions of Labelled Transition Systems (FvB), pp. 376–387.
POPLPOPL-1994-NielsonN #communication #concurrent #finite #higher-order #source code
Higher-Order Concurrent Programs with Finite Communication Topology (HRN, FN), pp. 84–97.
SACSAC-1994-InsallMW #finite
Conjugating polynomials on finite rings (MI, LM, RWW), pp. 277–280.
SACSAC-1994-MortonTBS #2d #adaptation #finite #simulation
An adaptive finite element methodology for 2D simulation of two-phase flow through porous media (DJM, JMT, ATB, PAS), pp. 357–362.
HPDCHPDC-1994-Benslimane #bound #communication #finite #state machine
Deciding Boundedness for Systems of Two Communicating Finite State Machines (AB), pp. 262–269.
HPDCHPDC-1994-NguyenZZ #distributed #problem #using
Distributed Computation of Electromagnetic Scattering Problems Using Finite-Difference Time-Domain Decompositions (SN, BJZ, XZ), pp. 85–89.
CADECADE-1994-Slaney #automation #finite #reasoning
The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure (JKS), pp. 1–13.
CADECADE-1994-Slaney94a #finite #named
FINDER: Finite Domain Enumerator — System Description (JKS), pp. 798–801.
CADECADE-1994-Zhang #finite #generative #modelling #problem
Problems on the Generation of Finite Models (JZ0), pp. 753–757.
ICLPICLP-1994-CarlsonCD #constraints #finite
Entailment of Finite Domain Constraints (BC, MC, DD), pp. 339–353.
ICLPICLP-1994-Gervet #constraints #finite #named #set
Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables (CG), p. 733.
ICLPILPS-1994-Gervet #constraints #finite #logic programming #named #set
Conjunto: Constraint Logic Programming with Finite Set Domains (CG), pp. 339–358.
LICSLICS-1994-Clarke #automation #concurrent #finite #verification
Automatic Verification of Finite-State Concurrent Systems (EMC), p. 126.
LICSLICS-1994-DawarH #power of #quantifier
The Expressive Power of Finitely Many Generalized Quantifiers (AD, LH), pp. 20–29.
LICSLICS-1994-HellaKL #finite #how #linear #modelling #order
How to Define a Linear Order on Finite Models (LH, PGK, KL), pp. 40–49.
LICSLICS-1994-Sewell #axiom #bisimulation #equation #first-order
Bisimulation is Not Finitely (First Order) Equationally Axiomatisable (PS), pp. 62–70.
DACDAC-1993-ChengK #automation #finite #functional #generative #state machine #testing #using
Automatic Functional Test Generation Using the Extended Finite State Machine Model (KTC, ASK), pp. 86–91.
DACDAC-1993-ChouCC #finite #modelling #performance #simulation #using
High-Speed Interconnect Modeling and High-Accuracy Simulation Using SPICE and Finite Element Methods (TYC, JC, ZJC), pp. 684–690.
DACDAC-1993-ChuML #finite #performance #state machine
An Efficient Critical Race-Free State Assignment Technique for Asynchronous Finite State Machines (TAC, NM, CKCL), pp. 2–6.
DACDAC-1993-RhoSP #finite #sequence #state machine
Minimum Length Synchronizing Sequences of Finite State Machine (JKR, FS, CP), pp. 463–468.
STOCSTOC-1993-FreundKRRSS #automaton #finite #learning #performance #random
Efficient learning of typical finite automata from random walks (YF, MJK, DR, RR, RES, LS), pp. 315–324.
STOCSTOC-1993-MacintyreS #network
Finiteness results for sigmoidal “neural” networks (AM, EDS), pp. 325–334.
SASWSA-1993-NielsonN #analysis #strict
Finiteness Conditions for Strictness Analysis (FN, HRN), pp. 194–205.
ICALPICALP-1993-BaligaC #named
Learnability: Admissible, Co-finite, and Hypersimple Languages (GB, JC), pp. 289–300.
ICALPICALP-1993-CohenF #finite #state machine
Products of Finite State Machines with Full Coverage (DMC, MLF), pp. 469–477.
ICALPICALP-1993-Gupta #automaton #finite #product line
Finite Automata as Characterizations of Minor Closed Tree Families (Extended Abstract) (AG), pp. 359–370.
ICALPICALP-1993-JategaonkarM #concurrent #finite
Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report) (LJ, ARM), pp. 519–531.
ICALPICALP-1993-Schonhage #adaptation #finite #parallel #performance
Fast Parallel Computation of Characteristic Polynomials by Leverrier’s POwer Sum Method Adapted to Fields of Finite Characteristic (AS), pp. 410–417.
FPCAFPCA-1993-GrantSWZ #algorithm #finite #functional #implementation
Some Issues in a Functional Implementation of a Finite Element Algorithm (PWG, JAS, MFW, XZ), pp. 12–17.
LOPSTRLOPSTR-1993-MartensS #finite
Some Further Issues in Finite Unfolding (Abstract) (BM, DDS), pp. 159–161.
PPDPPLILP-1993-CorsiniMRC #abstract interpretation #bottom-up #constraints #finite #performance #prolog #theorem proving
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains (MMC, KM, AR, BLC), pp. 75–91.
SACSAC-1993-LuWC #design #finite #object-oriented #programming
Applying Object-Oriented Design to Finite Element Programming (JL, DW, WFC), pp. 424–429.
CAVCAV-1993-Krishnakumar #composition #finite #reachability #state machine
Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems (ASK), pp. 110–122.
ICLPILPS-1993-DelzannoM #bottom-up #finite
A Bottom-Up Characterization of Finite Success (GD, MM), p. 676.
ICLPILPS-1993-DovierR #finite #set
Embedding extensional finite sets in CLP (AD, GR), pp. 540–556.
ICTSSIWPTS-1993-LuoDBVG #distributed #finite #generative #sequence #state machine #testing
Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports (GL, RD, GvB, PV, AG), pp. 139–153.
RTARTA-1993-NiehrenPT #constraints #equation #finite
Equational and Membership Constraints for Finite Trees (JN, AP, RT), pp. 106–120.
DACDAC-1992-ChakradharKA #fault tolerance #finite #state machine #synthesis
Finite State Machine Synthesis with Fault Tolerant Test Function (STC, SK, VDA), pp. 562–567.
STOCSTOC-1992-Ben-David #detection #finite #question
Can Finite Samples Detect Singularities of Real-Valued Functions? (SBD), pp. 390–399.
SASWSA-1992-CorsiniMR #calculus #finite #prolog #semantics #μ-calculus
The μ-Calculus over Finite Domains as an Abstract Semantics of Prolog (MMC, KM, AR), pp. 51–59.
ICALPICALP-1992-IbarraT #automaton #finite
New Results Concerning Synchronized Finite Automata (OHI, NQT), pp. 126–137.
ICALPICALP-1992-Rabinovich #concurrent #finite
Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract) (AMR), pp. 696–707.
LISPLFP-1992-ChuangG #approach #finite #fixpoint
A Syntactic Approach to Fixed Point Computation on Finite Domains (TRC, BG), pp. 109–118.
LISPLFP-1992-NielsonN #fixpoint
Finiteness Conditions for Fixed Point Iteration (FN, HRN), pp. 96–108.
KRKR-1992-Davis #finite #infinity
Infinite Loops in Finite Time: Some Observations (ED), pp. 47–58.
TOOLSTOOLS-PACIFIC-1992-Miller #analysis #architecture #finite #interactive
A Class Architecture for Interactive Finite Element Analysis (GRM), pp. 101–108.
PPDPALP-1992-Balbiani #logic programming
The Finiteness of Logic Programming Derivations (PB), pp. 403–419.
CCCC-1992-Pettersson #automaton #compilation #finite
A Term Pattern-Match Compiler Inspired by Finite Automata Theory (MP), pp. 258–270.
CAVCAV-1992-HiguchiSSFK #communication #finite #invariant #state machine #verification
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines (MH, OS, HS, MF, TK), pp. 384–395.
CSLCSL-1992-GradelO #finite #induction
Inductive Definability with Counting on Finite Structures (EG, MO), pp. 231–247.
ICTSSIWPTS-1992-GhedamsiDB #fault #finite #nondeterminism #state machine #testing
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines (AG, RD, GvB), pp. 105–116.
ICTSSIWPTS-1992-Kloosterman #finite #nondeterminism #state machine
Test Derivation from Non-Deterministic Finite State Machines (HK), pp. 297–308.
ICTSSIWPTS-1992-TripathyN #adaptation #finite #generative #modelling #nondeterminism #testing
Generation of Adaptive Test Cases from Nondeterministic Finite State Models (PT, KN), pp. 309–320.
ICLPJICSLP-1992-BigotDM #abstract interpretation #analysis #comprehension #using
Understanding Finiteness Analysis Using Abstract Interpretation (PAB, SKD, KM), pp. 735–749.
ICLPJICSLP-1992-KirchnerR #algebra #algorithm #constraints #finite #theorem proving #unification
A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms (HK, CR), pp. 225–239.
LICSLICS-1992-KolaitisV #fixpoint #logic
Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory (PGK, MYV), pp. 46–57.
LICSLICS-1992-Stolboushkin #axiom #finite #linear #modelling #order
Axiomatizable Classes of Finite Models and Definability of Linear Order (APS), pp. 64–70.
LICSLICS-1992-VaananenK #finite #game studies #quantifier
Generalized Quantifiers and Pebble Games on Finite Structures (PGK, JAV), pp. 348–359.
DACDAC-1991-EschermannW #approach #finite #self #state machine #synthesis
A Unified Approach for the Synthesis of Self-Testable Finite State Machines (BE, HJW), pp. 372–377.
DACDAC-1991-LaddB #finite #multi #state machine #synthesis
Synthesis of Multiple-Input Change Asynchronous Finite state Machines (ML, WPB), pp. 309–314.
PODSPODS-1991-ImmermanPS #finite #product line #set
The Expressiveness of a Family of Finite Set Languages (NI, SP, DWS), pp. 37–52.
STOCSTOC-1991-Babai #finite #generative #graph #random #transitive
Local Expansion of Vertex-Transitive Graphs and Random Generation in Finite Groups (LB), pp. 164–174.
STOCSTOC-1991-BuchmannS #finite
Constructing Nonresidues in Finite Fields and the Extended Riemann Hypothesis (JAB, VS), pp. 72–79.
STOCSTOC-1991-MenezesVO #finite
Reducing Elliptic Curve Logarithms to Logarithms in a Finite Field (AM, SAV, TO), pp. 80–89.
STOCSTOC-1991-YannakakisL #finite #state machine #testing
Testing Finite State Machines (Extended Abstract) (MY, DL), pp. 476–485.
ICALPICALP-1991-AcetoH #algebra #finite #process #refinement
Adding Action Refinement to a Finite Process Algebra (LA, MH), pp. 506–519.
ICALPICALP-1991-LagergrenA #congruence #finite #using
Finding Minimal Forbidden Minors Using a Finite Congruence (JL, SA), pp. 532–543.
FPCAFPCA-1991-Holst #analysis
Finiteness Analysis (CKH), pp. 473–495.
ICMLML-1991-MaclinS #automaton #finite
Refining Domain Theories Expressed as Finite-State Automata (RM, JWS), pp. 524–528.
PPDPPLILP-1991-HentenryckD #constraints #finite #logic programming #semantics
Operational Semantics of Constraint Logic Programming over Finite Domains (PVH, YD), pp. 395–406.
CAVCAV-1991-FrancescoI #process #semantics
A Semantic Driven Method to Check the Finiteness of CCS Processes (NDF, PI), pp. 266–276.
CAVCAV-1991-MaoM #automation #equivalence #finite #proving #state machine
An Automated Proof Technique for Finite-State Machine Equivalence (WM, GJM), pp. 233–243.
CAVCAV-1991-Rasse #communication #fault #finite
Error Diagnosis in Finite Communicating Systems (AR), pp. 114–124.
ICLPICLP-1991-DovierOPR #finite #logic programming #programming language #set
{log}: A Logic Programming Language with Finite Sets (AD, EGO, EP, GR), pp. 111–124.
ICTSSIWPTS-1991-DubucDB #design #finite #incremental #modelling #named #testing
TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models (MD, RD, GvB), pp. 195–206.
RTARTA-1991-NarendranR #canonical #commutative #finite
Any Gound Associative-Commutative Theory Has a Finite Canonical System (PN, MR), pp. 423–434.
ESOPESOP-1990-Paige #difference #finite
Symbolic Finite Differencing — Part I (RP), pp. 36–56.
ESOPESOP-1990-SchreyePRB #constraints #implementation #logic programming #prolog
Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism (DDS, DP, JR, MB), pp. 106–117.
STOCSTOC-1990-HarjuK #automaton #decidability #equivalence #finite #multi
Decidability of the Multiplicity Equivalence of Multitape Finite Automata (TH, JK), pp. 477–481.
STOCSTOC-1990-Shoup #finite
Searching for Primitive Roots in Finite Fields (VS), pp. 546–554.
PPDPALP-1990-Bundgen #finite #term rewriting
Applying Term Rewriting Methods to Finite Groups (RB), pp. 332–346.
POPLPOPL-1990-HeintzeJ #approximate #finite #logic programming #source code #theorem
A Finite Presentation Theorem for Approximating Logic Programs (NH, JJ), pp. 197–209.
CAVCAV-1990-GrafS #composition #finite
Compositional Minimization of Finite State Systems (SG, BS), pp. 186–196.
CAVCAV-1990-MadelaineV #algebra #automaton #process
Finiteness Conditions and Structural Construction of Automata for All Process Algebras (EM, DV), pp. 353–363.
CAVCAV-1990-PengP #approach #communication #concurrent #detection #finite #network #problem #state machine
A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines (WP, SP), pp. 243–252.
LICSLICS-1990-KfouryT #polymorphism #re-engineering #summary #λ-calculus
Type Reconstruction in Finite-Rank Fragments of the Polymorphic λ-Calculus (Extended Summary) (AJK, JT), pp. 2–11.
LICSLICS-1990-Kolaitis #ambiguity #finite
Implicit Definability on Finite Structures and Unambiguous Computations (Preliminary Report) (PGK), pp. 168–180.
LICSLICS-1990-Moller #axiom #finite
The Nonexistence of Finite Axiomatisations for CCS Congruences (FM), pp. 142–153.
DACDAC-1989-MeijsG #finite #performance
An Efficient Finite Element Method for Submicron IC Capacitance Extraction (NPvdM, AJvG), pp. 678–681.
DACDAC-1989-Paulin #clustering #finite #state machine
Horizontal Partitioning of PLA-based Finite State Machines (PGP), pp. 333–338.
DACDAC-1989-VillaS #finite #implementation #logic #named #state machine
NOVA: State Assignment of Finite State Machines for Optimal Two-level Logic Implementations (TV, ALSV), pp. 327–332.
STOCSTOC-1989-KearnsV #automaton #encryption #finite #learning
Cryptographic Limitations on Learning Boolean Formulae and Finite Automata (MJK, LGV), pp. 433–444.
STOCSTOC-1989-RivestS #automaton #finite #sequence #using
Inference of Finite Automata Using Homing Sequences (Extended Abstract) (RLR, RES), pp. 411–420.
ICALPICALP-1989-Bruyere #finite
Completion of Finite Codes with Finite Deciphering Delay (VB), pp. 151–163.
RTARTA-1989-Otto #canonical #congruence #finite #strict #string #term rewriting
Restrictions of Congruence Generated by Finite Canonical String-Rewriting Systems (FO), pp. 359–370.
ICALPICALP-1988-Eppstein #automaton #design #finite #sequence
Reset Sequences for Finite Automata with Application to Design of Parts Orienters (DE), pp. 230–238.
ICALPICALP-1988-Tao #automaton #finite #linear
Invertibility of Linear Finite Automata Over a Ring (RjT), pp. 489–501.
CADECADE-1988-Buttner #algebra #finite #unification
Unification in Finite Algebras is Unitary (?) (WB), pp. 368–377.
CADECADE-1988-GallierNPRS #canonical #equation #finite #polynomial #set #term rewriting
Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time (JHG, PN, DAP, SR, WS), pp. 182–196.
CSLCSL-1988-DaneluttoM #approach #concurrent #finite #logic
A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems (MD, AM), pp. 63–79.
CSLCSL-1988-SaakeL #database #logic #specification #using
Using Finite-Linear Temporal Logic for Specifying Database Dynamics (GS, UWL), pp. 288–300.
LICSLICS-1988-Maher #algebra #axiom #finite #infinity
Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees (MJM), pp. 348–357.
VLDBVLDB-1987-Sacco #finite
Index Access with a Finite Buffer (GMS), pp. 301–309.
STOCSTOC-1987-BarringtonT #finite #monad
Finite Monoids and the Fine Structure of NC¹ (DAMB, DT), pp. 101–109.
ICALPICALP-1987-Johnson #finite
Single-Valued Finite Transduction (JHJ), pp. 202–211.
ICALPICALP-1987-Pin #automaton #finite #on the
On the Language Accepted by Finite Reversible Automata (JÉP), pp. 237–249.
FPCAFPCA-1987-MartinH #finite #fixpoint
Finding fixed points in finite lattices (CM, CH), pp. 426–445.
CSLCSL-1987-BohmP #combinator #finite #reduction #set
Surjectivity for Finite Sets of Combinators by Weak Reduction (CB, AP), pp. 27–43.
CSLCSL-1987-BryM #database #deduction #finite #proving #satisfiability
Proving Finite Satisfiability of Deductive Databases (FB, RM), pp. 44–55.
ICLPICLP-1987-OKeefe87 #finite #fixpoint #problem
Finite Fixed-Point Problems (RAO), pp. 729–743.
LICSLICS-1987-KfouryTU #functional #source code
The Hierarchy of Finitely Typed Functional Programs (Short Version) (AJK, JT, PU), pp. 225–235.
RTARTA-1987-MadlenerO #finite #string #term rewriting
Groups Presented by Certain Classes of Finite Length-Reducing String-Rewriting Systems (KM, FO), pp. 133–144.
RTARTA-1987-SquierO #canonical #finite #monad #problem #term rewriting #word
Th Word Problem for Finitely Presented Monoids and Finite Canonical Rewriting Systems (CCS, FO), pp. 74–82.
PODSPODS-1986-SagivS86a #finite #on the
On Finite FD-Acyclicity (YS, OS), pp. 173–182.
STOCSTOC-1986-AdlemanL #finite
Finding Irreducible Polynomials over Finite Fields (LMA, HWLJ), pp. 350–355.
ICALPICALP-1986-Felice #finite #graph #set
Finite Biprefix Sets of Path in a Graph (CdF), pp. 89–94.
ICALPICALP-1986-RosierY #complexity #concurrent #finite #on the #probability #source code #termination
On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs (LER, HCY), pp. 334–343.
LICSLICS-1986-Browne #algorithm #automation #finite #logic #using #verification
An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic (MCB), pp. 260–266.
LICSLICS-1986-Csirmaz #correctness #finite
Program Correctness on Finite Fields (LC, BH), pp. 4–10.
DACDAC-1985-Barke #finite
Resistance calculation from mask artwork data by finite element method (EB), pp. 305–311.
STOCSTOC-1985-FichT #complexity #finite #parallel
The Parallel Complexity of Exponentiating Polynomials over Finite Fields (FEF, MT), pp. 38–47.
STOCSTOC-1985-Huang #finite
Riemann Hypothesis and Finding Roots over Finite Fields (MDAH), pp. 121–130.
ICALPICALP-1985-BakkerMO #concurrent #finite #infinity #semantics
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency (JWdB, JJCM, ERO), pp. 149–157.
ICALPICALP-1985-Pin #finite #for free #monad
Finite Group Topology and p-Adic Topology for Free Monoids (JÉP), pp. 445–455.
POPLPOPL-1985-LichtensteinP #concurrent #finite #linear #source code #specification
Checking That Finite State Concurrent Programs Satisfy Their Linear Specification (OL, AP), pp. 97–107.
RTARTA-1985-Kandri-RodyKN #algebra #approach #commutative #problem #unification
An Ideal-Theoretic Approach to Work Problems and Unification Problems over Finitely Presented Commutative Algebras (AKR, DK, PN), pp. 345–364.
RTARTA-1985-Otto #algebra #finite #monad
Deciding Algebraic Properties of Monoids Presented by Finite Church-Rosser Thue Systems (FO), pp. 95–106.
STOCSTOC-1984-HartS #bound #finite #logic #modelling #probability
Probabilistic Temporal Logics for Finite and Bounded Models (SH, MS), pp. 1–13.
STOCSTOC-1984-Huang #algebra #finite
Factorization of Polynomials over Finite Fields and Factorization of Primes in Algebraic Number Fields (MDAH), pp. 175–182.
STOCSTOC-1984-Rougemont #finite
Uniform Definability on Finite Structures with Successor (MdR), pp. 409–417.
ICALPICALP-1984-Girault-Beauquier #automaton #behaviour #finite #infinity
Some Results About Finite and Infinite Behaviours of a Pushdown Automaton (DB), pp. 187–195.
ICALPICALP-1984-GoudaR #communication #finite #state machine
Communicating Finite State Machines with Priority Channels (MGG, LER), pp. 209–221.
ICALPICALP-1984-GrafS #congruence #finite
A Modal Characterization of Observational Congruence on Finite Terms of CCS (SG, JS), pp. 222–234.
CADECADE-1984-Chenadec #algebra #canonical
Canonical Forms in Finitely Presented Algebras (PlC), pp. 142–165.
CADECADE-1984-LankfordBB #algorithm
A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups (DL, GBI, AMB), pp. 128–141.
STOCSTOC-1983-Lenstra #finite #multi
Factoring Multivariate Polynomials over Finite Fields (Extended Abstract) (AKL), pp. 189–192.
ICALPICALP-1983-GathenK #finite #multi #polynomial
Polynomial-Time Factorization of Multivariate Polynomials over Finite Fields (JvzG, EK), pp. 250–263.
ICALPICALP-1983-RestM #complexity #finite #on the
On the Group Complexity of a Finite Language (EBLR, SWM), pp. 433–444.
POPLPOPL-1983-ClarkeES #approach #automation #concurrent #finite #logic #specification #using #verification
Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach (EMC, EAE, APS), pp. 117–126.
DACDAC-1982-EustaceM #approach #automaton #design #finite
A Deterministic finite automaton approach to design rule checking for VLSI (RAE, AM), pp. 712–717.
PODSPODS-1982-Vardi #dependence #finite #problem
The Implication and Finite Implication Problems for Typed Template Dependencies (MYV), pp. 230–238.
ICALPICALP-1982-DurisH #automaton #finite #multi
Multihead Finite State Automata and Concatenation (PD, JH), pp. 176–186.
ICALPICALP-1981-Ben-AriHP #finite #logic #modelling
Finite Models for Deterministic Propositional Dynamic Logic (MBA, JYH, AP), pp. 249–263.
ICALPICALP-1981-GurariI #complexity #multi #problem
The Complexity of Decision Problems for Finite-Turn Multicounter Machines (EMG, OHI), pp. 495–505.
ICALPICALP-1981-King #automaton #finite #multi
Alternating Multihead Finite Automata (Extended Abstract) (KNK), pp. 506–520.
ICALPICALP-1980-BergstraT #data type #equation #finite #specification
A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method (JAB, JVT), pp. 76–90.
ICALPICALP-1980-GoralcikovaGK #algebra #finite #testing
Testing of Properties of Finite Algebras (AG, PG, VK), pp. 273–281.
DACDAC-1979-Preiss #2d #3d #consistency #finite
A procedure for checking the topological consistency of a 2-D or 3-D finite element mesh (KP), pp. 200–206.
ICALPICALP-1979-RozenbergV #finite
Extending the Notion of Finite Index (GR, DV), pp. 479–488.
ICSEICSE-1979-Horejs #finite #semantics #testing
Finite Semantics for Program Testing (JH), pp. 433–441.
STOCSTOC-1978-SakodaS #automaton #finite #nondeterminism
Nondeterminism and the Size of Two Way Finite Automata (WJS, MS), pp. 275–286.
ICALPICALP-1978-CoppoDR #finite #set #λ-calculus
(Semi)-separability of Finite Sets of Terms in Scott’s D∞-Models of the λ-Calculus (MC, MDC, SRDR), pp. 142–164.
STOCSTOC-1977-Kozen #algebra #complexity
Complexity of Finitely Presented Algebras (DK), pp. 164–177.
ICALPICALP-1977-ChytilJ #composition #finite #source code #string #transducer
Serial Composition of 2-Way Finite-State Transducers and Simple Programs on Strings (MC, VJ), pp. 135–147.
ICALPICALP-1977-RozenbergV #finite
L Systems of Finite Index (Extended Abstract) (GR, DV), pp. 430–439.
ICALPICALP-1977-Streinu #finite #ll
LL(k) Languages are Closed Under Union with Finite Languages (IS), pp. 504–508.
DACDAC-1976-LeeR #finite #generative
Finite element mesh generation employing satellite graphics (SKL, WSR), pp. 1–6.
STOCSTOC-1976-Schaefer #complexity #finite #game studies #problem
Complexity of Decision Problems Based on Finite Two-Person Perfect-Information Games (TJS), pp. 41–49.
STOCSTOC-1974-Valiant #automaton #decidability #equivalence
The Decidability of Equivalence for Deterministic Finite-Turn Pushdown Automata (LGV), pp. 27–32.
STOCSTOC-1972-Symes #finite
The Computation of Finite Functions (DMS), pp. 177–182.
ICALPICALP-1972-HoschL #finite
Finite Delay Solutions for Sequential Conditions (FAH, LHL), pp. 45–60.
ICALPICALP-1972-HsiaY #automaton #finite
Finite Automata with Markers (PH, RTY), pp. 443–451.
ICALPICALP-1972-Linna #finite #regular expression
Finite Power Property of Regular Languages (ML), pp. 87–98.
STOCSTOC-1971-Buttelmann #automaton #finite #generative #on the #strict
On Generalized Finite Automata and Unrestricted Generative Grammars (HWB), pp. 63–77.
STOCSTOC-1971-Rajlich #finite #parallel #transducer
Absolutely Parallel Grammars and Two-Way Deterministic Finite-State Transducers (VR), pp. 132–137.
DACDAC-1970-RockwellP #analysis #finite
Computer aided input/output for use with the finite element method of structural analysis (RDR, DSP), pp. 315–334.
STOCSTOC-1970-Perrot #automaton #finite #monad #on the
On The Relationship between Finite Automata, Finite Monoids, and Prefix Codes (JFP), pp. 217–220.
STOCSTOC-1969-Thatcher #automaton #finite
Transformations and Translations from the Point of View of Generalized Finite Automata Theory (JWT), pp. 129–142.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.