yusuke1997/dblp-id-title huggingface dataset:
Clifford Algebras Meet Tree Decompositions
12th International Symposium on Parameterized and Exact Computation, IPEC 2017, Vienna, Austria, September 6-8, 2017
Parallel Multivariate Meta-Theorems
Parameterized Complexity of Directed Spanner Problems
Twin-Width VIII: Delineation and Win-Wins
Parameterized Complexity of Independent Set in H-Free Graphs
On Decidability of MSO Theories of Representable Matroids
Parameterized Complexity Classification for Interval Constraints
A Fixed-Parameter Perspective on #BIS
Parameterized Complexity of Independence and Domination on Geometric Graphs
Designing Compact ILPs via Fast Witness Verification
Randomized Techniques for Parameterized Algorithms
On Sparse Hitting Sets: From Fair Vertex Cover to Highway Dimension
Parameterizing MAX SNP Problems Above Guaranteed Values
Twin-Width and Polynomial Kernels
Fast Monotone Summation over Disjoint Sets
A General Kernelization Technique for Domination and Independence Problems in Sparse Classes
The Parameterized Complexity of Enumerating Frequent Itemsets
A Brief History of Parameterized Algorithms for Block-Structured Integer Programs (Invited Talk)
CNF Satisfiability in a Subspace and Related Problems
PACE Solver Description: Fluid
On the Parameterized Complexity of Biclique Cover and Partition
Are There Any Good Digraph Width Measures?
On Kernels for Covering and Packing ILPs with Small Coefficients
DynASP2.5: Dynamic Programming on Tree Decompositions in Action
PACE Solver Description: Arcee
The Firefighter Problem: A Structural Analysis
Parameterized Complexity of Sparse Linear Complementarity Problems
Matching (Multi)Cut: Algorithms, Complexity, and Enumeration
Lower Bounds for Protrusion Replacement by Counting Equivalence Classes
Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction
Lower Bounds for Dynamic Programming on Planar Graphs of Bounded Cutwidth
Sidestepping Barriers for Dominating Set in Parameterized Complexity
An Exponential Lower Bound for Cut Sparsifiers in Planar Graphs
PACE Solver Description: DreyFVS
Refined Memorisation for Vertex Cover
A Faster Parameterized Algorithm for Pseudoforest Deletion
Component Order Connectivity Admits No Polynomial Kernel Parameterized by the Distance to Subdivided Comb Graphs
A Parameterized Complexity View on Collapsing k-Cores
Hardness of Metric Dimension in Graphs of Constant Treewidth
Kernelization for Counting Problems on Graphs: Preserving the Number of Minimum Solutions
PACE Solver Description: A Simplified Threshold Accepting Approach for the Cluster Editing Problem
Relativization and Interactive Proof Systems in Parameterized Complexity Theory
Generalized Kakeya Sets for Polynomial Evaluation and Faster Computation of Fermionants
Fixed Structure Complexity
Treewidth Is NP-Complete on Cubic Graphs
A Tight Algorithm for Strongly Connected Steiner Subgraph on Two Terminals with Demands (Extended Abstract)
Complexity and Approximability of Parameterized MAX-CSPs
Parameterized Complexity of Maximum Happy Set and Densest k-Subgraph
Weighted Counting of k-Matchings Is #W[1]-Hard
10th International Symposium on Parameterized and Exact Computation, IPEC 2015, Patras, Greece, September 16-18, 2015
On the Parameterized Complexity of Reconfiguration of Connected Dominating Sets
An FPT Algorithm for Temporal Graph Untangling
Multi-Budgeted Directed Cuts
A Polynomial-Time Algorithm for Planar Multicuts with Few Source-Sink Pairs
Planar Capacitated Dominating Set Is W [1]-Hard
PACE Solver Description: Bad Dominating Set Maker
MSOL Restricted Contractibility to Planar Graphs
Algorithmic Meta-theorems
Parameterized Lower Bound and Improved Kernel for Diamond-free Edge Deletion
Refuting FPT Algorithms for Some Parameterized Problems Under Gap-ETH
PACE Solver Description: tdULL
Sparse Solutions of Sparse Linear Systems: Fixed-Parameter Tractability and an Application of Complex Group Testing
An Investigation of the Recoverable Robust Assignment Problem
Preprocessing Subgraph and Minor Problems: When Does a Small Vertex Cover Help?
Parameterized Complexity of Deletion to Scattered Graph Classes
FPT at Work: Using Fixed Parameter Tractability to Solve Larger Instances of Hard Problems
Obstructions to Faster Diameter Computation: Asteroidal Sets
Completeness Results for Parameterized Space Classes
On Maximum 2-Clubs
The PACE 2025 Parameterized Algorithms and Computational Experiments Challenge: Dominating Set and Hitting Set
K-Best Solutions of MSO Problems on Tree-Decomposable Graphs
PACE Solver Description: The KaPoCE Exact Cluster Editing Algorithm
Efficient Enumeration of k-Plexes and k-Defective Cliques
Algorithms for k-Internal Out-Branching
Bridging Treewidth and Clique-Width via Cograph-Modular-Treewidth
FPT Approximation for Constrained Metric k-Median/Means
Improved Bounds for Minimal Feedback Vertex Sets in Tournaments
Hardness of FO Model-Checking on Random Graphs
Optimal Algorithms for Hitting (Topological) Minors on Graphs of Bounded Treewidth
PACE Solver Description: RedAlert - Heuristic Track
Treedepth Parameterized by Vertex Cover Number
The Complexity of Packing Edge-Disjoint Paths
Stable Assignment with Couples: Parameterized Complexity and Local Search
Dynamic Kernels for Hitting Sets and Set Packing
Finding Linear Arrangements of Hypergraphs with Bounded Cutwidth in Linear Time
Kernels for the Disjoint Paths Problem on Subclasses of Chordal Graphs
Speeding Up Dynamic Programming with Representative Sets - An Experimental Evaluation of Algorithms for Steiner Tree on Tree Decompositions
On the Effective Enumerability of NP Problems
Simpler Linear-Time Kernelization for Planar Dominating Set
The PACE 2021 Parameterized Algorithms and Computational Experiments Challenge: Cluster Editing
A Strongly-Uniform Slicewise Polynomial-Time Algorithm for the Embedded Planar Diameter Improvement Problem
On the Parameterized Complexity of Red-Blue Points Separation
Nonblocker in H-Minor Free Graphs: Kernelization Meets Discharging
Contracting Graphs to Paths and Trees
Scheduling Two Competing Agents When One Agent Has Significantly Fewer Jobs
Polynomial Time and Parameterized Approximation Algorithms for Boxicity
A Parameterized Study of Maximum Generalized Pattern Matching Problems
On the Hardness of Eliminating Small Induced Subgraphs by Contracting Edges
The Undirected Feedback Vertex Set Problem Has a Poly( k ) Kernel
On the Grundy Number of a Graph
Fixed-Parameter Algorithms for Graph Constraint Logic
PACE Solver Description: Shadoks Approach to Minimum Hitting Set and Dominating Set
The Asymmetric Travelling Salesman Problem In Sparse Digraphs
Edge Bipartization Faster Than 2^k
A New Parametrization for Independent Set Reconfiguration and Applications to RNA Kinetics
The Parameterized Complexity of Finding Point Sets with Hereditary Properties
Uniformity Within Parameterized Circuit Classes
Planar Disjoint-Paths Completion
Exact Exponential Algorithms to Find a Tropical Connected Set of Minimum Size
Parameterized and Exact Computation - 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings
Treedepth Inapproximability and Exponential ETH Lower Bound
On Parameterized Approximability
The Relative Exponential Time Complexity of Approximate Counting Satisfying Assignments
Finding Optimal Triangulations Parameterized by Edge Clique Cover
Merging Nodes in Search Trees: an Exact Exponential Algorithm for the Single Machine Total Tardiness Scheduling Problem
How Much Does a Treedepth Modulator Help to Obtain Polynomial Kernels Beyond Sparse Graphs?
Beating Treewidth for Average-Case Subgraph Isomorphism
Twin-Width of Graphs with Tree-Structured Decompositions
B-Chromatic Number: Beyond NP-Hardness
A Fast Parameterized Algorithm for Co-Path Set
Position Paper: Trust, Teamwork and Digital Twins
Invited Paper: Smart Autonomous Cyber-Physical Systems
A Proof-of-Concept Implementation of a Glitch Hardware Trojan
Trustworthy and Secure Artificial Intelligence for Transportation Systems Security and Resiliency
Proceedings of the 2025 ACM Workshop on Secure and Trustworthy Cyber-physical Systems, SaT-CPS 2025, Pittsburgh, PA, USA, 6 June 2025
LLM-Based Fault Detection in Connected Vehicle Time-Series Data
Lova: A Novel Framework for Verifying Mathematical Proofs with Incrementally Verifiable Computation
PendingMutent: An Authorization Framework for Preventing PendingIntent Attacks in Android-based Mobile Cyber-Physical Systems
Work-in-Progress: RISC-V-Dilemma-1: A Hardware Trojan Benchmark Based on Seeker's Dilemma Approach
Optimized Deep Learning-based Intrusion Detection System for Connected Vehicles
Formal Verification of Nonlinear Hybrid Systems Using Decomposition
Improving channel reciprocity for effective key management systems
Towards a highly flexible spectrum sensing platform for cognitive radio networks
Efficient network modeling of inductively coupled NFC antennas in medical wireless sensor applications
Ultra high speed wireless communication with low complexity transceiver
On the structure of Sidel'nikov sequences for Pythagorean primes
A clock management system for multi-phase DC-DC Converters in 0.35µm CMOS Technology
ESA deep space cryogenic LNAs Past, present and future
Analytical model for dynamic allocation of spreading sequences in DS-CDMA
A quadratic complexity eigenspace technique for blind SIMO channel identification
Ultra wideband cascaded low noise amplifier implemented in 100-nm GaAs metamorphic-HEMT technology
Charge pump regulation with integrated 0.35 µm CMOS control circuit
Measurements of MIMO-UWB indoor channel
Concept of an UHF band receiver for spectrum sensing applications
Joint MIMO channel- and frequency-selective I/Q-imbalance estimation using a multi-functional preamble for OFDM systems
Low-loss 24-GHz passive baluns for on-chip integration
ECG compression for remote healthcare systems using selective thresholding based on energy compaction
On the efficient mitigation of phase noise in MIMO-OFDM receivers
Seasonal variation of geoclimatic factor in terrestrial wireless link design
Filter design aspects in analog receiver front-ends for frequency scanning applications
Cooperative wireless network coding for uplink transmission on hierarchical wireless networks
A comparison of robustness between interference alignment and direct transmission
A realistic reference simulation environment for typical urban areas
Influence of antenna configuration on achievable throughput in real indoor propagation environment for 2-by-2 single-user MIMO in LTE-advanced uplink
Applying tire pressure monitoring devices for traffic management purposes
On the asymptotic performance of spatially-coupled codes with minimal coupling
UWB MIMO measurements in reverberation chamber and indoor environment
Experimental evaluation of multiantenna spectrum sensing detectors using a cognitive radio testbed
MIMO multi-user relay system
Virtual MIMO in WiMAX relay system
Mixed serial/parallel hardware implementation of the Berlekamp-Massey algorithm for BCH decoding in Flash controller applications
A low power 6.2-8.3 GHz frequency synthesizer in SiGe BiCMOS for IEEE802.15.4a standard
60 GHz wireless broadband cable replacement for machine vision applications
Beamforming-based emulation of spatial and temporal correlated MISO channels
Study of indoor radio coverage solutions based on Interleaved-MIMO DAS
Integrated pseudo-noise device with network analyzer performance for UWB sensing and component test
60 GHz LNAs in 90 nm CMOS technology
Multicarrier transmission schemes in cognitive radio
Space situational awareness phased array radar simulation
Concatenated code constructions for error correction in non-volatile memories
Smart RF signal processing for advanced transmitters: From theory to practice
Optmized patch-like antennas for through the wall radar imaging and preliminary results with frequency modulated interrupted continuous wave
Synchronous signal acquisition and processing in FMCW-radar applications
A message passing approach to iterative Bayesian SNR estimation
Efficient visualization of weather radar 2D products in hail suppression information system
Investigation of the maximum distance reach for the mixed-WDM systems with unequal frequency grid
An area-efficient 130 nm CMOS baseband processing unit for 24 GHz FMCW radar positioning
On the requirements for quasi-deterministic radio channel models for heterogeneous networks
Improvements of IEEE 802.15.4a for non-coherent energy detection receiver
Performance of dual selection and switch-and-stay combining diversity receivers over the α-μ fading channel with co-channel interference
Study on data transmission of complex modulated signals using an MMIC-based 220 GHz wireless link
PMR-reduction for continuous time OFDM transmit signals by selected mapping
Car-to-car communications
Bit error rate comparison of MATLAB multipath fading channel simulator and measurement based channel simulator using real measurement data
20-Gbps 60-GHz OOK modulator in SiGe BiCMOS technology
Molded interconnect devices for RF applications: Transmission lines and low pass filters
Highly linear X-band GaN-based low-noise amplifier
Impact of group delay on tunable impedance matching networks based on Barium-Strontium-Titanate varactors
An analysis and design approach for step-down switched-capacitor power converters with fractional conversion ratio
Solution of the peak value problem for Gabor's theory of communication
Coding efficiency of RF pulse-width-modulation for mobile communications
Experimental study on multi-point wireless energy transmission at 950 MHz band
Generalized TCH codes via Zech logs
International Symposium on Signals, Systems, and Electronics, ISSSE 2012, Potsdam, Germany, October 3-5, 2012
A spatially-coupled communication system for the correlated erasure channel
A Methodology to Estimate Input-Output Inoperability Model Parameters
Adaptable Smart Distribution Grid Topology Generation for Enhanced Resilience
Proposals on Assessment Environments for Anomaly-Based Network Intrusion Detection Systems
Processing and Communications Rate Requirements in Sensor Networks for Physical Thread Assessment
An Indoor Contaminant Sensor Placement Toolbox for Critical Infrastructure Buildings
Analysis of Cybersecurity Threats in Industry 4.0: The Case of Intrusion Detection
Critical Information Infrastructures Security - 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers
Behavioral Intentions and Threat Perception During Terrorist, Fire and Earthquake Scenarios
Scada Malware, a Proof of Concept
Disaster Propagation in Heterogeneous Media via Markovian Agents
Vulnerability Against Internet Disruptions - A Graph-Based Perspective
Lyapunov-Based Performance Oriented Switching Strategies for Linear Systems
Security Architecture and Specification Framework for Safe and Secure Industrial Automation
Adoption of Explainable Artificial Intelligence, to Protect Key Decision Processes from Information Manipulations and Disorders (Work in Progress)
Fuzzy Input-Output Inoperability Model - (Short Paper)
PPP (Public-Private Partnership)-Based Business Continuity of Regional Banking Services for Communities in Wide-Area Disasters - Limitation of Individual BCP/BCM Ensuring Interoperability Among Banks Cooperation with Local Governments for Socioeconomic Resilience in Japan
Distributed Identity Based Private Key Generation for SCADA Systems
Protection of Mobile Agents Execution Using a Modified Self-Validating Branch-Based Software Watermarking with External Sentinel
Development of Easy Risk Assessment Tool for Factory Cybersecurity: Short Paper
An Analysis of Cyclical Interdependencies in Critical Infrastructures
Climate Change Risk Framework Using Complex Interdependent Critical Systems (Short Paper)
Threat-Driven Dynamic Security Policies for Cyber-Physical Infrastructures
Energy Security in the Context of Hybrid Threats: The Case of the European Natural Gas Network
Relationships Between Security Management and Technical Security of Norwegian Energy Entities
Intra Autonomous System Overlay Dedicated to Communication Resilience
INcreasing Security and Protection through Infrastructure REsilience: The INSPIRE Project
Distributed Generation and Resilience in Power Grids
Railway Station Surveillance System Design: A Real Application of an Optimal Coverage Approach
Critical Infrastructure Online Fault Detection: Application in Water Supply Systems
Towards Understanding Recurring Large Scale Power Outages: An Endogenous View of Inter-organizational Effects
Challenges in Quantifying an Adversary's Cyber Access to Critical Infrastructures
Automatic Concrete Bridge Crack Detection from Strain Measurements: A Preliminary Study
A Framework for Risk Analysis in Smart Grid - Perspective Based Approach
Threat Modeling of AMI
A Measure for Resilience of Critical Infrastructures
Securing Agents against Malicious Host in an Intrusion Detection System
Critical Information Infrastructures Security - 19th International Conference, CRITIS 2024, Rome, Italy, September 18-20, 2024, Revised Selected Papers
A Formally Verified Mechanism for Countering SPIT
Cyber Targets Water Management
Faulty or Malicious Anchor Detection Criteria for Distance-Based Localization
Is There a Relationship Between Grid Operators' Cybersecurity Level and Electricity Outages?
Automatic Fault Identification in Sensor Networks Based on Probabilistic Modeling
One Step More: Automatic ICS Protocol Field Analysis
Critical Information Infrastructures Security - 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers
Tamper Resistant Secure Digital Silo for Log Storage in Critical Infrastructures
Critical Information Infrastructures Security - 16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 27-29, 2021, Revised Selected Papers
Bank of Models: Sensor Attack Detection and Isolation in Industrial Control Systems
A Tale of Two Testbeds: A Comparative Study of Attack Detection Techniques in CPS
A Methodology for Resilience Optimisation of Interdependent Critical Infrastructures
Critical Infrastructure Protection in Brazil - Threat Identification and Analysis
Role of Urban Interactions and Damage in Seismic Resilience of Historical Centers
White Paper on Industry Experiences in Critical Information Infrastructure Security: A Special Session at CRITIS 2019
Investigating the Effect of Network Parameters on Coordinated Cyber Attacks against a Simulated Power Plant
Stealth Low-Level Manipulation of Programmable Logic Controllers I/O by Pin Control Exploitation
Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures
PRoCeeD: Process State Prediction for CRITIS Using Process Inherent Causal Data and Discrete Event Models
Recovering Structural Controllability on Erdős-Rényi Graphs via Partial Control Structure Re-Use
A Cloud Provider-Agnostic Secure Storage Protocol
Enterprise Security Analysis and Training Experience
Cybersecurity in the German Railway Sector
Revisiting Colored Networks and Privacy Preserving Censorship
A Security Assessment Methodology for Critical Infrastructures
Interdependency Analysis in Electric Power Systems
Expert System CRIPS: Support of Situation Assessment and Decision Making
Ten National Cyber Security Strategies: A Comparison
Multicriteria GIS Spatial Analysis for Multi-hazard Assessment of Infrastructures in Case of Natural Events
GNSS Positioning Security: Automatic Anomaly Detection on Reference Stations
Studying Neutrality in Cyber-Space: a Comparative Geographical Analysis of Honeypot Responses
A Cost-Sensitive Approach for Managing Intrusion Alerts in OT Environments
Efficient Access Control for Secure XML Query Processing in Data Streams
A Modelling Approach for Interdependency in Digital Systems-of-Systems Security - Extended Abstract
Modelling Risk and Identifying Countermeasure in Organizations
A Malware Detector Placement Game for Intrusion Detection
The Structure of the Sense of Security, Anshin
Emergency Resilience Closer to Citizens' Understanding (Short Paper)
Trust Establishment in Ad Hoc and Sensor Networks
Security Challenges for Cooperative and Interconnected Mobility Systems
Towards Blockchain-Based Collaborative Intrusion Detection Systems
Locally Optimal Information Pathways in the Presence of Static Adversaries for a Hierarchical Smart Distribution Grid Model
SealedGRID: A Secure Interconnection of Technologies for Smart Grid Applications
Side-Channel Based Intrusion Detection for Industrial Control Systems
A Dynamic Risk Assessment (DRA) Methodology for High Impact Low Probability (HILP) Security Risks
Testbed Evaluation of DoS Attacks on PID-Controllers
Improving Control System Cyber-State Awareness Using Known Secure Sensor Measurements
SSGMT: A Secure Smart Grid Monitoring Technique
Self-Healing Protocols for Infrastructural Networks
Surveillance of Offshore Installations with Patrol Routine
Using NATO Labelling to Support Controlled Information Sharing between Partners
Developing a Cyber Incident Communication Management Exercise for CI Stakeholders
Application Filters for TCP/IP Industrial Automation Protocols
Faults and Cyber Attacks Detection in Critical Infrastructures
Timing-Based Anomaly Detection in SCADA Networks
Vulnerabilities and Possible Attacks Against the GPRS Backbone Network
Using Dependent CORAS Diagrams to Analyse Mutual Dependency
Governance Models Preferences for Security Information Sharing: An Institutional Economics Perspective for Critical Infrastructure Protection
Integrated Safety and Security Risk Assessment Methods: A Survey of Key Characteristics and Applications
The Role of Critical Infrastructures' Interdependencies on the Impacts Caused by Natural Disasters
An Effective Approach for Cascading Effects Prevision in Critical Infrastructures
An Ontology-Based Approach to Blind Spot Revelation in Critical Infrastructure Protection Planning
Resilience of Electrical Distribution Systems with Critical Load Prioritization
DMA Optimal Layout for Protection of Water Distribution Networks from Malicious Attack
Denial of Service Attacks: Detecting the Frailties of Machine Learning Algorithms in the Classification Process
The Cost of Incidents in Essential Services - Data from Swedish NIS Reporting
Designing Critical Infrastructure Cyber Security Segmentation Architecture by Balancing Security with Reliability and Availability
Energy Theft in the Advanced Metering Infrastructure
Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach
Analysis of Dependencies in Critical Infrastructures
Critical Information Infrastructures Security - 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers
Impact of a Surface Nuclear Blast on the Transient Stability of the Power System
An Alternate Topology Generator for Joint Study of Power Grids and Communication Networks
System Dynamics for Railway Infrastructure Protection
A Framework for Conceptualizing Social Engineering Attacks
Decentralised Hierarchical Multi-rate Control of Large-Scale Drinking Water Networks
Determining Risks from Advanced Multi-step Attacks to Critical Information Infrastructures
An Attack Analysis of Managed Pressure Drilling Systems on Oil Drilling Platforms
A Distributed Continuous Double Auction Framework for Resource Constrained Microgrids
Efficient Analysis to Protect Control into Critical Infrastructures
Ideal Based Cyber Security Technical Metrics for Control Systems
Dynamic Risk Analyses and Dependency-Aware Root Cause Model for Critical Infrastructures
Evasion Attack Against Multivariate Singular Spectrum Analysis Based IDS
Domain Specific Stateful Filtering with Worst-Case Bandwidth
CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture
A General Model and Guidelines for Attack Manifestation Generation
dbpRisk: Disinfection By-Product Risk Estimation
Sensor Data Validation and Reconstruction in Water Networks: A Methodology and Software Implementation
Modelling and Analysing Network Security Policies in a Given Vulnerability Setting
On the Security of Aircraft Communication Networks
A Comparison of ICS Datasets for Security Research Based on Attack Paths
Reputation Systems to Mitigate DoS Attack in Vehicular Network