PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
DTD inference for views of XML data
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Validating streaming XML documents
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Query automata over finite trees
Theoretical Computer Science
Towards automating of document structure transformations
Proceedings of the 2002 ACM symposium on Document engineering
Journal of Logic, Language and Information
Molecular computing paradigm – toward freedom from Turing's charm
Natural Computing: an international journal
Fragmentation: Enhancing Identifiability
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
Towards Regular Languages over Infinite Alphabets
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Two-Way Finite State Transducers and Monadic Second-Order Logic
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Marcus Contextual Languages and their Cut-and-Paste Properties
RSCTC '98 Proceedings of the First International Conference on Rough Sets and Current Trends in Computing
Regulated Grammars with Leftmost Derivation
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Computing Entropy Maps of Finite-Automaton-Encoded Binary Images
WIA '99 Revised Papers from the 4th International Workshop on Automata Implementation
Finite Automata Encoding Geometric Figures
WIA '99 Revised Papers from the 4th International Workshop on Automata Implementation
Multiset Processing by Means of Systems of Finite State Transducers
WIA '99 Revised Papers from the 4th International Workshop on Automata Implementation
Toward a Formal Macroset Theory
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Tissue P Systems with Contextual and Rewriting Rules
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
On the Number of Non-terminal Symbols in Graph-Controlled, Programmed and Matrix Grammars
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Learning Tree Languages from Text
COLT '02 Proceedings of the 15th Annual Conference on Computational Learning Theory
Explicit test sets for iterated morphisms in free monoids and metabelian groups
Theoretical Computer Science - Insightful theory
Further remark on P systems with active membranes and two polarizations
Journal of Parallel and Distributed Computing
Independence of certain quantities indicating subword occurrences
Theoretical Computer Science
Dynamical Teams in Eco-Grammar Systems
Fundamenta Informaticae
Remarks on arbitrary multiple pattern interpretations
Information Processing Letters
Theoretical Computer Science
On Total Contextual Grammars with Restricted Choice
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Parsing Local Internal Contextual Languages with Context-Free Choice
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Further Results on Contextual and Rewriting P Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Marcus External Contextual Grammars: From One to Many Dimensions
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Fundamenta Informaticae
On small universal antiport P systems
Theoretical Computer Science
Normal forms for spiking neural P systems
Theoretical Computer Science
On a Connection Between Cooperating Distributed Grammar Systems and Basic Process Algebra
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Modelling Multiple Robots in Space: An Adaptive Eco-Grammar System
Fundamenta Informaticae - SPECIAL ISSUE ON DEVELOPMENTS IN GRAMMAR SYSTEMS
Uniformly bounded duplication languages
Discrete Applied Mathematics
Information Processing Letters
Expander2: Program Verification Between Interaction and Automation
Electronic Notes in Theoretical Computer Science (ENTCS)
Canonical scattered context generators of sentences with their parses
Theoretical Computer Science
Spiking neural P systems with extended rules: universality and languages
Natural Computing: an international journal
Theoretical Computer Science
Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions
Fundamenta Informaticae - Machines, Computations and Universality, Part I
Nondeterministic state complexity of nested word automata
Theoretical Computer Science
Sequential SNP systems based on min/max spike number
Theoretical Computer Science
Note: Existential MSO over two successors is strictly weaker than over linear orders
Theoretical Computer Science
Homogeneous Spiking Neural P Systems
Fundamenta Informaticae
Criteria for the matrix equivalence of words
Theoretical Computer Science
Skin output in P systems with minimal symport/antiport and two membranes
WMC'07 Proceedings of the 8th international conference on Membrane computing
On flip-flop membrane systems with proteins
WMC'07 Proceedings of the 8th international conference on Membrane computing
Inferring regular trace languages from positive and negative samples
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
A small universal splicing P system
CMC'10 Proceedings of the 11th international conference on Membrane computing
Possibilities for formal models of smart environments
DNCOCO'10 Proceedings of the 9th WSEAS international conference on Data networks, communications, computers
Left-most derivation and shadow-pushdown automata for context-sensitive languages
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Algorithmic applications of XPCR
Natural Computing: an international journal
Extended spiking neural p systems
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Towards a characterization of p systems with minimal symport/antiport and two membranes
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Tissue p systems with communication modes
WMC'06 Proceedings of the 7th international conference on Membrane Computing
P finite automata and regular languages over countably infinite alphabets
WMC'06 Proceedings of the 7th international conference on Membrane Computing
P systems with symport/antiport and time
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Beyond iteration vectors: instancewise relational abstract domains
SAS'06 Proceedings of the 13th international conference on Static Analysis
Counting time in computing with cells
DNA'05 Proceedings of the 11th international conference on DNA Computing
Computational power of symport/antiport: history, advances, and open problems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
On the rule complexity of universal tissue p systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Computing with spiking neural p systems: traces and small universal systems
DNA'06 Proceedings of the 12th international conference on DNA Computing
Length-separating test tube systems
DNA'06 Proceedings of the 12th international conference on DNA Computing
Tissue p systems with antiport rules and small numbers of symbols and cells
DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
Formal Methods in Software and Systems Modeling
Verification of tree updates for optimization
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
State complexity of the concatenation of regular tree languages
Theoretical Computer Science
Transition and halting modes in (tissue) p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
(Tissue) p systems with hybrid transition modes
WMC'09 Proceedings of the 10th international conference on Membrane Computing
A note on small universal spiking neural p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
An infinite hierarchy of languages defined by dP systems
Theoretical Computer Science
dP automata versus right-linear simple matrix grammars
WTCS'12 Proceedings of the 2012 international conference on Theoretical Computer Science: computation, physics and beyond
Asynchronous extended spiking neural p systems with astrocytes
CMC'11 Proceedings of the 12th international conference on Membrane Computing
CMC'11 Proceedings of the 12th international conference on Membrane Computing
A weakly universal spiking neural P system
Mathematical and Computer Modelling: An International Journal
Unidirectional derivation semantics for synchronous tree-adjoining grammars
DLT'12 Proceedings of the 16th international conference on Developments in Language Theory
On String Languages Generated by Spiking Neural P Systems
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Modelling Multiple Robots in Space: An Adaptive Eco-Grammar System
Fundamenta Informaticae - SPECIAL ISSUE ON DEVELOPMENTS IN GRAMMAR SYSTEMS
A Formal Language Analysis of DNA Hairpin Structures
Fundamenta Informaticae
Fundamenta Informaticae
Mild Context-Sensitivity, After Twenty Years
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Routes and Products of Monoids
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Theoretical Computer Science
On Total Contextual Grammars with Restricted Choice
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Parsing Local Internal Contextual Languages with Context-Free Choice
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Further Results on Contextual and Rewriting P Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Marcus External Contextual Grammars: From One to Many Dimensions
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
On Characterizing Recursively Enumerable Languages by Insertion Grammars
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
About Splicing P Systems with One Membrane
Fundamenta Informaticae
On the Power of P Systems with Contextual Rules
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
On the Power of P Systems with DNA-Worm-Objects
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
Controlled H Systems and Chomsky Hierarchy
Fundamenta Informaticae
Rough Set Approximations of Languages
Fundamenta Informaticae
A Characterization of Regular Languages as Equality Sets of HDT0L Sequences
Fundamenta Informaticae - Words, Graphs, Automata, and Languages; Special Issue Honoring the 60th Birthday of Professor Tero Harju
P systems with minimal left and right insertion and deletion
UCNC'12 Proceedings of the 11th international conference on Unconventional Computation and Natural Computation
(Tissue) p systems with decaying objects
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Turing computability and membrane computing
CMC'12 Proceedings of the 13th international conference on Membrane Computing
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Sequential p systems with regular control
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Time-free solution to SAT problem using P systems with active membranes
Theoretical Computer Science
Hi-index | 0.01 |