yusuke1997/dblp-id-title huggingface dataset:
Framework for Analyzing Garbage Collection
Proof System for Applied Pi Calculus
Regular Tree Language Recognition with Static Information
Phantom Types and Subtyping
Parallel Edge Coloring of a Tree on a Mesh Connected Computer
Power of Quantum Entanglement
From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift
Computability of Tilings
Task Distributions on Multiprocessor Systems
Local pi-Calculus at Work: Mobile Objects as Mobile Processes
Static and dynamic typing for the termination of mobile processes
PolyA: True Type Polymorphism for Mobile Ambients
Steganography Using Modern Arts
Looking at Separation Algebras with Boolean BI-eyes
Computability of Linear Equations
A Matrix q-Analogue of the Parikh Map
Remove Key Escrow from The Identity-Based Encryption System
Parity Graph-driven Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication
Paralle Approximation Algorithms for Maximum Weighted Matching in General Graphs
Polarized Resolution Modulo
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes over Arbitrary Structures
Micro Mobile Programs
Open Bisimulation for Quantum Processes
Cinderella versus the Wicked Stepmother
The Firing Squad Synchronization Problem with Many Generals For One-Dimensional CA
Looking Inside AES and BES
Alternating Automata and Logics over Infinite Words
Engineering an External Memory Minimum Spanning Tree Algorithm
Literal Shuffle of Compressed Words
Theory and Construction of Molecular Computers
An Interpretation of Typed Concurrent Objects in the Blue Calculus
Stability of Approximation in Discrete Optimization
Decidable Properties for Regular Cellular Automata
Reconstructing words from a fixed palindromic length sequence
Algorithmic Game Theory: Some Greatest Hits and Future Directions
Hierarchical State Machines
On Complexity of Model-Checking for the TQL Logic
New Challenges for Theoretical Computer Science
Open Ended Systems, Dynamic Bisimulation and Tile Logic
New Insights on Architectural Connectors
Asymptotic Behaviors of Type-2 Algorithms and Induced Baire Topologies
One-Way Permutations and Self-Witnessing Languages
Controller Synthesis for Probabilistic Systems
Subtyping-Inheritance Conflicts: The Mobile Mixin Case
Completing Categorical Algebras
Imperfectness of Data for STS-Based Physical Mapping
On Packing Splittable Items with Cardinality Constraints
Ensuring Termination by Typability
Efficient Algorithms for the max k -vertex cover Problem
Adequacy of Compositional Translations for Observational Semantics
Vectorial Languages and Linear Temporal Logic
Server Placements, Roman Domination and other Dominating Set Variants
A Higher-Order Specification of the pi-Calculus
An O(1) Solution to the Prefix Sum Problem on a Specialized Memory Architecture
Lower Bounds and the Hardness of Counting Properties
Weak Bisimulations for Coalgebras over Ordered Functors
Probabilistically Checkable Proofs the Easy Way
Exact Complexity of Exact-Four-Colorability and of the Winner Problem for Young Elections
Input-Driven Stack Automata
The Duality of Computation under Focus
Geometric Separation and Exact Solutions for the Parameterized Independent Set Problem on Disk Graphs
A Game-Theoretic Approach to Routing under Adversarial Conditions
XML Web Services: The Global Computer?
Concurrent Pattern Calculus
A Modified Recursive Triangular Factorization for Cauchy-like Systems
The tPI (tRNA Pairing Index), a Mathematical Measure of Repetition in a (Biological) Sequence
Exploring an Unknown Graph to Locate a Black Hole Using Tokens
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
The Driving Philosophers
Variations on an Ordering Theme with Constraints
Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility
Distributed Algorithms for Autonomous Mobile Robots
A Single Complete Refinement Rule for Demonic Specifications
Ambiguity and Complementation in Recognizable Two-dimensional Languages
Partitioning Random Graphs with General Degree Distributions
Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17 th World Computer Congress - TC1 Stream / 2 nd IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montréal, Québec, Canada
On the Weakest Failure Detector for Non-Blocking Atomic Commit
Reusing Optimal TSP Solutions for Locally Modified Input Instances
From Processes to ODEs by Chemistry
Termination Analysis for Graph Transformation Systems
Gossiping with Unit Messages in Known Radio Networks
Solving Monotone Polynomial Equations
Contract Oriented Development of Component Software
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras
Spectral Partitioning of Random Graphs with Given Expected Degrees
Not All Multi-Valued Partial CFL Functions Are Refined by Single-Valued Functions (Extended Abstract)
Tropical Two-Way Automata
Canonical Sequent Proofs via Multi-Focusing
Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings
Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
On the Hardness of Approximating Some NP-optimization Problems Related to Minimum Linear Ordering Problem
An Operational Model for Multiprocessors with Caches
Hypothesis Support for Information Integration in Four-Valued Logics
On the expressive power of univariate equations over sets of natural numbers
Improving the Competitive Ratios of the Seat Reservation Problem
A Classification of Degenerate Loop Agreement
Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract)
From Informatics to Quantum Informatics
The Inherent Queuing Delay of Parallel Packet Switches
Combining Computational Effects: commutativity & sum
On Union-Free and Deterministic Union-Free Languages
Discrepancy Theory and Its Application to Finance
Termination in Modal Kleene Algebra
On Reduction Semantics for the Push and Pull Ambitent Calculus
Masaccio: A Formal Model for Embedded Components
A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice
Fully Consistent Extensions of Partially Defined Boolean Functions with Missing Bits
Reversible Circuit Realizations of Boolean Functions
Effective Chemistry for Synchrony and Asynchrony
On Boundedness in Depth in the pi-Calculus
Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)
RDF as a Data Model
On Traits and Types in a Java-like Setting
A Connectivity Rating for Vertices in Networks
Highly Undecidable Questions for Process Algebras
Scheduling with Release Times and Deadlines on a Minimum Number of Machines
Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling
Traceable Sets
List Decoding: Algorithms and Applications
An Index for Two Dimensional String Matching Allowing Rotations
Efficient Algorithms for Handling Molecular Weighted Sequences
Lower and Upper Bounds for Tracking Mobile Users
Randomized Dining Philosophers without Fairness Assumption
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus
µ-calculus Pushdown Module Checking with Imperfect State Information
A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words
Fast Nondeterministic Matrix Multiplication via Derandomization of Freivalds' Algorithm
Model Checking Birth and Death
Decidability and Tractability of Problems in Object-Based Graph Grammars
Regular n-ary Queries in Trees and Variable Independence
Primal Infon Logic with Conjunctions as Sets
Behavioural Equivalences for Dynamic Web Data
Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems
On Weighted Rectangle Packing with Large Resources
The Coarsest Precongruences Respecting Safety and Liveness Properties
Treewidth Computation and Kernelization in the Parallel External Memory Model
A Decidable Analysis of Security Protocols
An Algorithm to Reduce the Communication Traffic for Multi-Word Searches in a Distributed Hash Table
Inverse Problems Have Inverse Complexity
Some New Directions in the Syntax and Semantics of Formal Languages
Topologies Refining the Cantor Topology on X omega
Prototyping Proof Carrying Code
The Algorithmic Complexity of k-Domatic Partition of Graphs
Quantum NP and Quantum Hierarchy
On the Symmetric Range Assignment Problem in Wireless Ad Hoc Networks
Fast Cellular Automata with Restricted Inter-Cell Communication: Computational Capacity
Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
On Symbolic Representations of Maximum Matchings and (Un)directed Graphs
An Efficient Parallel Algorithm for Scheduling Interval Ordered Tasks
A Bound on Attacks on Authentication Protocols
An O(n log 2n) Algorithm for the Optimal Sink Location Problem in Dynamic Tree Networks
Guarding Galleries and Terrains
A Logic on Subobjects and Recognizability
Initial Segment Complexities of Randomness Notions
Efficient Protocols for Computing the Optimal Swap Edges of a Shortest Path Tree
Approximating the Non-contiguous Multiple Organization Packing Problem
Approximation Algorithms for String Folding Problems
Universal Coinductive Characterisations of Process Semantics
Partially Typed Terms between Church-Style and Curry-Style
Modal Interface Automata
Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs
An Efficient Parallel Pointer Machine Algorithm for the NCA Problem
In Is on the Boundary: Complexity Considerations for Polynominal Ideals
The Unsplittable Stable Marriage Problem
Algorithmic Complexity of Protein Identification: Searching in Weighted Strings
A Unified View of Tree Automata and Term Schematisations
Worst- and Average-Case Privacy Breaches in Randomization Mechanisms
Compositional Abstraction Techniques for Probabilistic Automata
A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks
Proofs as Executions
The Lazy Matroid Problem
Fast Interpolation Using Kohonen Self-Organizing Neural Networks
Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions
Asynchonous Distributed Components: Concurrency and Determinacy
About Compositional Analysis of Pi-Calculus Processes
Boundary Inference for Enforcing Security Policies in Mobile Ambients
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics
TQL Algebra and its Implementation
Online Dictionary Matching for Streams of XML Documents
Bin-Packing with Fragile Objects
Stable Dynamics of Sand Automata
A Generic Framework for Checking Semantic Equivalences between Pushdown Automata and Finite-State Automata
Recursion and Probability
On the Enumerability of the Determinant and the Rank
Towards a Computational Theory of Everything
Recovering Resources in the π-calculus
Memoryless Search Algorithms in a Network with Faulty Advice
Characterization of Optimal Key Set Protocols
Optimal-Reachability and Control for Acyclic Weighted Timed Automata
A Context-Free Linear Ordering with an Undecidable First-Order Theory
Entropy and Attack Models in Information Flow - (Invited Talk)
Safe Dynamic Binding in the Join Calculus
Online Scheduling of Unit Length Jobs with Commitment and Penalties
Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic
Static Single Information Form for Abstract Compilation
Adaptive Sorting with AVL Trees
The mv-decomposition: definition and application to the distance-2 broadcast problem in multi-hops radio networks
Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), IFIP 19th World Computer Congress, TC-1 Foundations of Computer Science, August 23-24, 2006, Santiago, Chile
Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness
Quantitative Types for the Linear Substitution Calculus
Dynamic and Local Typing for Mobile Ambients
A Randomised Algorithm for Checking the Normality of Cryptographic Boolean Functions
A Linear Time Algorithm for Finding Tree 3-Spanner on 2-Trees
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs
Unidirectional Channel Systems Can Be Tested
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata
Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction
Deconstructing behavioural theories of mobility
The Inhabitation Problem for Non-idempotent Intersection Types
Precise Analysis of π-Calculus in Cubic Time
Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy
Terminating Tableaux for SOQ \mathcal{SOQ} with Number Restrictions on Transitive Roles
An Improved System of Intersection Types for Explicit Substitutions
Marking the chops: an unambiguous temporal logic
Resource Bounded Immunity and Simplicity
Cache-sensitive Memory Layout for Binary Trees
Specifying and Verifying Properties of Space
Approximation Algorithms for General Packing Problems with Modified Logarithmic Potential Function
Collisions and their Catenations: Ultimately Periodic Tilings of the Plane
Probabilistic Inference and Monadic Second Order Logic
Algorithm Design Challenges
The Shortest Path Game: Complexity and Algorithms
Locality of Queries and Transformations
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions
Reasoning about Composition Using Property Transformers and Their Conjugates
On Logarithmic Simulated Annealing
Two Problems in Wide Area Network Programming
Substructural Verification and Computational Feasibility
Truthful Mechanisms for Generalized Utilitarian Problems
On PTAS for Planar Graph Problems
On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite Graphs
Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics
A Modular LTS for Open Reactive Systems
The (sigma+1)-Edge-Connectivity Augmentation Problem without Creating Multiple Edges of a Graph
Synchronizing Road Coloring
Nested Commits for Mobile Calculi: Extending Join
Damage Spreading and µ-Sensitivity on Cellular Automata
On the Complexity of Integer Programming in the Blum-Shub-Smale Computational Model
Degree Bounds on Polynomials and Relativization Theory
Hierarchy Among Automata on Linear Orderings
Information Networks, Link Analysis, and Temporal Dynamics
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic
New-HOPLA: A Higher-order Process Language with Name Generation
On Probabilistic Alternating Simulations
A Temporal Logic for Multi-threaded Programs
A Type-Theoretic Study on Partial Continuations
Approximation Algorithms for Mixed Fractional Packing and Covering Problems
An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus - Extended Abstract
An Intersection Type System for Deterministic Pushdown Automata
Convexity, Duality and Effects
An Asynchronous, Distributed Implementation of Mobile Ambients
Adversarial Queueing Theory Revisited
On Randomness and Infinity
Leader Election in Anonymous Rings: Franklin Goes Probabilistic
Perfect Pipelining for Streaming Large File in Peer-to-Peer Networks
Solving Packing Problem with Weaker Block Solvers
Quantumization of Theoretical Informatics
Coverage of Implementations by Simulating Specifications
Subshifts, MSO Logic, and Collapsing Hierarchies
On Properties and State Complexity of Deterministic State-Partition Automata
Regular Hedge Model Checking
Checking Polynomial Time Complexity with Types
Safe Equivalences for Security Properties
Towards a Broader Theory of Mobile Processes
On the Longest Common Factor Problem
On the Power of Interactive Computing
Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
Symmetric Connectivity with Minimum Power Consumption in Radio Networks
Ambient Groups and Mobility Types
Responsive Bisimulation
MAXIMUM CLIQUE and MINIMUM CLIQUE PARTITION in Visibility Graphs
A Calculus with Lazy Module Operators
On the Complexity of Bisimulation Problems for Pushdown Automata
New Challenges for Compuational Models
Symbolic Determinisation of Extended Automata
A Surgery Simulator Using an Optimized Space and Time Adaptive Deformation Simulation on GPU
Tactile Transfer Glove Using Vibration Motor
A Smart Cushion System with Vibrotactile Feedback for Active Posture Correction
Effects of Duration and Envelope of Vibrotactile Alerts on Urgency, Annoyance, and Acceptance
An Attempt of Displaying Softness Feeling Using Multi-electrodes-based Electrostatic Tactile Display
The Central Mechanism Underlying Extrapolation of Thermal Sensation
Development of a Teleoperation Precision Grasping System with a Haptic Feedback Sensation on the User's Fingertip
Midair Ultrasound Haptic Display with Large Workspace
Relax and Tighten - A Haptics-based Approach to Simulate Sphincter Tone Assessment
Substituted Force Feedback Using Palm Pressurization for a Handheld Controller
Passive Haptics: Pulsive Damping Brake for Greater Impulse Perception
Thumbnail Input for Head-Mounted Display
Synesthesia Suit
Object Manipulation by Hand with Force Feedback
High-Speed Thermal Display System that Synchronized with the Image Using Water Flow
Basic Study on Motor Ability Evaluation and Training System Using Virtual Collision Avoidance
Data-Driven Multi-modal Haptic Rendering Combining Force, Tactile, and Thermal Feedback
Presentation of Softness Using Film-Type Electro-Tactile Display and Pressure Distribution Measurement
Towards Universal Haptic Library: Library-Based Haptic Texture Assignment Using Image Texture and Perceptual Space
HaptoCloneAR (Haptic-Optical Clone with Augmented Reality) for Mutual Interactions with Midair 3D Floating Image and Superimposed 2D Display
Tactile Perception of Digital Images
Haptic Interaction - 5th International Conference, AsiaHaptics 2022, Beijing, China, November 12-14, 2022, Proceedings
Stiffness Perception of Virtual Objects Using FOLDAWAY-Touch
Simultaneous Representation of Texture and Geometry on a Flat Touch Surface
A Wearable Hand Haptic Interface to Provide Skin Stretch Feedback to the Dorsum of a Hand
Simulating Texture Sensation of Textiles Using Thermal and Vibro-Tactile Stimulations
Human Rendezvous via Haptic Suggestion
Whole Body Haptic Experience Using 2D Communication Wear
Reconsideration of Ouija Board Motion in Terms of Haptics Illusions (II) - Development of a 1-DoF Linear Rail Device
Remotely Displaying Cooling Sensation Using Ultrasound Mist Beam
A Fast Update Approach of a Stiffness Matrix for a Multi-rate Finite Element Deformation Simulation
Development of a Sole Pressure Display
Visual Haptic Interface by Using 2-DOF Indirect Haptic Interface
Liquid-VR - Wetness Sensations for Immersive Virtual Reality Experiences
Measurement of Stickiness with Pressure Distribution Sensor
Bimanual Haptic Simulator for Training Hand Palpation and Lumbar Puncture
Spatial Haptic Feedback Virtual Reality Controller for Manipulator Teleoperation Using Unreal Engine
Hybrid Focus Using 70 and 40 kHz Ultrasound in Mid-Air Tactile Display
Wearable 3DOF Substitutive Force Display Device Based on Frictional Vibrotactile Phantom Sensation
Driving System of Diminished Haptics: Transformation of Real-World Textures
An Immersive Visuo-Haptic VR Environment with Pseudo-haptic Effects on Perceived Stiffness
3DOF Multitouch Haptic Interface with Movable Touchscreen
SPIDAR-S: Haptic Device Attached to the Smartphone
Change in the Amount Poured as a Result of Vibration When Pouring a Liquid
Modality-Specific Effect of Cueing on Inter-Manual Coordination in Bimanual Force Control Tasks with Accentuated- or Attenuated-Force Production
Natural Human Movements in Geometrically Constrained Haptic Environments
Whole Hand Interaction with Multi-finger Movement-Based Vibrotactile Stimulation
Exciting but Comfortable: Applying Haptic Feedback to Stabilized Action-Cam Videos
Skin Vibration-Based Tactile Tele-Sharing
Object Manipulation by Deformable Hand
Multi Degree-of-Freedom Successive Stiffness Increment Approach for High Stiffness Haptic Interaction
Controlling Robot Vehicle Using Hand-Gesture with Mid-Air Haptic Feedback
VR Training System of Step Timing for Baseball Batter Using Force Stimulus
A Novel 3RRS Wearable Fingertip Cutaneous Device for Virtual Interaction
Tactile Presentation Using Mechanical and Electrical Stimulation
Fingertip Force Estimation Based on the Deformation of the Fingertip
Extended AirPiano: Visuohaptic Virtual Piano with Multiple Ultrasonic Array Modules
A Design of a New Electro Tactile Beat Module
Peripersonal Space Tele-Operation in Virtual Reality: The Role of Tactile - Force Feedback
A Mounting Foot-Type Force-Sensing Device for a Desk with Haptic Sensing Capability
A Cooking Support System with Force Visualization Using Force Sensors and an RGB-D Camera
FeelCraft: User-Crafted Tactile Content
Normal and Tangential Force Decomposition and Augmentation Based on Contact Centroid
Thermal-Radiation-Based Haptic Display - Calibration and Shape Display
VibGrip++: Haptic Device Allows Feeling the Music for Hearing Impaired People
Haptic-Enabled English Education System
A Ball-Type Haptic Interface to Enjoy Sports Games
Proposal and Implementation of Non-grounded Translational Force and Torque Display Using Two Vibration Speakers
Unplugged Powered Suit with Pneumatic Gel Muscles
Force Your Hand - PAM Enabled Wrist Support
A Proposal of Wire-Driven Bimanual Multi-finger Haptic Display SPIDAR-10
On a Haptic Phenomenon by Combined Use of the Rubber Artificial Skin Layer with a Strain Gauge and the Tactile Contact Lens
Conceptual Design of Soft Thin Self-sensing Vibrotactile Actuator
Development of a Rigidity and Volume Control Module Using a Balloon Filled with Dilatant Fluid
Improvement of Walking Motivation by Vibratory Display Powered by an Ankle-Worn Generation Device
Perceiving Physical Attributes of Objects Using an Electrostatic Tactile Display
Hierarchical Examination of Colliding Points Between Rigid and Deformable Objects
Computer-Created Interactive 3D Image with Midair Haptic Feedback
Reducing 3D Vibrations to 1D in Real Time
Presentation of Stepping Up and Down by Pneumatic Balloon Shoes Device
Haptic Interaction on a Touch Surface
Experiments on Two-Handed Localization of Impact Vibrations
Configuration of Haptic Feedback Based Relief Robot System
Hapbeat: Tension-Based Wearable Vibroacoustic Device
A Soft Tactile Display Using Dielectric Elastomer Actuator for Fingertip Interaction
The Thermal Feedback Influencer: Wearable Thermal Display for Enhancing the Experience of Music Listening
Wearable Robot for Simulating Knee Disorders in the Training of Manual Examination Techniques
Development of the Haptic Device for a Hepatectomy Simulator
A Finger Sensor for Sharing Visual and Tactile Experience
Towards Automatic Synthesis of Motion Effects
Thermal-Radiation-Based Haptic Display - Laser-Emission-Based Radiation System
Development of Handshake Gadget and Exhibition in Niconico Chokaigi
Vibrotactile Cueing for Biasing Perceived Inertia of Gripped Object
Visual Vibrations to Simulate Taps on Different Materials
Air Tap: The Sensation of Tapping a Rigid Object in Mid-Air
Magnification-Changeable Haptic-Optical Clone
TouchPhoto: Enabling Independent Picture-Taking and Understanding of Photos for Visually-Impaired Users
Haptic Directional Instruction System for Sports
DeltaFinger: A 3-DoF Wearable Haptic Display Enabling High-Fidelity Force Vector Presentation at a User Finger
Proposal of 6 DoF Haptic Interface SPIDAR-I Optimized by Minimizing Margin of Peak Force
Haptic Interaction - Science, Engineering and Design, 2nd International Conference, AsiaHaptics 2016, Chiba, Japan, November 29 - December 1, 2016
Ferro-Fluid Based Lightweight and Portable Tactile Display for Persuasive Tactile Cues Including Orientation and Texture