BibSLEIGH — finit stem

Used together with:

automata (215)
state (204)
machin (82)
model (77)
system (54)

Stem finit$ (all stems)

812 papers:

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