2023-10 |
ARED: automata-based runtime estimation for distributed systems using deep learning |
Cluster Computing
|
2023-09 |
On Simon's congruence closure of a string |
Theoretical Computer Science
|
2023-05 |
An Empirical Study on Multimodal Activity Clustering of Android Applications |
IEEE Access
|
2023-01 |
Deciding path size of nondeterministic (and input-driven) pushdown automata |
Theoretical Computer Science
|
2022-04 |
뉴럴 네트워크를 활용한 지식 정보 검색 연구 현황 |
디지털문화아카이브지
|
2022-04 |
신장 트리 오토마타 기반의 효율적인 Markush 화합물 매칭 알고리즘 |
정보과학회 컴퓨팅의 실제 논문지
|
2021-08 |
Left is better than right for reducing nondeterminism of NFAs |
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
|
2021-08 |
Generalizations of Code Languages with Marginal Errors |
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
|
2021-08 |
Consensus string problem for multiple regular languages |
INFORMATION AND COMPUTATION
|
2021-05 |
A general architecture of oritatami systems for simulating arbitrary finite automata |
THEORETICAL COMPUTER SCIENCE
|
2021-03 |
Closest substring problems for regular languages |
THEORETICAL COMPUTER SCIENCE
|
2020-06 |
Transcript design problem of oritatami systems |
NATURAL COMPUTING
|
2019-12 |
Site-directed insertion: Language equations and decision problems |
THEORETICAL COMPUTER SCIENCE
|
2019-11 |
Bound-decreasing duplication system |
THEORETICAL COMPUTER SCIENCE
|
2019-10 |
Alignment distance of regular tree languages |
THEORETICAL COMPUTER SCIENCE
|
2019-09 |
Self-Attraction Removal from Oritatami Systems |
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
|
2019-09 |
Ruleset optimization on isomorphic oritatami systems |
THEORETICAL COMPUTER SCIENCE
|
2018-09 |
An abusive text detection system based on enhanced abusive and non-abusive word lists |
DECISION SUPPORT SYSTEMS
|
2018-03 |
Nondeterministic seedless oritatami systems and hardness of testing their equivalence |
NATURAL COMPUTING
|
2017-11 |
Outfix-guided insertion |
THEORETICAL COMPUTER SCIENCE
|
2017-10 |
Pseudoknot-generating operation |
THEORETICAL COMPUTER SCIENCE
|
2017-08 |
State complexity of k-parallel tree concatenation |
FUNDAMENTA INFORMATICAE
|
2017-06 |
State complexity of permutation on finite languages over a binary alphabet |
THEORETICAL COMPUTER SCIENCE
|
2017-05 |
Ambiguity, nondeterminism and state complexity of finite automata |
Acta Cybernetica
|
2016-12 |
State Complexity of Regular Tree Languages for Tree Matching |
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
|
2016-11 |
State complexity of insertion |
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
|
2016-09 |
Operational State Complexity of Subtree-Free Regular Tree Languages |
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
|
2016-05 |
Duplications and pseudo-duplications |
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING
|
2016-04 |
OMPPM: Online multiple palindrome pattern matching |
BIOINFORMATICS
|
2016-04 |
Approximate matching between a context-free grammar and a finite-state automaton |
INFORMATION AND COMPUTATION
|
2016-03 |
State Complexity of Basic Operations on Non-Returning Regular Languages |
FUNDAMENTA INFORMATICAE
|
2016-03 |
Pseudo-inversion: closure properties and decidability |
NATURAL COMPUTING
|
2016-02 |
State complexity of deletion and bipolar deletion |
ACTA INFORMATICA
|
2016-01 |
State complexity of inversion operations |
THEORETICAL COMPUTER SCIENCE
|
2015-11 |
State complexity of Kleene-star operations on regular tree languages |
Acta Cybernetica
|
2015-09 |
State Complexity of Boundary of Prefix-Free Regular Language |
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
|
2015-08 |
Non-overlapping inversion on strings and languages |
THEORETICAL COMPUTER SCIENCE
|
2015-07 |
A Recommendation Model Using the Bandwagon Effect for E-Marketing Purposes in IoT |
INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS
|
2015-04 |
Alignment with non-overlapping inversions and translocations on two strings |
THEORETICAL COMPUTER SCIENCE
|
2015-02 |
State Complexity of k-Union and k-Intersection for Prefix-Free Regular Languages |
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
|
2014-09 |
Decidability of involution hypercodes |
THEORETICAL COMPUTER SCIENCE
|
2014-06 |
A Speculative Parallel DFA Membership Test for Multicore, SIMD and Cloud Computing Environments |
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING
|
2013-11 |
THE EDIT-DISTANCE BETWEEN A REGULAR LANGUAGE AND A CONTEXT-FREE LANGUAGE |
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
|
2013-11 |
State Elimination Heuristics for Short Regular Expressions |
FUNDAMENTA INFORMATICAE
|
2013-10 |
State complexity of combined operations for suffix-free regular languages |
THEORETICAL COMPUTER SCIENCE
|
2013-08 |
AN IMPROVED PREFIX-FREE REGULAR-EXPRESSION MATCHING |
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
|
2013-03 |
Representative reviewers for Internet social media |
Expert Systems with Applications
|
2012-09 |
Analysis of a cellular automaton model for car traffic with a junction |
THEORETICAL COMPUTER SCIENCE
|
2012-07 |
A movie recommendation algorithm based on genre correlations |
Expert Systems with Applications
|
2012-06 |
정규 언어와 문맥 자유 언어 사이의 편집 거리 계산 |
정보과학회논문지 : 컴퓨팅의 실제 및 레터
|
2012-04 |
COMPUTING USER REPUTATION IN A SOCIAL NETWORK OF WEB 2.0 |
COMPUTING AND INFORMATICS
|
2011-08 |
OVERLAP-FREE LANGUAGES AND SOLID CODES |
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
|
2010-09 |
Ranking Parameters based on Social Network for User-generated Video Contents |
Information-An International Interdisciplinary Journal
|
2010-03 |
On the Linear Number of Matching Substrings |
Journal Of Universal Computer Science
|
2009-08 |
Nondeterministic state complexity of nested word automata |
Theoretical Computer Science
|
2009-06 |
State complexity of basic operations on suffix-free regular languages |
Theoretical Computer Science
|
2009-03 |
Nondeterministic State Complexity of Basic Operations for Prefix-Free Regular Languages |
Fundamenta Informaticae
|
2008-09 |
Generalizations of 1-deterministic regular languages |
Information And Computation
|
2007-01 |
Prefix-free regular languages and pattern matching |
THEORETICAL COMPUTER SCIENCE
|