Yo-Sub Han

Orcid: 0000-0002-7211-6657

Affiliations:
  • Yonsei University, Korea


According to our database1, Yo-Sub Han authored at least 154 papers between 2005 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
CodeComplex: A Time-Complexity Dataset for Bilingual Source Codes.
CoRR, 2024

2023
ARED: automata-based runtime estimation for distributed systems using deep learning.
Clust. Comput., October, 2023

On Simon's congruence closure of a string.
Theor. Comput. Sci., September, 2023

Deciding path size of nondeterministic (and input-driven) pushdown automata.
Theor. Comput. Sci., 2023

An Empirical Study on Multimodal Activity Clustering of Android Applications.
IEEE Access, 2023

Smaller Representation of Compiled Regular Expressions.
Proceedings of the Implementation and Application of Automata, 2023

M-equivalence of Parikh Matrix over a Ternary Alphabet.
Proceedings of the Implementation and Application of Automata, 2023

Automated Grading of Regular Expressions.
Proceedings of the Programming Languages and Systems, 2023

ConPrompt: Pre-training a Language Model with Machine-Generated Data for Implicit Hate Speech Detection.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

ATHENA: Mathematical Reasoning with Thought Expansion.
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

GDA: Grammar-based Data Augmentation for Text Classification using Slot Information.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

Contrastive Learning with Keyword-based Data Augmentation for Code Search and Code Question Answering.
Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, 2023

On the Simon's Congruence Neighborhood of Languages.
Proceedings of the Developments in Language Theory - 27th International Conference, 2023

Weak Inverse Neighborhoods of Languages.
Proceedings of the Developments in Language Theory - 27th International Conference, 2023

Existential and Universal Width of Alternating Finite Automata.
Proceedings of the Descriptional Complexity of Formal Systems, 2023

JIDECA: Jointly Improved Deep Embedded Clustering for Android activity.
Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2023

2022
Neuro-Symbolic Regex Synthesis Framework via Neural Example Splitting.
CoRR, 2022

LST: Lexicon-Guided Self-Training for Few-Shot Text Classification.
CoRR, 2022

How to Settle the ReDoS Problem: Back to the Classical Automata Theory.
Proceedings of the Implementation and Application of Automata, 2022

Simon's Congruence Pattern Matching.
Proceedings of the 33rd International Symposium on Algorithms and Computation, 2022

On the Decidability of Infix Inclusion Problem.
Proceedings of the Developments in Language Theory - 26th International Conference, 2022

Boosting Code Summarization by Embedding Code Structures.
Proceedings of the 29th International Conference on Computational Linguistics, 2022

Generalizable Implicit Hate Speech Detection Using Contrastive Learning.
Proceedings of the 29th International Conference on Computational Linguistics, 2022

ALP: Data Augmentation Using Lexicalized PCFGs for Few-Shot Text Classification.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Closest substring problems for regular languages.
Theor. Comput. Sci., 2021

A general architecture of oritatami systems for simulating arbitrary finite automata.
Theor. Comput. Sci., 2021

Impossibility of strict assembly of infinite fractals by oritatami.
Nat. Comput., 2021

Generalizations of Code Languages with Marginal Errors.
Int. J. Found. Comput. Sci., 2021

Left is Better Than Right for Reducing Nondeterminism of NFAs.
Int. J. Found. Comput. Sci., 2021

Consensus string problem for multiple regular languages.
Inf. Comput., 2021

MultiFix: Learning to Repair Multiple Errors by Optimal Alignment Learning.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

Self-Training using Rules of Grammar for Few-Shot NLU.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

Do Bugs Propagate? An Empirical Analysis of Temporal Correlations Among Software Bugs.
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

Most Pseudo-copy Languages Are Not Context-Free.
Proceedings of the Computing and Combinatorics - 27th International Conference, 2021

SALNet: Semi-supervised Few-Shot Text Classification with Attention-based Lexicon Construction.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Transcript design problem of oritatami systems.
Nat. Comput., 2020

Computing the Shortest String and the Edit-Distance for Parsing Expression Languages.
Proceedings of the Developments in Language Theory - 24th International Conference, 2020

SW Runtime Estimation using Automata Theory and Deep Learning on HPC.
Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2019
Alignment distance of regular tree languages.
Theor. Comput. Sci., 2019

Ruleset optimization on isomorphic oritatami systems.
Theor. Comput. Sci., 2019

Site-directed insertion: Language equations and decision problems.
Theor. Comput. Sci., 2019

Bound-decreasing duplication system.
Theor. Comput. Sci., 2019

Self-Attraction Removal from Oritatami Systems.
Int. J. Found. Comput. Sci., 2019

Cyclic Oritatami Systems Cannot Fold Infinite Fractal Curves.
CoRR, 2019

SoftRegex: Generating Regex from Natural Language Descriptions using Softened Regex Equivalence.
Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, 2019

The Relative Edit-Distance Between Two Input-Driven Languages.
Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity.
Proceedings of the Descriptional Complexity of Formal Systems, 2019

Online Infix Probability Computation for Probabilistic Finite Automata.
Proceedings of the 57th Conference of the Association for Computational Linguistics, 2019

2018
Nondeterministic seedless oritatami systems and hardness of testing their equivalence.
Nat. Comput., 2018

Growth Rate of Minimum Branching.
J. Autom. Lang. Comb., 2018

An abusive text detection system based on enhanced abusive and non-abusive word lists.
Decis. Support Syst., 2018

OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems.
CoRR, 2018

Online Stochastic Pattern Matching.
Proceedings of the Implementation and Application of Automata, 2018

Incremental Computation of Infix Probabilities for Probabilistic Finite Automata.
Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, Brussels, Belgium, October 31, 2018

Construction of Geometric Structure by Oritatami System.
Proceedings of the DNA Computing and Molecular Programming - 24th International Conference, 2018

Site-Directed Deletion.
Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

Site-Directed Insertion: Decision Problems, Maximality and Minimality.
Proceedings of the Descriptional Complexity of Formal Systems, 2018

2017
Outfix-guided insertion.
Theor. Comput. Sci., 2017

Pseudoknot-generating operation.
Theor. Comput. Sci., 2017

State complexity of permutation on finite languages over a binary alphabet.
Theor. Comput. Sci., 2017

Preface.
Int. J. Found. Comput. Sci., 2017

State Complexity of k-Parallel Tree Concatenation.
Fundam. Informaticae, 2017

Ambiguity, Nondeterminism and State Complexity of Finite Automata.
Acta Cybern., 2017

Deduplication on Finite Automata and Nested Duplication Systems.
Proceedings of the Unconventional Computation and Natural Computation, 2017

Edit-Distance Between Visibly Pushdown Languages.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Template-Based Pattern Matching in Two-Dimensional Arrays.
Proceedings of the Combinatorial Image Analysis - 18th International Workshop, 2017

2016
State complexity of inversion operations.
Theor. Comput. Sci., 2016

Pseudo-inversion: closure properties and decidability.
Nat. Comput., 2016

Duplications and Pseudo-Duplications.
Int. J. Unconv. Comput., 2016

State Complexity of Regular Tree Languages for Tree Matching.
Int. J. Found. Comput. Sci., 2016

Operational State Complexity of Subtree-Free Regular Tree Languages.
Int. J. Found. Comput. Sci., 2016

State Complexity of Insertion.
Int. J. Found. Comput. Sci., 2016

Approximate matching between a context-free grammar and a finite-state automaton.
Inf. Comput., 2016

State Complexity of Basic Operations on Non-Returning Regular Languages.
Fundam. Informaticae, 2016

OMPPM: online multiple palindrome pattern matching.
Bioinform., 2016

State complexity of deletion and bipolar deletion.
Acta Informatica, 2016

Inferring a Relax NG Schema from XML Documents.
Proceedings of the Language and Automata Theory and Applications, 2016

Outfix-Guided Insertion - (Extended Abstract).
Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015
Non-overlapping inversion on strings and languages.
Theor. Comput. Sci., 2015

Alignment with non-overlapping inversions and translocations on two strings.
Theor. Comput. Sci., 2015

State Complexity of <i>k</i>-Union and <i>k</i>-Intersection for Prefix-Free Regular Languages.
Int. J. Found. Comput. Sci., 2015

State Complexity of Boundary of Prefix-Free Regular Languages.
Int. J. Found. Comput. Sci., 2015

A Recommendation Model Using the Bandwagon Effect for E-Marketing Purposes in IoT.
Int. J. Distributed Sens. Networks, 2015

State Complexity of Kleene-Star Operations on Regular Tree Languages.
Acta Cybern., 2015

Frequent Pattern Mining with Non-overlapping Inversions.
Proceedings of the Language and Automata Theory and Applications, 2015

The State Complexity of Permutations on Finite Languages over Binary Alphabets.
Proceedings of the Descriptional Complexity of Formal Systems, 2015

2014
Decidability of involution hypercodes.
Theor. Comput. Sci., 2014

A Speculative Parallel DFA Membership Test for Multicore, SIMD and Cloud Computing Environments.
Int. J. Parallel Program., 2014

Alignment with Non-overlapping Inversions on Two Strings.
Proceedings of the Algorithms and Computation - 8th International Workshop, 2014

Pseudo-inversion on Formal Languages.
Proceedings of the Unconventional Computation and Natural Computation, 2014

Online Multiple Palindrome Pattern Matching.
Proceedings of the String Processing and Information Retrieval, 2014

Parallel CYK Membership Test on GPUs.
Proceedings of the Network and Parallel Computing, 2014

Top-Down Tree Edit-Distance of Regular Tree Languages.
Proceedings of the Language and Automata Theory and Applications, 2014

Analyzing Item Features for Cold-Start Problems in Recommendation Systems.
Proceedings of the 2014 Tenth International Conference on Intelligent Information Hiding and Multimedia Signal Processing, 2014

Space-Efficient Approximate String Matching Allowing Inversions in Fast Average Time.
Proceedings of the Frontiers in Algorithmics - 8th International Workshop, 2014

State Complexity of Deletion.
Proceedings of the Developments in Language Theory - 18th International Conference, 2014

State Complexity of Regular Tree Languages for Tree Pattern Matching.
Proceedings of the Descriptional Complexity of Formal Systems, 2014

State Complexity of Combined Operations for Prefix-Free Regular Languages.
Proceedings of the Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)., 2014

2013
State complexity of combined operations for suffix-free regular languages.
Theor. Comput. Sci., 2013

The Edit-Distance between a Regular Language and a Context-Free Language.
Int. J. Found. Comput. Sci., 2013

An Improved Prefix-Free Regular-Expression Matching.
Int. J. Found. Comput. Sci., 2013

State Elimination Heuristics for Short Regular Expressions.
Fundam. Informaticae, 2013

Representative reviewers for Internet social media.
Expert Syst. Appl., 2013

Identifying representative ratings for a new item in recommendation system.
Proceedings of the 7th International Conference on Ubiquitous Information Management and Communication, 2013

State Complexity of k-Union and k-Intersection for Prefix-Free Regular Languages.
Proceedings of the Descriptional Complexity of Formal Systems, 2013

State Complexity of Subtree-Free Regular Tree Languages.
Proceedings of the Descriptional Complexity of Formal Systems, 2013

2012
Analysis of a cellular automaton model for car traffic with a junction.
Theor. Comput. Sci., 2012

A movie recommendation algorithm based on genre correlations.
Expert Syst. Appl., 2012

Computing User Reputation in a Social Network of Web 2.0.
Comput. Informatics, 2012

A recommendation system based on a subset of raters.
Proceedings of the 6th International Conference on Ubiquitous Information Management and Communication, 2012

Computing the Edit-Distance between a Regular Language and a Context-Free Language.
Proceedings of the Developments in Language Theory - 16th International Conference, 2012

2011
Overlap-Free Languages and solid Codes.
Int. J. Found. Comput. Sci., 2011

A Cellular Automaton Model for Car Traffic with a Form-One-Lane Rule.
Proceedings of the Implementation and Application of Automata, 2011

Analyzing category correlations for recommendation system.
Proceedings of the 5th International Conference on Ubiquitous Information Management and Communication, 2011

A Smart Movie Recommendation System.
Proceedings of the Human Interface and the Management of Information. Interacting with Information, 2011

Generalized One-Unambiguity.
Proceedings of the Developments in Language Theory - 15th International Conference, 2011

2010
On the Linear Number of Matching Substrings.
J. Univers. Comput. Sci., 2010

Nondeterministic State Complexity for Suffix-Free Regular Languages
Proceedings of the Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, 2010

Identifying Representative Reviewers in Internet Social Media.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2010

2009
Considering Resource Management in Agent-Based Virtual Organization.
Proceedings of the Intelligent Agents in the Evolution of Web and Applications, 2009

Nondeterministic state complexity of nested word automata.
Theor. Comput. Sci., 2009

State complexity of basic operations on suffix-free regular languages.
Theor. Comput. Sci., 2009

Adaptability in an agent-based virtual organisation.
Int. J. Agent Oriented Softw. Eng., 2009

Nondeterministic State Complexity of Basic Operations for Prefix-Free Regular Languages.
Fundam. Informaticae, 2009

Implementation of State Elimination Using Heuristics.
Proceedings of the Implementation and Application of Automata, 2009

State Complexity of Combined Operations for Prefix-Free Regular Languages.
Proceedings of the Language and Automata Theory and Applications, 2009

Evaluation of User Reputation on YouTube.
Proceedings of the Online Communities and Social Computing, 2009

User Reputation Evaluation Using Co-occurrence Feature and Collective Intelligence.
Proceedings of the Online Communities and Social Computing, 2009

Operational State Complexity of Prefix-Free Regular Languages.
Proceedings of the Automata, Formal Languages, and Related Topics, 2009

2008
State Complexity of Union and Intersection of Finite Languages.
Int. J. Found. Comput. Sci., 2008

Generalizations of 1-deterministic regular languages.
Inf. Comput., 2008

Adaptability in an Agent-Based Virtual Organization - Towards Implementation.
Proceedings of the Web Information Systems and Technologies, 4th International Conference, 2008

Adaptive Information Provisioning in an Agent-Based Virtual Organization-Ontologies in the System.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2008

Ontological matchmaking in a Duty Trip Support application in a virtual organization.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

Infrastructure for Ontological Resource Matching in a Virtual Organization.
Proceedings of the Intelligent Distributed Computing, Systems and Applications, Proceedings of the 2nd International Symposium on Intelligent Distributed Computing, 2008

A ranking algorithm for user-generated video contents based on social activities.
Proceedings of the Third IEEE International Conference on Digital Information Management (ICDIM), 2008

On Resource Profiling and Matching in an Agent-Based Virtual Organization.
Proceedings of the Artificial Intelligence and Soft Computing, 2008

Generic Framework for Agent Adaptability and Utilization in a Virtual Organization - Preliminary Considerations.
Proceedings of the ENASE 2008, 2008

2007
Prefix-free regular languages and pattern matching.
Theor. Comput. Sci., 2007

Obtaining shorter regular expressions from finite-state automata.
Theor. Comput. Sci., 2007

On the existence of prime decompositions.
Theor. Comput. Sci., 2007

Simple-Regular Expressions and Languages.
J. Autom. Lang. Comb., 2007

Outfix-Free Regular Languages and Prime Outfix-Free Decomposition.
Fundam. Informaticae, 2007

Intercode Regular Languages.
Fundam. Informaticae, 2007

Decision Algorithms for Subfamilies of Regular Languages using State-Pair Graphs.
Bull. EATCS, 2007

Generalizations of One-Deterministic Regular Languages.
Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

2006
Infix-free Regular Expressions and Languages.
Int. J. Found. Comput. Sci., 2006

Prime Decompositions of Regular Languages.
Proceedings of the Developments in Language Theory, 10th International Conference, 2006

State Complexity of Prefix-Free Regular Languages.
Proceedings of the 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21, 2006

Overlap-Free Regular Languages.
Proceedings of the Computing and Combinatorics, 12th Annual International Conference, 2006

2005
The generalization of generalized automata: expression automata.
Int. J. Found. Comput. Sci., 2005

Shorter Regular Expressions from Finite-State Automata.
Proceedings of the Implementation and Application of Automata, 2005

A New Linearizing Restriction in the Pattern Matching Problem.
Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005

Prefix-Free Regular-Expression Matching.
Proceedings of the Combinatorial Pattern Matching, 16th Annual Symposium, 2005


  Loading...