yusuke1997/dblp-id-title huggingface dataset:
Do Generative AI Assistants Enhance or Hinder Critical Thinking Skills in University Students?
A Tool for Automatic Generation of Data Mining Practice Environments
Human-in-the-loop Big Data and AI: Connecting Theories and Practices for a Better Future of Work (NII Shonan Meeting 154)
Theory and Practice of Data Plane Programming (NII Shonan Meeting 2018-4)
The Future of Multimedia Analysis and Mining (NII Shonan Meeting 2012-9)
Engineering Autonomic Systems (EASy) (NII Shonan Meeting 2012-3)
Putting Heterogeneous High-Performance Computing at the Fingertips of Domain Experts (NII Shonan Meeting 2015-18)
Current Trends in Combinatorial Optimization (NII Shonan Meeting 2016-7)
Visual Analytics: Towards Effective Human-Machine Intelligence (NII Shonan Meeting 2018-2)
Computational Intelligence for Software Engineering (NII Shonan Meeting 2014-13)
Compact Data structures for Big Data (NII Shonan Meeting 2013-10)
Self-supporting, Extensible Programming Languages and Environments for Exploratory, Live Software Development (NII Shonan Meeting 147)
Web Molecular Graphics: Emerging Technologies & Standards (NII Shonan Meeting 2018-19)
Workshop on Patient Similitude: Combining Histopathological Images & Multiple-Scale Molecular Phenotypes (NII Shonan Meeting 2018-17)
Towards the ground truth: Exact algorithms for bioinformatics research (NII Shonan Meeting 2014-2)
Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7)
Dimensionality and Scalability (NII Shonan Meeting 2013-4)
Algorithmic Randomness and Complexity (NII Shonan Meeting 2014-10)
Logic and Computational Complexity (NII Shonan Meeting 2017-13)
Hybrid Systems: Theory and Practice, Seriously (NII Shonan Meeting 2012-2)
International Symposium on Symbolic Systems Biology (NII Shonan Meeting 2011-7)
Knowledge-leveraged Computational Thinking through Natural Language Processing and Statistical Logic (NII Shonan Meeting 2011-4)
Learning to Communicate: Challenges in Language Learning by AI, Robots and Humans (NII Shonan Meeting 150)
Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14)
Cognitive Social Robotics: Intelligence based on Embodied Experience and Social Interaction (NII Shonan Meeting 2013-14)
Knot theory: Algorithms, complexity and computation (NII Shonan Meeting 2014-4)
Artificial General Intelligence in Games: Where Play Meets Design and User Experience (NII Shonan Meeting 130)
Recent Advances in Randomized Numerical Linear Algebra (NII Shonan Meeting 2016-10)
Quantitative methods in security and safety critical applications (NII Shonan Meeting 2012-10)
Asynchronous Circuit Design and its Applications: Past, Present and Future (NII Shonan Meeting 133)
Algorithms for Large Scale Graphs (NII Shonan Meeting 2014-12)
Data-Driven Search-Based Software Engineering (NII Shonan Meeting 2017-19)
Parallel Methods for Constraint Solving and Combinatorial Optimization (NII Shonan Meeting 2012-5)
Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7)
Intelligent Information Processing - Chances of Crowdsourcing (NII Shonan Meeting 2013-15)
Computation over Compressed Structured Data (NII Shonan Meeting 2017-15)
Algoritihmcs for Beyond Planar Graphs (NII Shonan Meeting 2016-17)
Diagrammatic methods for linear and nonlinear systems (NII Shonan Meeting 2018-18)
Programming Language Support for Emerging Memory Technologie (NII Shonan Meeting 181)
Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS) (NII Shonan Meeting 2017-11)
Modelling Cultural Processes (NII Shonan Meeting 132)
Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16)
Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143)
Immersive Analytics for Network and Trail Sets Data Analysis (NII Shonan Meeting 2018-20)
Automated Techniques for Higher-Order Program Verification (NII Shonan Meeting 2011-5)
Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14)
Trends and Perspectives for Graph Drawing and Network Visualization (NII Shonan Meeting 171)
Low level code analysis and applications to computer security (NII Shonan Meeting 2015-4)
Semantics and Verification of Object-Oriented Languages (NII Shonan Meeting 2015-13)
From natural to artificial embodied intelligence: is Deep Learning the solution (NII Shonan Meeting 137)
Big Data Visual Analytics (NII Shonan Meeting 2015-17)
Privacy by Transparency for Data-Centric Services (NII Shonan Meeting 2013-5)
Immersive Analytics: A new multidisciplinary initiative to explore future interaction technologies for data analytics (NII Shonan Meeting 2016-2)
Logical analysis of descriptions and their presentations - a computational logic approach (NII Shonan Meeting 2015-2)
Hybrid Quantum Devices (NII Shonan Meeting 2011-6)
Mining Software Repositories:Accomplishments, Challenges andFuture Trends (NII Shonan Meeting 2017-2)
Instruction and instructed action: Embodied reciprocity in interaction (NII Shonan Meeting 2015-6)
Programming Languages for Distributed Systems (NII Shonan Meeting 149)
Piecewise smooth system and optimization with piecewise linearization via algorithmic differentiation (NII Shonan Meeting 2018-9)
Dimensionality and Scalability II: Hands-On Intrinsic Dimensionality (NII Shonan Meeting 2015-9)
Multi-activity in Interaction: A Multimodal Perspective on the Complaexity of Human Action (NII Shonan Meeting 2013-1)
Data Dependent Dissimilarity Measures (NII Shonan Meeting 2018-13)
Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4)
Whole-Session Evaluation of Interactive Information Retrieval Systems (NII Shonan Meeting 2012-7)
Analytics on complex networks: scalable solutions for empirical questions (NII Shonan Meeting 2016-1)
Discrete Algorithms Meet Machine Learning (NII Shonan Meeting 2013-6)
Software Engineering for Machine Learning Systems (SEMLS) (NII Shonan Meeting 156)
Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6)
Interactive Visualization for Interpretable Machine Learning ~ Beyond Visualization and Steering of the Parametric Space (NII Shonan Meeting 161)
Cognitive Development and Symbol Emergence in Humans and Robots (NII Shonan Meeting 2016-14)
Intelligent Interaction with Autonomous Assistants in the Wild (NII Shonan Meeting 188)
Augmented Reality in Human-Computer Interaction (NII Shonan Meeting 2018-8)
Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering (NII Shonan Meeting 2017-1)
Processing Big Data Streams (NII Shonan Meeting 2017-7)
Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5)
Modelling and Analysing Resilient Cyber-Physical Systems (NII Shonan Meeting 2018-21)
Reimagining the Mental Map and Drawing Stability (NII Shonan Meeting 2018-12)
Mobile App Store Analytics (NII Shonan Meeting 2015-15)
Higher-order Complexity Theory and its Applications (NII Shonan Meeting 151)
Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16)
Synchronous Machine Translation (NII Shonan Meeting 2015-10)
Advances in Heterogeneous Computing from Hardware to Software (NII Shonan Meeting 2018-11)
Parameterized Graph Algorithms & Data Reduction: Theory Meets Practice (NII Shonan Meeting 144)
A Meeting of IT-enabled Services (ITeS) (NII Shonan Meeting 2012-6)
Release Engineering for Mobile Applications (NII Shonan Meeting 152)
Theory and Applications of Geometric Optimization (NII Shonan Meeting 2016-9)
Systems Resilience – Bridging the Gap Between Social and Mathematical (NII Shonan Meeting 2015-3)
Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16)
Algorithms and Optimization under Uncertainty (NII Shonan Meeting 2017-5)
Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2015-11)
Higher-Order Model Checking (NII Shonan Meeting 2016-4)
Social Issues in Computational Transportation Science (NII Shonan Meeting 2012-12)
Dependently Typed Programming (NII Shonan Meeting 2011-3)
Bidirectional Transformations, (NII Shonan Meeting 2016-13)
Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157)
Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11)
Functional Stream Libraries and Fusion: What's Next (NII Shonan Meeting 2018-14)
First International Symposium on Computer Behavioral Science (NII Shonan Meeting 2013-9)
Spoken Multimodal Dialogue Systems Technology for Pervasive Computing (NII Shonan Meeting 163)
Large-Scale Distributed Computation (NII Shonan Meeting 2012-1)
The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 153)
Grid and Cloud Security: A Confluence (NII Shonan Meeting 2012-8)
Computer Visualization - Concepts and Challenges (NII Shonan Meeting 2014-1)
Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1)
Geometric Graphs: Theory and Applications (NII Shonan Meeting 2017-16)
Big Graph Drawing: Metrics and Methods (NII Shonan Meeting 2015-1)
Big Data: Challenges and Opportunities for Disaster Recovery (NII Shonan Meeting 2016-6)
The Java Modeling Language (JML) (NII Shonan Meeting 2013-3)
Resilient Machine-to-Machine communication (NII Shonan Meeting 2018-6)
Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 2016-8)
Formalizing Biological and Medical Visualization (NII Shonan Meeting 167)
Causal Reasoning in Systems (NII Shonan Meeting 139)
Challenges for real-time human activity recognition (NII Shonan Meeting 2015-12)
Agda Implementors Meeting (NII Shonan Meeting 2011-2)
The NII Shonan Configurable Computing Workshop (NII Shonan Meeting 2012-11)
Deep Learning: Theory, Algorithms, and Applications (NII Shonan Meeting 2014-5)
Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications (NII Shonan Meeting 2017-18)
Enhanced coinduction (NII Shonan Meeting 2017-17)
Towards Explanation Production Combining Natural Language Processing and Logical Reasoning (NII Shonan Meeting 2014-15)
Towards Engineering Free/Libre OpenSource Software (FLOSS) Ecosystems forImpact and Sustainability (NII Shonan Meeting 2017-8)
Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7)
Mining & Modeling Unstructured Data in Software - Challenges for the Future (NII Shonan Meeting 2016-3)
Dynamic Networks Visual Analytics: Approaches to facilitate visual analysis of complex and dynamic network data (NII Shonan Meeting 2016-11)
Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16)
Grid and Cloud Security: A Confluence (NII Shonan Meeting 2014-3)
Software Analytics Principles and Practices (NII Shonan Meeting 2013-12)
Memory Abstraction, Emerging Techniques and Applications (NII Shonan Meeting 2017-12)
Perception in Augmented Reality (NII Shonan Meeting 2016-15)
The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) (NII Shonan Meeting 2017-10)
Web-based Molecular Graphics (NII Shonan Meeting 2016-12)
Multimodal Agents for Ageing and Multicultural Societies (NII Shonan Meeting 2018-15)
Graph Database Systems: Bridging Theory, Practice, and Engineering (NII Shonan Meeting 2018-10)
Graph Algorithm and Combinatorial Optimization (NII Shonan Meeting 2011-1)
Design Methods for Secure Hardware (NII Shonan Meeting 2014-11)
Language as Goal-Directed Sequential Behavior: Computational Theories, Brain Mechanisms, Evolutionary Roots (NII Shonan Meeting 141)
Optimization Methods in Geometric Vision (NII Shonan Meeting 140)
Water Disaster Management and Big Data (NII Shonan Meeting 2014-8)
Analysis and Verification of Pointer Programs (NII Shonan Meeting 2017-14)
Anonymization methods and inference attacks: theory and practice (NII Shonan Meeting 2018-5)
Distributed Graph Algorithms (NII Shonan Meeting 162)
The Future of Human-Robot Spoken Dialogue: from Information Services to Virtual Assistants (NII Shonan Meeting 2015-7)
Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146)
Static analysis meets runtime verification (NII Shonan Meeting 2015-5)
Language integrated queries: towards standard logics for big data analytics (NII Shonan Meeting 2017-6)
Parameterized Complexity and the Understanding, Design, and Analysis of Heuristics (NII Shonan Meeting 2013-2)
Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160)
The Moving Target of Visualization Software for an Ever More Complex World (NII Shonan Meeting 145)
Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4)
Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9)
Implicit Computational Complexity and Applications: Resource Control, Security, Real-Number Computation (NII Shonan Meeting 2013-13)
Summer School on Coq (NII Shonan Meeting 2014-9)
Many-cores and On-chip Interconnects (NII Shonan Meeting 2013-8)
Computational Metabolomics (NII Shonan Meeting 2017-3)
Analysing Large Collections of Time Series (NII Shonan Meeting 2018-3)
Adversarial Robustness in Hybrid Quantum-Classical Deep Learning for Botnet DGA Detection
How to Handle Excessively Anonymized Datasets
A Survey on the Internet-of-Things: Standards, Challenges and Future Prospects
Top- k Similarity Search over Gaussian Distributions Based on KL-Divergence
Equivalence Relations for the Synchronized Ambient Calculus
Building Fine-Grained Configurable ITRON Based RTOS
Verifying Network-level Properties for Large-scale Networks with Header Transformations in Realtime
Impact of Cryptocurrency Market Capitalization on Open Source Software Participation
Extraction of Feature Quantities Suitable for Distribution Visualization of Motion Capture Data
A Scheduling for Slotted-CSMA-based Wireless Mesh Networks to Reduce Delivery Delay
A Machine Learning Based Three-step Framework for Malicious URL Detection
Real-time Scheduling Algorithm with Execution Right Delegation for Multiprocessor
Improving the Efficiency in Multiple Object Tracking by Tracker Switching According to Occlusion States
A Matching Method for 3D CAD Models with Different Assembly Structures Using Projections of Weighted Components
Gossiping with Interference Constraints in Radio Chain Networks
Solving Block Low-Rank Matrix Eigenvalue Problems
New Secret Sharing Schemes Realizing General Access Structures
Link Prediction in Sparse Networks by Incidence Matrix Factorization
Self-assessment System for Generic Skills Using Rubrics and Checklists
Fast Preprocessing by Suffix Arrays for Managing Byte n-grams to Detect Malware Subspecies by Machine Learning
Image-to-Text Translation for Interactive Image Recognition: A Comparative User Study with Non-expert Users
Editor's Message to Special Issue of Young Researchers' Papers
A Classification of Intrusion Detection Systems in the Cloud
Magnet or Sticky? Measuring Project Characteristics from the Perspective of Developer Attraction and Retention
Adventures in Maze Folding Art
On the Ramsey Numbers for Trees versus Fans
An Application Framework for Trend Surfing System based on Multi-aspect, Multi-screen and Multimodal User Interface
Embodiment of Guidance Robot Encourages Conversation among Visitors
The Application of Zig-Zag Sampler in Sequential Markov Chain Monte Carlo
Fixing the Train-test Objective Discrepancy: Iterative Image Inpainting for Unsupervised Anomaly Detection
Editor's Message to Special Issue of Security and Privacy Challenges in Supporting the Digital Social Revolution
The 3.11 Disaster and Data
Regular and Multi-regular t -bonded Systems
Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic
Parameter Estimation for Support Vector Machines Using Markov Chain Monte Carlo Simulation
Quantitative Analysis of Mid-face Correction Treatment using Automated Image Analysis
Quality Assessment of Wikipedia Articles Using h -index
Using FIDO-based Authentication to Improve the Security of Software Supply Chains
A Privacy Preserving Protocol for Cloud-Based Implementation of Aware Agents
Editor's Message to Special Issue on Embedded Systems Engineering
Vantage Point Placement Based on Inference of AS-level Connections
A Division Strategy for Achieving Efficient Crowdsourcing Contest
Software Evaluation for Second Round Candidates in NIST Lightweight Cryptography
Computational Game Theory for Security and Sustainability
Improving the Performance of the Decision Boundary Making Algorithm via Outlier Detection
New General Secret Sharing Scheme Based on Unauthorized Subsets: Improvement of Information Rates for Specified Participants
Editor's Message to Special Issue on Computer Security Technologies against New Risks
An Ontology-based Framework for Semantic Reconciliation in Humanitarian Aid in Emergency Information Systems
Towards a Dataflow Platform in a Hierarchical Network: A Proposal for a Dataflow Component Management Method
Editor's Message to Special Issue of Network Services and Distributed Processing
Accumulative Secure Group Association in an Ad-hoc and Ubiquitous Network (Version 3.0)
Recommendation of Imputing Value for Sensor Data based on Programming by Example
Number of Fixed Points of k -Almost and k -Nearly Quadratic Digraphs Associated with x 2 ≡ y ± k (mod p ) where k ∈ {1,2,3} and p is an Odd Prime
Stetho Touch: Touch Action Recognition System by Deep Learning with Stethoscope Acoustic Sensing
Split-Paper Testing: A Novel Approach to Evaluate Programming Performance
Balancing Colored Points on a Line by Exchanging Intervals
PRSafe: A Domain Specific Language Created with LLVM
A Survey of Ground Truth Measurement Systems for Indoor Positioning
A Comprehensive Empirical Comparison of Domain Adaptation Methods for Neural Machine Translation
10 PDNSs 10 Colors: A Measurement Study of Protective DNS
Accumulator for Monotone Formulas and its Application to Anonymous Credential System
Particle-based Shallow Water Simulation with Splashes and Breaking Waves
MASG: Advanced Misuse Case Analysis Model with Assets and Security Goals
Compact Elliptic Curve Scalar Multiplication with a Secure Generality
Predictability of Network Robustness from Spectral Measures
Low-Complexity Exploration in Utility Hypergraphs
Ricochet Robots with Infinite Horizontal Board is Turing-complete
Characteristics Analysis of Posts Leading to Online Fraud and Crime on Social Media
Editor's Message to Special issue of Computer Security Technologies to be Indispensable to the Society
Provenance-Based Security Risk Assessment Framework
TMchain: A Blockchain-based Collaboration System for Teaching Materials
A Method for Computing the Minimum Common Feedback Set for a Multilayer Network and Its Application to Analysis of Biological Data
Simulating and Estimating the Effectiveness of Security Notification by ISP to Malware-Infected Users
Automatic Japanese Example Extraction for Flashcard-based Foreign Language Learning
The Development and Practice for Exhibiting an HCI Device in a Public Space - A Case Study of Sight: A Sonification Device Towards a Visual Perception without Eyes -
A Multi-core RTOS Benchmark Methodology To Assess System Services Under Contentions
System-level Design Method for Control Systems with Hardware-implemented Interrupt Handler
Editor's Message to Special Issue of "Students' and Young Researchers' Papers"
Practical Development of a LINE Chatbot cooperating with a Laboratory Website using Amazon Web Services
Editor's Message to Special issue on Network Services and Distributed Processing
Personal Authentication for Periocular Region in Thermal and Visible Light Images by Using CNN
Toward Collaborative Defense Across Organizations
Promotion Condition Optimization based on Application Features in Generational GC of Android Application Runtime
Editor's Message to Special Issue of Understanding, Technology, and Application of Interaction
Parallelization of Matrix Partitioning in Construction of Hierarchical Matrices using Task Parallel Languages
Selecting Iconic Gesture Forms Based on Typical Entity Images
A Compact Code for Rectangular Drawings with Degree Four Vertices
Recognition Accuracy Improvement of Obfuscated QR Code by Using Reliability Information and GMD Decoding
Acceptability Evaluation of Inter-driver Interaction via a Vehicle Agent Using Vehicle-to-Vehicle Communication on a Driving Simulator
Energy Reduction of BTB by Focusing on Number of Branches per Cache Line
Transforming Graphs with the Same Graphic Sequence
MAX-MIN Ant System with Memory Considering New Solution Importance
Routing of Carrier-vehicle Systems with Dedicated Last-stretch Delivery Vehicle and Fixed Carrier Route
A Predictive Model to Evaluate Student Performance
Public Data Dissemination via Broadcasting
Mining Words in the Minds of Second Language Learners for Learner-specific Word Difficulty
A NIC-driven Architecture for High-speed IP Packet Forwarding on General-purpose Servers
Recognizing and Understanding Nursing Activities for a Whole Day with a Big Dataset
Anti-Slide
A Distributed Scheduling through Queue-length Exchange in CSMA-based Wireless Mesh Networks
Data Augmentation to Build High Performance DNN for In-bed Posture Classification
Assigning Keywords to Automatically Extracted Personal Cliques from Social Networks
Review on Kernel based Target Tracking for Autonomous Driving
Flexible Imputation Method for Sensor Data based on Programming by Example: APREP-S
Edge Matching with Inequalities, Triangles, Unknown Shape, and Two Players
Editor's Message to Special Issue of the Internet and Operation Technologies for Utilization of IoT
Secure Authentication Key Sharing between Personal Mobile Devices Based on Owner Identity
The Measurement of Dialogue: From a Case Study of the Workshop Using World Café as a Collective Dialogue Method
Editor's Message to Special Issue of Ubiquitous Computing Systems (X)
Numerical Behavior of Mixed Precision Iterative Refinement Using the BiCGSTAB Method
A Remote Communication System to Provide "Out Together Feeling"
Effective Route Scheme of Multicast Probing to Locate High-loss Links in OpenFlow Networks
Maneuver and Turn Classification in Wheelchair Basketball Using Inertial Sensors
Tetris is NP-hard even with O (1) Rows or Columns
Virtual Machine Co-migration for Out-of-band Remote Management
Editor's Message to Special Issue on Regional Contribution and Reconstruction
Multi-objective Optimization Models for Many-to-one Matching Problems
Clustering and Visualizing Functionally Similar Regions in Large-Scale Spatial Networks
Call-trail Dependent Inline Caching for a Scoping Mechanism of Class Extensions
S YNTH BX: An Example-guided Synthesizer for Bidirectional Programs on Relations
Continuous Flattening of Non-convex Quadrangular Pyramids with Every Edge Rigid
Hitori Numbers
Survey and Analysis on ATT&CK Mapping Function of Online Sandbox for Understanding and Efficient Using
Vertical Error Correction Using Classification of Transitions between Sequential Reading Segments
The POC Orientation Number on Vertex Weighted Spiders
Instance Segmentation Model Retrieval using Performance Prediction and Learning to Rank
Adaptive Message Prioritization for Vehicular Cooperative Perception at Target Intervals
Application of ICT to Support Sustainable Fisheries Management: Bali Sardine Fishery, Indonesia
Supervised Approaches for Japanese Wikification
Computational Complexity of Envy-free and Exchange-stable Seat Arrangement Problems on Grid Graphs
Scalar Replacement Considering Branch Divergence
Uncertainty-aware Personalized Readability Assessment Framework for Second Language Learners
A Reputation System that Resists a Collusive Attack Focused on a Specific Target
Efficient Curation of ICS Cybersecurity Information Using Large Language Models
Automotive Security on Abnormal Vehicle Behavior Using Only Fabricated Informative CAN Messages
Ensuring Privacy during Pervasive Logging by a Passerby
Generation of IDS Signatures through Exhaustive Execution Path Exploration in PoC Codes for Vulnerabilities
Cannibal Animal Games: a new variant of Tic-Tac-Toe