Coming to grips with a RISC: a report of the progress of the LOW RISC design group
ACM SIGARCH Computer Architecture News
Conceptual graphs for the analysis and generation of sentences
IBM Journal of Research and Development
Adding regular expressions to Pascal
ACM SIGPLAN Notices
Domain description grammar: application of linguistic semantics
ACM SIGSOFT Software Engineering Notes
A new proof of undecidability of safety of logic queries
ACM SIGACT News
ACM SIGPLAN Notices
ACM SIGACT News
Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
USSA—universal syntax and semantics analyzer
ACM SIGPLAN Notices
Scanning regular languages by dual finite automata
ACM SIGPLAN Notices
ACM SIGACT News
A restated pumping lemma for context-free languages
ACM SIGACT News
Applying classification and inheritance into compiling
ACM SIGPLAN OOPS Messenger
Machine models and linear time complexity
ACM SIGACT News
RE-Analyzer: from source code to structured analysis
IBM Systems Journal
An introduction to ultimately periodic sets of integers
ACM SIGACT News
Analysis of dynamical recognizers
Neural Computation
IBM Journal of Research and Development - Special issue: IBM S/390 G3 and G4
On the effect of analog noise in discrete-time analog computations
Neural Computation
Discontinuities in recurrent neural networks
Neural Computation
Effects of compression on language evolution
Artificial Life
A practical turing machine representation
ACM SIGACT News
A continuum of discrete systems
Annals of Mathematics and Artificial Intelligence
A Discrete Event Systems Approach for Protocol Conversion
Discrete Event Dynamic Systems
T-Resolution: Refinements and Model Elimination
Journal of Automated Reasoning
Ambiguous Discourse in a Compositional Context. An Operational Perspective
Journal of Logic, Language and Information
Effective Computation by Humans and Machines
Minds and Machines
Stochastic Inference of Regular Tree Languages
Machine Learning
XTRACT: Learning Document Type Descriptors from XML Document Collections
Data Mining and Knowledge Discovery
Implementing a Declarative String Query Language with String Restructuring
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Analysis of Slope-Parametric Rectangular Automata
Hybrid Systems V
Detecting Manipulated Remote Call Streams
Proceedings of the 11th USENIX Security Symposium
Duration Properties over Real Time System Designs
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
RE-tree: an efficient index structure for regular expressions
The VLDB Journal — The International Journal on Very Large Data Bases
Supervisor Reduction for Discrete-Event Systems
Discrete Event Dynamic Systems
Algorithms for testing that sets of DNA words concatenate without secondary structure
Natural Computing: an international journal
Minimal realization in bicategories of automata
Mathematical Structures in Computer Science
Regular expression pattern matching for XML
Journal of Functional Programming
Journal of Functional Programming
A typed representation for HTML and XML documents in Haskell
Journal of Functional Programming
Compositional Abstractions of Hybrid Control Systems
Discrete Event Dynamic Systems
Static Checking of Dynamically Generated Queries in Database Applications
Proceedings of the 26th International Conference on Software Engineering
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering
Unification Grammars and Off-Line Parsability
Journal of Logic, Language and Information
Study and Development of the DTD Generation System for XML Documents
Programming and Computing Software
Deciding Regular Grammar Logics with Converse Through First-Order Logic
Journal of Logic, Language and Information
Multitasking Supervisory Control of Discrete-Event Systems
Discrete Event Dynamic Systems
Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency
Discrete Event Dynamic Systems
Regular path queries under approximate semantics
Annals of Mathematics and Artificial Intelligence
Efficient LTL compilation for SAT-based model checking
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
A framework for adaptive synchronization of distributed simulations
WSC '04 Proceedings of the 36th conference on Winter simulation
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
XML access control using static analysis
ACM Transactions on Information and System Security (TISSEC)
Regular expression filters for XML
Journal of Functional Programming
Using parametric set constraints for locating errors in CLP programs
Theory and Practice of Logic Programming
Journal of Computing Sciences in Colleges
Mining compressed commodity workflows from massive RFID data sets
CIKM '06 Proceedings of the 15th ACM international conference on Information and knowledge management
Fast and memory-efficient regular expression matching for deep packet inspection
Proceedings of the 2006 ACM/IEEE symposium on Architecture for networking and communications systems
A backtracking LR algorithm for parsing ambiguous context-dependent languages
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
A context-free and a 1-counter geodesic language for a Baumslag-Solitar group
Theoretical Computer Science
On the power of circular splicing
Discrete Applied Mathematics - Special issue: Max-algebra
Progressive solutions to a parallel automata equation
Theoretical Computer Science
Learning in varieties of the form V*LI from positive data
Theoretical Computer Science
Generalized multitext grammars
ACL '04 Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics
Towards developing generation algorithms for text-to-text applications
ACL '05 Proceedings of the 43rd Annual Meeting on Association for Computational Linguistics
From Mirkin's Prebases to Antimirov's Word Partial Derivatives
Fundamenta Informaticae
Decomposing Timed Push Down Automata
Fundamenta Informaticae
Residual Finite State Automata
Fundamenta Informaticae
Cross-entropy and estimation of probabilistic context-free grammars
HLT-NAACL '06 Proceedings of the main conference on Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics
Estimation of consistent probabilistic context-free grammars
HLT-NAACL '06 Proceedings of the main conference on Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics
The Intrinsic Complexity of Learning: A Survey
Fundamenta Informaticae
A power-set construction for reducing Büchi automata to non-determinism degree two
Information Processing Letters
Frontiers of tractability for typechecking simple XML transformations
Journal of Computer and System Sciences
An automata-theoretic approach to the word problem for ω -terms over R
Theoretical Computer Science
Theoretical Computer Science
Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Results on Transforming NFA into DFCA
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Time and Synchronization in Membrane Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
New Iteration Lemmata for Regular Languages
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
On Effective Methods for Diagnosis of Retaining Faults in Circuits
Fundamenta Informaticae
On Star-Connected Flat Languages
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Interactive symbolic software for teaching formal languages, automata and beyond
Journal of Computing Sciences in Colleges
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
Nondeterministic Bimachines and Rational Relations with Finite Codomain
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
s-grams: Defining generalized n-grams for information retrieval
Information Processing and Management: an International Journal
On the minimization of XML Schemas and tree automata for unranked trees
Journal of Computer and System Sciences
On the existence of prime decompositions
Theoretical Computer Science
Iterated sequential transducers as language generating devices
Theoretical Computer Science
A geometric characterization of automatic semigroups
Theoretical Computer Science
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Fitting hidden Markov models to psychological data
Scientific Programming - Hidden Markov Models
Fuzzy Sets and Systems
Equivalence in automata theory based on complete residuated lattice-valued logic
Fuzzy Sets and Systems
Fuzzy Sets and Systems
One-unambiguity of regular expressions with numeric occurrence indicators
Information and Computation
On the Generality of Event-Graph Models
INFORMS Journal on Computing
Sequential Circuits for Relational Analysis
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Static validation of XSL transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
The election problem in asynchronous distributed systems with bounded faulty processes
The Journal of Supercomputing
Predicting locality phases for dynamic memory optimization
Journal of Parallel and Distributed Computing
Evolution of Birdsong Syntax by Interjection Communication
Artificial Life
ProofChecker: an accessible environment for automata theory correctness proofs
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
Convergence time to Nash equilibrium in load balancing
ACM Transactions on Algorithms (TALG)
Membrane Systems with Marked Membranes
Electronic Notes in Theoretical Computer Science (ENTCS)
Membrane Systems with Peripheral Proteins: Transport and Evolution
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient algorithms for regular expression constrained sequence alignment
Information Processing Letters
Note: On the separability of sparse context-free languages and of bounded rational relations
Theoretical Computer Science
Enumeration and random generation of accessible automata
Theoretical Computer Science
Theoretical Computer Science
Information and Computation
Finite turns and the regular closure of linear context-free languages
Discrete Applied Mathematics
Towards automatic document migration: semantic preservation of embedded queries
Proceedings of the 2007 ACM symposium on Document engineering
Combination of transformation and schema languages described by a complete formal semantics
Proceedings of the 2007 ACM symposium on Document engineering
Dynamic access-control policies on XML encrypted data
ACM Transactions on Information and System Security (TISSEC)
Theoretical Computer Science
Algorithmic complexity as a criterion of unsolvability
Theoretical Computer Science
State complexity of combined operations
Theoretical Computer Science
Query-monotonic Turing reductions
Theoretical Computer Science
EXEM: Efficient XML data exchange management for mobile applications
Information Systems Frontiers
International Journal of Electronic Commerce
A transducer-based XML query processor
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Mining API patterns as partial orders from source code: from usage scenarios to specifications
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Towards a formalism for routing in challenged networks
Proceedings of the second ACM workshop on Challenged networks
Preventing injection attacks with syntax embeddings
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
STAFF: A flash driver algorithm minimizing block erasures
Journal of Systems Architecture: the EUROMICRO Journal
Complexity theory for splicing systems
Theoretical Computer Science
Automata theory based on quantum logic: Reversibilities and pushdown automata
Theoretical Computer Science
Magic numbers in the state hierarchy of finite automata
Information and Computation
A general comparison of language learning from examples and from queries
Theoretical Computer Science
Elman Backpropagation as Reinforcement for Simple Recurrent Networks
Neural Computation
Regular expression constrained sequence alignment
Journal of Discrete Algorithms
Regulated RNA rewriting: Modelling RNA editing with guided insertion
Theoretical Computer Science
An infinite hierarchy induced by depth synchronization
Theoretical Computer Science
On the existence of regular approximations
Theoretical Computer Science
Transition complexity of language operations
Theoretical Computer Science
A complete characterization of deterministic regular liveness properties
Theoretical Computer Science
On Τ-adic representations of integers
Designs, Codes and Cryptography
Iterative learning from positive data and negative counterexamples
Information and Computation
Event-based process monitoring
Engineering Applications of Artificial Intelligence
Note: A note on occurrence of gapped patterns in i.i.d. sequences
Discrete Applied Mathematics
Privacy preserving error resilient dna searching through oblivious automata
Proceedings of the 14th ACM conference on Computer and communications security
AADL modeling and analysis of hierarchical schedulers
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
The word problem for visibly pushdown languages described by grammars
Formal Methods in System Design
Client-based access control management for XML documents
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Combating web spam with trustrank
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Towards practically feasible answering of regular path queries in lav data integration
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Towards automated consistency checks of product line requirements specifications
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Towards automated network management: network operations using dynamic views
Proceedings of the 2007 SIGCOMM workshop on Internet network management
Approximation and robustness of fuzzy finite automata
International Journal of Approximate Reasoning
An improved algorithm to accelerate regular expression evaluation
Proceedings of the 3rd ACM/IEEE Symposium on Architecture for networking and communications systems
Curing regular expressions matching algorithms from insomnia, amnesia, and acalculia
Proceedings of the 3rd ACM/IEEE Symposium on Architecture for networking and communications systems
The implication problem for measure-based constraints
Information Systems
Subcubic algorithms for recursive state machines
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Information preserving XML schema embedding
ACM Transactions on Database Systems (TODS)
Simple permutations: Decidability and unavoidable substructures
Theoretical Computer Science
Undecidable Control Conditions in Graph Transformation Units
Electronic Notes in Theoretical Computer Science (ENTCS)
A multiset-based model of synchronizing agents: Computability and robustness
Theoretical Computer Science
Formal languages through web forms and regular expressions
ACM SIGCSE Bulletin
Compositionally Progressive Solutions of Synchronous FSM Equations
Discrete Event Dynamic Systems
XPath satisfiability in the presence of DTDs
Journal of the ACM (JACM)
From ubgs to cfgs a practical corpus-driven approach
Natural Language Engineering
On the computing power of fuzzy Turing machines
Fuzzy Sets and Systems
Curvilinear space-filling curves for five-axis machining
Computer-Aided Design
A conceptual approach to teaching induction for computer science
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Understanding the Universal Turing Machine: an implementation in JFLAP
Journal of Computing Sciences in Colleges
Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs
Electronic Notes in Theoretical Computer Science (ENTCS)
Compiling business processes: untangling unstructured loops in irreducible flow graphs
International Journal of Web and Grid Services
Software testing: a graph theoretic approach
International Journal of Information and Communication Technology
SPPF-Style Parsing From Earley Recognisers
Electronic Notes in Theoretical Computer Science (ENTCS)
Regular Strategies as Proof Tactics for CIRC
Electronic Notes in Theoretical Computer Science (ENTCS)
Maurer computers for pipelined instruction processing†
Mathematical Structures in Computer Science
Lower bounds for the computational power of networks of spiking neurons
Neural Computation
EOOA: an extensible object oriented data model for automata applications
ICAI'06 Proceedings of the 7th WSEAS International Conference on Automation & Information
An intelligent editor for multi-presentation user interfaces
Proceedings of the 2008 ACM symposium on Applied computing
Towards the composition of stateful and independent semantic web services
Proceedings of the 2008 ACM symposium on Applied computing
A hybrid finite automaton for practical deep packet inspection
CoNEXT '07 Proceedings of the 2007 ACM CoNEXT conference
Learning languages from positive data and negative counterexamples
Journal of Computer and System Sciences
Learning and extending sublanguages
Theoretical Computer Science
Incremental processing of temporal observations in Model-Based Reasoning
AI Communications - Model-Based Systems
Spectral Domain Boundaries in Cellular Automata
Fundamenta Informaticae - Special issue on DLT'04
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
An Efficient Message Passing Election Algorithm based on Mazurkiewicz's Algorithm
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Outfix-Free Regular Languages and Prime Outfix-Free Decomposition
Fundamenta Informaticae
Learning deterministic regular expressions for the inference of schemas from XML data
Proceedings of the 17th international conference on World Wide Web
A genetic algorithm for segmentation and information retrieval of SEC regulatory filings
dg.o '08 Proceedings of the 2008 international conference on Digital government research
Formal description of interoperability
ISPRA'05 Proceedings of the 4th WSEAS International Conference on Signal Processing, Robotics and Automation
Information Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Foundations and Trends in Information Retrieval
Finite automata for testing composition-based reconstructibility of sequences
Journal of Computer and System Sciences
On some questions regarding k -regular and k -context-free sequences
Theoretical Computer Science
Verification of evolving software via component substitutability analysis
Formal Methods in System Design
Grammar-based whitebox fuzzing
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Regular expressions: new results and open problems
Journal of Automata, Languages and Combinatorics
Efficient pattern matching over event streams
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Scalable regular expression matching on data streams
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Graphs-at-a-time: query language and access methods for graph databases
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Description and analysis of a bottom-up DFA minimization algorithm
Information Processing Letters
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming
A compositional framework for the specification of interaction protocols in multiagent organizations
Web Intelligence and Agent Systems
Blind Counter Automata on ω-Words
Fundamenta Informaticae
Statistical machine translation
ACM Computing Surveys (CSUR)
Imperative-program transformation by instrumented-interpreter specialization
Higher-Order and Symbolic Computation
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Linear-Time Computation of Similarity Measures for Sequential Data
The Journal of Machine Learning Research
Three fundamental misconceptions of Artificial Intelligence
Journal of Experimental & Theoretical Artificial Intelligence
International Journal of Computer Mathematics
Determining the equivalence for one-way quantum finite automata
Theoretical Computer Science
Partially defined computer instructions and guards
Science of Computer Programming
Improving dynamic software analysis by applying grammar inference principles
Journal of Software Maintenance and Evolution: Research and Practice - Special Issue on Program Comprehension through Dynamic Analysis (PCODA)
Mining temporal rules for software maintenance
Journal of Software Maintenance and Evolution: Research and Practice - Special Issue on Program Comprehension through Dynamic Analysis (PCODA)
Deflating the big bang: fast and scalable deep packet inspection with extended finite automata
Proceedings of the ACM SIGCOMM 2008 conference on Data communication
Integrating RTL IPs into TLM designs through automatic transactor generation
Proceedings of the conference on Design, automation and test in Europe
Computational complexity of dynamical systems: The case of cellular automata
Information and Computation
Generalizations of 1-deterministic regular languages
Information and Computation
State complexity of basic language operations combined with reversal
Information and Computation
Commutation-augmented pregroup grammars and push-down automata with cancellation
Information and Computation
Deterministic Simulation of a NFA with k---Symbol Lookahead
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Concurrency, Graphs and Models
Natural Language Understanding by Combining Statistical Methods and Extended Context-Free Grammars
Proceedings of the 30th DAGM symposium on Pattern Recognition
A Survey of Formal Verification for Business Process Modeling
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
Recasting Constraint Automata into Büchi Automata
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Some Observations on Two-Way Finite Automata with Quantum and Classical States
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues
Goto elimination in program algebra
Science of Computer Programming
The domino problem of the hyperbolic plane is undecidable
Theoretical Computer Science
Universal automata and NFA learning
Theoretical Computer Science
THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION
Applied Artificial Intelligence
Applied Artificial Intelligence
Distributed Intrusion Detection Systems for Enhancing Security in Mobile Wireless Sensor Networks
International Journal of Distributed Sensor Networks - Advances on Heterogeneous Wireless Sensor Networks
Approaching simple and powerful service-computing1
International Journal of Parallel, Emergent and Distributed Systems - Best Papers from the GCC 2006 Conference
Don't care words with an application to the automata-based approach for real addition
Formal Methods in System Design
Propositional Dynamic Logic with Program Quantifiers
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Computing Surveys (CSUR)
Extracting symbolic knowledge from recurrent neural networks---A fuzzy logic approach
Fuzzy Sets and Systems
Linear time membership in a class of regular expressions with interleaving and counting
Proceedings of the 17th ACM conference on Information and knowledge management
A nondeterministic model for controlling the dramatization of interactive stories
SRMC '08 Proceedings of the 2nd ACM international workshop on Story representation, mechanism and context
Synchronization functions of synchronized context-free grammars and languages
Journal of Automata, Languages and Combinatorics
On active symbols in CD grammar systems
Journal of Automata, Languages and Combinatorics
A family of NFAS free of state reductions
Journal of Automata, Languages and Combinatorics
Enumeration of context-free languages and related structures
Journal of Automata, Languages and Combinatorics
State hierarchy for one-way finite automata
Journal of Automata, Languages and Combinatorics
Simple-regular expressions and languages
Journal of Automata, Languages and Combinatorics
On recursive and non-recursive trade-offs between finite-turn pushdown automata
Journal of Automata, Languages and Combinatorics
On the descriptional complexity of CD grammar systems of finite index
Journal of Automata, Languages and Combinatorics
Efficient regular expression evaluation: theory to practice
Proceedings of the 4th ACM/IEEE Symposium on Architectures for Networking and Communications Systems
Inclusion dynamics hybrid automata
Information and Computation
Fault-tolerant computation of distributed regular path queries
Theoretical Computer Science
XAL: A Web Oriented Programming Language Based on Timed-Automata
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Preferential Regular Path Queries
Fundamenta Informaticae
On small, reduced, and fast universal accepting networks of splicing processors
Theoretical Computer Science
Abstracting access patterns of dynamic memory using regular expressions
ACM Transactions on Architecture and Code Optimization (TACO)
A model for XML instance level integration
SBBD '08 Proceedings of the 23rd Brazilian symposium on Databases
Programming and Computing Software
Consistency between Task Models and Use Cases
Engineering Interactive Systems
Using spreadsheets for finite state modelling
Proceedings of the 2nd India software engineering conference
Grammar based asynchronous testing
Proceedings of the 2nd India software engineering conference
Two mathematical gestalts for computer theory
Proceedings of the 40th ACM technical symposium on Computer science education
Algorithms for learning regular expressions from positive data
Information and Computation
Automata theory based on complete residuated lattice-valued logic: Pushdown automata
Fuzzy Sets and Systems
Adding nesting structure to words
Journal of the ACM (JACM)
An application of quantum finite automata to interactive proof systems
Journal of Computer and System Sciences
The enumeration of permutations sortable by pop stacks in parallel
Information Processing Letters
Group-Linking Method: A Unified Benchmark for Machine Learning with Recurrent Neural Network
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Mathematics and Computers in Simulation
The impact of requirements changes on specifications and state machines
Software—Practice & Experience
Epileptic Spike Recognition in Electroencephalogram Using Deterministic Finite Automata
Journal of Medical Systems
Deciding equivalence of top--down XML transformations in polynomial time
Journal of Computer and System Sciences
Software Language Engineering
A Kleene Theorem for Polynomial Coalgebras
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
Two Equivalent Regularizations for Tree Adjoining Grammars
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Bounded regular path queries in view-based data integration
Information Processing Letters
On the intersection of regex languages with regular languages
Theoretical Computer Science
Decimations of languages and state complexity
Theoretical Computer Science
On the Hopcroft's minimization technique for DFA and DFCA
Theoretical Computer Science
State complexity of unique rational operations
Theoretical Computer Science
State complexity of basic operations on suffix-free regular languages
Theoretical Computer Science
Reasoning about XML update constraints
Journal of Computer and System Sciences
Modelling of Complex Systems: Systems as Dataflow Machines
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Universality for Turing Machines, Inductive Turing Machines and Evolutionary Algorithms
Fundamenta Informaticae - Machines, Computations and Universality, Part I
A compact CPN representation for embedded and control systems fault diagnosis and recovery
SEPADS'09 Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems
Efficient probabilistic event stream processing with lineage and Kleene-plus
International Journal of Communication Networks and Distributed Systems
Proceedings of the 2009 conference on Finite-State Methods and Natural Language Processing: Post-proceedings of the 7th International Workshop FSMNLP 2008
Transducer Minimization and Information Compression for NooJ Dictionaries
Proceedings of the 2009 conference on Finite-State Methods and Natural Language Processing: Post-proceedings of the 7th International Workshop FSMNLP 2008
An XML Format Proposal for the Description of Weighted Automata, Transducers and Regular Expressions
Proceedings of the 2009 conference on Finite-State Methods and Natural Language Processing: Post-proceedings of the 7th International Workshop FSMNLP 2008
An Inductive Logic Programming Approach to Statistical Relational Learning
Proceedings of the 2005 conference on An Inductive Logic Programming Approach to Statistical Relational Learning
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Hierarchy and equivalence of multi-letter quantum finite automata
Theoretical Computer Science
Automated debugging of recommender user interface descriptions
Applied Intelligence
Hyperedge replacement languages and pushdown automata
MACMESE'08 Proceedings of the 10th WSEAS international conference on Mathematical and computational methods in science and engineering
On the descriptional complexity of Watson-Crick automata
Theoretical Computer Science
Estimation of state complexity of combined operations
Theoretical Computer Science
On the synchronized derivation depth of context-free grammars
Theoretical Computer Science
Adaptive Fault Tolerance for Scalable Cluster Computing in Space
International Journal of High Performance Computing Applications
Constructive reduction: understanding uncomputability through programming
ACM SIGCSE Bulletin
The concept of nondeterminism: its development and implications for teaching
ACM SIGCSE Bulletin
Reasoning about discrete event sources
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Regularity in PDA Games Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
Incremental construction of minimal acyclic finite state automata and transducers
FSMNLP '09 Proceedings of the International Workshop on Finite State Methods in Natural Language Processing
Treatment of ε-moves in subset construction
FSMNLP '09 Proceedings of the International Workshop on Finite State Methods in Natural Language Processing
A multilingual natural-language interface to regular expressions
FSMNLP '09 Proceedings of the International Workshop on Finite State Methods in Natural Language Processing
Feature structures, unification and finite-state transducers
FSMNLP '09 Proceedings of the International Workshop on Finite State Methods in Natural Language Processing
Deciding determinism of caterpillar expressions
Theoretical Computer Science
Regulated nondeterminism in pushdown automata
Theoretical Computer Science
Efficient context-free grammar constraints
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Are very large context-free grammars tractable?
IWPT '07 Proceedings of the 10th International Conference on Parsing Technologies
Finite state automata and Arabic writing
Semitic '98 Proceedings of the Workshop on Computational Approaches to Semitic Languages
A morphological analyzer for akkadian verbal forms with a model of phonetic transformations
Semitic '98 Proceedings of the Workshop on Computational Approaches to Semitic Languages
Learning quantity insensitive stress systems via local inference
SIGPHON '06 Proceedings of the Eighth Meeting of the ACL Special Interest Group on Computational Phonology and Morphology
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
Pac-learning recursive logic programs: negative results
Journal of Artificial Intelligence Research
Phrase structure grammars and natural languages
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Iterative-deepening-A: an optimal admissible tree search
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
A machine learning approach for statistical software testing
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Detecting palindromes, patterns and borders in regular languages
Information and Computation
A characterization of regular circular languages generated by marked splicing systems
Theoretical Computer Science
On NFAs where all states are final, initial, or both
Theoretical Computer Science
The Parikh counting functions of sparse context-free languages are quasi-polynomials
Theoretical Computer Science
Automata theory based on unsharp quantum logic†
Mathematical Structures in Computer Science
Lattice-valued fuzzy Turing machines: Computing power, universality and efficiency
Fuzzy Sets and Systems
Efficient Monitoring of Parametric Context-Free Patterns
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Reducing the Cost of Path Property Monitoring Through Sampling
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Inferring Finite-State Models with Temporal Constraints
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
On the growth of context-free languages
Journal of Automata, Languages and Combinatorics
The bag automaton: a model of nondeterministic storage
Journal of Automata, Languages and Combinatorics
Church-Rosser groups and growing context-sensitive groups
Journal of Automata, Languages and Combinatorics
Nondeterministic one-tape off-line turing machines and their time complexity
Journal of Automata, Languages and Combinatorics
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
On information invariants in robotics
Artificial Intelligence
Scalability issues with using FSMWeb to test web applications
Information and Software Technology
Undecidability and intractability results concerning datalog programs and their persistency numbers
ACM Transactions on Computational Logic (TOCL)
Fuzzy discrete-event systems under fuzzy observability and a test algorithm
IEEE Transactions on Fuzzy Systems
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Detecting patterns in finite regular and context-free languages
Information Processing Letters
Finite state based testing of P systems
Natural Computing: an international journal
Scalable scheduling algorithms for wireless networkedcontrol systems
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
On notions of regularity for data languages
Theoretical Computer Science
Notions of hyperbolicity in monoids
Theoretical Computer Science
On the Decidability of Subtyping with Bounded Existential Types
APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
IWPT '09 Proceedings of the 11th International Conference on Parsing Technologies
Parsing directed acyclic graphs with range concatenation grammars
IWPT '09 Proceedings of the 11th International Conference on Parsing Technologies
IJCNN'09 Proceedings of the 2009 international joint conference on Neural Networks
Discrete Applied Mathematics
Security Policies as Membranes in Systems for Global Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient learning of context-free grammars from positive structural examples
Information and Computation
Context-free languages can be accepted with absolutely no space overhead
Information and Computation
Relations between Gold-style learning and query learning
Information and Computation
The existential theory of equations with rational constraints in free groups is PSPACE-complete
Information and Computation
Turing machines, transition systems, and interaction
Information and Computation
Weighted path queries on semistructured databases
Information and Computation
Conformant plans and beyond: Principles and complexity
Artificial Intelligence
Modeling Emotions and Reason in Agent-Based Systems
Computational Economics
Computational complexity of diagram satisfaction in Euclidean geometry
Journal of Complexity
On multivariate genetic systems
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
Modeling the game of Arimaa with linguistic geometry
CIG'09 Proceedings of the 5th international conference on Computational Intelligence and Games
Ad hoc solution of the multicommodity-flow-over-time problem
IEEE Transactions on Intelligent Transportation Systems
The baffling CS notions of "as-if" and "don't-care"
Proceedings of the 41st ACM technical symposium on Computer science education
Restarting automata and their relations to the Chomsky hierarchy
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Computation with absolutely no space overhead
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Minimizing finite automata is computationally hard
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Bideterministic automata and minimal representations of regular languages
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Precise analysis of string expressions
SAS'03 Proceedings of the 10th international conference on Static analysis
Modelling of complex systems given as a mealy machine with linear decision diagrams
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
Modeling of interconnection networks in massively parallel processor architectures
ARCS'07 Proceedings of the 20th international conference on Architecture of computing systems
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
A logical characterisation of linear time on nondeterministic turing machines
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
A modal fixpoint logic with chop
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
SPIN'03 Proceedings of the 10th international conference on Model checking software
Complexity theory for splicing systems
DLT'07 Proceedings of the 11th international conference on Developments in language theory
On transition minimality of bideterministic automata
DLT'07 Proceedings of the 11th international conference on Developments in language theory
Incremental speech translation
Incremental speech translation
Preventing injection attacks with syntax embeddings
Science of Computer Programming
Conformon-P systems with negative values
WMC'07 Proceedings of the 8th international conference on Membrane computing
Extending automated compositional verification to the full class of omega-regular languages
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Structural statistical software testing with active learning in a graph
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
SEIM: static extraction of interaction models
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems
On a hybrid weightless neural system
International Journal of Bio-Inspired Computation
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Computation in Sofic Quantum Dynamical Systems
Natural Computing: an international journal
International Journal of Web and Grid Services
Return-oriented rootkits: bypassing kernel code integrity protection mechanisms
SSYM'09 Proceedings of the 18th conference on USENIX security symposium
Improving NFA-based signature matching using ordered binary decision diagrams
RAID'10 Proceedings of the 13th international conference on Recent advances in intrusion detection
Discovering role of linguistic geometry
MICAI'10 Proceedings of the 9th Mexican international conference on Artificial intelligence conference on Advances in soft computing: Part II
Managing misspelled queries in IR applications
Information Processing and Management: an International Journal
Selective regular expression matching
ISC'10 Proceedings of the 13th international conference on Information security
Information and Computation
Proceedings of the 42nd ACM technical symposium on Computer science education
Innovations in Systems and Software Engineering
The differential analysis of S-functions
SAC'10 Proceedings of the 17th international conference on Selected areas in cryptography
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Matrix insertion-deletion systems for bio-molecular structures
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Parikh's theorem: A simple and direct automaton construction
Information Processing Letters
Inference and Learning with Hierarchical Shape Models
International Journal of Computer Vision
Journal of Automata, Languages and Combinatorics
Power and efficiency of minimal parallelism in polarizationless P systems
Journal of Automata, Languages and Combinatorics
On the descriptional complexity of external hybrid cooperating distributed grammar systems
Journal of Automata, Languages and Combinatorics
Efficient event stream processing: handling ambiguous events and patterns with negation
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications
Büchi automata for modeling component connectors
Software and Systems Modeling (SoSyM)
Efficient schema extraction from a large collection of XML documents
Proceedings of the 49th Annual Southeast Regional Conference
Weakly directed self-avoiding walks
Journal of Combinatorial Theory Series A
The generative power of probabilistic and weighted context-free grammars
MOL'11 Proceedings of the 12th biennial conference on The mathematics of language
Chain-Based DFA Deflation for Fast and Scalable Regular Expression Matching Using TCAM
Proceedings of the 2011 ACM/IEEE Seventh Symposium on Architectures for Networking and Communications Systems
Modeling Filtering Predicates Composition with Finite State Automata
Proceedings of the 2011 ACM/IEEE Seventh Symposium on Architectures for Networking and Communications Systems
Feasibility analysis for robustness quantification by symbolic model checking
Formal Methods in System Design
On restricted context-free grammars
Journal of Computer and System Sciences
Learning finite cover automata from queries
Journal of Computer and System Sciences
Probabilistic management of OCR data using an RDBMS
Proceedings of the VLDB Endowment
Translating flowcharts to non-deterministic languages
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
A memetic grammar inference algorithm for language learning
Applied Soft Computing
A process-theoretic look at automata
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Automata based model checking for reo connectors
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Streaming algorithms for some problems in log-space
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
SA-REPC: sequence alignment with regular expression path constraint
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Combining graph transformation and algebraic specification into model transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Systems-theoretic view of component-based software development
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Compiling simple context restrictions with nondeterministic automata
FSMNLP '11 Proceedings of the 9th International Workshop on Finite State Methods and Natural Language Processing
Intentional automata: a context-dependent model for component connectors
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
The minimal cost reachability problem in priced timed pushdown systems
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
Computational complexity of rule distributions of non-uniform cellular automata
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
Towards optimal policing in ATM networks
Computer Communications
Explanations for regular expressions
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
A coalgebraic perspective on minimization and determinization
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Using simulation to test formally verified protocols in complex environments
Mathematical and Computer Modelling: An International Journal
Path computation in multi-layer multi-domain networks
IFIP'12 Proceedings of the 11th international IFIP TC 6 conference on Networking - Volume Part I
Electronic Commerce Research and Applications
Deep packet inspection tools and techniques in commodity platforms: Challenges and trends
Journal of Network and Computer Applications
Unconventional "stateless" turing-like machines
UC'07 Proceedings of the 6th international conference on Unconventional Computation
Neurocomputing
On properties and state complexity of deterministic state-partition automata
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Model learning and test generation for event-b decomposition
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Fixing idioms: a recursion primitive for applicative DSLs
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Transactions on Computational Systems Biology XIV
Designing a Programmable Wire-Speed Regular-Expression Matching Accelerator
MICRO-45 Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Discrete Event Dynamic Systems
A process-algebraic semantics for generalised nonblocking
CATS 2011 Proceedings of the Seventeenth Computing on The Australasian Theory Symposium - Volume 119
Search and result presentation in scientific workflow repositories
Proceedings of the 25th International Conference on Scientific and Statistical Database Management
Streaming algorithms for language recognition problems
Theoretical Computer Science
Decision problems for additive regular functions
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Using regular grammars for event-based testing
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
Some decision problems concerning NPDAs, palindromes, and dyck languages
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
On negotiation as concurrency primitive
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
LiveAction: Automating Web Task Model Generation
ACM Transactions on Interactive Intelligent Systems (TiiS)
Local rule distributions, language complexity and non-uniform cellular automata
Theoretical Computer Science
Picking pesky parameters: optimizing regular expression matching in practice
ANCS '13 Proceedings of the ninth ACM/IEEE symposium on Architectures for networking and communications systems
Automated grading of DFA constructions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Solving the parity problem in one-dimensional cellular automata
Natural Computing: an international journal
Pattern overlap in bit-parallel implementation of regular expression repetition quantifiers
International Journal of Security and Networks
Algorithms for path-constrained sequence alignment
Journal of Discrete Algorithms
An approach for modeling and detecting software performance antipatterns based on first-order logics
Software and Systems Modeling (SoSyM)
| Hi-index | 0.05 |