yusuke1997/dblp-id-title huggingface dataset:
Research on Global Path Planning Technology for Field Maneuver of Armored Platforms
Parameter Identification of the Input Nonlinear Systems with the Colored Noise
Gaze Object Detection Based on 3D Body Posture
Research on image recognition and intelligent management of accounting bills based on information technology
Industrial Internet Security Situation Assessment Method Based on Self-Attention Mechanism
CACFD: Channel Attention for Computational Fluid Dynamics Stimulation
BOA-LSSVM Network-Based Malware Detection with Combination Weighting
Remaining Life Prediction of Water Purification Filter Based on Time Series
Multi-Branch Information Network for Advanced Image Captioning
Enhancing Path Planning in UAVs: an Improved Goal-Biased RRT Algorithm for Complex 3D Environments
A Long Sequence Urban Block Wind Speed Prediction and Wind-Induced Pedestrian Risk Analysis Method
Analysis of the Impact of Artificial Intelligence on Electricity Consumption
Hardware Security Vulnerability Mining Techniques for Intelligent Connected Vehicles
An Optimized ADR Algorithm for LoRa Network Based on EWMA
RGembed: A Knowledge Graph Embedding Model Integrating Dual-Prediction andGraph Attention Networks
Multi-Level Identification of Open Source Software User Attack Behavior Based on Weisfeiler-Lehman and GraphSAGE
Design of Precision Configurable Multiply Accumulate Unit for Neural Network Accelerator
SIHG-NC: A Semantic Interaction-based Heterogeneous Graph Neural Network for Node Classification
Research on Time Delay Effect in Demand Response of Central Air Conditioning
Research on an AI Agent-Based Smart Home Active Personalized Service System
Low Complexity Joint Super-Resolution Algorithm for Range Azimuth of TDM-MIMO LFMCW Radar
Advanced Open-Set Fault Diagnosis in Power Grids via Text-Image Matching
Ammunition Coordination Fault Diagnosis Method Based on Wavelet Packet and CPO-LSSVM
Improving the CodeGeeX Model Based on the Relative Convolutional Multi-Head Attention Method
Efficient Anomaly Detection Algorithm for Operational Data Based on Fuzzy Cognitive Map
QH-Bird: A Fine-Grained Bird Visual Dataset and Hierarchical Consistency Denoising Method
Research on Integrated Technology Based on A Wind Turbine
Research on Open Source Software Vulnerability Mining Based on Improved Fuzz-SOA
Research on CT Image Classification Algorithm of COVID-19 Based on Improved ResNet
Breaking Local Optima: A Multi-Stage Strategy for Milk-Run Logistics Optimization
Research on Intelligent Decision-Making Method for Fire Risk in Commercial Complexes Based on Casebased Reasoning
Lightweight Semantic Segmentation Network for Remote Sensing Urban Scenes Based on Selective Kernel
Research on Distributed Computing Power Scheduling Based on Ant Path Optimization
RGB-D Image Modeling Method Based on Transformer: RDT
Self-Representation and Generative Adversarial Learning-based Bluetooth Radio Map Reconstruction for Indoor Localization
Research on Intelligent Alarm Garbage Processing System Based on Internet of Things
Short Term Nonlinear Load Forecasting Method for Distributed Photovoltaic Grid Connection Based on GSA Algorithm
StraightLine: An End-to-End Resource-Aware Scheduler for Machine Learning Application Requests
An Efficient Key Agreement Scheme Without Trusted Third Parties for Vehicle Platoon Fusion
Super-Resolution Reconstruction Algorithm for Underwater Images Based on Deep Residual Learning Networks
Semantic Segmentation and Localization of Doublesplit Diversion Line Based on Improved Yolov8
User Pairing in Full-Duplex Enabled Vehicular Networks Based on Deep Reinforcement Learning
Path Planning of Architectural Robot Based on Active Inference Algorithm
A Knowledge-based Interactive Robot-vision System
Universal Digital Image Processing Systems in Europe - a Comparative Survey
Object Detection in Infrared Images
Real-Time Processing of Binary Images for Industrial Applications
COP-2/K-202: A Universal Digital Image Analysis System
CELLO - An Interactive System for Image Analysis
The GOP Parallel Image Processor
Digital Image Processing Systems
Cover Algorithms and Their Combination
Polarized Subtyping
Correctness of a Concurrent Object Collector for Actor Languages
An Abstract Domain for Trees with Numeric Relations
Targeted Update - Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis
System F μ ømega with Context-free Session Types
FliPpr: A Prettier Invertible Printing System
Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Trace-Relating Compiler Correctness and Secure Compilation
Detecting Determinate Computations by Bottom-up Abstract Interpretation
A Coq Formalization of the Relational Data Model
Handlers of Algebraic Effects
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
Complexity Analysis for a Lazy Higher-Order Language
Approximate Fixed Points in Abstract Interpretation
A Program Logic for Concurrent Randomized Programs in the Oblivious Adversary Model
Verifying a Compiler for Java Threads
Fine-Grained Semantics for Probabilistic Programs
A Theory of Hygienic Macros
An Assertion-Based Program Logic for Probabilistic Programs
Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
A Multiple-Valued Logical Semantics for Prolog
On the Translation of Procedures to Finite Machines
Formalizing Implementation Strategies for First-Class Continuations
Haskell Is Not Not ML
A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
Existential Quantification for Variant Ownership
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection
Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract)
Connecting Higher-Order Separation Logic to a First-Order Outside World
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
A Compositional Specification Theory for Component Behaviours
APLicative Programming with Naperian Functors
A Logical Framework for Evolution of Specifications
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages
Pragmatic Aspects of Two-Level Denotational Meta-Languages
Types by Need
A Polymorphic Type System with Subtypes for Prolog
Abstract Processes in Orchestration Languages
The Java Memory Model: Operationally, Denotationally, Axiomatically
Composite Replicated Data Types
The Recursive Record Semantics of Objects Revisited
Commutative Semantics for Probabilistic Programming
Functors for Proofs and Programs
IsoLATE: A Type System for Self-recursion
Faithful Translations between Polyvariant Flows and Polymorphic Types
Verifying Visibility-Based Weak Consistency
Flexible Models for Dynamic Linking
Compiling Problem Specifications into SAT
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming
Classical By-Need
Non-disjunctive Numerical Domain for Array Predicate Abstraction
Automatic Complexity Analysis
Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types
Backwards Abstract Interpretation of Probabilistic Programs
ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings
A Theory of Primitive Objects - Scond-Order Systems
Automatic Software Model Checking Using CLP
Just Fast Keying in the Pi Calculus
Branching Types
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces
Polymorphic Type Inference for the JNI
A Categorical Model of an \mathbf i/o -typed \pi -calculus
Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism
Codata in Action
Type Classes with Functional Dependencies
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation
Disjoint Polymorphism
A Tail-Recursive Semantics for Stack Inspections
Polymorphic Contracts
Towards a Type System for Analyzing JavaScript Programs
A Per Model of Secure Information Flow in Sequential Programs
Modal I/O Automata for Interface and Product Line Theories
Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing
A Type and Effect System for Determinism in Multithreaded Programs
CoLoSL: Concurrent Local Subjective Logic
Higher-Order LCTRSs and Their Termination
Visible Type Application
Durations for Truly-Concurrent Transitions
Conversation Types
Sound and Decidable Type Inference for Functional Dependencies
Towards an Adequate Notion of Observation
Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing
Reverse AD at Higher Types: Pure, Principled and Denotationally Correct
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs
HOBiT: Programming Lenses Without Using Lens Combinators
Logical Reasoning for Disjoint Permissions
An Idealized MetaML: Simpler, and More Expressive
Type Checking Systems Code
Abstract Refinement Types
On the Completeness of Model Checking
Overlapping and Order-Independent Patterns - Definitional Equality for All
Faster Algorithms for Weighted Recursive State Machines
Coinductive Big-Step Operational Semantics
Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Lambda-Definition of Function(al)s by Normal Forms
Artifact Description - Definitional Functoriality for Dependent (Sub)Types
Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls
Practical Programming with Higher-Order Encodings and Dependent Types
Type-Based Access Control in Data-Centric Systems
Linearity and Uniqueness: An Entente Cordiale
What's Decidable about Weak Memory Models?
Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
Functional Big-Step Semantics
Type Error Slicing in Implicitly Typed Higher-Order Languages
Global Principal Typing in Partially Commutative Asynchronous Sessions
A Tiny Constrain Functional Logic Language and Its Continuation Semantics
Canonical Graph Shapes
Analysis of an Electronic Voting Protocol in the Applied Pi Calculus
Cost Analysis of Java Bytecode
Dataflow Analysis for Datarace-Free Programs
Higher-Order Program Verification via HFL Model Checking
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems
A Concurrent Calculus with Atomic Transactions
Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants
A Classical Sequent Calculus with Dependent Types
Graph-based Implementation of a Functional Logic Langugage
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors
Inter-procedural Two-Variable Herbrand Equalities
The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems
Abstraction for Concurrent Objects
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
An Interval-Based Inference of Variant Parametric Types
Algebraic Formalisation of Program Development by Transformation
Logical Concurrency Control from Sequential Proofs
Pragmatic Gradual Polymorphism with References
Abstract Domains for Universal and Existential Properties
2-level lambda-lifting
Elucidating Type Conversions in SQL Engines
Verification of Equivalent-Results Methods
Cognacy Queries over Dependence Graphs for Transparent Visualisations
Model-Checking Higher-Order Programs with Recursive Types
Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Streams with a Bottom in Functional Languages
Extending Functional Programming Towards Relations
Handling Polymorphic Algebraic Effects
A First-Order Logic with Frames
Bottom-Up beta-Reduction: Uplinks and lambda-DAGs
Iterative Specialisation of Horn Clauses
coma, an Intermediate Verification Language with Explicit Abstraction Barriers
Modular Termination Verification for Non-blocking Concurrency
Categorical Foundations of Gradient-Based Learning
Practical Optional Types for Clojure
Lazy Type Inference for the Strictness Analysis of Lists
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions
A General Approach to the Optimization of Function Calls
Runners in Action
An Asynchronous Algebra with Multiple Clocks
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs
TRX: A Formally Verified Parser Interpreter
Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Local Reasoning for Global Graph Properties
Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation
Generalizing the Template Polyhedral Domain
A Complete Declarative Debugger of Missing Answers
Probabilistic NetKAT
Regular Programming for Quantitative Properties of Data Streams
Formal Verification of WTO-based Dataflow Solvers
Computer Security from a Programming Language and Static Analysis Perspective
Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency
Functional Reactive Programming (Abstract)
Types for Hierarchic Shapes
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)
CFA2: A Context-Free Approach to Control-Flow Analysis
Application-Scale Secure Multiparty Computation
Computing Procedure Summaries for Interprocedural Analysis
A pi-Calculus Specification of Prolog
Local Reasoning for the POSIX File System
Algebraic Properties of Program Integration
Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization
Evaluating Design Tradeoffs in Numeric Static Analysis for Java
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Mode-Automata: About Modes and States for Reactive Systems
Program Synthesis from Graded Types
Design and Implementation of a Generic, Logic and Functional Programming Language
Complexity of Subtype Satisfiability over Posets
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis
Complexity of Concrete Type-Inference in the Presence of Exceptions
Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration
Constraint-Based Inter-Procedural Analysis of Parallel Programs
Counterexample-Guided Precondition Inference
Simulation of SOS Definitions with Term Rewriting Systems
A Process Algebra for Wireless Mesh Networks
A Verification Methodology for Model Fields
A Process Algebra for Link Layer Protocols
Ranking Abstractions
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
Let Arguments Go First
Probabilistic Termination by Monadic Affine Sized Typing
Efficient Minimization up to Location Equivalence
Generalizing Inference Systems by Coaxioms
Alias Types
Compilation of Logic Programs for Restricted And-Parallelism
Composable Transactional Objects: A Position Paper
Communicating State Transition Systems for Fine-Grained Concurrent Resources
Data Refinement Refined
A New Method for Dependent Parsing
A Synergistic Analysis for Sharing and Groundness with Traces Linearity
Linear Logical Relations for Session-Based Concurrency
Type Inference for Partial Types is Decidable
Stratified Type Theory
Abstract Predicates and Mutable ADTs in Hoare Type Theory
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
Scoped Effects as Parameterized Algebraic Theories
A Control Flow Analysis for Safe and Boxed Ambients
On the Relative Expressiveness of Higher-Order Session Processes
On the Expressive Power of Primitives for Compensation Handling
An Array-Oriented Language with Static Rank Polymorphism
The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming
Linear Regions Are All You Need
Temporal Refinements for Guarded Recursive Types
What Are Polymorphically-Typed Ambients?
Functional Programming in Sublinear Space
Basic Superposition is Complete
Implementing Groundness Analysis with Definite Boolean Functions
QPC: QJ-based Proof Compiler - Simple Examples and Analysis
The Functional Imperative: Shape!
Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings
Gradual Ownership Types
SMT-Friendly Formalization of the Solidity Memory Model
Type Targeted Testing
Checking and Enforcing Robustness against TSO
Principal Type Schemes for Modular Programs
Open Bisimulation for the Concurrent Constraint Pi-Calculus
An abstract, certified account of operational game semantics
A Theory of Name Resolution
Symbolic Finite Differencing - Part I
The Call-by-Need Lambda Calculus, Revisited
A Grammar-Based Approach to Invertible Programs
The Expressive Power of Monotonic Parallel Composition
Types for Dynamic Reconfiguration
Type Inference for a Distributed pi-Calculus
Compositional Optimization of Disjunctive Abstract Interpretations
Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions
Behavioral Polymorphism and Parametricity in Session-Based Communication
Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Some Practical Problems and Their Influence on Semantics
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
A New Approach to Compiling Adaptive Programs
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic
Higher-Order Code Splicing
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach
Proving the Safety of Highly-Available Distributed Objects
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
Proving Safety of Speculative Load Instructions at Compile Time
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO
Arity Raiser and its Use in Program Specialization
A Simple Language for Real-Time Cryptographic Protocol Analysis
On Exceptions Versus Continuations in the Presence of State
REAP: Reporting Errors Using Alternative Paths
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes
Static Analysis of Digital Filters
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
LPG: A Generic, Logic and Functional Programming Language
A Kleene Analysis of Mobile Ambients
Recursive Object Types in a Logic of Object-Oriented Programs
Comprehending Isabelle/HOL's Consistency
Compilation of Head and Strong Reduction
A Systematic Approach to Delimited Control with Multiple Prompts
An Accumulative Parallel Skeleton for All
Tool Support for Improving Test Coverage
A Semantic Framework for Declassification and Endorsement
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays
Deriving Pretty-Big-Step Semantics from Small-Step Semantics
Rule Formats for Non Interference
Enforcing Resource Bounds via Static Verification of Dynamic Checks
Mixin Modules in a Call-by-Value Setting
Modal Transition Systems: A Foundation for Three-Valued Program Analysis
Monotonic References for Efficient Gradual Typing
A Core Quantitative Coeffect Calculus
Lifetime Analysis for Procedure Parameters
Analysis of Modular Arithmetic
Higher-Order Intensional Type Analysis
Control-Flow Analysis in Cubic Time
Finite Differencing of Logical Formulas for Static Analysis
Type-Based Decompilation (or Program Reconstruction via Type Reconstruction)
JOIN(X): Constraint-Based Type Inference for the Join-Calculus
A Distributed Abstract Machine for Boxed Ambient Calculi
Composing Bidirectional Programs Monadically
Programming with Explicit Security Policies
Non-monotonic Self-Adjusting Computation
Trace Partitioning in Abstract Interpretation Based Static Analyzers
On the Complexity of Constant Propagation
Information Reuse for Multi-goal Reachability Analyses
Constructive Mathematics and Functional Programming (Abstract)
Formal Verification of WTO-based Dataflow Solvers - Artifact Experience Report
The Problem of Programming Language Concurrency Semantics
Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management
Static Race Detection for Periodic Programs
Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms
Verifiable Certificates for Predicate Subtyping
Bounded Linear Types in a Resource Semiring
Artifact report: Generic bidirectional typing for dependent type theories
A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join
Coordinated Concurrent Programming in Syndicate
Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
Typestate Checking of Machine Code
Eventually Consistent Transactions
Correctness of Java Card Method Lookup via Logical Relations
Register Allocation by Proof Transformation
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels
Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings
Amortised Memory Analysis Using the Depth of Data Structures
Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order
Propositional Interpolation and Abstract Interpretation
Interpreting Knowledge-based Programs
Automatic Parallelization with Separation Logic
Weighted Dynamic Pushdown Networks
On the Correctness of the SIMT Execution Model of GPUs
Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
Soundness Conditions for Big-Step Semantics
Automated Verification of Equivalence Properties of Cryptographic Protocols
Impredicative Concurrent Abstract Predicates
Measure Transformer Semantics for Bayesian Machine Learning
A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract)
Biochemical Reaction Rules with Constraints
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Broadcasting with Priority
BI Hyperdoctrines and Higher-Order Separation Logic
Directional Type Checking for Logic Programs: Beyond Discriminative Types