Learnability of CFLs: inferring syntactic models from constituent structure
ACM SIGART Bulletin - Special issue on knowledge acquisition
Production trees: a compact representation of parsed programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Generating a grammar for statistical training
HLT '90 Proceedings of the workshop on Speech and Natural Language
A Polynomial time Algorithm for the Local Testability Problem of Deterministic Finite Automata
IEEE Transactions on Computers
Fault-Tolerant Networks Based on the de Bruijn Graph
IEEE Transactions on Computers
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Regular models of phonological rule systems
Computational Linguistics - Special issue on computational phonology
Linear Recursive Networks and Their Applications in Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
Ordered Binary Decision Diagrams and Minimal Trellises
IEEE Transactions on Computers
On XML integrity constraints in the presence of DTDs
Journal of the ACM (JACM)
The undecidability of associativity and commutativity analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Knowledge Extraction from Transducer Neural Networks
Applied Intelligence
Multiagent Mission Specification and Execution
Autonomous Robots
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
Discrete Event Dynamic Systems
Cosmological lower bound on the circuit complexity of a small problem in logic
Journal of the ACM (JACM)
Natural Language Grammatical Inference with Recurrent Neural Networks
IEEE Transactions on Knowledge and Data Engineering
Document Image Decoding Using Markov Source Models
IEEE Transactions on Pattern Analysis and Machine Intelligence
Object-Oriented Software Evolution
IEEE Transactions on Software Engineering
An introduction to oracles for asynchronous distributed systems
Future Generation Computer Systems - Parallel computing technologies (PaCT-2001)
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
An Improved Algorithm for the Membership Problem for Extended Regular Expressions
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Querying and Updating the File
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Partition-Refining Algorithms for Learning Finite State Automata
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Alphabet-Based Synchronisation is Exponentially Cheaper
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Relativistic Computers and Non-uniform Complexity Theory
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
Formal and natural computing
Journal of Computing Sciences in Colleges
Programming non-deterministically using automata simulators
Journal of Computing Sciences in Colleges
Decision procedures for inductive Boolean functions based on alternating automata
Theoretical Computer Science
Plants, fractals, and formal languages
SIGGRAPH '84 Proceedings of the 11th annual conference on Computer graphics and interactive techniques
Metrics for evaluating distributed manufacturing control systems
Computers in Industry - Special issue: Virtual enterprise management
Table-driven and context-sensitive collage languages
Journal of Automata, Languages and Combinatorics
Evolution of strategies for resource protection problems
Advances in evolutionary computing
Automata logics, and infinite games
Deterministic finite automata with recursive calls and DPDAs
Information Processing Letters
Extending Java for high-level Web service construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Closure and decidability properties of some language classes with respect to ciliate bio-operations
Theoretical Computer Science
Classification of ad-hoc multi-lateral collaborations based on local workflow models
Proceedings of the 2003 ACM symposium on Applied computing
Stretching and jamming of automata
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
On Communication and Computation
Minds and Machines
Light-weight xPath processing of XML stream with deterministic automata
CIKM '03 Proceedings of the twelfth international conference on Information and knowledge management
Computing forbidden words of regular languages
Fundamenta Informaticae - Special issue on computing patterns in strings
The ld and dlad bio-operations on formal languages
Journal of Automata, Languages and Combinatorics
Modeling and formal verification of embedded systems based on a Petri net representation
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Synthesis and verification
Crossroads
On the mathematical properties of linguistic theories
Computational Linguistics - Special issue on mathematical properties of grammatical formalisms
Strong generative capacity, weak generative capacity, and modern linguistic theories
Computational Linguistics - Special issue on mathematical properties of grammatical formalisms
Chinese number-names, tree adjoining languages, and mild context-sensitivity
Computational Linguistics
Computational Linguistics
Incremental construction of minimal acyclic finite-state automata
Computational Linguistics - Special issue on finite-state methods in NLP
Treatment of epsilon moves in subset construction
Computational Linguistics - Special issue on finite-state methods in NLP
Removing left recursion from context-free grammars
NAACL 2000 Proceedings of the 1st North American chapter of the Association for Computational Linguistics conference
Left-to-right parsing and bilexical context-free grammars
NAACL 2000 Proceedings of the 1st North American chapter of the Association for Computational Linguistics conference
Exact pattern matching for RNA secondary structures
APBC '04 Proceedings of the second conference on Asia-Pacific bioinformatics - Volume 29
Review of "The language complexity game" by Eric Sven Ristad. The MIT Press 1993.
Computational Linguistics
On abstract finite-state morphology
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
Proceedings of the 1st conference on Computing frontiers
Computational aspects of M-grammars
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
Efficient Incremental Validation of XML Documents
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
Compiling regular formalisms with rule features into finite-state automata
ACL '98 Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics
On the decidability of the termination problem of active database systems
Theoretical Computer Science
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Catalytic P systems, semilinear sets, and vector addition systems
Theoretical Computer Science
Characterizations of quantum automata
Theoretical Computer Science
Computational complexity of current GPSG theory
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
Defining natural language grammars in GPSG
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
On the succinctness properties of unordered context-free grammars
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
Interleaving syntax and semantics in an efficient bottom-up parser
ACL '94 Proceedings of the 32nd annual meeting on Association for Computational Linguistics
Structural disambiguation with constraint propagation
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
An efficient parsing algorithm for Tree Adjoining Grammars
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
Computational complexity and lexical functional grammar
ACL '81 Proceedings of the 19th annual meeting on Association for Computational Linguistics
ACL '92 Proceedings of the 30th annual meeting on Association for Computational Linguistics
Lexicon and grammar in probabilistic tagging of written English
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms
An algorithm for constructing an even grammar from a language sample
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Membrane automata with priorities
Journal of Computer Science and Technology - Special issue on bioinformatics
Parallel intersection and serial composition of finite state transducers
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Didactic strategies for promoting significant learning in formal languages and automata theory
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
Algorithmic complexity of recursive and inductive algorithms
Theoretical Computer Science - Super-recursive algorithms and hypercomputation
Experience, generations, and limits in machine learning
Theoretical Computer Science - Super-recursive algorithms and hypercomputation
Symbolic dynamic analysis of complex systems for anomaly detection
Signal Processing
Fusion with stacks and accumulating parameters
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
On play by means of computing machines: preliminary version
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Formal language identification: query learning vs. gold-style learning
Information Processing Letters
Automated composition of e-services: lookaheads
Proceedings of the 2nd international conference on Service oriented computing
The advantage of complexity in two 2 × 2 games
Complexity - Special isssue: Computational modeling in the social sciences
Introducing practical applications into a computational theory class
Journal of Computing Sciences in Colleges
Turing machines, transition systems, and interaction
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Minimizing finite automata is computationally hard
Theoretical Computer Science - Developments in language theory
XML stream transformer generation through program composition and dependency analysis
Science of Computer Programming
Patterns in words and languages
Discrete Applied Mathematics - Fun with algorithms 2 (FUN 2001)
Acyclic networks maximizing the printing complexity
Theoretical Computer Science - Implementation and application of automata
Exchanging intensional XML data
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
Extracting grammar from programs: brute force approach
ACM SIGPLAN Notices
Complementing unary nondeterministic automata
Theoretical Computer Science - Descriptional complexity of formal systems
A two-dimensional separation of concerns for compiler construction
Proceedings of the 2005 ACM symposium on Applied computing
Interactive manipulation of regular objects with FAdo
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Finite automata and pattern avoidance in words
Journal of Combinatorial Theory Series A
The structure of reflexive regular splicing languages via Schützenberger constants
Theoretical Computer Science
On membrane hierarchy in P systems
Theoretical Computer Science
On properties of bond-free DNA languages
Theoretical Computer Science
Structural properties of XPath fragments
Theoretical Computer Science - Database theory
Toward a general theory of names: binding and scope
Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
Geoinformatica
Regular splicing languages and subclasses
Theoretical Computer Science - The art of theory
Parsing with a finite dictionary
Theoretical Computer Science - The art of theory
Head-Driven Statistical Models for Natural Language Parsing
Computational Linguistics
On the Test Case Definition for GUI Testing
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Computability classes for enforcement mechanisms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Pattern-based disambiguation for natural language processing
EMNLP '00 Proceedings of the 2000 Joint SIGDAT conference on Empirical methods in natural language processing and very large corpora: held in conjunction with the 38th Annual Meeting of the Association for Computational Linguistics - Volume 13
MultiSumQA '02 proceedings of the 2002 conference on multilingual summarization and question answering - Volume 19
Semantic-based weaving of scenarios
Proceedings of the 5th international conference on Aspect-oriented software development
Reversing: an essential heuristic in program and proof design
Proceedings of the 37th SIGCSE technical symposium on Computer science education
A characterization of first-order topological properties of planar spatial data
Journal of the ACM (JACM)
Type inference for unique pattern matching
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 2006 international workshop on Software engineering for automotive systems
Linear splicing and syntactic monoid
Discrete Applied Mathematics
Fast verification of the class of stop-and-wait protocols modelled by coloured Petri nets
Nordic Journal of Computing
Learning erasing pattern languages with queries
Theoretical Computer Science - Algorithmic learning theory (ALT 2000)
New Generation Computing
A system for the static analysis of XPath
ACM Transactions on Information Systems (TOIS)
Incremental construction of minimal deterministic finite cover automata
Theoretical Computer Science - Implementation and application of automata
A Formal Language Analysis of DNA Hairpin Structures
Fundamenta Informaticae
Static analysis of executables to detect malicious patterns
SSYM'03 Proceedings of the 12th conference on USENIX Security Symposium - Volume 12
Learning to verify branching time properties
Formal Methods in System Design
Functional verification of task partitioning for multiprocessor embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Automata-based assertion-checker synthesis of PSL properties
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Runtime monitoring of web service conversations
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Sequential circuits for program analysis
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
On complexity of grammars related to the safety problem
Theoretical Computer Science
International Journal of Robotics Research
Exceptional situations and program reliability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Minds and Machines
Efficient dictionary-based text rewriting using subsequential transducers†
Natural Language Engineering
Regular Expression Matching in Reconfigurable Hardware
Journal of Signal Processing Systems
Xml data dissemination using automata on top of structured overlay networks
Proceedings of the 17th international conference on World Wide Web
Static detection of cross-site scripting vulnerabilities
Proceedings of the 30th international conference on Software engineering
Computation of distances for regular and context-free probabilistic languages
Theoretical Computer Science
Dynamic test input generation for web applications
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Hierarchical self-organization in the finitary process soup
Artificial Life
Parametric Language Analysis of the Class of Stop-and-Wait Protocols
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
A Formal Model of Coordination for Supporting Community Computing in a Ubiquitous Environment
APCHI '08 Proceedings of the 8th Asia-Pacific conference on Computer-Human Interaction
Damaged BZip Files Are Difficult to Repair
COCOON '08 Proceedings of the 14th annual international conference on Computing and Combinatorics
Antimirov and Mosses's Rewrite System Revisited
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
On Bifix Systems and Generalizations
Language and Automata Theory and Applications
Characterization of Star-Connected Languages Using Finite Automata
Language and Automata Theory and Applications
Learning with Temporary Memory
ALT '08 Proceedings of the 19th international conference on Algorithmic Learning Theory
More Concise Representation of Regular Languages by Automata and Regular Expressions
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
Learning Left-to-Right and Right-to-Left Iterative Languages
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
Computational Linguistics
Implementation of supervisory control using extended finite-state machines
International Journal of Systems Science
Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations
Journal of the ACM (JACM)
The computational power and complexity of constraint handling rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementation of a Finite State Machine with Active Libraries in C++
Generative and Transformational Techniques in Software Engineering II
Decision Support Systems
Verifying liveness for asynchronous programs
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
OWL Datatypes: Design and Implementation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A Rice-style theorem for parallel automata
Information and Computation
Semantics transformation of NFA to Z notation by constructing union of regular languages
ACS'08 Proceedings of the 8th conference on Applied computer scince
An Automata Based Authorship Identification System
New Frontiers in Applied Data Mining
State-dependent computation using coupled recurrent networks
Neural Computation
A Parallel Approach to XML Parsing
GRID '06 Proceedings of the 7th IEEE/ACM International Conference on Grid Computing
The 4-way deterministic tiling problem is undecidable
Theoretical Computer Science
Analysis of Sanskrit Text: Parsing and Semantic Relations
Sanskrit Computational Linguistics
Generating Rewritable Abstract Syntax Trees
Software Language Engineering
Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Enhanced Property Specification and Verification in BLAST
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Analysing Complexity in Classes of Unary Automatic Structures
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Canonical representation genetic programming
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation
Series-Parallel Automata and Short Regular Expressions
Fundamenta Informaticae
Implementation of State Elimination Using Heuristics
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
On determinism in modal transition systems
Theoretical Computer Science
Managing requirement volatility in an ontology-driven clinical LIMS using category theory
International Journal of Telemedicine and Applications - Special issue on electronic health
Distributed event stream processing with non-deterministic finite automata
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Distributed complex event processing with query rewriting
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Efficient Intrusion Detection Based on Static Analysis and Stack Walks
IWSEC '09 Proceedings of the 4th International Workshop on Security: Advances in Information and Computer Security
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
CIG'09 Proceedings of the 5th international conference on Computational Intelligence and Games
A modular NFA architecture for regular expression matching
Proceedings of the 18th annual ACM/SIGDA international symposium on Field programmable gate arrays
Analysis and applications of timed service protocols
ACM Transactions on Software Engineering and Methodology (TOSEM)
Processing XPath queries with forward and downward axes over XML streams
Proceedings of the 13th International Conference on Extending Database Technology
The many faces of a translation
Journal of Computer and System Sciences
More concise representation of regular languages by automata and regular expressions
Information and Computation
The computational complexity of equivalence and isomorphism problems
The computational complexity of equivalence and isomorphism problems
Efficient monitoring of parametric context-free patterns
Automated Software Engineering
Managing intrusion detection rule sets
Proceedings of the Third European Workshop on System Security
Decision problems for linear and circular splicing systems
DLT'02 Proceedings of the 6th international conference on Developments in language theory
The Journal of Machine Learning Research
Regular languages generated by reflexive finite splicing systems
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Layout transformations for heap objects using static access patterns
CC'07 Proceedings of the 16th international conference on Compiler construction
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Semantic matching of web services for collaborative business processes
CSCWD'06 Proceedings of the 10th international conference on Computer supported cooperative work in design III
Neurally inspired mechanisms for the dynamic visual attention map generation task
IWANN'03 Proceedings of the Artificial and natural neural networks 7th international conference on Computational methods in neural modeling - Volume 1
A grammatical representation of visibly pushdown languages
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Adaptation of open component-based systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Strong safe realizability of message sequence chart specifications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Model checking propositional projection temporal logic based on SPIN
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Formalizing SANE virtual processor in thread algebra
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Universality, reducibility, and completeness
MCU'07 Proceedings of the 5th international conference on Machines, computations, and universality
Locality-based security policies
FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
Optimal lower bounds on regular expression size using communication complexity
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Concurrency control generation for dynamic threads using discrete-event systems
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
Applying the composition filter model for runtime verification of multiple-language software
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Efficient mining of recurrent rules from a sequence database
DASFAA'08 Proceedings of the 13th international conference on Database systems for advanced applications
Solving path problems on the GPU
Parallel Computing
The reaction algebra: a formal language for event correlation
Pillars of computer science
On the hardness of the noncommutative determinant
Proceedings of the forty-second ACM symposium on Theory of computing
A large neighbourhood search approach to the multi-activity shift scheduling problem
Journal of Heuristics
Event detection and correlation for network environments
IEEE Journal on Selected Areas in Communications
Watson---Crick palindromes in DNA computing
Natural Computing: an international journal
Distributed structural and value XML filtering
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
Predictive publish/subscribe matching
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
Computational complexity in logic testing
INES'10 Proceedings of the 14th international conference on Intelligent engineering systems
Dependencies between ontology design parameters
International Journal of Metadata, Semantics and Ontologies
Reverse engineering for mobile systems forensics with Ares
Proceedings of the 2010 ACM workshop on Insider threats
Robustness testing oracle using a sequence alignment algorithm
Proceedings of the First International Workshop on Software Test Output Validation
Maximum likelihood estimation of feature-based distributions
SIGMORPHON '10 Proceedings of the 11th Meeting of the ACL Special Interest Group on Computational Morphology and Phonology
IP routing processing with graphic processors
Proceedings of the Conference on Design, Automation and Test in Europe
A characterization of (regular) circular languages generated by monotone complete splicing systems
Theoretical Computer Science
Two case studies in grammar-based test generation
Journal of Systems and Software
Subsequential transducers: a coalgebraic perspective
Information and Computation
DNA computing: a research snapshot
Algorithms and theory of computation handbook
Using grammar induction to model adaptive behavior of networks of collaborative agents
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
Learning fuzzy context-free grammar: a preliminary report
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
On languages piecewise testable in the strict sense
MOL'07/09 Proceedings of the 10th and 11th Biennial conference on The mathematics of language
Using Grid services to parallelize IBM's Generic Log Adapter
Journal of Systems and Software
The context-sensitive grammar for vehicle movement description
ICCVG'10 Proceedings of the 2010 international conference on Computer vision and graphics: Part II
Regular patterns, regular languages and context-free languages
Information Processing Letters
Complex event detection at wire speed with FPGAs
Proceedings of the VLDB Endowment
Behaviours of Unary Quantum Automata
Fundamenta Informaticae - Non-Classical Models of Automata and Applications
Arithmetic Circuits: A survey of recent results and open questions
Foundations and Trends® in Theoretical Computer Science
Increasing functional coverage by inductive testing: a case study
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Finite automata based algorithms for the generalized constrained longest common subsequence problems
SPIRE'10 Proceedings of the 17th international conference on String processing and information retrieval
Grammar-Based Integer Programming Models for Multiactivity Shift Scheduling
Management Science
A small universal splicing P system
CMC'10 Proceedings of the 11th international conference on Membrane computing
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
SPAF: stateless FSA-based packet filters
IEEE/ACM Transactions on Networking (TON)
Collaborative Planning with Confidentiality
Journal of Automated Reasoning
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Finite automata for generalized approach to backward pattern matching
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Analysis of the joint spectral radius via lyapunov functions on path-complete graphs
Proceedings of the 14th international conference on Hybrid systems: computation and control
Program optimization using abstract state machines
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
More precise typing of rewrite strategies
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
Comparing necessary conditions for recognizability of two-dimensional languages
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Classification of string languages via tiling recognizable picture languages
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Normalization of sequential top-down tree-to-word transducers
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Fuzzy molecular automaton using splicing theory
International Journal of Bio-Inspired Computation
Forensic triage for mobile phones with DEC0DE
SEC'11 Proceedings of the 20th USENIX conference on Security
Some remarks on automata minimality
DLT'11 Proceedings of the 15th international conference on Developments in language theory
Regular splicing languages must have a constant
DLT'11 Proceedings of the 15th international conference on Developments in language theory
Languages vs. ω-languages in regular infinite games
DLT'11 Proceedings of the 15th international conference on Developments in language theory
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Bouma2: a high-performance input-aware multiple string-match algorithm
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
The size-cost of Boolean operations on constant height deterministic pushdown automata
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
State complexity of four combined operations composed of union, intersection, star and reversal
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
Towards heuristic algorithmic memory
AGI'11 Proceedings of the 4th international conference on Artificial general intelligence
Immunity and pseudorandomness of context-free languages
Theoretical Computer Science
Concrete Digital Computation: What Does it Take for a Physical System to Compute?
Journal of Logic, Language and Information
BPM'11 Proceedings of the 9th international conference on Business process management
A description of the protein structures by evolutionary-programmed Turing machine
GAVTASC'11 Proceedings of the 11th WSEAS international conference on Signal processing, computational geometry and artificial vision, and Proceedings of the 11th WSEAS international conference on Systems theory and scientific computation
Querying in spaces of music information
IUKM'11 Proceedings of the 2011 international conference on Integrated uncertainty in knowledge modelling and decision making
A robust index for regular expression queries
Proceedings of the 20th ACM international conference on Information and knowledge management
An automata approach to pattern collections
KDID'04 Proceedings of the Third international conference on Knowledge Discovery in Inductive Databases
Optimizing schema languages for XML: numerical constraints and interleaving
ICDT'07 Proceedings of the 11th international conference on Database Theory
Morphological lexicon extraction from raw text data
FinTAL'06 Proceedings of the 5th international conference on Advances in Natural Language Processing
Hairpin structures in DNA words
DNA'05 Proceedings of the 11th international conference on DNA Computing
Regular expressions and NFAs without Ε-transitions
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Requirements for secure logging of decentralized cross-organizational workflow executions
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Efficient algorithms for regular expression constrained sequence alignment
CPM'06 Proceedings of the 17th Annual conference on Combinatorial Pattern Matching
A static analysis using tree automata for XML access control
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Satisfiability of XPath queries with sibling axes
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Symbolic and parametric model checking of discrete-time markov chains
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Non-intrusive system level fault-tolerance
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
NFAs with and without ε-transitions
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Conditions for avoiding controllability problems in distributed testing
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Solving systems of differential equations of addition
ACISP'05 Proceedings of the 10th Australasian conference on Information Security and Privacy
Interoperability of constrained finite state automata
ACM SIGSOFT Software Engineering Notes
Composition of use cases using synchronization and model checking
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
On separating constant from polynomial ambiguity of finite automata
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
On the rule complexity of universal tissue p systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Towards expressive publish/subscribe systems
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
XSLT version 2.0 is turing-complete: a purely transformation based proof
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
A new approach to determinisation using bit-parallelism
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Length-separating test tube systems
DNA'06 Proceedings of the 12th international conference on DNA Computing
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Dynamic configuring service on semantic grid
WAIM '06 Proceedings of the 7th international conference on Advances in Web-Age Information Management
B2B protocol construction as a basis for integration architecture configuration
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Antichains: a new algorithm for checking universality of finite automata
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Magic numbers in the state hierarchy of finite automata
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Norm verification and analysis of electronic institutions
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Consistency of XML specifications
Inconsistency Tolerance
Overview on decentralized establishment of multi-lateral collaborations
From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments
Journal of Discrete Algorithms
Exact inference for generative probabilistic non-projective dependency parsing
EMNLP '11 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Evaluation of technical measures for workflow similarity based on a pilot study
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Evolution of process choreographies in DYCHOR
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Leftist grammars and the chomsky hierarchy
FCT'05 Proceedings of the 15th international conference on Fundamentals of Computation Theory
Existence of cascade discrete-continuous state estimators for systems on a partial order
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Synthesis of reo circuits for implementation of component-connector automata specifications
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Towards types for web rule languages
Proceedings of the First international conference on Reasoning Web
Introduction to semantic web services and web process composition
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
E-unification with Constants vs. General E-unification
Journal of Automated Reasoning
Ad hoc composition of user tasks in pervasive computing environments
SC'05 Proceedings of the 4th international conference on Software Composition
SC'05 Proceedings of the 4th international conference on Software Composition
HBAC: a model for history-based access control and its model checking
ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
Interface input/output automata
FM'06 Proceedings of the 14th international conference on Formal Methods
Automatic checking of component protocols in component-based systems
SC'06 Proceedings of the 5th international conference on Software Composition
Validity-sensitive querying of XML databases
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Learning DFA from correction and equivalence queries
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
On the membership problem for visibly pushdown languages
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Post correspondence problem with partially commutative alphabets
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Complexity of guided insertion-deletion in RNA-Editing
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Theoretical Computer Science
State complexity of union and intersection of star on k regular languages
Theoretical Computer Science
Theoretical Computer Science
A graph theoretic approach to automata minimality
Theoretical Computer Science
Vector space formulation of probabilistic finite state automata
Journal of Computer and System Sciences
Provably secure steganography and the complexity of sampling
ISAAC'06 Proceedings of the 17th international conference on Algorithms and Computation
The refinement of choreographed multi-agent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
A new formal test method for networked software integration testing
ICCSA'10 Proceedings of the 2010 international conference on Computational Science and Its Applications - Volume Part II
Perfect discrimination graphs: indexing terms with integer exponents
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Recombinant DNA ,gene splicing as generative devices of formal languages
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Visual tools and examples to support active e-learning and motivation with performance evaluation
Edutainment'06 Proceedings of the First international conference on Technologies for E-Learning and Digital Entertainment
State complexity of combined operations with two basic operations
Theoretical Computer Science
Deterministic regular expressions in linear time
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Proving correctness of regular expression accelerators
Proceedings of the 49th Annual Design Automation Conference
Extremal minimality conditions on automata
Theoretical Computer Science
Evolution of composition filters to event composition
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Graphical EM for on-line learning of grammatical probabilities in radar Electronic Support
Applied Soft Computing
Parameter reduction and automata evaluation for grammar-compressed trees
Journal of Computer and System Sciences
On multi-head automata with restricted nondeterminism
Information Processing Letters
On nominal regular languages with binders
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
On the decidability of HTN planning with task insertion
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Coordination through De Bruijn sequences
Operations Research Letters
The size-cost of Boolean operations on constant height deterministic pushdown automata
Theoretical Computer Science
FoXtrot: Distributed structural and value XML filtering
ACM Transactions on the Web (TWEB)
Qualitative verification of finite and real-time DEVS networks
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
A solver for reachability modulo theories
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Universality for Turing Machines, Inductive Turing Machines and Evolutionary Algorithms
Fundamenta Informaticae - Machines, Computations and Universality, Part I
Series-Parallel Automata and Short Regular Expressions
Fundamenta Informaticae
Removing nondeterminism in constant height pushdown automata
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
State complexity of star and square of union of k regular languages
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
Analysis and control of fuzzy discrete event systems using bisimulation equivalence
Theoretical Computer Science
Maurer Computers with Single-Thread Control
Fundamenta Informaticae
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
A Formal Language Analysis of DNA Hairpin Structures
Fundamenta Informaticae
Star-Connected Flat Languages and Automata
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Star-free Star and Trace Languages
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
State complexity of union and intersection of square and reversal on k regular languages
Theoretical Computer Science
On the properties of language classes defined by bounded reaction automata
Theoretical Computer Science
Automata theory based on complete residuated lattice-valued logic: Turing machines
Fuzzy Sets and Systems
About Splicing P Systems with One Membrane
Fundamenta Informaticae
On Winning Conditions of High Borel Complexity in Pushdown Games
Fundamenta Informaticae
On Star-Connected Flat Languages
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Computing forbidden words of regular languages
Fundamenta Informaticae - Computing Patterns in Strings
Adaptive pattern classification for symbolic dynamic systems
Signal Processing
State Complexity of Combined Operations with Union, Intersection, Star and Reversal
Fundamenta Informaticae - Words, Graphs, Automata, and Languages; Special Issue Honoring the 60th Birthday of Professor Tero Harju
Riding Out the Storm: How to Deal with the Complexity of Grid and Cloud Management
Journal of Grid Computing
Proceedings of the Fifth International Conference on Security of Information and Networks
Strong lexicalization of tree adjoining grammars
ACL '12 Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics: Long Papers - Volume 1
Marked systems and circular splicing
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
Transition graphs of rewriting systems over unranked trees
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
Computation in sofic quantum dynamical systems
UC'07 Proceedings of the 6th international conference on Unconventional Computation
Fast submatch extraction using OBDDs
Proceedings of the eighth ACM/IEEE symposium on Architectures for networking and communications systems
An easy automata based algorithm for testing coding properties of infinite sets of (DNA) words
TPNC'12 Proceedings of the First international conference on Theory and Practice of Natural Computing
Efficient processing the braille music notation
CISIM'12 Proceedings of the 11th IFIP TC 8 international conference on Computer Information Systems and Industrial Management
Deciding regular expressions (in-)equivalence in coq
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Protocol conformance checking of services with exceptions
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Generalized vulnerability extrapolation using abstract syntax trees
Proceedings of the 28th Annual Computer Security Applications Conference
A Finite-State Machine for Collaborative Airlift with a Formation of Unmanned Air Vehicles
Journal of Intelligent and Robotic Systems
Advanced searching in spaces of music information
ISMIS'12 Proceedings of the 20th international conference on Foundations of Intelligent Systems
Generic operations in the structured space of the music
ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part II
Finite automata with imperfect information as classification tools
ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part I
A fuzzy evolutionary framework for combining ensembles
Applied Soft Computing
The duality of state and observation in probabilistic transition systems
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
A survey on XML streaming evaluation techniques
The VLDB Journal — The International Journal on Very Large Data Bases
Theoretical Computer Science
A process-algebraic semantics for generalised nonblocking
CATS '11 Proceedings of the Seventeenth Computing: The Australasian Theory Symposium - Volume 119
Revisit of system variable trajectories (WIP)
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
FORTUNA-A framework for the design and development of hardware-based secure systems
Journal of Systems and Software
Shape analysis in a functional language by using regular languages
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Grammar-Based Column Generation for Personalized Multi-Activity Shift Scheduling
INFORMS Journal on Computing
State complexity of star of union and square of union on k regular languages
Theoretical Computer Science
Chucky: exposing missing checks in source code for vulnerability discovery
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
Asymmetric unification: a new unification paradigm for cryptographic protocol analysis
CADE'13 Proceedings of the 24th international conference on Automated Deduction
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
Approximate matching between a context-free grammar and a finite-state automaton
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
Learning regular expressions to template-based FAQ retrieval systems
Knowledge-Based Systems
Exploring the design space of programmable regular expression matching accelerators
Journal of Systems Architecture: the EUROMICRO Journal
Modeling time criticality of information
Information Processing Letters
Concurrency control generation for dynamic threads using discrete-event systems
Science of Computer Programming
On expressive power of regular realizability problems
Problems of Information Transmission
A branch-and-price algorithm for the multi-activity multi-task shift scheduling problem
Journal of Scheduling
Fuzzy and Intuitionistic Fuzzy Turing Machines
Fundamenta Informaticae
On the Validation of Invariants at Runtime
Fundamenta Informaticae
| Hi-index | 0.04 |