yusuke1997/dblp-id-title huggingface dataset:
Power Consumption Analysis of Replicated Virtual Applications
Preliminary Results on a Simple Approach to G/G/c-Like Queues
Technique of Statistical Validation of Rival Models for Fatigue Crack Growth Process and Its Identification
Markovian Characterisation of H.264/SVC Scalable Video
Study of the Path Average Lifetime in Ad Hoc Networks Using Stochastic Activity Networks
The PH/PH/1 Multi-threshold Queue
Exact Asymptotic Analysis of Closed BCMP Networks with a Common Bottleneck
Stability and Delay Analysis of an Adaptive Channel-Aware Random Access Wireless Network
Numerical Method for Bounds Computations of Discrete-Time Markov Chains with Different State Spaces
Multiserver Queues with Finite Capacity and Setup Time
Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption
Product-Form Solutions for Models with Joint-State Dependent Transition Rates
Flexible Traffic Engineering in Full Mesh Networks: Analysis of the Gain in Throughput and Cost Savings
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks
An All Geometric Discrete-Time Multiserver Queueing System
Simple Correlated Flow and Its Application
Monotone Queuing Networks and Time Parallel Simulation
The Preemptive Repeat Hybrid Server Interruption Model
Some Improvements for the Computation of the Steady-State Distribution of a Markov Chain by Monotone Sequences of Vectors
A Law of Large Numbers for M/M/c/Delayoff-Setup Queues with Nonstationary Arrivals
System Occupancy of a Two-Class Batch-Service Queue with Class-Dependent Variable Server Capacity
Stochastic Automata Networks with Master/Slave Synchronization: Product Form and Tensor
Optimal Inventory Management in a Fluctuating Market
Modeling CSMA/CA in VANET
Model-Based Decision Framework for Autonomous Application Migration
Fingerprinting and Reconstruction of Functionals of Discrete Time Markov Chains
Stochastic Fatigue Models for Efficient Planning Inspections in Service of Aircraft Structures
A Dynamic Page-Refresh Index Policy for Web Crawlers
Using the Whittle Estimator for the Selection of an Autocorrelation Function Family
Analytical and Stochastic Modelling Techniques and Applications - 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings
Equilibrium in Size-Based Scheduling Systems
Method of Asymptotic Diffusion Analysis of Queueing System M|M|N with Feedback
Map-Reduce Process Algebra: A Formalism to Describe Directed Acyclic Graph Task-Based Jobs in Parallel Environments
Trading Off Subtask Dispersion and Response Time in Split-Merge Systems
A Practical Tree Algorithm with Successive Interference Cancellation for Delay Reduction in IEEE 802.16 Networks
Perfect Sampling of Networks with Finite and Infinite Capacity Queues
A Parametric Copula Approach for Modelling Shortest-Path Trees in Telecommunication Networks
An Algorithm for Improved Proportional-Fair Utility for Vehicular Users
Comparison of Multi-service Routing Strategies for IP Core Networks
Revenue Management for Parallel Services with Fully Observable Queues
M / G /1 Queue with Exponential Working Vacation and Gated Service
Task Delegation in a Peer-to-Peer Volunteer Computing Platform
Contention-Based Polling Efficiency in Broadband Wireless Networks
On the Influence of High Priority Customers on a Generalized Processor Sharing Queue
Modelling Interacting Epidemics in Overlapping Populations
On the Performance of Secondary Users in a Cognitive Radio Network
A Queuing Model for the Non-continuous Frame Assembly Scheme in Finite Buffers
Optimal Adaptive Inspection Planning Process in Service of Fatigued Aircraft Structures
Retrial Queueing System with Correlated Input, Finite Buffer, and Impatient Customers
Journey Data Based Arrival Forecasting for Bicycle Hire Schemes
Dealing with Dependence in Stochastic Network Calculus - Using Independence as a Bound
Prediction-Based Dynamic Target Interception Using Discrete Markov Chains
iSWoM: The Incremental Storage Workload Model Based on Hidden Markov Models
The Age of Information in Gossip Networks
Optimal Analysis for M/G/1 Retrial Queue with Two-Way Communication
Performance Modelling of Concurrency Control Schemes for Relational Databases
Mixed Finite-/Infinite-Capacity Priority Queue with Interclass Correlation
Stability Condition for the Multi-server Job Queuing Model: Sensitivity Analysis
Efficient Steady State Analysis of Multimodal Markov Chains
Representation Transformations for Finding Markovian Representations
Queueing Analysis of Cognitive Radio Networks with Finite Number of Secondary Users
Mixed Finite-/Infinite-Capacity Priority Queue with General Class-1 Service Times
Optimal Data Collection in Hybrid Energy-Harvesting Sensor Networks
Modeling Multiclass Task-Based Applications on Heterogeneous Distributed Environments
Detecting Changes in the Scale of Dependent Gaussian Processes: A Large Deviations Approach
Efficient On-Line Generation of the Correlation Structure of F-ARIMA Processes
On the Characterization of Product-Form Multiclass Queueing Models with Probabilistic Disciplines
A Retrial Queue to Model a Two-Relay Cooperative Wireless System with Simultaneous Packet Reception
Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes
Change Detection of Model Transitions in Proxel Based Simulation of CHnMMs
Effective Minimization of Acyclic Phase-Type Representations
Congestive Collapse and Its Avoidance in a Dynamic Dial-a-Ride System with Time Windows
Strong Aggregation in the Stochastic Matching Model with Random Discipline
A Tandem Queueing Model for Delay Analysis in Disconnected Ad Hoc Networks
Checkpointing in Failure Recovery in Computing and Data Transmission
Simulation of a Peer to Peer Market for Grid Computing
Mean-Field Analysis of Markov Models with Reward Feedback
Average Delay Estimation in Discrete-Time Systems with Periodically Varying Parameters
Branching Processes, the Max-Plus Algebra and Network Calculus
Analytical and Stochastic Modelling Techniques and Applications - 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming
Departure Process in Finite-Buffer Queue with Batch Arrivals
A Central Limit Theorem for Markov-Modulated Infinite-Server Queues
Overall Delay in IEEE 802.16 with Contention-Based Random Access
Planning Inland Container Shipping: A Stochastic Assignment Problem
Convexity Results for Queueing System with Variable Service Rate
Moments Characterization of Order 3 Matrix Exponential Distributions
Analysis of a Two-Class Priority Queue with Correlated Arrivals from Another Node
Studying Mobile Internet Technologies with Agent Based Mean-Field Models
Improving the Efficiency of the Proxel Method by Using Individual Time Steps
Solving Multiserver Systems with Two Retrial Orbits Using Value Extrapolation: A Comparative Perspective
Performance Modeling of Cellular Systems with Finite Processor Sharing Queues in Random Environment, Guard Policy and Flex Retrial Users
Efficient Implementations of the EM-Algorithm for Transient Markovian Arrival Processes
Performance Evaluation of a Gradual Differentiation Scheme for Telecommunication Networks
Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools
Analytical and Stochastic Modeling Techniques and Applications - 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings
Networks of Symmetric Multi-class Queues with Signals Changing Classes
Stochastic Bounds and Histograms for Active Queues Management and Networks Analysis
Exact Sojourn Time Distribution in an Online IPTV Recording System
Stochastic Comparisons for Performability of Telecommunication Systems
The Discrete-Time Queue with Geometrically Distributed Service Capacities Revisited
Approximate Conditional Distributions of Distances between Nodes in a Two-Dimensional Sensor Network
An Analytic Model for Optimistic STM with Lazy Locking
Perfect Simulation of Stochastic Automata Networks
Different Monotonicity Definitions in Stochastic Modelling
Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System
Analytical and Stochastic Modelling Techniques and Applications - 25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019, Proceedings
Analytical and Stochastic Modelling Techniques and Applications - 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 - July 2, 2014. Proceedings
Rewriting Logic Based Performance Estimation of Embedded Systems
Investigation of the Reliability of Multiserver Computer Networks
Efficient Evaluation of Out-Patient Scheduling with Unpunctuality
Statistical Analysis of the Workload of a Video Hosting Server
Measuring the Distance Between MAPs and Some Applications
Size-Based Flow-Scheduling Using Spike-Detection
Modeling and Analysis of Checkpoint I/O Operations
Markovian Agents Population Models to Study Cancer Evolution
Stochastic PERT and CAST Logic Approach for Computer Support of Complex Operation Planning
Two-Way Communication M/M/1//N Retrial Queue
The Taylor Series Expansions for Performance Functions of Queues: Sensitivity Analysis
Non-linear Programming Method for Buffer Allocation in Unreliable Production Lines
Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets
Admission Control to an M/M/1 Queue with Partial Information
Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks
Performance Evaluation of Scheduling Policies for the DRCMPSP
A New Modelling Approach to Represent the DCF Mechanism of the CSMA/CA Protocol
Stochastic Modelling of Poll Based Multimedia Productions
Performance Evaluation of a Kitting Process
Queueing System MAP / PH / N with Propagated Failures
Model Checking of Infinite State Space Markov Chains by Stochastic Bounds
Analytical and Stochastic Modeling Techniques and Applications, 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings
Combined CAC and Forced Handoff for Mobile Network Performability
A Two-Class Continuous-Time Queueing Model with Dedicated Servers and Global FCFS Service Discipline
A Formal Approach to Investigate the Performance of Modern E-commerce Services
Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic
Analysis of an Automated Auction with Concurrent Multiple Unit Acceptance Capacity
Finding Prediction Limits for a Future Number of Failures in the Prescribed Time Interval under Parametric Uncertainty
Dynamic Transmission Scheduling and Link Selection in Mobile Cloud Computing
Packet Loss Minimization in Load-Balancing Switch
Application of a Particular Class of Markov Chains in the Assessment of Semi-actuated Signalized Intersections
Stochastic Bounds for Switched Bernoulli Batch Arrivals Observed Through Measurements
Stability Analysis of Some Networks with Interacting Servers
Analytical and Stochastic Modeling Techniques and Applications, 15th International Conference, ASMTA 2008, Nicosia, Cyprus, June 4-6, 2008, Proceedings
Deep Reinforcement Learning for Weakly Coupled MDP's with Continuous Actions
Analysis of Periodically Gated Vacation Model and Its Application to IEEE 802.16 Network
Tandem Queueing System with Different Types of Customers
Analytical and Stochastic Modelling Techniques and Applications - 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings
An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks
Analysis of a Two-Class FCFS Queueing System with Interclass Correlation
Energy-Efficient Operation of a Mobile User in a Multi-tier Cellular Network
Queueing System MAP/M/N as a Model of Call Center with Call-Back Option
Fluid Approximation of Pool Depletion Systems
Markovian Queue with Garbage Collection
Security Evaluation of Layered Intrusion Tolerant Systems
On Reliability of a Double Redundant Renewable System
Output Process in Batch-Arrival Queue with N-Policy and Multiple Vacations
Reconstructing Model Parameters in Partially-Observable Discrete Stochastic Systems
A Simple Approximation for the Response Times in the Two-Class Weighted Fair Queueing System
Analysis of a Discrete-Time Queue with Geometrically Distributed Service Capacities
Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems
Sojourn Time Analysis for Processor Sharing Loss System with Unreliable Server
User Access to Popular Data on the Internet and Approaches for IP Traffic Flow Optimization
Exact Performance Analysis of Retrial Queues with Collisions
Energy-Aware Data Centers with s-Staggered Setup and Abandonment
Two Way Communication Retrial Queues with Balanced Call Blending
Performance Evaluation of a Single Node with General Arrivals and Service
The qnetworks Toolbox: A Software Package for Queueing Networks Analysis
Discriminatory Processor Sharing from Optimization Point of View
Algorithmic Analysis of a Two-Class Multi-server Heterogeneous Queueing System with a Controllable Cross-connectivity
Statistical Techniques for Validation of Simulation and Analytic Stochastic Models
Efficient Generation of PH-Distributed Random Variates
A Smart Neighbourhood Simulation Tool for Shared Energy Storage and Exchange
A Hessenberg Markov Chain for Fast Fibre Delay Line Length Optimization
The Application of FSP Models in Automatic Optimization of Software Deployment
Interconnected Wireless Sensors with Energy Harvesting
Semi-Product-Form Solution for PEPA Models with Functional Rates
Efficient Performance Evaluation of Wireless Networks with Varying Channel Conditions
An Algebraic Proof of the Relation of Markov Fluid Queues and QBD Processes
Model-Based Quantitative Security Analysis of Mobile Offloading Systems Under Timing Attacks
Interconnection of Large Scale Unstructured P2P Networks: Modeling and Analysis
Analytical and Stochastic Modelling Techniques and Applications - 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
On Convergence Rate to Stationarity of Queues with General Gaussian Input
Analysis of Opportunistic Spectrum Access in Cognitive Ad Hoc Networks
The Virtual Waiting Time in a Finite-Buffer Queue with a Single Vacation Policy
Invariant Embedding Technique and Its Applications for Improvement or Optimization of Statistical Decisions
Transform-Domain Solutions of Poisson's Equation with Applications to the Asymptotic Variance
Prediction Model Selection and Spare Parts Ordering Policy for Efficient Support of Maintenance and Repair of Equipment
Subsampling for Chain-Referral Methods
Robustness of the Whittle Estimator Applied to Non-Gaussian Long-Range Dependent Processes
Mixed Networks with Multiple Classes of Customers and Restart
A DTMC Model for Performance Evaluation of Irregular Interconnection Networks with Asymmetric Spatial Traffic Distributions
An Algorithmic Approach for Multiserver Retrial Queues with Two Customers Classes and Non-preemptive Priority
Modelling Unfairness in IEEE 802.11g Networks with Variable Frame Length
Equivalence and Lumpability of FSPNs
Time-Dependent Behavior of Queueing Delay in GI/M/1/K-type Model with N-policy: Analytical Study with Applications to WSNs
Performance Modelling of Optimistic Fair Exchange
Modeling and Analysis of a Relay-Assisted Cooperative Cognitive Network
Modeling and Simulation of Mobility of Crowds
Time-Parallel Simulation for Stochastic Automata Networks and Stochastic Process Algebra
Throughput Maximization with Multiclass Workloads and Resource Constraints
A Response Time Distribution Model for Zoned RAID
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations
Lumping and Reversed Processes in Cooperating Automata
Consolidation and Replication of VMs Matching Performance Objectives
Optimal Allocation of Tasks to Networked Computing Facilities
Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm
Analyzing the Impact of Various Modulation and Coding Schemes on the MAC Layer of IEEE 802.11 WLANs
Analytical and Stochastic Modeling Techniques and Applications - 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
Queueing Analysis for a Mixed Model of Carsharing and Ridesharing
Performance Evaluation of the High Speed Downlink Packet Access in Communications Networks Based on High Altitude Platforms
Unbiased Simultaneous Prediction Limits on Observations in Future Samples
The Formal Theory of Monads, Univalently
Higher-Dimensional Automata: Extension to Infinite Tracks
A Syntax for Mutual Inductive Families
Completeness of the Decreasing Diagrams Method for Proving Confluence of Rewriting Systems of the Least Uncountable Cardinality
Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description)
Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity
Data-Flow Analyses as Effects and Graded Monads
Lean: Past, Present, and Future (Invited Talk)
Categorical Coherence from Term Rewriting Systems
Stateful Structural Operational Semantics
A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems
Z; Syntax-Free Developments
Strongly Normalizing Higher-Order Relational Queries
Quotients and Extensionality in Relational Doctrines
Impredicative Encodings of Inductive and Coinductive Types
A Lambda Calculus Satellite (Invited Talk)
Addition and Differentiation of ZX-Diagrams
A Combinatorial Approach to Higher-Order Structure for Polynomial Functors
A Type Checker for a Logical Framework with Union and Intersection Types (System Description)
Meaningfulness and Genericity in a Subsuming Framework (Invited Talk)
The Expressive Power of One Variable Used Once: The Chomsky Hierarchy and First-Order Monadic Constructor Rewriting
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk)
Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions
Unsolvable Terms in Filter Models (Invited Talk)
A Modal Analysis of Metaprogramming, Revisited (Invited Talk)
9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, Tallinn, Estonia, July 10-13, 2024
Sheaf Semantics of Termination-Insensitive Noninterference
The Flower Calculus
Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars
7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, Haifa, Israel, August 2-5, 2022
6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, Buenos Aires, Argentina (Virtual Conference), July 17-24, 2021
Semi-Axiomatic Sequent Calculus
A Functional Abstraction of Typed Invocation Contexts
∞-Categorical Models of Linear Logic
Mechanized Undecidability of Higher-Order Beta-Matching
Two-Dimensional Kripke Semantics I: Presheaves
Predicative Aspects of Order Theory in Univalent Foundations
Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
Type Isomorphisms for Multiplicative-Additive Linear Logic
A Strong Call-By-Need Calculus
Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions
Strategies for Asymptotic Normalization
Adaptive Non-Linear Pattern Matching Automata
A Gentzen-Style Monadic Translation of Gödel's System T
A Stratified Approach to Löb Induction
Concurrent Realizability on Conjunctive Structures
Encoding Type Universes Without Using Matching Modulo Associativity and Commutativity
On the Metric Nature of (Differential) Logical Relations
An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems
Generalized Newman's Lemma for Discrete and Continuous Systems
Coalgebra Encoding for Efficient Minimization
Division by Two, in Homotopy Type Theory
Diller-Nahm Bar Recursion
Constructing Unprejudiced Extensional Type Theories with Choices via Modalities
α-Avoidance
Symbolic Execution Game Semantics
Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor
Polymorphic Automorphisms and the Picard Group
Normalization Without Syntax
Cyclic Proofs for Arithmetical Inductive Definitions
IMELL Cut Elimination with Linear Overhead
Some Axioms for Mathematics
On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems
Monad Translations for Higher-Order Logic
Equational Theories and Validity for Logically Constrained Term Rewriting
Representation of Peano Arithmetic in Separation Logic
Tuple Interpretations for Higher-Order Complexity
On the Logical Strength of Confluence and Normalisation for Cyclic Proofs
The Logical Essence of Compiling with Continuations
Non-Deterministic Functions as Non-Deterministic Processes
Abstract Clones for Abstract Syntax
An Innermost DP Framework for Constrained Higher-Order Rewriting
What's Decidable About (Atomic) Polymorphism?
Machine-Checked Categorical Diagrammatic Reasoning
Quantitative Types for the Functional Machine Calculus
10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, Birmingham, UK, July 14-20, 2025
Linear Lambda-Calculus is Linear
Hydra Battles and AC Termination
On Lookaheads in Regular Expressions with Backreferences
Convolution Products on Double Categories and Categorification of Rule Algebras
Combinatory Logic and Lambda Calculus Are Equal, Algebraically
Undecidability of Semi-Unification on a Napkin
New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial
A Categorical Approach to DIBI Models
Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures
Grading Call-By-Push-Value, Explicitly and Implicitly
8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, Rome, Italy, July 3-6, 2023
Quotients in Dependent Type Theory (Invited Talk)
Encoding Agda Programs Using Rewriting
A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk)
Termination of Generalized Term Rewriting Systems
The Cost of Skeletal Call-By-Need, Smoothly
homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories
A Zoo of Continuity Properties in Constructive Type Theory
Combined Hierarchical Matching: the Regular Case
Solving Guarded Domain Equations in Presheaves over Ordinals and Mechanizing It
Decision Problems for Linear Logic with Least and Greatest Fixed Points
Solvability in a Probabilistic Setting (Invited Talk)
Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
A Verified Algorithm for Deciding Pattern Completeness
Type-Based Termination for Futures
Rewriting Modulo Traced Comonoid Structure
The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic
Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories
Restricting Tree Grammars with Term Rewriting
A Modular Associative Commutative (AC) Congruence Closure Algorithm
Unital Anti-Unification: Type and Algorithms
State Canonization and Early Pruning in Width-Based Automated Theorem Proving
An Expressive Trace Logic for Recursive Programs
Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description)
Church's Semigroup Is Sq-Universal
The Unification Type of an Equational Theory May Depend on the Instantiation Preorder
Representing Guardedness in Call-By-Value
A Certified Algorithm for AC-Unification
5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, Paris, France (Virtual Conference), June 29 - July 6, 2020
Synthetic Undecidability of MSELL via FRACTRAN Mechanised in Coq
Cost-Size Semantics for Call-By-Value Higher-Order Rewriting
A Bicategorical Model for Finite Nondeterminism
Modules over Monads and Operational Semantics
Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories
A Probabilistic Higher-Order Fixpoint Logic
Abstraction-Based Decision Making for Statistical Properties (Invited Talk)
E-Unification for Second-Order Abstract Syntax
Unifying Boolean and Algebraic Descriptive Complexity
Type Safety of Rewrite Rules in Dependent Types