yusuke1997/dblp-id-title huggingface dataset:
Systems Level Modeling of Gene Regulatory Networks
Phenotypes and Genotypes - The Search for Influential Genes
Modeling in Systems Biology, The Petri Net Approach
Towards a Disease Ontology
Going Beyond Static Understandings: Resilience Must Be Shared, and It Must Be Projected Forward
The Use Of Cyber Space For Terrorist Purposes - With Special Reference To The Financing Terrorist Activity
Linearities in Cascade Jump Controlled Stream Ciphers
Applications of Interactive Proof to Data Flow Analysis and Security
Dependable Software Systems Engineering
Multi-Valued Automata and Their Applications
The Role of the Suspension System
Automata Based Validation Techniques
Solid state hybrid devices for quantum information processing
Local Search for Hop-Constrained Directed Steiner Tree Problem with Application to UAV-Based Multi-Target Surveillance
Changing the Approach to Energy Security: Critical Energy Infrastructure Protection in Context
Descent and Covering Collections
Superadditivity of multiple access gaussian channels
Process, Organizations, and Technology Requirements to Meet Challenges of Seaport Infrastructure Security
Sustainable Development as a Tool Against Environmental Vulnerability
Terrorism as a Threat to Tourism
Aligning National Cyber Security Strategies to International Guidance: A First Step Toward Improving Incident Response Capabilities Across NATO
Observable measures of entanglement
Interactive Proof: Introduction to Isabelle/HOL
Software Agents, Agent Systems and Their Applications
Some Fuzzy Logic Based Approaches to Flexible Database Querying and their Use for Discovering Security Related Information
Software and Systems Safety - Specification and Verification
Harbour Protection: The Role of NATO Navies in the Third Millenium
Using GRASP for the Cover by s-Defective Independent Sets Problem
Knowledge Discovery from Data Streams
Back to Basics: Beyond Network Hygiene
Robust Networked Control Systems with Communication Constraints
Error Correcting Quantum Codes and Algebraic Curves
Quantum jump codes and related combinatorial designs
Management of MAS by Means of Automated Reasoning in the Role Model
Engineering Evolving and Self-Adaptive Systems: An Overview
Vehicle Terrain Mobility Enhancement and Minimization of Energy Consumption
Wireless Sensor Networks and Software Agents
Security Issues of the e-Infrastructure for Environmental Research
Algebraic Immunity of Boolean Power Functions with Kasami and Niho Exponents
Virtual Currencies and Terrorist Financing: Basics for Anti-Terrorist Professionals
Web-Service Network for Context-Aware Emergency Management
Agent-based Control for Multi-UAV Information Collection
Reasoning with Relational Models for Maritime Domain Security
Quantum algorithms for formula evaluation
Two-Party Oblivious DFA Evaluation Protocol
SillyNegoBot Architecture
QKD: a million signal task
Strategic Communications and Social Media in the Russia-Ukraine Conflict
Approximation Algorithms for Detecting Critical Nodes
Web Intelligence and Security - Advances in Data and Text Mining Techniques for Detecting and Preventing Terrorist Activities on the Web
A Method of a Wheel Power Distribution and its Application to Vehicles
Finite Groups, Designs and Codes
Lecture Notes on Software Model Checking
System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems
Ports Security Organization and Functionality - Implementation of the ISPS Code in Medium and Small Countries
A Tutorial on Runtime Verification
Navigation Function Based Decentralized Control of A Multi-Agent System with Network Connectivity Constraints
Social Network Analysis - A Tool for Researching Threats in the Supply Chain
Security in Wireless Networks: A Tutorial
Southeast European(SEE) States' International Legal Rights And Obligations In The Cyberspace
The Risk of Terrorist and Violent Extremist Attacks against Schools
A Maritime Security Incident Map of the Alondra Rainbow Hijacking
Mechanizing Game-Based Proofs of Security Protocols
Variable Neighborhood Search for Edge-Ratio Network Clustering
Parameterized Verification of Crowds of Anonymous Processes
Mass Distribution, Vehicle Structures, Light-Weighting and Optimization
Sequences and arrays with desirable correlation properties
Identifying and Countering Information Influence Activities Using a Comprehensive Society Approach
Real and imaginary hyperelliptic curve cryptography - Aspects of curve cryptography
Modeling of Agile Stochastic Terrain Friction/Resistance Properties in Correletion with Terrian Geometry
A "Vicious Agent" Modelling Approach for Testing Port Security Systems
Tools for optical implementations of quantum communication protocols with application to quantum key distribution
Smart Grid Technology. A New Challenge for Cybersecurity
Human Systems Integration to Enhance Maritime Domain Awareness for Port/Harbour Security
Advanced Research Workshop Findings
Toward Real Time Internet Traffic Monitoring
Model-Driven Engineering and Model Transformation: for Fun and Profit
Terrorist Threats, Agile Vehicle Trajectory Deviation and Critical Reposition in Interaction with Environment
Quantum algorithm for preparing thermal Gibbs states - detailed analysis
Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification
Advances on Superelliptic Curves and their Applications
Verification of Concurrent Software
Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata
Hide and Seek in the Information Age
On practical implementations of qudit-based quantum key distribution protocols
Wheel - Vehicle - Step Obstacle Interaction
ARETHUS - A Decision Support Platform for Reasoning About Security
An Introduction to Tire Modelling
Formal Security Proofs
Self-Dual Codes with Some Applications to Cryptography
Galois geometries, codes, and new invariants for incidence structures
Modal Fixed Point Logics
Greece's Contribution to the Security and Diversification of Gas Supply in Europe
Implicit flows in malicious and nonmalicious code
Protection of Electricity Transmission Infrastructure from Natural Hazards: from Multi-Risk Assessment to Multi-Risk Governance
Effective Analysis of Infinite State Stochastic Processes Games
Selective Sensitivity Sensor for Explosive Detection and Identification
Logics and Languages for Reliability and Security
Simplifying information-theoretic arguments by post-selection
Bioterrorism as a Threat to Food Supply Systems
Reactive Synthesis: Towards Output-Sensitive Algorithms
Security Vetting in Relation to the Critical Infrastructure
Regulations, Infrastructure, Stakeholder Responsibilities, and Technology Requirements to Meet Challenges of Cargo Security
Jadex Active Components Framework - BDI Agents for Disaster Rescue Coordination
Cyber Security Issues of Telecommunication Infrastructure
On the Cryptographical Properties of Extremal Algebraic Graphs
S-Boxes, APN Functions and Related Codes
2-Valued and 3-Valued Abstraction-Refinement in Model Checking
What Matters Most Is Not the Size of the "Storm" but the Scale of the Impact
Symbolic Execution and Software Testing
Historic Aspects and Future Research Directions in Vehicle Dynamics and System Design
An Agent Framework for Maritime Situation Awareness
Challenges in Defining Critical Infrastructure in Montenegro
Hop-Constrained Tree-Shaped Networks
Conforming to al Qaeda's single narrative - an analysis of al Shabaab's Tweets during the Westgate terrorist attack
Cultural Aspects of Information Sharing and Collaboration
A Framework for Stream Ciphers Based on Pseudorandomness, Randomness and Coding
Contextual and Human Factors in Information Fusion
Augstsprieguma Tikls - Responsible Body for Transmission Infrastructure Operation, Protection, Maintenance and Development in Latvia
Information Quality and Decision Making in the Human-in-the-loop Environment
Privacy in Query Logs
Language-independent Techniques for Automated Text Summarization
Applications of Near MDS Codes in Cryptography
Critical Aviation Information Systems Cybersecurity
Advances in Probabilistic Model Checking
The arithmetic of genus two curves
Cyber Criminal Mechanisms Employed in Social Engineering and Technical Tricks
Engineering Dependable Software Systems
Assurance and Assurance Cases
Multi mode nano scale Raman echo quantum memory
Best Practices in Computer Network Defense: Incident Detection and Response
Experimental and Modeling Terramechanics Studies
Frameworks for Interprocedural Analysis of Concurrent Programs
Cyber Security Challenges in Smart Homes
Chabauty and the Mordell-Weil Sieve
Reconstruction of Highly Non Linear Sboxes from Linear Codes
Tackling Terrorists' Use of the Internet: Propaganda Dispersion & the Threat of Radicalization
From Verification to Synthesis
Critical Infrastructure Protection Against Hybrid Warfare Security Related Challenges
Finding error-correcting codes using computers
Crypto applications of combinatorial group theory
Algebraic Aspects of Digital Communications
Probabilistic Model Checking
Equivalence - Combinatorics, Algebra, Proofs
On a Family of Planar Mappings
Model-Based Verification and Analysis for Real-Time Systems
A variant of the Reidemeister-Schreier algorithm for the fundamental groups of Riemann surfaces
NATO's Frontier Critical Infrastructure Protection Buildup - Discussion on the Romanian Energy Sector Protection Challenges
Stronger Together: Enhancing Cooperation Capacity for Forward Resilience
Mastering System Analysis and Design through Abstraction and Refinement
Decision Support Systems Design for Joint Multi-national Multi-agency Defence and Security Environment
World Financial Crisis and its Influence on Terror Financing
Evolving Software Ecosystems A Historical and Ecological Perspective
Steganography in Support of the Global Terrorism
Defect-Based Testing
Computing the Next-State Function of a Requirements Model
A Theory of Networks: In the Beginning . .
PASSAGES - A System for Improved Safety and Security of Maritime Operations in Arctic Areas
Combinatorial Optimization in VLSI Design
Multi-pixel sources of entangled light in the correlation measurements without homodyne detection
Computer Network Defense: New Threats and Trends
JADE: Java Agents DEvelopment Framework
Additive Codes over F4 with Automorphisms
Application of the Generalized Polynomial Chaos to the LQR Control Problem with Uncertain Parameters in the Formulation
Generating rooted trees of m nodes uniformly at random
Advanced Autonomous Vehicle Design for Severe Environments
Outsourcing as an Important Source of Risk in the Management of Terrorist Threats
Environmental Terrorism as a Threat to the Serbian Water Infrastructure Sector-through the Lens of Regional Perspective
Divisibility, Smoothness and Cryptographic Applications
Vector Bundles in Error-Correcting for Geometric Goppa Codes
Codes and modules associated with designs and t-uniform hypergraphs
Toward a Better Future Through Maritime Security
A Study of Security Threats in the Private Cloud
The Critical Energy Infrastructure Protection Against Emerging Security Threats
Arguing About Uncertain Heterogeneous Information for Threat Assessment
Terrorist Use of Cyberspace and Cyber Terrorism: New Challenges and Responses
Mechanized semantics - with applications to program proof and compiler verification
Mechanised Theory Engineering in Isabelle
A Perspective on Information-Flow Control
Modeling Multi-Agent Systems with AML
Multi-Agent Systems - Theory, Approaches and NASA Applications
Coded Modulation and the Arrival of Signcryption
Border Surveillance Using UAVs with Thermal Camera
Formal Models for Analyzing Security Protocols: Some Lecture Notes
Eavesdropping on the LM05 secure communication protocol
The Importance of Port Security System in the Implementation of Transport Modal-Shift
A Security Assessment Framework for e-Health: A Croatian Perspective
Past, Present and Future of Control Theory Applied to Autonomous Agents
Potential Vulnerability and Threats of Natural Disasters or Malicious Human Activity to the Water Supply Network: A Case Study of Chernivtsi, Ukraine
Weight distributions, zeta functions and Riemann hypothesis for linear and algebraic geometry codes
Algebraic Attacks on Filter and Combiner Generators
Advanced Technologies/Tactics Techniques, Procedures: Closing the Attack Window, and Thresholds for Reporting and Containment
Designs, strongly regular graphs and codes constructed from some primitive groups
Corruption: From Generally Accepted Business Practice to Serious Threat to Critical Infrastructure Protection
Self-dual codes and invariant theory
E-Voting Systems
Codes and Provable Security of Ciphers - Extended abstract
Monotonic and Non-Monotonic Infections on Networks
Recent results on families of symmetric designs and non-embeddable quasi-residual designs
Main Aspects of Border Crossing Control Security Provision
Standards for Cyber Security
Multiobjective Particle Swarm Optimization for a Multicast Routing Problem
Contemporary Aspects in Critical Infrastructure Protection and Combating Terrorism
Spin-Hamiltonian analysis of quantum registers on single NV center and proximal 13 C nuclei in diamond
On the Algebraic Immunities and Higher Order Nonlinearities of Vectorial Boolean Functions
Assessing and Responding to the Cyberterrorism Threat
Requirements Models for Critical Systems
Interactive Proof: Applications to Semantics
Evaluation of the Reliability of Repairable s - t Networks by Fast Simulation Method
The Trans Adriatic Pipeline - Focus and Impact on Albania
Overview of the Current Situation in Bosnia and Herzegovina with Focus on Cyber Security and Fighting Cyber-Crime by Establishment of BIH CERT Body
The Use of Multibody Systems in Vehicle Modelling Simulation
A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views
Covering arrays and hash families
Toward Effective National Cyber Security Strategy: The Path Forward For Macedonia
Towards a Resilient Critical Infrastructure System against the Risk of Terrorism
Software Systems Safety
Investigation of Web Based Hidden Data
Classification of Doubly Resolvable Designs and Orthogonal Resolutions
May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification
Combinatorial Designs and Code Synchronization
Protecting Critical Information Infrastructure from Terrorist Attacks and Other Threats: Strategic Challenges for NATO and its Partner Countries
Protection of the Critical Infrastructure from Terrorism: Case Study of the Republic of Croatia
𝕂: A Semantic Framework for Programming Languages and Formal Analysis Tools
E-Government 3 Web Security Issues: Who, What, When?
NATO Dialogue with the Defence and Security Industry in the Context of the Hybrid Threats
Mixed Integer Rounding Cuts and Master Group Polyhedra
Multi-structured designs and their applications
Protection and Recovery of Tampered Images Using Self-Embedding Procedures
Protecting and Preserving Ground Water with Monitoring Systems and Vulnerability Maps
Critical Infrastructure Protection (CEIP) with a Focus on Energy Security
Event Analysis and Understanding for Situational Awareness Support
Theta functions of superelliptic curves
A Survey of Interdependency Models for Critical Infrastructure Networks
Intelligence Analysis: Needs and Solutions
Improving Critical Infrastructure Protection and Resilience against Terrorism Cyber Threats
Risk Management of Terrorist Attacks in the Tunnels as Critical Points of Corridor 5c Infrastructure - Trans-European Road Network Through Bosnia and Herzegovina
Facility Location: Discrete Models and Local Search Methods
LDPC Codes in the McEliece Cryptosystem: Attacks and Countermeasures
Deconstructing Dynamic Symbolic Execution
Boolean Satisfiability: Solvers and Extensions
Human Factor Dual Role in Modern Cyberspace Social Engineering
Secret Sharing and Error Correcting
Discrete Convexity and Its Applications
Implementing GliderAgent - an agent-based decision support system for glider pilots
Local bounds for general Bell inequalities with the reduced entropy of the settings
Learning-Based Compositional Model Checking of Behavioral UML Systems
Optimal local protocols for processing of entangled states - local cloning and eavesdropping
Cyber-Attacking a Country: What Terrorists Haven't Done So Far (and they could do)
Human Performance Challenges in Port/Harbour Security Systems
Optimal Balanced Packing Using Phi-Function Technique
The Combined Threat of Terrorism and Organized Crime for and in South East Europe
Agility in Vehicle Dynamics and Relaxation Time Constants
Are We Ready to Educate Security Professionals?
Matrices for graphs, designs and codes
Intelligence Processing for Decision Support in Defence and Security
Fundamentals of Agile Terrain Mobility Evaluation of Unmanned Ground Vehicles
Development of Fuzzy System Models: Fuzzy Rulebases to Fuzzy Functions
Graph based cubical multivariate maps and their cryptographical applications
Using Security Policies to Write Secure Software
Analysis and Synthesis with "Big Code"
From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning
Unbiased Hadamard matrices and bases
Building Resilience Through Social Media After an Attack on Critical Infrastructure
Security of Classified Information as Part of the National Critical Infrastructure Protection: Macedonian Experience
Practical Software Synthesis
Tailor-Made Education: Environmental vs. Energy Security and Sustainable Development Paradigm
SAT-based Model Checking: Interpolation, IC3, and Beyond
Newtonian Program Analysis - An Introduction
Safety and Dependability
7. New Methods and Techniques in Online Control and Learning
Development of Defense-Oriented Application Software under Fire: The Case of Israel
Europe, Italy and TAP Project
Turkey's Approaches on Cyber Security Policy Framework
Permutation decoding for codes from designs, finite geometries and graphs
Theta functions and algebraic curves with automorphisms
Combinatorial Optimization - Methods and Applications
Trusted noise in continuous-variable quantum key distribution
Coordination and Cooperation in Cyber Network Defense: the Dutch Efforts to Prevent and Respond
Evolution of National and Corporate CERTs - Trust, the Key Factor
Education as a Long-Term Strategy for Cyber Security
Bilinear Markovian Processes of Search for Stationary and Moving Objects
Risk-driven Engineering of Requirements for Dependable Systems
Secure Real-Time Data Transfer in the Cloud
Principles and Applications of Refinement Types
Model Checking Basics
Human Identification Using Virtual 3D Imaging to Control Border Crossing
Towards an Integration of Fusion of Information and Analytics Technologies (FIAT) to Improve Dependability and Security in Complex Systems
Programming by Examples - and its applications in Data Wrangling
Meeting Security Challenges Through Data Analytics and Decision Support
Future Activities in Critical Energy Infrastructure Protection - Recommendations
Estimation of Soil Damage
Cyber Security and Resiliency Policy Framework
Sato-Tate groups of genus 2 curves
Explicit p-adic methods for elliptic and hyperelliptic curves
Tire Force and Moment Characteristics
Building Agile Human/Machine Teams with Controlled Natural Language
Safety & Security Assessment to Prevent a Terrorism Attack in the Centralized Facility for Radioactive Waste Management in Albania
Coding Theory and Hash Function Design - A Case Study: The Lane Hash Function
Security and Anonymity in Agent Systems
Framing the Frame Problem
Strengthening Cyber Security Policy by Means of End-Users Dedicated Training
Continuous variable entanglement creation by means of small cross-Kerr nonlinearity
Terrorist Threats to Critical Infrastructure in BiH and Protection Measures
Families of software systems: a model checking approach
Commercial potential of quantum cryptography
SMT Solvers: Foundations and Applications
From Concurrency Models to Numbers - Performance and Dependability
On Data Clustering: Exact and Approximate Solutions
Tradeoffs for reliable quantum information storage in 2D systems
Programming in Paragon
Software Agents for Computer Network Security
Discover Shadow Groups from the Dark Web
Rational points on Jacobians of hyperelliptic curves
Branching on Split Disjunctions
Protecting Trans-Adriatic Pipeline - TAP as a Case Study
Viper: A Verification Infrastructure for Permission-Based Reasoning
Assuring Food Security in Agricultural Production in the Republic of Bulgaria under the Conditions of General Globalization
Aspects of Human Systems Behaviour and Their Impact on Port Security Architecture
A Primer on Separation Logic (and Automatic Program Verification and Analysis)
Temporal Logic as Filtering
Information Security, Coding Theory and Related Combinatorics
Critical Infrastructure Cyber-Attack Through Firmware Exploitation
Data Abstraction in VCC
A Model For Positive Change: Influencing Positive Change in Cyber Security Strategy, Human Factor, and Leadership
Distributed Data Storage in Cloud Systems Based on Error Correcting Codes
Treatment of Uncertainties in Multibody Dynamic Systems using a Generalized Polynomial Chaos Approach; Case Study on a Full Vehicle
On the Equivalence of Nonlinear Functions
A Tutorial on Mean-payoff and Energy Games
OSINT, Big Data & Critical Infrastructures Protection (CIP)
Preventing Internet Banking Fraud and Money Laundering Using Customer Trustability Index
Synthesis of Reactive Systems
Tire Modelling
Unifying Models of Data Flow
Authentication Codes from Error-Correcting Codes; An Overview
Atomic quantum memories for light
Analysis and Design of Robust Network Clusters with Bounded Diameter
Reduction theory of binary forms
Software Safety and Security - Tools for Analysis and Verification
Maritime Threats: Origins and Enabling Factors
Security Issues for Mobile Devices
Multibody Dynamics Techniques for Real-Time Parameter Estimation
Foundations of Infinite-State Verification
Between Testing and Verification: Dynamic Software Model Checking
The Potential Cooperation Between NATO and Private Risk Management Companies in the Protection of Critical Energy Infrastructure
Equivalence Between Certain Complementary Pairs of Types I and III
An Introduction to the StreamQRE Language
Finite geometry designs, codes, and Hamada's conjecture
Comparative Studies on Using Semantic Filtering for Open Relation Identification
Boolean Satisfiability Solvers: Techniques and Extensions
Generating Process Models in Multi-View Environments
Threat Early Warning through Web Mining
Linear Codes of Good Error Control Performance
Precise Program Analysis through Strategy Iteration and Optimization
Applications of finite geometry in coding theory and cryptography
Fuzzy Logic, Uncertainty Management and The Black Swan
Use of the Enhanced Structural Model for Attack Analysis and Education
A Hybrid Metaheuristic for the Maximum k-Plex Problem
CBRN Terrorism and the Challenge of Daesh
Heights on algebraic curves
Passive and Active Operational Fusion of Vehicle System Dynamics (Coupled and Interactive Dynamics)
Comparing Information Structures Used in the Maritime Defence and Security Domain
Quantum Cryptography and Computing
8. Mechatronics of Vehicle Control and Self-powered Systems
On Jacobsthal Binary Sequences
Ontology Driven Multilingual Information Extraction and Intelligent Analytics
Cyber Security and CIP: A Potential Role for OSCE
On the Studies Related to Linear Codes in Generalized Construction of Resilient Functions with Very High Nonlinearity
From Al-Qaeda To The Islamic State (ISIS), Jihadi Groups Engage in Cyber Jihad: Beginning with 1980s Promotion Of Use Of 'Electronic Technologies' Up To Today's Embrace Of Social Media to Attract A New Jihadi Generation
Some Comments on Bossert-Mahr-Heilig Scheme
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Data Fusion and Response Management
"Sweden Under Attack!" Lessons from Past Incidents for Coping with a Comprehensive Synchronized Attack on Critical Energy and Information Infrastructure
Nonmultiplicativity of probability of faithful teleportation in the Knill-Laflamme-Milburn scheme
On Risk-Averse Weighted k-Club Problems