yusuke1997/dblp-id-title huggingface dataset:
Intuitive Comprehensibility of Process Models
Dependable data sharing in dynamic IoT-systems: subject-oriented process design, complex event processing, and blockchains
An Approach to Agility in Enterprise Innovation
How to Learn to "Speak S-BPM" - Lessons from Language Learning
Business Objects as a Mediator between Processes and Data
Resilient Ontology Support Facilitating Multi-Perspective Process Integration in Industry 4.0
Adaptive open innovation: solution approach and tool support
A Domain Specific Language for Describing S-BPM Processes
When Processes Alienate Customers: Towards a Theory of Process Acceptance
Abstract Layers in PASS - A Concept Draft
Can you see the wood for the trees?: collection and compilation of agility models for BPM
Industry 4.0 Standardisation: Where Does S-BPM Fit?
An Editing Concept for PASS Layers
Development of an Integrated Procedure Model for Optimization of Distribution Processes within Industry
S-BPM ONE - Education and Industrial Developments - 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings
Using Social Network Analysis and Derivatives to Develop the S-BPM Approach and Community of Practice
Engines supporting the subject-oriented paradigm
BPM Change Planning Using the Matrix of Change and Discrete Optimization Methods
Establishing an Informed S-BPM Community
Successive omniscience
A graph model for opportunistic network coding
Securing broadcast against dishonest receivers
Computer aided proofs for rate regions of independent distributed source coding problems
In order packet delivery in instantly decodable network coded systems over wireless broadcast
Trustworthy decoding of random network coded packets under pollution attack: Physical-layer approach
A new class of index coding instances where linear coding is optimal
Hybrid noncoherent network coding
Comparison of analytical and measured performance results on network coding in IEEE 802.11 ad-hoc networks
Noisy network coding with causal channel state information
Receiver heterogeneity helps: Network coding for wireless multi-layer multicast
Data secrecy in distributed storage systems under exact repair
Throughput-smoothness trade-offs in multicasting of an ordered packet stream
On coding for asymmetric wireless interfaces
Round-robin streaming with generations
Finite-length analysis of BATS codes
On the secure conditions for distributed storage systems
Information multicast in (pseudo-)planar networks: Efficient network coding over small finite fields
Algorithms for weakly secure data exchange
A refinement of the Four-Atom Conjecture
Efficient GF arithmetic for linear network coding using hardware SIMD extensions
Deterministic network coding algorithms and applications for wireless networks
Storage codes: Managing big data with small overheads
International Symposium on Network Coding, NetCod 2013, Calgary, AB, Canada, June 7-9, 2013
Coding delay analysis of Chunked codes over line networks
On the ergodic rate for compute-and-forward
A geometric framework for investigating the multiple unicast network coding conjecture
Low cost security for sensor networks
Social norm incentives for secure network coding in MANETs
Broadcast erasure channel with feedback: The two multicast case - Algorithms and bounds
Near outage limit joint network coding and decoding for the Semi-Orthogonal Multiple-Access Relay Channel
Gamma Codes: A low-overhead linear-complexity network coding solution
O2-GIDNC: Beyond instantly decodable network coding
Redundancy adaptation scheme for network coding with TCP
Multicut lower bounds via network coding
On the fundamental limits of coded caching and exact-repair regenerating codes
Multiple unicasts, graph guessing games, and non-Shannon inequalities
A total energy approach to protocol design in coded wireless sensor networks
Rank metric convolutional codes for Random Linear Network Coding
The two-user broadcast packet erasure channel with feedback and memory
Untrusting network coding
On error correcting algorithms for the cooperative data exchange problem
On multiplicative matrix channels over finite chain rings
Replication based storage systems with local repair
Benchmarking the performance of hadoop triple replication and erasure coding on a nation-wide distributed cloud
Variable-rate, static and universal generic linear network codes
Interference cancellation and joint decoding for collision resolution in slotted ALOHA
Tunable sparse network coding for multicast networks
Panda: A protocol-assisted network decoding algorithm
The precoding problem for sparse random linear network coding
Finite nilpotent and metacyclic groups never violate the Ingleton inequality
Weakly secure regenerating codes for distributed storage
Linear network coding and the model theory of linear rank inequalities
A new computational approach for determining rate regions and optimal codes for coded networks
Generalized cut-set bounds for networks with collocated messages
An upper bound on the size of locally recoverable codes
Multicast packing for coding across multiple unicasts
International Symposium on Network Coding, NetCod 2014, Aalborg Oest, Denmark, June 27-28, 2014
NC-Audit: Auditing for network coding storage
Opportunistic network coding: Competitive analysis
Network coding with unequal size overlapping generations
Exploiting symmetry in computing polyhedral bounds on network coding rate regions
On minimizing the average packet decoding delay in wireless network coded broadcast
Can network coding bridge the digital divide in the pacific?
Extended diversity coding: Coding protection and primary paths for network restoration
Random delay in network coding for bidirectional relaying
Towards unconditional tor-like anonymity
On adaptive (functional MSR code based) distributed storage systems
Distributed gabidulin codes for multiple-source network error correction
On base field of linear network coding
Scheduling advantages of network coded storage in point-to-multipoint networks
Quasi-linear network coding
Network coding for data-retrieving in cloud storage systems
Minimum-overhead network coding in the short packet regime
Exact topology inference for DAGs using network coding
Quantum network coding - How can network coding be applied to quantum information?
Min-cost wireless multihop networks in Euclidean space
A hybrid EF/DF protocol with rateless coded network code for two-way relay channel
Supporting Dynamic Adaptive Streaming over HTTP in wireless meshed networks using random linear network coding
Reduced Functional dependence graphs and their applications
Adaptive suppression of inter-packet delay variations in coded packet networks
Iterative merging algorithm for cooperative data exchange
Adjustable redundancy for secure network coding in a unicast scenario
Initialization of convolutional network coding for unknown networks
Content-type coding
Strategic network coding - How much and where to code to obtain most of the benefits
TCP and network coding equilibrium and dynamic properties
On secure network coding with uniform wiretap sets
2015 International Symposium on Network Coding, NetCod 2015, Sydney, Australia, June 22-24, 2015
Index coding over correlated sources
Routing for security in networks with adversarial nodes
Instantly decodable network codes for real-time applications
Analog network coding in general SNR regime: Performance of a greedy scheme
On Space Information Flow: Single multicast
Delay reduction in multi-hop device-to-device communication using network coding
Feedback-based coding algorithms for broadcast erasure channels with degraded message sets
Network coding and the model theory of linear information inequalities
Multi-terminal secrecy in a linear non-coherent packetized networks
The rate region of secure symmetrical multilevel diversity coding
Correlation-aware reconstruction of network coded sources
International Symposium on Network Coding, NetCod 2012, Cambridge, MA, USA, June 29-30, 2012
Universal secure network coding by non-linear secret key agreement
SELLMA: Semantic Location through On-Device LLMs and WiFi Sensing
A Thin Hypervisor Approach to Multi-Tenant SmartNICs in Edge Data Centers
Proceedings of the 7th International Workshop on Edge Systems, Analytics and Networking, EdgeSys 2024, Athens, Greece, 22 April 2024
Compiler-aware AI Hardware Design for Edge Devices
Estimating the Training Time in Single- and Multi-Hop Split Federated Learning
FLIGAN: Enhancing Federated Learning with Incomplete Data using GAN
Proceedings of the 8th International Workshop on Edge Systems, Analytics and Networking, EdgeSys 2025, World Trade Center, Rotterdam, The Netherlands, 30 March 2025 - 3 April 2025
AlterEgo: A Dedicated Blockchain Node For Analytics
ShutPub: Publisher-side Filtering for Content-based Pub/Sub on the Edge
A Benchmark for ML Inference Latency on Mobile Devices
Cerberus: Privacy-Preserving Crowd Counting and Localisation using Face Detection in Edge Devices
Supporting Hybrid Virtualization Orchestration for Edge Computing
Toward GPU-centric Networking on Commodity Hardware
Edge Acceleration of LiDAR Frame Transmission with In-network Machine Learning
PathFS: A File System for the Hierarchical Edge
Vehicle-to-Everything Services in 3GPP 5G Networks: An Empirical Analysis
Stateful VM Migration Among Heterogeneous WebAssembly Runtimes for Efficient Edge-cloud Collaborations
Stream Processing with Adaptive Edge-Enhanced Confidential Computing
Serverless Runtime / Database Co-Design With Asynchronous I/O
The Heap: A Contamination-Free Multilingual Code Dataset for Evaluating Large Language Models
Assessing the Impact of GPT-4 Turbo in Generating Defeaters for Assurance Cases
How Developers Interact with AI: A Taxonomy of Human-AI Collaboration in Software Engineering
OptCodeTrans: Boost LLMs on Low-Resource Programming Language Translation
Resource-Efficient & Effective Code Summarization
Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering, FORGE 2024, Lisbon, Portugal, 14 April 2024
Investigating the Performance of Language Models for Completing Code in Functional Programming Languages: a Haskell Case Study
Is Attention All You Need? Toward a Conceptual Model for Social Awareness in Large Language Models
Fine Tuning Large Language Model for Secure Code Generation
Deep Multiple Assertions Generation
Testing Refactoring Engine via Historical Bug Report driven LLM
Enhancing Pull Request Reviews: Leveraging Large Language Models to Detect Inconsistencies Between Issues and Pull Requests
MeTMaP: Metamorphic Testing for Detecting False Vector Matching Problems in LLM Augmented Generation
Cyber-Attack Detection and Localization for SCADA system of CPSs
Testing Android Third Party Libraries with LLMs to Detect Incompatible APIs
Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast
IEEE/ACM Second International Conference on AI Foundation Models and Software Engineering, Forge@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025
Extracting Fix Ingredients using Language Models
Benchmarking Prompt Engineering Techniques for Secure Code Generation with GPT Models
Towards Generating App Feature Descriptions Automatically with LLMs: the Setapp Case Study
SE Arena: An Interactive Platform for Evaluating Foundation Models in Software Engineering
MaRV: A Manually Validated Refactoring Dataset
Exploring the Impact of the Output Format on the Evaluation of Large Language Models for Code Translation
A Comprehensive Study of Bug Characteristics on Foundation Language Models
Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models
Microservices Performance Testing with Causality-enhanced Large Language Models
On Evaluating the Efficiency of Source Code Generated by LLMs
HyRACC: A Hybrid Retrieval-Augmented Framework for More Efficient Code Completion
Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements
"So what if I used GenAI?" - Legal Implications of Using Cloud-based GenAI in Software Engineering Research
An Exploratory Investigation into Code License Infringements in Large Language Model Training Datasets
SoTaNa: An Open-Source Software Engineering Instruction-Tuned Model
The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks
SwiftEval: Developing a Language-Specific Benchmark for LLM-generated Code Evaluation
Planning to Guide LLM for Code Coverage Prediction
Automated Codebase Reconciliation using Large Language Models
ELDetector: An Automated Approach Detecting Endless-loop in Mini Programs
AgileCoder: Dynamic Collaborative Agents for Software Development based on Agile Methodology
Commit Message Generation via ChatGPT: How Far Are We?
CodeFlow: Program Behavior Prediction with Dynamic Dependencies Learning
Vulnerability-Triggering Test Case Generation from Third-Party Libraries
Skill over Scale: The Case for Medium, Domain-Specific Models for SE
Addressing Specific and Complex Scenarios in Semantic Parsing
PyResBugs: A Dataset of Residual Python Bugs for Natural Language-Driven Fault Injection
Creative and Correct: Requesting Diverse Code Solutions from AI Foundation Models
RepoHyper: Search-Expand-Refine on Semantic Graphs for Repository-Level Code Completion
PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback
AI-Powered, But Power-Hungry? Energy Efficiency of LLM-Generated Code
PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4
Bounding Resource Consumption with Gödel-Dummett Logics
Faster Phylogenetic Inference with MXG
A Case for Extensional Non-Wellfounded Metamodeling
Matching Modulo Superdevelopments Application to Second-Order Matching
A Semantics for Proof Plans with Applications to Interactive Proof Planning
Concept Formation via Proof Planning Failure
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
Treewidth in Verification: Local vs. Global
Strict Geometry of Interaction Graph Models
Splitting on Demand in SAT Modulo Theories
Collaborative Inference of Combined Invariants
Local Conditional High-Level Robot Programs
Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic
Constraint Logic Programming in the Sequent Calculus
Properties of Algorithmic Operators
Parse Condition: Symbolic Encoding of LL(1) Parsing
Abstracting Properties in Concurrent Constraint Programming
Well-founded Functions and Extreme Predicates in Dafny: A Tutorial
Complexity Analysis in Presence of Control Operators and Higher-Order Functions
Characterising Probabilistic Processes Logically - (Extended Abstract)
A Graphical Language for Proof Strategies
Tree-Verifiable Graph Grammars
A Fixpoint Semantics for Reasoning about Finite Failure
Algorithms for Propositional Model Counting
Defining the meaning of TPTP formatted proofs
A Lightweight Double-negation Translation
Parallelism and Tree Regular Constraints
Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
The involutions-as-principal types/application-as-unification Analogy
Matching with Regular Constraints
Complexity of Linear Standard Theories
A Semantic Completeness Proof for TaMeD
Scaling Up: Computers vs. Common Sense
Generic Methods for Formalising Sequent Calculi Applied to Provability Logic
On Bounded Reachability of Programs with Set Comprehensions
Automated analysis of Stateflow models
An Asymptotically Correct Finite Path Semantics for LTL
Experiments with Choice in Dependently-Typed Higher-Order Logic
ProofWatch Meets ENIGMA: First Experiments
From One Session to Many: Dynamic Tags for Security Protocols
Verifying Cryptographic Protocols with Subterms Constraints
Scaling CheckMate for Game-Theoretic Security
The Theorema Environment for Interactive Proof Development
A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic
Focused Natural Deduction
Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
Deciding Knowledge in Security Protocols for Monoidal Equational Theories
Speed-Up Techniques for Negation in Grounding
On Promptness in Parity Games
Efficient Computation of the Well-Founded Model Using Update Propagation
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf
Uncurrying for Termination
Can a Higher-Order and a First-Order Theorem Prover Cooperate?
Characterising Space Complexity Classes via Knuth-Bendix Orders
Evidence Algorithm and Sequent Logical Inference Search
Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers
Tighter Abstract Queries in Neural Network Verification
Compiling Hilbert's epsilon operator
ElipSys - A Parallel Programming System based on Logic
Evaluating QBFs via Symbolic Skolemization
Formalization of Algebraic Theorems in PVS (Invited Talk)
Ordered Diagnosis
A Syntactical Approach to Qualitative Constraint Networks Merging
Decidable Inequalities over Infinite Trees
Deciding in HFS-Theory via Linear Integer Programming
Higher order interpretation for higher order complexity
Learning Data Structure Shapes from Memory Graphs
Set of Support for Theory Reasoning
Graph Path Orderings
An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems
Valigator: A Verification Tool with Bound and Invariant Generation
Automated Proof Support for Interval Logics
Comparative Similarity, Tree Automata, and Diophantine Equations
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
Syntactic computation of Fagin-Halpern conditioning in possibility theory
Conflict Resolution in Structured Argumentation
Models of Concurrent Kleene Algebra
Satisfiability of Non-linear (Ir)rational Arithmetic
May-Happen-in-Parallel Analysis for Priority-Based Scheduling
Towards Automated Proof Support for Probabilistic Distributed Systems
Fuzzy Datalog∃ over Arbitrary t-Norms
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
A uniform framework for substructural logics with modalities
Functional Logic Programming with Failure: A Set-Oriented View
Three SCC-Based Emptiness Checks for Generalized Büchi Automata
Ordered Resolution with Selection for H(@)
Applications of General Exact Satisfiability in Propositional Logic Modelling
E-Matching with Free Variables
A Quantifier Elimination Algorithm for Linear Real Arithmetic
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games
A Two Steps Semantics for Logic Programs with Negation
Combining Combination Properties: Minimal Models
Reachability Analysis of Term Rewriting Systems with Timbuk
An Event Structure Model for Probabilistic Concurrent Kleene Algebra
On Deductive Planning and the Frame Problem
Beth Definability for the Guarded Fragment
Translating C# to Branching Symbolic Transducers
EUODHILOS: A General Reasoning System for a Variety of Logics
Variable Compression in ProbLog
IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017
Ordered Paramodulation and Resolution as Decision Procedure
Herbrand's Theorem in Inductive Proofs
On the Expressive Power of Communication Primitives in Parameterised Systems
Spes: A System for Logic Program Transformation
Minimizing Automata on Infinite Words
Expansion Nets: Proof-Nets for Propositional Classical Logic
The Max-Atom Problem and Its Relevance
Proof Simplification for Model Generation and Its Applications
The Semantics of Consistency and Trust in Peer Data Exchange Systems
Sharing HOL4 and HOL Light Proof Knowledge
An Exchange Format for Modular Knowledge
A Constructive Logic Approach to Database Theory
Constrained Term Rewriting tooL
Counting and Enumeration Problems with Bounded Treewidth
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation
Processing of Ground Regular Terms in PROLOG
A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
Automatic Inference of Resource Consumption Bounds
A Sudoku-Solver for Large Puzzles using SAT
The Permutative λ-Calculus
Generalization and Reuse of Tactic Proofs
On the Complexity of Single-Rule Datalog Queries
LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024
Mathpert: Computer Support for Learning Algebra, Trig, and Calculus
r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)
There Is No Best \beta -Normalization Strategy for Higher-Order Reasoners
Matching in Hybrid Terminologies
Pairwise Cardinality Networks
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem
Relational Reasoning via Probabilistic Coupling
Characterizing Provability in
An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures
Decision levels are stable: towards better SAT heuristics
Parallel Graph Rewriting with Overlapping Rules
On the Alternation-Free Horn Mu-calculus
Application of Trace-Based Subjective Logic to User Preferences Modeling
Resourceful Reachability as HORN-LA
Church's Lambda Delta Calculus
Theorem Proving with Sequence Variables and Flexible Arity Symbols
Integrity Verification in Knowledge Bases
The Four Sons of Penrose
Analyzing Runtime Complexity via Innermost Runtime Complexity
Graded Alternating-Time Temporal Logic
HOL Based First-Order Modal Logic Provers
Logic and Computation in a Lambda Calculus with Intersection and Union Types
Extending Deductive Database Languages by Embedded Implications
Executable Specifications based on Dynamic Algebras
IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015
On the Complexity of Theory Curbing
A Verified Efficient Implementation of the LLL Basis Reduction Algorithm
Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games
Awareness in Games, Awareness in Logic
Alternating Reachability Games with Behavioral and Revenue Objectives
Minimizing Sorting Networks at the Sub-Comparator Level
Acceleration-based safety decision procedure for programs with arrays
Using BDDs with Combinations of Theories
Random: R-Based Analyzer for Numerical Domains
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog
A Logical-Based Language for Feature Specification and Transmission Control
A New Proof of P-time Completeness of Linear Lambda Calculus
Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games
BDI: A New Decidable First-order Clause Class
Automatic Structures of Bounded Degree
Unification Under One-Sided Distributivity with a Multiplicative Unit
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
An Algorithmic Interpretation of a Deep Inference System
How to Transform an Analyzer into a Verifier
Understanding LEO-II's proofs
Automated Theorem Proving for Prolog Verification
The Triguarded Fragment of First-Order Logic
Effectively Monadic Predicates
A Method to Simplify Expressions: Intuition and Preliminary Experimental Results
20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015
Analyzing Internet Routing Security Using Model Checking
A Tactic Language for the System Coq
Antiprenexing for WSkS: A Little Goes a Long Way
Semiring-Induced Propositional Logic: Definition and Basic Algorithms
FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover
Reachability Modules for the Description Logic $\mathcal{SRIQ}$
Computing Induction Axioms
Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying
On Conflicts and Strategies in QBF
A Bottom-Up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs
Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting
Deep Proof Search in MELL
Mixing metafor
Propagators and Solvers for the Algebra of Modular Systems
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
A Kripkean Semantics for Dynamic Logic Programming