yusuke1997/dblp-id-title huggingface dataset:
Does IT Matter for Business Process Maturity? A Comparative Study on Business Process Maturity Models
GDIS: A Service-Based Architecture for Data Integration on Grids
Application of Catalogues to Integrate Heterogeneous Data Banks
Querying Ontology Based Database Using OntoQL (An Ontology Query Language)
Creating Ontologies for Content Representation-The OntoSeed Suite
Developing and Maintaining Durable Specifications for Law or Regulation Based Services
Designing Ontology-Based Interactive Information Retrieval Interfaces
Filtering Internet News Feeds Using Ad-Hoc Ontologies
Labeling Data Extracted from the Web
Literate Ontology Development
Measuring Semantic Differences Between Conceptualisations: The Portuguese Water Bodies Case - Does Education Matter?
Forecasting Industry Big Data with Holt Winter's Method from a Perspective of In-Memory Paradigm
A Stability Criteria Membership Protocol for Ad Hoc Networks
Contention-Free Communication Scheduling for Group Communication in Data Parallelism
Enabling Rapid Development of Multimodal Data Entry Applications
Declarative Process Modeling with Business Vocabulary and Business Rules
Adaptive Algorithms to Enhance Routing and Security for Wireless PAN Mesh Networks
Big Data Architecture and Reference Models
Subject-Oriented BPM as the Glue for Integrating Enterprise Processes in Smart Factories
How to Avoid Redundant Object-References
An Approach for Semantic Query Processing with UDDI
Factorization Techniques for Longitudinal Linked Data (Short Paper)
Developing Collaborative Modeling Systems Following a Model-Driven Engineering Approach
Collaborative Coordination of Activities with Temporal Dependencies
Distributed Lookup in Structured Peer-to-Peer Ad-Hoc Networks
A Novel Context Ontology to Facilitate Interoperation of Semantic Services in Environments with Wearable Devices
On the Use of Description Logic for Semantic Interoperability of Enterprise Systems
FBM Helps SVB to Improve PGB Service
Managing Petri Nets in MOF Repositories
Towards Reliable SOA - An Architecture for Quality Management of Web Services
Computing Exact Outcomes of Multi-parameter Attack Trees
GADA 2008 PC Co-chairs' Message
A Role and Attribute Based Access Control System Using Semantic Web Technologies
Integrating Ontologies into Learning Management Systems - A Case of Czech
Efficient Parallel Processing of Analytical Queries on Linked Data
Supporting Peer Help in Collaborative Learning Environments: A Discussion Based on Two Case Studies
On the Move to Meaningful Internet Systems. OTM 2018 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II
Solving Scheduling Problems in Grid Resource Management Using an Evolutionary Algorithm
A Multi-view Learning Approach to the Discovery of Deviant Process Instances
FT-Java: A Java-Based Framework for Fault-Tolerant Distributed Software
Information Centric Frameworks for Micro Assembly
Semi-automatic Generation of a Patient Preoperative Knowledge-Base from a Legacy Clinical Database
Modeling and Storing Scientific Protocols
Verification of CERT Secure Coding Rules: Case Studies
Two Layer Web User Interface Analysis Framework Using SNN and iFIN
A Review of Distributed Ledger Technologies
Evolution of a Dynamic Multidimensional Denormalization Meta Model Using Object Role Modeling
On Enhancing Component-Based Middleware with Transactions
Use of SAML for Single Sign-On Access to Multimedia Contents in a Peer-to-Peer Network
Ontology Based Negotiation Case Search System for the Resolution of Exceptions in Collaborative Production Planning
Efficient Behavioral-Difference Detection between Business Process Models
CAMS 2005 PC Co-chairs' Message
Specifying Instance Correspondence in Collaborative Business Processes
Real-Time Teaching with Java: JPR 3
Reliable Communication Infrastructure for Adaptive Data Replication
Implicit Middleware
Extending the UMIOP Specification for Reliable Multicast in CORBA
Trust Management Languages and Complexity
Towards a Reference Ontology of Trust
Navigating through the RLATES Interface: A Web-Based Adaptive and Intelligent Educational System
A Hybrid Concept Similarity Measure Model for Ontology Environment
Assessing Iterations of an Automated Ontology Evaluation Procedure
A Characterization of the Layout Definition Problem for Web Search Results
On the Move to Meaningful Internet Systems: OTM 2010 - Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I
Scenario-Based Prediction of Business Processes Using System Dynamics
Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models
Analyzing Dimension Mappings and Properties in Data Warehouse Integration
Satisfaction-Based Query Load Balancing
A Closer Look at the Join-Equality Constraint
Game Development Framework Based Upon Sensors and Actuators
A Tool for QoS Probability Distribution Estimation of Web Service Compositions
Administration Model for Or-BAC
Process Integration and Design Optimization Ontologies for Next Generation Engineering
Fact-Based Web Service Ontologies
Proactive Byzantine Quorum Systems
Semantic Model of Possessive Pronouns Machine Translation for English to Bulgarian Language
Defining Re-usable Composite Aspect Patterns: An FDAF Based Approach
Bindings-Restricted Triple Pattern Fragments
STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries
On Conducting a Decision Group to Construct Semantic Decision Tables
Accessing X Applications over the World-Wide Web
Bank Branch Network Optimization Based on Customers Geospatial Profiles
Performance Testing of Semantic Publish/Subscribe Systems
OntoGame: Towards Overcoming the Incentive Bottleneck in Ontology Building
An Efficient Search Scheme Using Self-organizing Hierarchical Ring in Unstructured Peer-to-Peer Systems
Scalable Inter-vehicular Applications
A Novel WebGIS-Based Situational Awareness Platform for Trustworthy Big Data Integration and Analytics in Mobility Context
Ontology Assisted Decision Making - A Case Study in Trip Planning for Tourism
On Supporting HCOME-3O Ontology Argumentation Using Semantic Wiki Technology
Interoperability of XML Schema Applications with OWL Domain Knowledge and Semantic Web Tools
A Modal Language for the Safety of Mobile Values
Data Flow Analysis of Secure Information-Flow
A MATLAB-Based Code Generator for Sparse Matrix Computations
Ownership Types for Object Synchronisation
Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification
Liveness of Communicating Transactions (Extended Abstract)
Register Allocation Via Coloring of Chordal Graphs
A Note on Algebraic Structure of Tree Decomposition of Graphs
A Computational Interpretation of Context-Free Expressions
Factorization and Normalization, Essentially
Expressive Synchronization Types for Inheritance in the Join Calculus
Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver
Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings
Fractional Ownerships for Safe Memory Deallocation
The Twilight Zone: From Testing to Formal Specifications and Back Again
The Complexity of Coverage
Secure Compilation of Object-Oriented Components to Protected Module Architectures
The Undefined Domain: Precise Relational Information for Entities That Do Not Exist
A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
Robustness Analysis of Finite Precision Implementations
From Authorization Logics to Types for Authorization
A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous
Safety and Liveness of MCS Lock - Layer by Layer
RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
Generalized Quantitative Analysis of Metric Transition Systems
An Interactive Tool for Analyzing Embedded SQL Queries
SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA
Static Object Race Detection
Scalable and Modular Robustness Analysis of Deep Neural Networks
An Overview of the Chameleon System
Static Monotonicity Analysis for lambda-Definable Functions. over Lattices
Open Call-by-Value
Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus
Network Fusion
On Computational Indistinguishability and Logical Relations
A Strong Distillery
Neural Networks, Secure by Construction - An Exploration of Refinement Types
A Dependently Typed Multi-stage Calculus
Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries
Dynamic Software Update for Message Passing Programs
m-CFA Exhibits Perfect Stack Precision
Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk)
Verifying the CPS Transformation in Isabelle/HOL
ML Modules and Haskell Type Classes: A Constructive Comparison
Type-Based Information Analysis for Low-Level Languages
On the Decidability of Subtyping with Bounded Existential Types
Quasi-Linearizability is Undecidable
NetKAT - A Formal System for the Verification of Networks
AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code
The Higher-Order, Call-by-Value Applied Pi-Calculus
Random-Access Lists, from EE to FP
On Affine Usages in Signal-Based Communication
What Is the Right Logical Framework for Evolution of Knowledge
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Functional Quantum Programming
A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints
A Declarative Approach to Concurrency in Java
A Type-Based HFL Model Checking Algorithm
Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine
Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
Fault-Tolerant Resource Reasoning
Concurrency Can't Be Observed, Asynchronously
Linear Approximation of Continuous Systems with Trapezoid Step Functions
On Bar Recursion and Choice in a Classical Setting
Implementation of Parallel Tree Skeletons on Distributed Systems
A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics
Relational Reasoning for Recursive Types and References
Memory Safety: Uniqueness as Separation
Term Graph Rewriting for the pi-Calculus
Exploring Dataflow in Legacy Systems
Programming Languages and Systems - 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings
Programming with "Big Code"
The Negligible and Yet Subtle Cost of Pattern Matching
Decision Procedure for Entailment of Symbolic Heaps with Arrays
Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings
Scalable Formal Machine Models
On the Strength of Owicki-Gries for Resources
End-to-end Multilevel Hybrid Information Flow Control
Free S-Monoids: A Higher-Order Syntax with Metavariables
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality
On Building Trees with Minimum Height, Relationally
Declarative Stream Runtime Verification (hLola)
Towards a Certified Petri Net Model-Checker
OBRA: Oracle-Based, Relational, Algorithmic Type Verification
Finally Tagless, Partially Evaluated
A Provably Correct Stackless Intermediate Representation for Java Bytecode
Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis
Unified Syntax with Iso-types
Complete Lattices and Up-To Techniques
Dynamic Control Operators in Type Theory
Berlioz: Compiling Oz to Java Bytecode
Adjunct Elimination in Context Logic for Trees
A Calculus with Recursive Types, Record Concatenation and Subtyping
A Differential Fixpoint Evaluation Framework for Non-distributive Systems
Timed, Distributed, Probabilistic, Typed Processes
Decision Procedure for a Theory of String Sequences
A Quick Tour of the VeriFast Program Verifier
On Modular Transformations of Structural Content
A Concurrent System of Multi-ported Processes with Causal Dependency
Formal Design and Verification of Real-Time Embedded Software
Optimized Compilation of Multiset Rewriting with Comprehensions
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access
Principles of Inverse Computation in a Functional Language
Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algorithms
A Hoare Logic for SIMT Programs
Succinct Determinisation of Counting Automata via Sphere Construction
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
A Generic Cyclic Theorem Prover
An Analysis for Proving Temporal Properties of Biological Systems
Reading, Writing and Relations
Foundations of Quantum Programming (Extended Abstract)
Types of Fireballs
Proof-Directed Compilation for Inter-operable Languages
JavaScript Instrumentation in Practice
ThisJava: An Extension of Java with Exact Types
Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects
Lazy v. Yield: Incremental, Linear Pretty-Printing
Substructural Proofs as Automata
P 3 : A Profiler Suite for Parallel Applications on the Java Virtual Machine
What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study
Game Characterizations of Process Equivalences
Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem
Novice Type Error Diagnosis with Natural Language Models
Adaptable Traces for Program Explanations
Harnessing the Multicores: Nested Data Parallelism in Haskell
Stack-Driven Program Generation of WebAssembly
Local Reasoning for Storable Locks and Threads
Pruning Unnecessary Computations using Improving Sequences
Extending the Quantitative Pattern-Matching Paradigm
Hereditary History-Preserving Bisimilarity: Logics and Automata
Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine
Uniform Random Process Model Revisited
Metric Spaces and Termination Analyses
On Quasi-Open Bisimulation
Model Independent Order Relations for Processes
Type Inference for Sublinear Space Functional Programming
Comparing Completeness Properties of Static Analyses and Their Logics
Model-Based Fault Classification for Automotive Software
Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques
Checking Consistency of Event-Driven Traces
Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?
Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation
An Algebraic Theory for Shared-State Concurrency
COPLA* - a Middleware for Distributed Databases
McJava - A Design and Implementation of Java with Mixin-Types
A Precise and Abstract Memory Model for C Using Symbolic Values
Categorical Descriptional Composition
Automatic Generation of Editors for Higher-Order Data Structures
Relational Synthesis for Pattern Matching
On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation
Characterizing Functions Mappable over GADTs
Concurrent Test Generation Using Concolic Multi-trace Analysis
Asymptotic Resource Usage Bounds
Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Ownership Downgrading for Ownership Types
Analysis of Secure Information Flow by Model-Checking
Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk)
Sharper and Simpler Nonlinear Interpolants for Program Verification
Heterogeneous Fixed Points with Application to Points-To Analysis
Completeness for a First-Order Abstract Separation Logic
The Parallel Implementation of the Astrée Static Analyzer
Hybrid Verification of Declarative Programs with Arithmetic Non-fail Conditions
An Implementation of Subtyping Among Regular Expression Types
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects
A Certified Implementation of ML with Structural Polymorphism
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions
Paragon for Practical Programming with Information-Flow Control
Scallina: Translating Verified Programs from Coq to Scala
Decoupling the Ascending and Descending Phases in Abstract Interpretation
Abstract Interpretation over Infinite Abstract Domains (Tentative Report)
Folds with Dependent Types
Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem
From Call-by-Value to Interaction by Typed Closure Conversion
Controlled Declassification Based on Intransitive Noninterference
Lightweight Functional Logic Meta-Programming
Widening Polyhedra with Landmarks
REFINITY to Model and Prove Program Transformation Rules
PyCT: A Python Concolic Tester
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis
Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
Simple and Precise Widenings for H -Polyhedra
Symbolic Execution with Separation Logic
A New Occurrence Counting Analysis for BioAmbients
Data Refinement with Low-Level Pointer Operations
Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis
Type Systems for XML
Constraint Functional Logic Programming for Origami Construction
Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings
Inferring Grammatical Summaries of String Values
Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates
Logical Analysis of Assembly Language
The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings
TorchProbe: Fuzzing Dynamic Deep Learning Compilers
Effective Search Space Pruning for Testing Deep Neural Networks
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution
Recursion Schemes in Coq
Executing Verified Compiler Specification
Factoring Derivation Spaces via Intersection Types
Partial CPS Transformation Using Static Annotation
An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors
Types and Recursion Schemes for Higher-Order Program Verification
Pointcuts as Functional Queries
Observing Asymmetry and Mismatch
A Uniform Reduction Equivalence for Process Calculi
Algebraic and Coalgebraic Perspectives on Interaction Laws
Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters
Verified Root-Balanced Trees
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
Static Extensionality Checking for Lambda-Definable Functions Over Lattices
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
Reflection Analysis for Java
Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories
The Practice of a Compositional Functional Programming Language
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code
On Stratified Regions
AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic
Dataflow Pointcut in Aspect-Oriented Programming
Syntax-Directed Divide-and-Conquer Data-Flow Analysis
Functional Pearl: Nearest Shelters in Manhattan
A Systematic Approach to Probabilistic Pointer Analysis
Index-Compact Garbage Collection
A New Order-Theoretic Characterisation of the Polytime Computable Functions
Resource Usage Verification
An Abstract Machine for Strong Call by Value
Succour to the Confused Deputy - Types for Capabilities
A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting
A Nonstandard Functional Programming Language
Interprocedural Control Flow Reconstruction
The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings
Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq
A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs
Collaborative Constraint Functional Logic Programming in an Open Environment
Witnessing Purity, Constancy and Mutability
JATO: Native Code Atomicity for Java
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
Compilation Semantics for a Programming Language with Versions
Bi-abductive Resource Invariant Synthesis
Pumping, with or Without Choice
Deriving Pre-Conditions for Array Bound Check Elimination
Computational Secrecy by Typing for the Pi Calculus
Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks
Interface Types for Haskell
Affine-Based Size-Change Termination
Higher-Order Polymorphic Sized Types for Safety Checks
Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks
Programming by Examples: PL Meets ML
A Short Cut to Optimal Sequences
Sound and Efficient Language-Integrated Query - Maintaining the ORDER
Randomized Resource-Aware Path-Sensitive Static Analysis
ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework
Environmental Bisimulations for Delimited-Control Operators
DOM: Specification and Client Reasoning
A Typeful and Tagless Representation for XML Documents
Tree-Like Grammars and Separation Logic
On Strings in Software Model Checking
The Semantic Layers of Timber
Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics
A Typed Programmatic Interface to Contracts on the Blockchain
Type-Based Verification of Correspondence Assertions for Communication Protocols
Abstract Dependences for Alarm Diagnosis
On a Method of Global Optimization
A Path Sensitive Type System for Resource Usage Verification of C Like Languages
Jones Optimality and the Strength of Program Specializers
Types and Semantics for Extensible Data Types
Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable
Explaining Explanations in Probabilistic Logic Programming
Access-Based Localization with Bypassing
On Jones-Optimal Specializers: A Case Study Using Unmix
Modular Abstractions of Reactive Nodes Using Disjunctive Invariants
Address Chain: Profiling Java Objects without Overhead in Java Heaps
Monadic, Prompt Lazy Assertions in Haskell
Building a Correct-by-Construction Type Checker for a Dependently Typed Core Language
Extensional Polymorphism by Flow Graph Dispatching
Model Checking: From Hardware to Software
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping
Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram
Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM
Parallel Reduction in Resource Lambda-Calculus
A Counterexample-Guided Debugger for Non-recursive Datalog
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase
Classical Natural Deduction for S4 Modal Logic
Protocol Specialization
Algebra, Logic, Locality, Concurrency
An Automatic Program Inverter for Lisp: Potential and Limitations
Relative Completeness of Incorrectness Separation Logic
A Simple Semantics for Polymorphic Recursion
Implementing Algebraic Effects in C - "Monads for Free in C"
Light Logic and Resource Bounded Computation
Vinter: A Vampire-Based Tool for Interpolation
Proving that Programs Are Differentially Private
Bottom-Up Context-Sensitive Pointer Analysis for Java
Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations