Search results for "CSR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Vladimir V. V'yugin	On Empirical Meaning of Randomness with Respect to a Real Parameter.	CSR	2007	DBLP DOI BibTeX RDF
35	Navid Imani, Hamid Sarbazi-Azad, Selim G. Akl	Resource Placement in Networks Using Chromatic Sets of Power Graphs.	CSR	2007	DBLP DOI BibTeX RDF	Symmetric graphs, Power graphs, Interconnection networks, Chromatic number, Resource placement
35	Valery A. Nepomniaschy, Gennady I. Alekseev, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina, Sergey P. Mylnikov, Ruslan M. Novikov	Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols.	CSR	2007	DBLP DOI BibTeX RDF
35	Geoff Sutcliffe	TPTP, TSTP, CASC, etc.	CSR	2007	DBLP DOI BibTeX RDF
35	Ehsan Amiri, Evgeny S. Skvortsov	Pushing Random Walk Beyond Golden Ratio.	CSR	2007	DBLP DOI BibTeX RDF
35	Danièle Beauquier, Marie Duflot, Yury Lifshits	Decidability of Parameterized Probabilistic Information Flow.	CSR	2007	DBLP DOI BibTeX RDF
35	Géraud Sénizergues	Sequences of Level 1, 2, 3, ..., k , ...	CSR	2007	DBLP DOI BibTeX RDF	Iterated pushdown automata, recurrent sequences equivalence problems
35	Dima Grigoriev, John Harrison 0001, Edward A. Hirsch (eds.)	Computer Science - Theory and Applications, First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings	CSR	2006	DBLP DOI BibTeX RDF
35	Laurent Bienvenu	Constructive Equivalence Relations on Computable Probability Measures.	CSR	2006	DBLP DOI BibTeX RDF
35	Sergey P. Shlepakov	Functional Equations in Shostak Theories.	CSR	2006	DBLP DOI BibTeX RDF
35	Valery Plisko	On Primitive Recursive Realizabilities.	CSR	2006	DBLP DOI BibTeX RDF
35	Natalia Rubtsova	Evidence Reconstruction of Epistemic Modal Logic S5.	CSR	2006	DBLP DOI BibTeX RDF
35	Michael Kaminski	Complexity of Polynomial Multiplication over Finite Fields.	CSR	2006	DBLP DOI BibTeX RDF
35	Frédéric Loulergue, Radia Benheddi, Frédéric Gava, D. Louis-Régis	Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition.	CSR	2006	DBLP DOI BibTeX RDF
35	Vladimir V. Rybakov	Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms.	CSR	2006	DBLP DOI BibTeX RDF	consecutions, admissible rules, algorithms, inference rules, linear temporal logic, logic in computer science, logical consequence
35	Feng Lu 0004, Poh-Chin Lai	A Shortest Path Algorithm Based on Limited Search Heuristics.	CSR	2006	DBLP DOI BibTeX RDF	heuristic, road network, shortest path algorithm
35	Alexandre Tiskin	All Semi-local Longest Common Subsequences in Subquadratic Time.	CSR	2006	DBLP DOI BibTeX RDF
35	Yeung-hak Lee, Chang-Wook Han	3D Facial Recognition Using Eigenface and Cascade Fuzzy Neural Networks: Normalized Facial Image Approach.	CSR	2006	DBLP DOI BibTeX RDF
35	Ingmar Meinecke	Weighted Logics for Traces.	CSR	2006	DBLP DOI BibTeX RDF
35	Sergey V. Avgustinovich, Anna E. Frid	Canonical Decomposition of a Regular Factorial Language.	CSR	2006	DBLP DOI BibTeX RDF
35	Andrei A. Muchnik, Nikolai K. Vereshchagin	Shannon Entropy vs. Kolmogorov Complexity.	CSR	2006	DBLP DOI BibTeX RDF
35	Evan Goris	Logic of Proofs for Bounded Arithmetic.	CSR	2006	DBLP DOI BibTeX RDF
35	Olaf Beyersdorff	Tuples of Disjoint NP-Sets.	CSR	2006	DBLP DOI BibTeX RDF
35	Xiaogang Dong, Ilya Pollak	Approximate Methods for Constrained Total Variation Minimization.	CSR	2006	DBLP DOI BibTeX RDF
35	Marie-Pierre Béal, Sylvain Lombardy, Jacques Sakarovitch	Conjugacy and Equivalence of Weighted Automata and Functional Transducers.	CSR	2006	DBLP DOI BibTeX RDF
35	Hamid Sarbazi-Azad, Hamid Mahini, Ahmad Patooghy	Analytic Modeling of Channel Traffic in n-Cubes.	CSR	2006	DBLP DOI BibTeX RDF
35	Olivier Bodini, Thomas Fernique	Planar Dimer Tilings.	CSR	2006	DBLP DOI BibTeX RDF
35	Haoran Zhang, Peng Sun	A New Flow Control Algorithm for High Speed Computer Network.	CSR	2006	DBLP DOI BibTeX RDF
35	Guoteng Pan, Lunguo Xie, Qiang Dou, Erhua He	A New Hybrid Directory Scheme for Shared Memory Multi-processors.	CSR	2006	DBLP DOI BibTeX RDF
35	Dmitry Pavlov	Manipulator Path Planning in 3-Dimensional Space.	CSR	2006	DBLP DOI BibTeX RDF
35	Yong-Guk Kim, Min-Soo Jang, Kyoung-Sic Cho, Gwi-Tae Park	Performance Comparison Between Backpropagation, Neuro-Fuzzy Network, and SVM.	CSR	2006	DBLP DOI BibTeX RDF
35	Xiaojun Liu, Jie Yang 0002, Hong-Bin Shen, Xiangyang Wang	A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity.	CSR	2006	DBLP DOI BibTeX RDF
35	Aoun Raza	A Review of Race Detection Mechanisms.	CSR	2006	DBLP DOI BibTeX RDF
35	Patrick Cégielski, Irène Guessarian, Yury Lifshits, Yuri V. Matiyasevich	Window Subsequence Problems for Compressed Texts.	CSR	2006	DBLP DOI BibTeX RDF
35	Jan-Willem Roorda, Koen Claessen	Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics.	CSR	2006	DBLP DOI BibTeX RDF
35	Sergey M. Dudakov	Isolation and Reducibility Properties and the Collapse Result.	CSR	2006	DBLP DOI BibTeX RDF
35	Liran Shen, Qingbo Yin, Xueyao Li, Huiqiang Wang	Speech Enhancement in Short-Wave Channel Based on Empirical Mode Decomposition.	CSR	2006	DBLP DOI BibTeX RDF
35	Kalle Saari	On the Frequency of Letters in Morphic Sequences.	CSR	2006	DBLP DOI BibTeX RDF	Morphic sequences, HD0L sequences, Frequency of letters, Incidence matrix, Simple generator
35	Leonid Khachiyan, Vladimir Gurvich, Jihui Zhao	Extending Dijkstra's Algorithm to Maximize the Shortest Path by Node-Wise Limited Arc Interdiction.	CSR	2006	DBLP DOI BibTeX RDF
35	Manuel Bodirsky, Jan Kára	The Complexity of Equality Constraint Languages.	CSR	2006	DBLP DOI BibTeX RDF	Clones on Infinite Domains, Computational Complexity, Constraint Satisfaction, Logic in Computer Science
35	Rodolfo A. Pazos Rangel, Joaquín Pérez Ortega, José Antonio Martínez Flores, Juan Javier González Barbosa, Mirna P. Ponce F.	Least Likely to Use: A New Page Replacement Strategy for Improving Database Management System Response Time.	CSR	2006	DBLP DOI BibTeX RDF
35	Binod Vaidya, SangDuck Lee, Jae-Kyun Han, Seung Jo Han	Authentication Mechanism Using One-Time Password for 802.11 Wireless LAN.	CSR	2006	DBLP DOI BibTeX RDF
35	Andreas Abel 0001	Polarized Subtyping for Sized Types.	CSR	2006	DBLP DOI BibTeX RDF
35	Hartmut Messerschmidt, Friedrich Otto	On Nonforgetting Restarting Automata That Are Deterministic and/or Monotone.	CSR	2006	DBLP DOI BibTeX RDF
35	Carsten Sinz, Armin Biere	Extended Resolution Proofs for Conjoining BDDs.	CSR	2006	DBLP DOI BibTeX RDF
35	Haoran Zhang 0001, Xiaodong Wang 0005	Nonlinear Systems Modeling and Control Using Support Vector Machine Technique.	CSR	2006	DBLP DOI BibTeX RDF
35	Shengning Wu, Sikun Li	Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm.	CSR	2006	DBLP DOI BibTeX RDF
35	Tatiana Yavorskaya	Multi-agent Explicit Knowledge.	CSR	2006	DBLP DOI BibTeX RDF
35	Hao-ming Wang, Ye Guo, Boqin Feng	Optimizing Personalized Retrieval System Based on Web Ranking.	CSR	2006	DBLP DOI BibTeX RDF
35	Byung Ryong Kim, Ki-Chang Kim	Improved Technique of IP Address Fragmentation Strategies for DoS Attack Traceback.	CSR	2006	DBLP DOI BibTeX RDF
35	Pasan Kulvanit, Theera Piroonratana, Nachol Chaiyaratana, Djitt Laowattana	Evolutionary Multi-objective Optimisation by Diversity Control.	CSR	2006	DBLP DOI BibTeX RDF
35	Igor Grunsky, Oleksiy Kurganskyy, Igor Potapov	On a Maximal NFA Without Mergible States.	CSR	2006	DBLP DOI BibTeX RDF
35	Pooya Shareghi, Navid Imani, Hamid Sarbazi-Azad	Capturing an Intruder in the Pyramid.	CSR	2006	DBLP DOI BibTeX RDF
35	Panrasee Ritthipravat, Thavida Maneewarn, Jeremy L. Wyatt, Djitt Laowattana	Fuzzy-Q Knowledge Sharing Techniques with Expertness Measures: Comparison and Analysis.	CSR	2006	DBLP DOI BibTeX RDF
35	Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary	Synchronous Elastic Circuits.	CSR	2006	DBLP DOI BibTeX RDF
35	Maxim A. Babenko	Acyclic Bidirected and Skew-Symmetric Graphs: Algorithms and Structure.	CSR	2006	DBLP DOI BibTeX RDF
35	Vikraman Arvind, Bireswar Das	SZK Proofs for Black-Box Group Problems.	CSR	2006	DBLP DOI BibTeX RDF
35	Daniel Mölle, Stefan Richter 0001, Peter Rossmanith	Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover.	CSR	2006	DBLP DOI BibTeX RDF
35	Alexander Okhotin	Language Equations with Symmetric Difference.	CSR	2006	DBLP DOI BibTeX RDF
35	Sergiy Popov	Nonlinear Visualization of Incomplete Data Sets.	CSR	2006	DBLP DOI BibTeX RDF
35	Stefan S. Dantchev, Florent R. Madelaine	Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems.	CSR	2006	DBLP DOI BibTeX RDF	Constraint Satisfaction, Duality, Monadic Second Order Logic, Logic in Computer Science, Graph Homomorphism
35	Anna Gál, Michal Koucký 0001, Pierre McKenzie	Incremental Branching Programs.	CSR	2006	DBLP DOI BibTeX RDF
35	Yoram Hirshfeld, Alexander Moshe Rabinovich	Expressiveness of Metric Modalities for Continuous Time.	CSR	2006	DBLP DOI BibTeX RDF
35	Grigori Mints	Unwinding a Non-effective Cut Elimination Proof.	CSR	2006	DBLP DOI BibTeX RDF
35	Boaz Barak	Non-black-box Techniques in Cryptography.	CSR	2006	DBLP DOI BibTeX RDF
35	Alexander L. Chistov	Efficient Algorithms in Zero-Characteristic for a New Model of Representation of Algebraic Varieties.	CSR	2006	DBLP DOI BibTeX RDF
35	Michael A. Ustinov	Non-approximability of the Randomness Deficiency Function.	CSR	2006	DBLP DOI BibTeX RDF
35	Nicolas Baudru, Rémi Morin	Unfolding Synthesis of Asynchronous Automata.	CSR	2006	DBLP DOI BibTeX RDF
35	Piotr Berman, Martin Fürer, Alexander Zelikovsky	Applications of the Linear Matroid Parity Algorithm to Approximating Steiner Trees.	CSR	2006	DBLP DOI BibTeX RDF	parity matroid problem, Steiner trees, matroid, approximation ratio
35	Dina Q. Goldin, Huayan Gao	Dynamic Isoline Extraction for Visualization of Streaming Data.	CSR	2006	DBLP DOI BibTeX RDF
35	Konstantin Bournayev	Neural-Network Based Physical Fields Modeling Techniques.	CSR	2006	DBLP DOI BibTeX RDF
35	Stefan S. Dantchev	Relativisation Provides Natural Separations for Resolution-Based Proof Systems.	CSR	2006	DBLP DOI BibTeX RDF
35	Elena Zheleva, Abdullah N. Arslan	Fast Motif Search in Protein Sequence Databases.	CSR	2006	DBLP DOI BibTeX RDF	motif search, PROSITE pattern, heuristic, suffix tree, preprocessing, regular expression matching
35	Vladimir D. Tonchev, Hao Wang	Optimal Difference Systems of Sets with Multipliers.	CSR	2006	DBLP DOI BibTeX RDF	code synchronization, comma-free code, multiplier, cyclic difference set
35	Freiric Barral, Sergei Soloviev 0001	Inductive Type Schemas as Functors.	CSR	2006	DBLP DOI BibTeX RDF
34	Thomas Brandstetter, Helge Janicke (eds.)	4th International Symposium for ICS & SCADA Cyber Security Research 2016, ICS-CSR 2016, 23 - 25 August 2016, Queen's Belfast University, UK	ICS-CSR	2016	DBLP BibTeX RDF
34	Manuel Cheminod, Luca Durante, Marcello Maggiora, Adriano Valenzano, Claudio Zunino	Performance of Firewalls for Industrial Applications.	ICS-CSR	2016	DBLP BibTeX RDF
34	Allan Cook, Richard Smith 0002, Leandros A. Maglaras, Helge Janicke	Using Gamification to Raise Awareness of Cyber Threats to Critical National Infrastructure.	ICS-CSR	2016	DBLP BibTeX RDF
34	Rob Antrobus, Sylvain Frey, Awais Rashid, Benjamin Green 0001	SimaticScan: Towards A Specialised Vulnerability Scanner for Industrial Control Systems.	ICS-CSR	2016	DBLP BibTeX RDF
34	Elisa Canzani, Helmut Kaufmann, Ulrike Lechner	Characterising Disruptive Events to Model Cascade Failures in Critical Infrastructures.	ICS-CSR	2016	DBLP BibTeX RDF
34	Andrew Wain, Stephan Reiff-Marganiec, Kevin I. Jones, Helge Janicke	Towards a Distributed Runtime Monitor for ICS/SCADA Systems.	ICS-CSR	2016	DBLP BibTeX RDF
34	Andrew Fielder, Tingting Li 0001, Chris Hankin	Defense-in-depth vs. Critical Component Defense for Industrial Control Systems.	ICS-CSR	2016	DBLP BibTeX RDF
34	Ivo Friedberg, Kieran McLaughlin, Paul Smith 0001, Markus Wurzenberger	Towards a Resilience Metric Framework for Cyber-Physical Systems.	ICS-CSR	2016	DBLP BibTeX RDF
34	Jan Wolf, Felix Wieczorek, Frank Schiller, Gerhard Hansch, Norbert Wiedermann, Martin Hutle	Adaptive Modelling for Security Analysis of Networked Control Systems.	ICS-CSR	2016	DBLP BibTeX RDF
34	Antoine Lemay, Jonathan Rochon, José M. Fernandez 0001	A Practical flow white list approach for SCADA systems.	ICS-CSR	2016	DBLP BibTeX RDF
34	Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort	Improving SCADA security of a local process with a power grid model.	ICS-CSR	2016	DBLP BibTeX RDF
34	Allan Cook, Richard Smith 0002, Leandros A. Maglaras, Helge Janicke	Measuring the Risk of Cyber Attack in Industrial Control Systems.	ICS-CSR	2016	DBLP BibTeX RDF
34	Sarita Paudel, Paul Smith 0001, Tanja Zseby	Data Integrity Attacks in Smart Grid Wide Area Monitoring.	ICS-CSR	2016	DBLP BibTeX RDF
34	BooJoong Kang, Kieran McLaughlin, Sakir Sezer	Towards A Stateful Analysis Framework for Smart Grid Network Intrusion Detection.	ICS-CSR	2016	DBLP BibTeX RDF
34	Christopher Tebbe, Karl-Heinz Niemann, Alexander Fay	Ontology and life cycle of knowledge for ICS security assessments.	ICS-CSR	2016	DBLP BibTeX RDF
34	Rafiullah Khan, Peter Maynard 0001, Kieran McLaughlin, David M. Laverty, Sakir Sezer	Threat Analysis of BlackEnergy Malware for Synchrophasor based Real-time Control and Monitoring in Smart Grid.	ICS-CSR	2016	DBLP BibTeX RDF
34	Peter Eden, Andrew Blyth, Pete Burnap, Yulia Cherdantseva, Kevin Jones, Hugh Soulsby, Kristan Stoddart	Forensic Readiness for SCADA/ICS Incident Response.	ICS-CSR	2016	DBLP BibTeX RDF
34	Helge Janicke, Kevin I. Jones (eds.)	3rd International Symposium for ICS & SCADA Cyber Security Research 2015, ICS-CSR 2015, 17-18 September 2015, University of Applied Sciences Ingolstadt, Germany	ICS-CSR	2015	DBLP BibTeX RDF
34	Christoph Lang-Muhr, Matthias Schrattenholzer, Paul Tavolato	Multi-Layer Agent-Based Simulation of Network Behaviour in Advanced Metering Infrastructures.	ICS-CSR	2015	DBLP DOI BibTeX RDF
34	Cordell C. Davidson, Joel A. Dawson, Paul Carsten, Mark Yampolskiy, Todd R. Andel	Investigating the Applicability of a Moving Target Defense for SCADA systems.	ICS-CSR	2015	DBLP DOI BibTeX RDF
34	Ying He 0004, Helge Janicke	Towards Agile Industrial Control Systems Incident Response.	ICS-CSR	2015	DBLP DOI BibTeX RDF
34	Grigoris Tzokatziou, Leandros A. Maglaras, Helge Janicke	Insecure by Design: Using Human Interface Devices to exploit SCADA systems.	ICS-CSR	2015	DBLP DOI BibTeX RDF
34	Paul Carsten, Todd R. Andel, Mark Yampolskiy, Jeffrey Todd McDonald, Samuel H. Russ	A System to Recognize Intruders in Controller Area Network (CAN).	ICS-CSR	2015	DBLP DOI BibTeX RDF
34	Laurens Lemaire, Jan Vossaert, Joachim Jansen, Vincent Naessens	Extracting Vulnerabilities in Industrial Control Systems using a Knowledge-Based System.	ICS-CSR	2015	DBLP DOI BibTeX RDF
34	Roman Schlegel, Sebastian Obermeier 0001, Johannes Schneider 0002	Assessing the Security of IEC 62351.	ICS-CSR	2015	DBLP DOI BibTeX RDF