Declarative control architecture
Communications of the ACM
Algorithmic aspects in speech recognition: an introduction
Journal of Experimental Algorithmics (JEA)
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computing a context-free grammar-generating series
Information and Computation
Information and Computation
Direct and dual laws for automata with multiplicities
Theoretical Computer Science
Forty years of formal power series in automata theory
A half-century of automata theory
Uni-transitional Watson-Crick DOL systems
Theoretical Computer Science
The equality problem for Parikh simple algebraic power series
Information Processing Letters
Bottom-up and top-down tree series transformations
Journal of Automata, Languages and Combinatorics
Semiring frameworks and algorithms for shortest-distance problems
Journal of Automata, Languages and Combinatorics
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Bilinear Functions and Trees over the (max, +) Semiring
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
The Complexity of Tensor Circuit Evaluation
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Derivation of Rational Expressions with Multiplicity
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Rational Transformations of Formal Power Series
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Operations over Automata with Multiplicities
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
Generic epsilon -Removal Algorithm for Weighted Automata
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Toward a Formal Macroset Theory
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
A Short Introduction to Infinite Automata
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Cones, Semi-AFPs, and AFPs of Algebraic Power Series
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
Characterization results for time-varying codes
Fundamenta Informaticae
Formal and natural computing
Equational theories of tropical semirings
Theoretical Computer Science - Foundations of software science and computation structures
Aggregation operators in engineering design
Aggregation operators
On the complexity of reasoning in Kleene algebra
Information and Computation - Special issue: LICS'97
On the sentence valuation in a semiring
Information Sciences—Informatics and Computer Science: An International Journal
A new class of algebraic series having a decidable equivalence problem
Fundamenta Informaticae
On images of DOL and DTOL power series
Theoretical Computer Science
Watson--Crick D0L systems: the power of one transition
Theoretical Computer Science
Decidability results for Watson--Crick D0L systems with nonregular triggers
Theoretical Computer Science
Inequality of finite behaviors of rational weight finite automata is in R
Information Processing Letters
Efficient algorithms for testing the twins property
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Weak bisimulation for (max/+) automata and related models
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
The Hamiltonian circuit problem and automaton theory
ACM SIGACT News
On transformations of formal power series
Information and Computation
A note on commutative multivariate rational series
Information Processing Letters
The complexity of tensor calculus
Computational Complexity
Generalized path-finding algorithms on semirings and the fuzzy shortest path problem
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
Finite-state transducers in language and speech processing
Computational Linguistics
Computational Linguistics
Subword histories and Parikh matrices
Journal of Computer and System Sciences
Derivatives of rational expressions and related theorems
Theoretical Computer Science - Implementation and application automata
Rational Kernels: Theory and Algorithms
The Journal of Machine Learning Research
Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
Theoretical Computer Science - Developments in language theory
An optimal pre-determinization algorithm for weighted transducers
Theoretical Computer Science - Implementation and application of automata
Branching automata with costs: a way of reflecting parallelism in costs
Theoretical Computer Science - Implementation and application of automata
Generalized algorithms for constructing statistical language models
ACL '03 Proceedings of the 41st Annual Meeting on Association for Computational Linguistics - Volume 1
Weighted rational transductions and their application to human language processing
HLT '94 Proceedings of the workshop on Human Language Technology
A general regression technique for learning transductions
ICML '05 Proceedings of the 22nd international conference on Machine learning
A common algebraic description for probabilistic and quantum computations
Theoretical Computer Science - Mathematical foundations of computer science 2004
Gröbner bases and the defining polynomial of a context-free grammar generating function
Journal of Automata, Languages and Combinatorics
Weighted path queries on semistructured databases
Information and Computation
Finitely presentable tree series
Acta Cybernetica
Derivatives of rational expressions with multiplicity
Theoretical Computer Science
Statistical modeling for unit selection in speech synthesis
ACL '04 Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics
ω-Process Languages for Place/Transition Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
On the Injectivity of Parikh Matrix Mappings
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
On Some Problems of Mateescu Concerning Subword Occurrences
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Note on Some Order Properties Related to Processes Semantics (I)
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Subword Balance in BinaryWords, Languages and Sequences
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Weighted tree automata and weighted logics
Theoretical Computer Science
The Complexity of Tensor Circuit Evaluation
Computational Complexity
Generalized real analysis and its applications
International Journal of Approximate Reasoning
On Semilinear Sets over Commutative Semirings
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Fundamenta Informaticae
Labeled Step Sequences in Petri Nets
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Placement Inference for a Client-Server Calculus
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Weighted Logics for Nested Words and Algebraic Formal Power Series
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Antimirov and Mosses's Rewrite System Revisited
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
Tree-Series-to-Tree-Series Transformations
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
3-Way Composition of Weighted Finite-State Transducers
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
Minimizing Deterministic Weighted Tree Automata
Language and Automata Theory and Applications
A Joint Segmenting and Labeling Approach for Chinese Lexical Analysis
ECML PKDD '08 Proceedings of the European conference on Machine Learning and Knowledge Discovery in Databases - Part II
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Learning deterministically recognizable tree series
Journal of Automata, Languages and Combinatorics
Reasoning about online algorithms with weighted automata
SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
Preferential Regular Path Queries
Fundamenta Informaticae
An Efficient Computation of the Equation K-automaton of a Regular K-expression
Fundamenta Informaticae
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Learning with Weighted Transducers
Proceedings of the 2009 conference on Finite-State Methods and Natural Language Processing: Post-proceedings of the 7th International Workshop FSMNLP 2008
A Memory-efficient ε-Removal Algorithm for Weighted Acyclic Finite-State Automata
Proceedings of the 2009 conference on Finite-State Methods and Natural Language Processing: Post-proceedings of the 7th International Workshop FSMNLP 2008
Digital Images: Weighted Automata Theoretical Aspects
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Minimizing deterministic weighted tree automata
Information and Computation
Weighted finite automata over strong bimonoids
Information Sciences: an International Journal
Generalization of the Jensen inequality for pseudo-integral
Information Sciences: an International Journal
Composing Partially Ordered Monads
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Fuzzy regular languages over finite and infinite words
Fuzzy Sets and Systems
Fuzzy Sets and Systems
Weighted path queries on semistructured databases
Information and Computation
Reasoning about online algorithms with weighted automata
ACM Transactions on Algorithms (TALG)
Model Checking for a Class of Weighted Automata
Discrete Event Dynamic Systems
Edit-distance of weighted automata
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
The myhill-nerode theorem for recognizable tree series
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Deciding the sequentiality of a finitely ambiguous max-plus automaton
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Skew and infinitary formal power series
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
From regular weighted expressions to finite automata
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
An efficient pre-determinization algorithm
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
WFSC: a new weighted finite state compiler
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Branching automata with costs: a way of reflecting parallelism in costs
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Spectrum of prime L-fuzzy h-ideals of a hemiring
Fuzzy Sets and Systems
Learning languages with rational kernels
COLT'07 Proceedings of the 20th annual conference on Learning theory
An efficient computation of the equation K-automaton of a regular K-expression
DLT'07 Proceedings of the 11th international conference on Developments in language theory
Characterizations of hemirings by their h-ideals
Computers & Mathematics with Applications
Weighted and unweighted trace automata
Acta Cybernetica
OpenFst: a general and efficient weighted finite-state transducer library
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
Weighted automata and weighted logics with discounting
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
The algebraic approach II: dioids, quantales and monads
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Knowledge and games in modal semirings
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
A Kleene-Schützenberger theorem for weighted timed automata
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
ACM Transactions on Computational Logic (TOCL)
Fuzzy relation equations and reduction of fuzzy automata
Journal of Computer and System Sciences
Determinization of weighted finite automata over strong bimonoids
Information Sciences: an International Journal
The Journal of Machine Learning Research
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Describing average- and longtime-behavior by weighted MSO logics
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
fsm2 - a scripting language interpreter for manipulating weighted finite-state automata
FSMNLP'09 Proceedings of the 8th international conference on Finite-state methods and natural language processing
Finite automata theory with membership values in lattices
Information Sciences: an International Journal
Regular expressions on average and in the long run
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
A semiring-semimodule generalization of transducers and abstract ω-families of power series
Journal of Automata, Languages and Combinatorics
A unifying Kleene theorem for weighted finite automata
Rainbow of computer science
Lexicographic semirings for exact automata encoding of sequence models
HLT '11 Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies: short papers - Volume 2
Formal analysis of online algorithms
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Weighted picture automata and weighted logics
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
On the equivalence of Z-automata
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Weighted automata and weighted logics
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Algebraic and coalgebraic aspects of membrane computing
WMC'05 Proceedings of the 6th international conference on Membrane Computing
On the computation of some standard distances between probabilistic automata
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
Hierarchical phrase-based translation representations
EMNLP '11 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Generalization of the Stolarsky type inequality for pseudo-integrals
Fuzzy Sets and Systems
Relating tree series transducers and weighted tree automata
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Weighted automata and weighted logics on infinite words
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Kleene theorem in partial conway theories with applications
Algebraic Foundations in Computer Science
Rational transformations and a kleene theorem for power series over rational monoids
Algebraic Foundations in Computer Science
Quantum automata theory – a review
Algebraic Foundations in Computer Science
Algebraic systems and pushdown automata
Algebraic Foundations in Computer Science
On the relationship between spatial logics and behavioral simulations
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
A class of rational n-WFSM auto-intersections
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
A system for converting PDF documents into structured XML format
DAS'06 Proceedings of the 7th international conference on Document Analysis Systems
Efficient computation of the relative entropy of probabilistic automata
LATIN'06 Proceedings of the 7th Latin American conference on Theoretical Informatics
Weighted Extended Tree Transducers
Fundamenta Informaticae
Survey: Weighted Extended Top-down Tree Transducers Part II—Application in Machine Translation
Fundamenta Informaticae - Non-Classical Models of Automata and Applications II
An Efficient Computation of the Equation K-automaton of a Regular K-expression
Fundamenta Informaticae
On a hierarchy of languages with catenation and shuffle
DLT'12 Proceedings of the 16th international conference on Developments in Language Theory
Fundamenta Informaticae
Multi-Valued MSO Logics OverWords and Trees
Fundamenta Informaticae
Preferential Regular Path Queries
Fundamenta Informaticae
Subword Balance in BinaryWords, Languages and Sequences
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
On Semilinear Sets over Commutative Semirings
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
On Some Problems of Mateescu Concerning Subword Occurrences
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Note on Some Order Properties Related to Processes Semantics (I)
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
On the Injectivity of Parikh Matrix Mappings
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
A new class of algebraic series having a decidable equivalence problem
Fundamenta Informaticae
ω-Process Languages for Place/Transition Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Rational, Linear and Algebraic Process Languages and Iteration Lemmata
Fundamenta Informaticae
Iteration Lemmata for Certain Classes of Word, Trace and Graph Languages
Fundamenta Informaticae
The Equivalence Problem of D0L and DF0L Power Series
Fundamenta Informaticae
Algebraic, Linear and Rational Languages Defined by Mix Operation
Fundamenta Informaticae
Decision Problems Concerning a Power Series Generalization of DTOL Systems
Fundamenta Informaticae
ON A POWER SERIES GENERALIZATION OF ETOL LANGUAGES
Fundamenta Informaticae
Fundamenta Informaticae
Weighted automata and weighted MSO logics for average and long-time behaviors
Information and Computation
A pushdown transducer extension for the openfst library
CIAA'12 Proceedings of the 17th international conference on Implementation and Application of Automata
Weighted nested word automata and logics over strong bimonoids
CIAA'12 Proceedings of the 17th international conference on Implementation and Application of Automata
Factor and subsequence kernels and signatures of rational languages
CIAA'12 Proceedings of the 17th international conference on Implementation and Application of Automata
The removal of weighted ε-transitions
CIAA'12 Proceedings of the 17th international conference on Implementation and Application of Automata
Pseudo-Lp space and convergence
Fuzzy Sets and Systems
A Hierarchy of Languages with Catenation and Shuffle
Fundamenta Informaticae - Concurrency, Specification and Programming
Properties of Languages with Catenation and Shuffle
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
Hi-index | 0.02 |