yusuke1997/dblp-id-title huggingface dataset:
Measuring Web Speed From Passive Traces
Identifying Roadblocks in Building Decentralized Apps
A novel hybrid distributed-routing and SDN solution for Traffic Engineering
Toward Programmable Interdomain Routing
Checking-in on network functions
Proceedings of the 2024 Applied Networking Research Workshop, ANRW 2024, Vancouver, BC, Canada, 23 July 2024
Proceedings of the Workshop on Applied Networking Research, ANRW 2022, Philadelphia, Pennsylvania, 26 July 2022
ANRW '21: Applied Networking Research Workshop, Virtual Event, USA, July 24-30, 2021
Towards switched-homing for Internet access
Towards a Congestion Control-Independent Core-Stateless AQM
RobE: Robust Connection Establishment for Multipath TCP
Towards Measuring Content Locality
Preventing (Network) Time Travel with Chronos
What time is it: managing time in the internet
Restructuring Endpoint Congestion Control
On the suitability of BBR congestion control for QUIC over GEO SATCOM networks
Cascades of Nested Acknowledgments in Multi-Hop MASQUE
Implementing and Evaluating Ioam Integrity Protection
QUICPro: Integrating Deep Reinforcement Learning to Defend against QUIC Handshake Flooding Attacks
On the Accuracy of Country-Level IP Geolocation
Why (and How) Networks Should Run Themselves
An enhanced socket API for Multipath TCP
Revisiting Benchmarking Methodology for Interconnect Devices
Adaptive cheapest path first scheduling in a transport-layer multi-path tunnel context
TCP Congestion Signatures
An ISP-Scale Deployment of TapDance
CommunityWatch: The Swiss-Army Knife of BGP Anomaly Detection
MAY is not enough! QUIC servers SHOULD skip packet numbers
L, Q, R, and T: which spin bit cousin is here to stay?
Empowering IETF Collaboration with NLP Search Innovations and LLM-Enhanced RFC Writing
Oblivious DNS: practical privacy for DNS queries: published in PoPETS 2019
Secure Deployment of eBPF Programs Made Manifest
Comments On DNS Robustness
Carbon-Intelligent Content Scheduling in CDNs
Diurnal and Weekly Cycles in IPv6 Traffic
Is CoAP Congestion Safe?
To switch or not to switch to TCP Prague? Incentives for adoption in a partial L4S deployment
Multi-Homed on a Single Link: Using Multiple IPv6 Access Networks
Automated Attack Discovery in TCP Congestion Control Using a Model-guided Approach
HTTP/3's Extensible Prioritization Scheme in the Wild
DARE: Making Diffusing Computations More Efficient for Loop-Free Shortest-Path Routing
Two Decades of IETF Affiliations: Evolution and Impact
Proceedings of the 2025 Applied Networking Research Workshop, ANRW 2025, Madrid, Spain, 22 July 2025
Meta-peering: towards automated ISP peer selection
A Framework for Secure Autonomic IoT Device Management in Constrained Networks
Low-Carb BGP: A Carbon-Aware Inter-Domain Routing Extension to BGP
PATHspider: A tool for active measurement of path transparency
Gotta Query 'Em All, Again!: Repeatable Name Resolution with Full Dependency Provenance
Proceedings of the Applied Networking Research Workshop, ANRW 2023, San Francisco, CA, USA, 24 July 2023
Evaluating the Benefits: Quantifying the Effects of TCP Options, QUIC, and CDNs on Throughput
Supporting multi-domain Use cases with ALTO
Analyzing the costs (and benefits) of DNS, DoT, and DoH for the modern web
Stack Management for MPLS Network Actions: Integration of Nodes with Limited Hardware Capabilities
Daisy: Practical Anomaly Detection in large BGP/MPLS and BGP/SRv6 VPN Networks
Behind the scenes: what device benchmarks can tell us
Computing Customer Cones of Peering Networks
Inferring the Deployment of Inbound Source Address Validation Using DNS Resolvers
Debugging QUIC and HTTP/3 with qlog and qvis
Lowering the Barriers to Working with Public RIR-Level Data
Enabling Privacy-Aware Zone Exchanges Among Authoritative and Recursive DNS Servers
CCID5: an implementation of the BBR congestion control algorithm for DCCP and its impact over multi-path scenarios
User Space Network Drivers
Manus manum lavat: media clients and servers cooperating with common media client/server data
Tracking transport-layer evolution with PATHspider
NeST: Network Stack Tester
Dynam-IX: a Dynamic Interconnection exchange
Towards Decentralized Fast Consistent Updates
Investigating Data Center Network Protocols
A NEAT Way to Browse the Web
Push Away Your Privacy: Precise User Tracking Based on TLS Client Certificate Authentication
Hunting BGP zombies in the wild
On the Benefits of Predictable Traffic in Virtual Switches: A Case Study
Not-So-Low Hanging Fruit: Security and Privacy Research Opportunities for IETF Protocols
Metrics for access network selection
ANRW '20: Applied Networking Research Workshop, Virtual Event, Spain, July 27-30, 2020
A Fine-grained and Transparent Congestion Control Enforcement Scheme
Wireless Edge Network for Sustainable Rural Community Networks
Proceedings of the 2016 Applied Networking Research Workshop, ANRW 2016, Berlin, Germany, July 16, 2016
What can you learn from an IP?
CheesePi: Research, Results, and the Regulator
Understanding QUIC's Throughput Speedbumps
Towards a Rigorous Methodology for Measuring Adoption of RPKI Route Validation and Filtering
Manage resource-constrained IoT devices through dynamically generated and deployed YANG models
Lights Out: Climate Change Risk to Internet Infrastructure
Proceedings of the Applied Networking Research Workshop, ANRW 2018, Montreal, QC, Canada, July 16-16, 2018
Picking a Partner: A Fair Blockchain Based Scoring Protocol for Autonomous Systems
Implementing IPv6 Segment Routing in the Linux Kernel
The Observer Effect in Computer Networks
Can we containerize internet measurements?
Is it really necessary to go beyond a fairness metric for next-generation congestion control?
Crosslayer network outage classification using machine learning
UniSAV: A Unified Framework for Internet-Scale Source Address Validation
Towards Understanding Middlebox Deployments in Dutch ASes: Impact of IP Sampling Size
Who is answering my queries: understanding and characterizing interception of the DNS resolution path
Enabling Multi-hop ISP-Hypergiant Collaboration
Call for Collaboration: DNS Integrations
A performance perspective on web optimized protocol stacks: TCP+TLS+HTTP/2 vs. QUIC
On the Cost of Using Happy Eyeballs for Transport Protocol Selection
Proceedings of the Applied Networking Research Workshop, ANRW 2019, Montreal, Quebec, Canada, July 22, 2019
Characterizing the Nature and Dynamics of Tor Exit Blocking
Elasticity Detection: A Building Block for Delay-Sensitive Congestion Control
Multipath bonding at Layer 3
Securing IPv6 neighbor discovery and SLAAC in access networks through SDN
DNS-over-TCP considered vulnerable
Do Large Language Models Dream of Sockets?
Beyond Binary Failures in Networks
mmb: flexible high-speed userspace middleboxes
How to say that you're special: Can we use bits in the IPv4 header?
PINOT: Programmable Infrastructure for Networking
Towards Comprehensive Mapping of Africa's Internet Infrastructure
Towards Securing Internet eXchange Points Against Curious onlooKers
Reproducing and Solving a Fallback Issue in TCP Prague
Evaluating the Impact of Path Brokenness on TCP Options
To QoE or not to QoE
Locating and Enumerating Anycast: a Comparison of Two Approaches
Towards core-stateless fairness on multiple timescales
BrowsEm: Model-based Web Site Loading Emulation
BBRv3 in the public Internet: a boon or a bane?
Performance measurements of QUIC communications
Tools for disambiguating RFCs
Towards a Multipath TCP Aware Load Balancer
Practical Challenge-Response for DNS
An Empirical Characterization of Anycast Convergence Time
A Congestion Control Independent L4S Scheduler
Toward greater scavenger congestion control deployment: implementations and interfaces
Proceedings of the Applied Networking Research Workshop, Prague, Czech Republic, July 15, 2017
Cooperative performance enhancement using QUIC tunneling in 5G cellular networks
Take your own share of the PIE
Straggler-aware Observability for Flow Scheduling
Towards Operational and Security Best Practices for DNS in the Internet of Things
Building a Threshold Cryptographic Distributed HSM with Docker Containers
Priority-aware forward error correction for HTTP
Mapping the Ukrainian Refugee Crisis Using Internet Measurements
Leveraging the 0-RTT convert protocol to improve wi-fi/cellular convergence
Studying TLS Usage in Android Apps
Getting up to Speed with Neqo and Careful Resume
On the evolution of internet flow characteristics
Harnessing Public Code Repositories to Develop Production-Ready ML Artifacts for Networking
TCP Congestion Control Performance over Starlink
Composition of SDN applications: Options/challenges for real implementations
copycat: Testing Differential Treatment of New Transport Protocols in the Wild
PhantomLink: Emulating Virtual End-to-End Links on Ground and in Orbit
Measuring the Effects of Happy Eyeballs
ARTEMIS: Neutralizing BGP Hijacking within a Minute
Semi-Oblivious Traffic Engineering with SMORE
Start Me Up: Determining and Sharing TCP's Initial Congestion Window
Protocol Fixes for KeyTrap Vulnerabilities
Detecting consumer IoT devices through the lens of an ISP
Encryption without centralization: distributing DNS queries across recursive resolvers
Implementing Real-Time Transport Services over an Ossified Network
End-to-End 360° Video Streaming over HTTP/3: Architecture and Implementation
Towards an Observatory for Network Transparency Research
Crisis, Ethics, Reliability & a measurement.network: Reflections on Active Network Measurements in Academia
Cloud Strife: Mitigating the Security Risks of Domain-Validated Certificates
PQC for DNSSEC: a format size analysis on Falcon signatures
Multi-Domain Information Exposure using ALTO: The Good, the Bad and the Solution
Assessing the security of Internet paths: A case study of Dutch critical infrastructures
Investigating Location-aware Advertisements in Anycast IP Networks
A Survey of Lipreading Methods Based on Deep Learning
Research on UAV Signal Classification Algorithm Based on Deep Learning
Dual-Channel Reliable Breast Ultrasound Image Classification Based on Explainable Attribution and Uncertainty Quantification
Integration of Machine Learning with MEC for Intelligent Applications
An Enhanced Time Series Motif Discovery Using Approximated Matrix Profile
Label Aggregation of Gradient Boosting Decision Trees
Proceedings of the 6th International Conference on Image Processing and Machine Vision, IPMV 2024, Macau, SAR, China, January 12-14, 2024
Deep CNN for Classification of Image Contents
IPMV 2022: 4th International Conference on Image Processing and Machine Vision, Hong Kong, SAR, China, March 25 - 27, 2022
IPMV 2021: 3rd International Conference on Image Processing and Machine Vision, Hong Kong, SAR, China, May 22 - 24, 2021
Using Prosodic and Acoustic Features for Chinese Dialects Identification
Towards Improving Car Point-Cloud Tracking Via Detection Updates
Robust Computation of Trifocal Tensor Based on Hybrid Particle Swarm Optimization
Hierarchical Iris Image Super Resolution based on Wavelet Transform
A Real-Time Single-Shot Multi-Face Detection, Landmark Localization, and Gender Classification
Vision-based Assessment of Instructional Content on Golf Performance
A Comparative Study of Swin-Based Enhanced Remote Sensing Image Classifications
Attention Based BiGRU-2DCNN with Hunger Game Search Technique for Low-Resource Document-Level Sentiment Classification
Infrared dim and small target detection based on total variation and multiple noise constraints modeling
Adaptive Covariance Matrix based on Blur Evaluation for Visual-Inertial Navigation
VVC Coding Unit Partitioning Decision based on Naive Bayes Theory
Seismic Data Interpolation by the Projected Iterative Soft-threshold Algorithm for Tight Frame
Proceedings of the 5th International Conference on Image Processing and Machine Vision, IPMV 2023, Macau, SAR, China, January 13-15, 2023
An Automated System in ATM Booth Using Face Encoding and Emotion Recognition Process
Strategies of Multi-Step-ahead Forecasting for Chaotic Time Series using Autoencoder and LSTM Neural Networks: A Comparative Study
Security Analysis of Visual based Share Authentication and Algorithms for Invalid Shares Generation in Malicious Model
Semi-supervised Defect Segmentation with Uncertainty-aware Pseudo-labels from Multi-branch Network
Encoder-Decoder based Neural Network for Perspective Estimation
Hand Movement Prediction Based on EEG signals by Combining MEMD and CSP
Research on Image Segmentation Algorithm for Cellular Cortical Proteins
A Task Allocation Method based on Blockchain Node Hash Power
Real-Time IoT Based Urban Street Water-Logging Monitoring System Using Google Maps
Knowledge-graph based Proactive Dialogue Generation with Improved Meta-learning
A-beta staining segmentation and quantification using U-Net-based approach
Real-Time Predictability Analysis and Enhancement of Deep-Learning-Based Object Tracking
Gesture Detection Using an Infrared Camera
Pose Invariant 3D Facial Landmark Detection Via Pose Normalization and Deep Regression
Group Sparse-based Discriminative Feature Learning for Face Recognition
Script Identification of Multilingual Document Images Based on Block Finite Ridgelet Transform and Discrete Curvelet Transform
A View Direction-Driven Approach for Automatic Room Mapping in Mixed Reality
Reducing the Annotation Cost of Whole Slide Histology Images using Active Learning
Automatic Gait Gender Classification Using Convolutional Neural Networks
Stochastic Model Pruning via Weight Dropping Away and Back
Ranking Nodes in Temporal Networks: Eigen Value and Node Degree Growth based
Online Signature Verification Based on Multi-mode Matching
Enhancing Visual Question Answering through Bi-Modal Feature Fusion: Performance Analysis
Advanced Multi-Dimensional Feature Fusion Attention Module
A quantitative comparison of automated cleaning techniques for web scraped image data of 'Smart Cities'
A Forgotten Strategy for Pooled Contextualized Embedding Learning
Enhanced Human Pose Estimation with Attention-Augmented HRNet
IPMV 2020: 2nd International Conference on Image Processing and Machine Vision, Bangkok, Thailand, August, 2020
Promoting Protein Secondary Structure Prediction by Multi-output Model
Penetration Point Detection for Autonomous Trench Excavation Based on Binocular Vision
Acne Detection with Deep Neural Networks
Clothing Image Retrieval Based on Parts Detection and Segmentation
MLEDet: Vehicle Detection in UAV Images
MUKG: Unifying Multi-Task and Knowledge Graph Method for Recommender System
CLAMOT: 3D Detection and Tracking via Multi-modal Feature Aggregation
Deep 3D-2D Convolutional Neural Networks Combined With Mobinenetv2 For Hyperspectral Image Classification
A Sorting Method of Irregular Feature Point Array in Camera Calibration
Infrared small target detection algorithm with complex background based on YOLO-NWD
Human Motion Prediction based on IMUs and MetaFormer
A Fast CU Partitioning Algorithm Based on Texture Characteristics for VVC
Event Camera Survey and Extension Application to Semantic Segmentation
Vehicle Detection Based on YOLOv7 for Drone Aerial Visible and Infrared Images
Unsupervised Multi-Source Domain Adaptation for Pedestrian Re-identification ??A Study in Noise-Resilient Learning
Tracking of Artillery Shell using Optical Flow
YOLO-oil: A Real-time Transformer Fault Detector toward Small Dataset
Analyze of the Model for Cancer Transmission
A Semidefinite Programming Algorithm for Improving Noisy Sensor Positions Using Accurate Inter-Sensor Range Measurements
Hybrid Color Watermarking Technique with Arnold Scrambling
The Use of Virtual Reality Platforms to Improve Students' Speaking Skills
DnT: Learning Unsupervised Denoising Transformer from Single Noisy Image
AAT: An Efficient Adaptive Adversarial Training Algorithm
Thai License Plate Recognition using SSD MobileNet and EasyOCR
Inpainting of coherent regions in binary images based on Coherence Enhancing Cahn-Hilliard equation
A Neural-Network Model for Deriving Analogous Three-vector ECGs of S-ICD from Standard Nine-lead ECGs
Masked Face Recognition with 3D Facial Geometric Attributes
Decision Modeling and Simulation of Fighter Air-to-ground Combat Based on Reinforcement Learning
Ecg Classification using Machine Learning Techniques and Smote Oversampling Technique
A Multilevel Thresholding Approach for Acne Detection in Medical Treatment
Dengue Infection Model with Temperature and the biting of Aedes Aegypti and Ades Albopictus in Thailand
Computation Offloading for Better Real-Time Technical Market Analysis on Mobile Devices
Case study of 3D Interactive Design of Nanjing Tongji Gate Wall
Generative Adversarial Model Equipped with Contrastive Learning in Map Synthesis
Mitigating Wild Animals Poaching Through State-of-the-art Multimedia Data Mining Techniques: A Review
Comparison of Feature Selection Methods on Arrhythmia Dataset
On 3d Face Attributes Analysis Using Deep Learning: A Preliminary Case Study on Gender and Ethnicity Recognition
Two Stream Pose Guided Network for Vehicle Re-identification
Research on the Application of Three-dimensional Digital Model in the Protection and Inheritance of Traditional Architecture: -Take the example of the Ma Tau Wall of Huizhou architecture
Development of Smart Vegetable Growing Cabinet with IoT, Edge Computing and Cloud Computing
Development and future of information hiding in image transformation domain: A literature review
Skeleton Based Dynamic Hand Gesture Recognition using LSTM and CNN
An Automatic Calibration Method for Kerf Angle in Wafer Automated Optical Inspection
Image Processing based Scoring System for Small Arms Firing in the Military Domain
An Improved Dark Channel Prior Defogging Algorithm Based on Transmissivity Image Segmentation
CROSS-AGE FACE VERIFICATION USING FACE AGING
Matching Images from Different Viewpoints with Deep Learning Based on LoFTR and MAGSAC++
Performance Evaluation of Recent Object Detection Models for Traffic Safety Applications on Edge
A Rolling Ball Segmentation and Pairing Algorithm Based on Cell Fluorescence Microscopic Stack
Multivariate Time Series Similarity Measure Based on Weighted Dynamic Time Warping
Action Recognition with Non-Uniform Key Frame Selector
Imaging Technology in High-speed Dynamic Scene and Its Application in the Dynamic Detection on Pantograph-catenary Interaction
Self-Organisation of Resources in PROSA P2P Network
Proximity-Aware Superpeer Overlay Topologies
Implementation and Evaluation of a Middleware for Self-Organizing Decentralized Web Services
Capacity Efficient Shared Protection and Fast Restoration Scheme in Self-Configured Optical Networks
Mobile Service Clouds: A Self-Managing Infrastructure for Autonomic Mobile Computing Services
Self-Adaptive Systems: A Middleware Managed Approach
Toward Self-Managed Networks?
Increasing Lifetime of Wireless Sensor Networks with Energy-Aware Role-Changing
Self-Maintaining Overlay Data Structures for Pervasive Autonomic Services
Gossip-Based Clock Synchronization for Large Decentralized Systems
Plug-and-Play Address Management in Ambient Networks
Self-Managed Networks, Systems, and Services, Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006, Proceedings
Dynamic Generation of Context Rules
k -Variable Movement-Assisted Sensor Deployment Based on Virtual Rhomb Grid in Wireless Sensor Networks
Spirits : Using Virtualization and Pervasiveness to Manage Mobile Robot Software Systems
Using Aggregation for Adaptive Super-Peer Discovery on the Gradient Topology
Self-Adaptive Applications Using ADL Contracts
Verification of Indefinite-Horizon POMDPs
On Automated Lemma Generation for Separation Logic with Inductive Definitions
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling
Complexity of Verification and Synthesis of Threshold Automata
Compositional Synthesis of Modular Systems
Acceleration of Affine Hybrid Transformations
Learning Monitorable Operational Design Domains for Assured Autonomy
Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
Symmetry Reduction in Infinite Games with Finite Branching
A Brief Introduction to THOTL
FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization
Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems
How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
Deciding Entailments in Inductive Separation Logic with Tree Automata
Severity Levels of Inconsistent Code
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets
Model-Checking Web Applications with Web-TLR
Probabilistic Hyperproperties of Markov Decision Processes
3-Valued Abstraction for (Bounded) Model Checking
Determinization and Limit-Determinization of Emerson-Lei Automata
An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications
A Verifier for Functional Properties of Sequence-Manipulating Programs
Decidability of the Reachability for a Family of Linear Vector Fields
Promptness in omega -Regular Automata
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment
Symbolic Model Checking for Factored Probabilistic Models
Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics
S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
Configuration Monitor Synthesis
Strategy Templates - Robust Certified Interfaces for Interacting Systems
Tree Pattern Rewriting Systems
On Time with Minimal Expected Cost!
Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits
Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae
Formal Analysis of Online Algorithms
May-Happen-in-Parallel Analysis with Returned Futures
Run-Time Monitoring of Electronic Contracts
Latticed Simulation Relations and Games
Formal Verification of Simulink/Stateflow Diagrams
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
A Formal Methodology to Test Complex Heterogeneous Systems
Synthesis of Succinct Systems
A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol
Learning Event-Recording Automata Passively
An Automated Rigorous Review Method for Verifying and Validating Formal Specifications
Automatic Generation of History-Based Access Control from Information Flow Specification
Tighter Loop Bound Analysis
Model Checking of C and C++ with DIVINE 4
Robustness Verification for Classifier Ensembles
DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks
LTL Model Checking for Recursive Programs
Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas
Analyzing Security Protocols in Hierarchical Networks
Integrating Policy Iterations in Abstract Interpreters
An Approach for the Verification of SystemC Designs Using AsmL
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation
Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains
Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification
Owl: A Library for ω-Words, Automata, and LTL
Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis
Verifying Heap-Manipulating Programs in an SMT Framework
Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
ALLQBF Solving by Computational Learning
Learning and Characterizing Fully-Ordered Lattice Automata
Formal Construction and Verification of Home Service Robots: A Case Study
pymwp: A Static Analyzer Determining Polynomial Growth Bounds
A Formally Verified Motion Planner for Autonomous Vehicles
Formalisation of a New Weak Semantics for AuDaLa
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems