yusuke1997/dblp-id-title huggingface dataset:
Stable Models for Stubborn Sets
Types for Active Objects with Static Deadlock Prevention
Concurrency in Mobile Object Net Systems
Deciding Whether or Not a Synchronous Relation is Regular Prefix
An Application of Deontic Logic to Information System Constraints
A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms
Distributed Verification with LoLA
Dynamic Error Handling in Service Oriented Applications
RIONA: A New Classification System Combining Rule Induction and Instance-Based Learning
Sets, Sentences, and Some Logics about Imperatives
A New Channel for Image Hiding Based on Interpolating polynomials
Self-describing Turing machines
Lambda Calculus Characterizations of Poly-Time
Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets
Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces
On Rotation Distance of Rank Bounded Trees
Gathering over Meeting Nodes in Infinite Grid *
Approximation Spaces and Nearness Type Structures
Regexpcount, a symbolic package for counting problems on regular expressions and words
Algebraic Framework for the Specification and Analysis of Cryptographic-Key Distribution
Recognizing Visibility Graphs of Triangulated Irregular Networks
On The Complexity of Counter Reachability Games
On the Problem Whether the Image of an N-Rational Series Equals
An Axiomatization of the Token Game Based on Petri Algebras
Pure Strategies in Imperfect Information Stochastic Games
Logic Based Programmed Structure Rewriting Systems
A Proof of Plotkin's Conjecture
Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems
Evolutionary Approach to Data Discretization for Rough Sets Theory
Two-Way Reversible Multi-Head Finite Automata
Extractive Support Vector Algorithm on Support Vector Machines for Image Restoration
Visibly Pushdown Automata and Transducers with Counters
Inductive types in the Calculus of Algebraic Constructions
Maintenance and Discovery of Domain Knowledge for Nursing Care using Data in Hospital Information System
Arithmetic classification of perfect models of stratified programs
Self-Correcting Neural Network for Stereo-matching Problem Solving
New Semantical Insights Into Call-by-Value λ-Calculus
Clustering Geometrically-Modeled Points in the Aggregated Uncertainty Model
Properties Complementary to Program Self-Reference
Working with the Past: Integrating History in Petri Nets
Analysis of Approximate Petri Nets by Means of Occurrence Graphs
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker
Nondeterminism in Constructive Z
The Incremental Maintenance of Transition Tour
$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems
Analysis of Riccati Differential Equations within a New Fractional Derivative without Singular Kernel
A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems
On the Average-Case Complexity of the Graph Reliability Problem on Gaussian Distributions
A Secure Data Forwarding Protocol for Data Statistic Services in Multi-Hop Marine Sensor Networks
Relation-Algebraic Verification of Disjoint-Set Forests
Selected Algorithms of Machine Learning from Examples
Pairwise Comparisons Based Non-Numerical Ranking
Improved Decomposition of Signal Transition Graphs
Linear Properties of Zero-Safe Nets with Debit Tokens
Multi Lingual Sequent Calculus and Coherent Spaces
Two-Dimensional Limited Context Restarting Automata
Center-Based Indexing in Vector and Metric Spaces
A Tuning Machine for Cooperative Problem Solving
Complex Patterns
Radial View of Continuous Cellular Automata
Security in a Model for Long-running Transactions
Context Hypothesization Using Probabilistic Knowledge
Satisfiability versus Finite Satisfiability in Elementary Modal Logics
Faster Algorithms for Computing Maximal Multirepeats in Multiple Sequences
An Algorithmic Approach to Tilings of Hyperbolic Spaces: Universality Results
Minimal-Maximal Time Cause-Effect Structures
Universal Query Language for Unified State Model
Particle Swarms for Linearly Constrained Optimisation
A Fast and Automated Granulometric Image Analysis Based on Digital Geometry
The Topos of Labelled Trees: A Categorical Semantics for SCCS
A Framework for the Verification of Parameterized Infinite-state Systems
Investigating Reversibility of Steps in Petri Nets
On the Multiplicative Complexity of Boolean Functions
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
Substructural Meta-Theory of a Type-Safe Language for Web Programming
On General Solution for Fractional Differential Equations with Not Instantaneous Impulses
Context Shifts and Clashes in Dialogues: An Active Logic Perspective
Multiple regularity and binary ETOL-systems
An Experimental Comparison of Three Probabilistic Approximations Used for Rule Induction
Discovering the Radio Signal Coverage Hole and Weak Coverage Area in Mobile Network by Spatiotemporal Data Mining on Location-Based Services
Normalized Decision Functions and Measures for Inconsistent Decision Tables Analysis
The Kernel of a Relational Morphism of Categories
Maximal and Minimal Dynamic Petri Net Slicing
Decomposition and Approximation of Loopy Bayesian Networks
Solvability of the Halting and Reachability Problem for Binary 2-tag Systems
Pebble Automata. Figures Families Recognition and Universality
Cellular Devices and Unary Languages
A Robust Content-Based Copy Detection Scheme
Constraint-Based Approach to Semistructured Data
A Lower Bound for the HBC Transversal Hypergraph Generation
From Concept Lattices to Approximation Spaces: Algebraic Structures of Some Spaces of Partial Objects
Comparing Refinements for Failure and Bisimulation Semantics
Formal Description of Alvis Language with α 0 System Layer
Three-dimensional Cellular Automata for Reaction-Diffusion Systems
Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete
Characterising Concurrent Histories
Identity-based Signatures from Lattices: Simpler, Faster, Shorter
Self-organized Patterning by Diffusible Factors: Roles of a Community Effect
On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics
Reducibility Proofs in the λ-Calculus
CospanSpan(Graph): a Compositional Description of the Heart System
Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays
Representability of Pairing Relation Algebras Depends on your Ontology
Tabular Expressions and Their Relational Semantics
On Liveness and Reversibility of Equal-Conflict Petri Nets
Proving Confluence in the Confluence Framework with CONFident
Autonomous Units to Model Interacting Sequential and Parallel Processes
Generalizations of Pixel-Value Differencing Steganography for Data Hiding in Images
Fast Scalar Multiplications on the Curve v 2 = u p - au - b over the Finite Field of Characteristic p
Quantifying Security for Timed Process Algebras
Graph Processes
Algorithm for Generating Primes p and q Such that q Divides p4 ± p3 + p2 ± p + 1
Complex Algebras of Arithmetic
Cubic Algorithm to Compute the Dynkin Type of a Positive Definite Quasi-Cartan Matrix
Solving SUBSET SUM by Spiking Neural P Systems with Pre-computed Resources
Limits of Modularity
Full-Searching-Equivalent Vector Quantization Using Two-Bounds Triangle Inequality
Congruences of Edge-bipartite Graphs with Applications to Grothendieck Group Recognition I. Inflation Algorithm Revisited
Using Ontologies and Algebra of Algorithms for Formalized Development of Parallel Programs
Strategy-proof Cake Cutting Mechanisms for All-or-nothing Utility
On the Generative Capacity of Certain Classes of Cooperating Grammar Systems
Bit-Parallel Algorithm for the Constrained Longest Common Subsequence Problem
New Construction of Short Hierarchical ID-Based Signature in the Standard Model
Right Buchberger Algorithm over Bijective Skew PBW Extensions
State Elimination Heuristics for Short Regular Expressions
Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
Fuzzy and Intuitionistic Fuzzy Turing Machines
Model Enumeration via Assumption Literals
ALC + T: a Preferential Extension of Description Logics
Different Approaches to Model Relationship Between EMG Signals and Force Moments in Human Skeletal Muscle. Analysis for Diagnosis of Neuronmuscular Disorders
On Average Depth of Decision Trees Implementing Boolean Functions
Mutex Causality in Processes and Traces of General Elementary Nets
Injectivity of the Parikh Matrix Mappings Revisited
Non-probabilistic Solutions of Uncertain Fractional Order Diffusion Equations
Knowledge Representation in Fuzzy and Rough Controllers
Guest Editors' Preface - Selected Papers from the ISMIS'93 Symposium
A Representation Theorem for Primitive Recursive Algorithms
Mathematical Morphology on Complete Semilattices and its Applications to Image Processing
On Simplification of Database Integrity Constraints
Learning from Skewed Class Multi-relational Databases
Application of the Method of Editing and Condensing in the Process of Global Decision-making
Flexible Indiscernibility Relations for Missing Attribute Values
Single-sample Versus Case-control Sampling Scheme for Positive Unlabeled Data: the Story of Two Scenarios
State Complexity of Combined Operations with Union, Intersection, Star and Reversal
A Hybrid Petri Net Model of the Akt-Wnt-mTOR-p70S6K Signalling Network in Neurons
Church-Rosser Made Easy
Reconstruction of Concurrent System Models Described by Decomposed Data Tables
Control Generation by Program Transformation
Bridging Membrane and Reaction Systems - Further Results and Research Topics
Bases for AC 0 and Other Complexity Classes
Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination
Multi-Bracketed Contextual Rewriting Grammars
Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part II
About a Polyhedron of Cubic Graphs
Logic-based Conflict Detection for Distributed Policies
Word problem in distributed magmas
A Graded Meaning of Formulas in Approximation Spaces
Object-Oriented Inheritance Metrics in the Context of Cognitive Complexity
Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability
A Framework for Coxeter Spectral Analysis of Edge-bipartite Graphs, their Rational Morsifications and Mesh Geometries of Root Orbits
A Theoretical Perspective of Coinductive Logic Programming
Towards Efficient Computing Consistent and Partially Consistent Extensions of Information Systems
Algorithms for Context Based Sequential Pattern Mining
Proving Propositional Tautologies in a Natural Dialogue
Multiset Pushdown Automata
The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic
Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving
Domains as Models for Semantic Information
Trajectory-Based Embedding Relations
Reduced-by-matching Graphs: Toward Simplifying Hamiltonian Circuit Problem
Some Undecidability Results Concerning k-limited 0L Systems
Verification of the TESLA protocol in MCMAS-X
Graph Model Simulation of Human Brain's Functional Activity at Resting State by Means of the FD Model
Computational Complexity of Avalanches in the Kadanoff Sandpile Model
Nets with Tokens which Carry Data
Playing with Subshifts
Performance Evaluation of Systems Defined in Specification Language
Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection
Parsing Local Internal Contextual Languages with Context-Free Choice
The Block Product of Categories and Tilson's Division
Solving Equivalence of Recurrent Sequences in Groups by Polynomial Manipulation
Adaptively Embedding Binary Data in an Image
Light Region-based Techniques for Process Discovery
Controlled H Systems and Chomsky Hierarchy
Formal Refinement Checking in a System-level Design Methodology
On generalized automata
CoCaml: Functional Programming with Regular Coinductive Types
Regular Tree Languages and Rewrite Systems
A Formal Language Analysis of DNA Hairpin Structures
Finding Meaningful Bayesian Confirmation Measures
Partial Conway and Iteration Semirings
On the Complexity of Perfect Models of Logic Programs
On Natural Deduction in First-Ortder Fixpoint Logics
Lucent Process Models and Translucent Event Logs
Complexity Results for Problems of Communication-Free Petri Nets and Related Formalisms
Incremental Process Discovery using Petri Net Synthesis
A Contribution to the Use of Decision Diagrams for Loading and Mining Transaction Databases
Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization
Process Algebra with Nonstandard Timing
The RC Circuit Described by Local Fractional Differential Equations
Geodesy and connectivity in lattices
Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic
5' -> 3' Watson-Crick AutomataWith Several Runs
A theorem on the characteristics of nonsequential processes
Polygons Drawn from Permutations
Tissue P Systems with Small Cell Volume
On the Length of Shortest Strings Accepted by Two-way Finite Automata
Minimization Algorithms for Time Petri Nets
Combinatorial Algorithms for Binary Operations on LR-tableaux with Entries Equal to 1 with Applications to Nilpotent Linear Operators
A Common Framework to Recognize Two-dimensional Languages
Compact Representations and Efficient Algorithms for Operating Guidelines
Computing the Length of Sum of Squares and Pythagoras Element in a Global Field
Symport/Antiport P Systems with Three Objects Are Universal
On intersections of context-free languages
Curve Evolution, Differential Morphology, and Distance Transforms Applied to Multiscale and Eikonal Problems
Coping With Strong Fairness
Constructing Node-Independent Spanning Trees in Augmented Cubes
Computational Universality in One-variable Language Equations
Near Sets. Special Theory about Nearness of Objects
Modelling Multi-agent Three-way Decisions with Decision-theoretic Rough Sets
A Novel Framework for Reliable Network Prediction of Small Scale Wireless Sensor Networks (SSWSNs)
Definability and Canonicity for Boolean Logic with a Binary Relation
Simulations Between Multi-dimensional Deterministic and Alternating Cellular Automata
A note on PF(k) - parsable languages
Pairing-Friendly Primes for Abelian Varieties
Architecture for Discovery of Crises in MAS
Finding Codes on Infinite Grids Automatically
(0,1)-Totality is Undecidable for Arbitrary Context-Free Grammars
Evaluating and Improving Modern Variable and Revision Ordering Strategies in CSPs
Accelerations for the Coverability Set of Petri Nets with Names
Reasoning and Learning in Extended Structured Bayesian Networks
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Graph Grammars with Negative Application Conditions
Non-Isometric Contextual Array Grammars and the Role of Regular Control and Local Selectors
Random Generation of hv-Convex Polyominoes with Given Horizontal Projection
Incomplete Information in a Relational Database
The Complexity of Local Stratification
w-Process Languages for Place/Transition Nets
An Improved Certificateless Signature Scheme Secure in the Standard Model
Parikh Matrices and Parikh Rewriting Systems
Minimum Number of Input Clues in Robust Information Retrieval
Patterns and Distances in Words Related to DNA Rearrangement
Exercises in Style (Alpha Specifications)
Abductive Change Operators
On the Completion of Codes in Submonoids with Finite Rank
Temporal logic and recursion
Located Actions in Process Algebra with Timing
A Horizontal Mesh Algorithm for a Class of Edge-bipartite Graphs and their Matrix Morsifications
Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency
A Rewriting Framework for Rule-Based Programming Dynamic Applications
On Domain Theory over Girard Quantales
An Analysis of the 풞 Class of Bent Functions
Toward a General Framework for Polyphonic Comparison
Translation of Intermediate Language to Timed Automata with Discrete Data
Two-Sided Strictly Locally Testable Languages
An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing
From Binary to Grey Scale Convex Hulls
Transformations of Timed Cooperating Automata
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion
Mathematical Fuzzy Logic: An Invitation to Interesting Research Areas
Membrane Division, Oracles, and the Counting Hierarchy
Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part I
Reachability Analysis for Timed Automata Using Partitioning Algorithms
Combining Closed World Assumptions with Stable Negation
Compositional Systems over Reducible Networks
A Reduction Result for Circumscribed Semi-Horn Formulas
Parallel Communicating Grammar Systems with Negotiation
Time-independent Liveness in Time Petri Nets
Gamma-Reduction in Type Theory of Acyclic Recursion
Learning Sunspot Classification
Partial Structural Synthesis of Programs
Tree Operations in P Systems and lamda-Calculus
The Impact of a Bi-connected Graph Decomposition on Solving Cooperative Path-finding Problems
Observation Based System Security
Parallel QBF Solving with Advanced Knowledge Sharing
Congruences of Edge-bipartite Graphs with Applications to Grothendieck Group Recognition II. Coxeter Type Study
Computing Square Roots in Quaternion Algebras
Finding Shortest Triangular Path and its Family inside a Digital Object
Boolean Algebra of Nets, their Synthesis and Analysis
A Critical Examination of Model Preference Defaults
Analysis of Timed Concurrent Models Based on Testing Equivalence
Efficiently Mining Sequential Generator Patterns Using Prefix Trees
On-line Approximate String Matching in Natural Language
On Three Domination-based Identification Problems in Block Graphs
Computing forbidden words of regular languages
The Duality of Classical Intersection and Union Types
A Logical Approach to Control. Some New Logical Concepts and their Application to the Notion of Safety for Control Variants
A Computational Maple Library for Skew PBW Extensions
Abstract Barycentric Algebras
One-Dimensional Cellular Automaton Transducers
Nested Preferences in Answer Set Programming
Getting There and Back Again
Partial higher-order specifications
Identity-Based Multi-Proxy Signature Scheme in the Standard Model
Computing Issues of Asynchronous CA
Near Groups of Weak Cosets on Nearness Approximation Spaces
On k-NN Method with Preprocessing
A Classifier Based on a Decision Tree with Temporal Cuts
The Structure of Multigranular Rough Sets
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
Mesh Algorithms for Coxeter Spectral Classification of Cox-regular Edge-bipartite Graphs with Loops, II. Application to Coxeter Spectral Analysis
A Simple Implementation of Dijkstra's Shortest Path Algorithm on Associative Parallel Processors
Testing Boolean Functions Properties
Randomized PRAM Simulation
Experimental Study of Totally Optimal Decision Trees
ACTLS properties and Bounded Model Checking
Characteristics of de Bruijn's early proof checker Automath
Representation of Lattices with Modal Operators in Two-Sorted Frames
Monocultures and Homogeneous Environment in Eco-Grammar Systems
Modelling and Analysing Qualitative Biological Models using Rewriting Logic
Investigating Accuracies of Classifications for Randomized Imbalanced Class Distributions
Action Rules of Lowest Cost and Action Set Correlations
Mining Meta-Actions for Action Rules Reduction
Quaternion Exponent Moments and Their Invariants for Color Image
Towards Verification of Java Programs in perICS
Structural Liveness of Immediate Observation Petri Nets
Formal language recognition by stochastic cellular automata
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios
High-Performance Reversible Data Hiding
State Complexity of k-Parallel Tree Concatenation
On Quantum Vector Addition Systems
Continously generated fixed points in P omega
Construction of Contextual Grammars
A functionalization of logical kits
The Intrinsic Complexity of Learning: A Survey
A DWT-based Deblocking Technique Based on Edge Detection and Zero Masking for Reducing Blocking Effect
Tea Category Identification using Computer Vision and Generalized Eigenvalue Proximal SVM
Efficient Algorithms for Maximum Induced Matching Problem in Permutation and Trapezoid Graphs
Dual LDA for Face Recognition
A New Probabilistic Approach for Fractal Based Image Compression
Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach
A Timed Extension for ALTARICA
Logic-based Verification of the Distributed Dining Philosophers Protocol
Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics
Predicting Website Audience Demographics forWeb Advertising Targeting Using Multi-Website Clickstream Data
Erratum to the paper: Forward-Secure Identity-Based Public-Key Encryption without Random Oracles
Expanding Graph Relabeling Systems have the Power of Recursive Enumerability
Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues
A Reconstruction of Default Conditionals within Epistemic Logic
Approximation Space and LEM2-like Algorithms for Computing Local Coverings
A General Similarity Framework for Horn Clause Logic
Analytic sets in Descriptive Set Theory and NP sets in Complexity Theory
Implementing Sorting Networks with Spiking Neural P Systems
Nonhomogeneous stochastic automata
Reduction and a Simple Proof of Characterization of Fuzzy Concept Lattices
Fixed Point Equations Inside the Algebra of Normal Forms
A Generating Tree for Permutations Avoiding the Pattern 122 + 3
Some Characterizations of Sturmian Words in Terms of the Lexicographic Order
Applications of finite models properties in approximation and algorithmic logics
Low Discrepancy Initialized Particle Swarm Optimization for Solving Constrained Optimization Problems
Complete Conceptual Schema Algebras
From Numeric to Granular Description and Interpretation of Information Granules
Epistemic Entrenchment in autoepistemic logic
Capabilities of Thoughtful Machines
Information retrieval systems, an algebraic approach I
Turbine: A Distributed-memory Dataflow Engine for High Performance Many-task Applications
Algorithms for Rational Real Algebraic Curves
A Measure of Directional Convexity Inspired by Binary Tomography
Mining Induced/Embedded Subtrees using the Level of Embedding Constraint
Big-step Operational Semantics Revisited
The Algebra of Expansion
Large Sieve, Miller-Rabin Compositeness Witnesses and Integer Factoring Problem
The Simulation Powers and Limitations of Higher Temperature Hierarchical Self-Assembly Systems
Sequential Versus Parallel Grammar Formalisms with Respect to Measures of Descriptional Complexity
A Foundational Framework for Step-by-step Model Construction
Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets
Bisimulation Cuts For Structuring Markov Transition Systems
On the Strong Metric Dimension of Cartesian Sum Graphs
Block Substitutions and Their Properties
Introducing Mass-based Rough Mereology in a Mereological Universe with Relations to Fuzzy Logics and a Generalization of the Łukasiewicz Logical Foundations of Probability
Automata in random environments
Fractional Diffusion Equation with Spherical Symmetry and Reactive Boundary Conditions
Uniformity is Weaker than Semi-Uniformity for Some Membrane Systems
Information Dynamics of Cellular Automata I - An Algebraic Study
A Multi-modal Logic for Disagreement and Exhaustiveness
On Completely Edge-Independent Spanning Trees in Locally Twisted Cubes
Word Matrix Rewriting Systems
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
An Algebraic Foundation for Linguistic Reasoning
On the Decidability of Some Problems Concerning Morphisms, Regular Sets, and Post Correspondence Problem
An Incremental Approach for Inducing Knowledge from Dynamic Information Systems
Methods for Efficient Unfolding of Colored Petri Nets
Generalized Hybrid Encoding of Polyhierarchical Structures
Semi-supervised Rough Cost/Benefit Decisions
Two Semantic Issues in a Probabilistic Rough Set Model
Conservative Elementary Object Systems