- Valentina Dragos:
Comparative Studies on Using Semantic Filtering for Open Relation Identification. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 69-77 - Javier Esparza:
Parameterized Verification of Crowds of Anonymous Processes. Dependable Software Systems Engineering 2016: 59-71 - Bernd Finkbeiner:
Synthesis of Reactive Systems. Dependable Software Systems Engineering 2016: 72-98 - Liviu-Daniel Galatchi:
Sustainable Development as a Tool Against Environmental Vulnerability. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 123-129 - Ján Genci:
Are We Ready to Educate Security Professionals? Meeting Security Challenges Through Data Analytics and Decision Support 2016: 326-330 - Sergiy Gnatyuk:
Critical Aviation Information Systems Cybersecurity. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 308-316 - Patrice Godefroid:
Between Testing and Verification: Dynamic Software Model Checking. Dependable Software Systems Engineering 2016: 99-116 - David Griol, Jesús García Herrero, José Manuel Molina:
Military Usages of Speech and Language Technologies: A Review. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 44-68 - Orna Grumberg, Yael Meller:
Learning-Based Compositional Model Checking of Behavioral UML Systems. Dependable Software Systems Engineering 2016: 117-136 - Sumit Gulwani:
Programming by Examples - and its applications in Data Wrangling. Dependable Software Systems Engineering 2016: 137-158 - Hayk Hakobyan, Robert Hakobyan, Koryun Aslanyan:
Human Identification Using Virtual 3D Imaging to Control Border Crossing. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 226-230 - Daniel S. Hamilton:
Going Beyond Static Understandings: Resilience Must Be Shared, and It Must Be Projected Forward. Critical Infrastructure Protection Against Hybrid Warfare Security Related Challenges 2016: 23-32 - Narek Hayrapetyan, Robert Hakobyan, Aghasy Poghosyan, Vazgen Gabrielyan:
Border Surveillance Using UAVs with Thermal Camera. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 219-225 - Ben Hiller:
Cyber Security and CIP: A Potential Role for OSCE. Critical Infrastructure Protection Against Hybrid Warfare Security Related Challenges 2016: 14-17 - Vladimir Hovsepyan:
Secure Real-Time Data Transfer in the Cloud. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 271-275 - Elina Lange Ionatamishvili, Sanda Svetoka:
Strategic Communications and Social Media in the Russia-Ukraine Conflict. Critical Infrastructure Protection Against Hybrid Warfare Security Related Challenges 2016: 86-93 - Anthony W. Isenor, Yannick Allard, Michel Mayrand:
Comparing Information Structures Used in the Maritime Defence and Security Domain. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 207-218 - Gurgen Khachatryan, Mihran Hovsepyan, Aram Jivanyan:
Two-Party Oblivious DFA Evaluation Protocol. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 276-286 - Artak Khemchyan:
Distributed Data Storage in Cloud Systems Based on Error Correcting Codes. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 287-292 - Surik Khudaverdyan, Stepan Tsaturyan, Ashok Vaseashta:
Selective Sensitivity Sensor for Explosive Detection and Identification. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 99-107 - Daniel Kroening:
Verification of Concurrent Software. Dependable Software Systems Engineering 2016: 159-178 - Liviu Lazar:
NATO Dialogue with the Defence and Security Industry in the Context of the Hybrid Threats. Critical Infrastructure Protection Against Hybrid Warfare Security Related Challenges 2016: 137-143 - Gevorg Margarov:
Information Security - Basis of the Education System for Digital Generation Z. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 317-325 - Gevorg Margarov, Mher Markosyan, Yeghisabet Alaverdyan:
Real Time Streaming Algorithm. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 248-255 - Gayane Markarova:
Hide and Seek in the Information Age. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 243-247 - Andrea Mucedola:
Toward a Better Future Through Maritime Security. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 133-142 - Samvel Muradyan, Robert Hakobyan, Artashes Hakobyan, Vahan Tovmasyan, Artashes Tovmasyan:
Main Aspects of Border Crossing Control Security Provision. Meeting Security Challenges Through Data Analytics and Decision Support 2016: 203-206 - Alessandro Niglia, Carlos Veraza:
Building Resilience Through Social Media After an Attack on Critical Infrastructure. Critical Infrastructure Protection Against Hybrid Warfare Security Related Challenges 2016: 3-13 - Jean-François Raskin:
A Tutorial on Mean-payoff and Energy Games. Dependable Software Systems Engineering 2016: 179-201 - Mark Rhinard, Bengt Sundelius:
Stronger Together: Enhancing Cooperation Capacity for Forward Resilience. Critical Infrastructure Protection Against Hybrid Warfare Security Related Challenges 2016: 144-154