Filter your results
- 14
- 13
- 1
- 14
- 3
- 2
- 1
- 1
- 4
- 2
- 1
- 14
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.100-109, ⟨10.1007/978-3-319-24644-4_7⟩
Conference papers
hal-01446613v1
|
||
|
|
A New Data Integrity Checking Protocol with Public Verifiability in Cloud Storage6th International Conference on Trust Management (TM), May 2012, Surat, India. pp.240-246, ⟨10.1007/978-3-642-29852-3_19⟩
Conference papers
hal-01517664v1
|
||
|
|
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.136-149, ⟨10.1007/978-3-642-28038-2_11⟩
Conference papers
hal-01527384v1
|
||
|
|
Another Fallen Hash-Based RFID Authentication Protocol6th International Workshop on Information Security Theory and Practice (WISTP), Jun 2012, Egham, United Kingdom. pp.29-37, ⟨10.1007/978-3-642-30955-7_4⟩
Conference papers
hal-01534308v1
|
||
|
|
Robots’ Cooperation for Finding a Target in Streets1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.30-43, ⟨10.1007/978-3-319-28678-5_3⟩
Conference papers
hal-01446262v1
|
||
|
|
Improved Algorithms for Distributed Balanced Clustering3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.72-84, ⟨10.1007/978-3-030-57852-7_6⟩
Conference papers
hal-03165380v1
|
||
|
|
Topics in Theoretical Computer ScienceSpringer International Publishing, LNCS-12281, 2020, Lecture Notes in Computer Science, 978-3-030-57851-0. ⟨10.1007/978-3-030-57852-7⟩
Books
hal-03165376v1
|
||
|
|
Model Checking MANETs with Arbitrary Mobility5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.217-232, ⟨10.1007/978-3-642-40213-5_14⟩
Conference papers
hal-01514658v1
|
||
|
|
Attacks on a Lightweight Mutual Authentication Protocol under EPC C-1 G-2 Standard5th Workshop on Information Security Theory and Practices (WISTP), Jun 2011, Heraklion, Crete, Greece. pp.254-263, ⟨10.1007/978-3-642-21040-2_18⟩
Conference papers
hal-01573311v1
|
||
|
|
Computing Boundary Cycle of a Pseudo-Triangle Polygon from Its Visibility Graph3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.61-71, ⟨10.1007/978-3-030-57852-7_5⟩
Conference papers
hal-03165378v1
|
||
|
|
Bug Localization Using Revision Log Analysis and Open Bug Repository Text Categorization6th International IFIP WG 2.13 Conference on Open Source Systems,(OSS), May 2010, Notre Dame, United States. pp.188-199, ⟨10.1007/978-3-642-13244-5_15⟩
Conference papers
hal-01056055v1
|
||
|
|
Visibility Graphs of Anchor Polygons1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.72-89, ⟨10.1007/978-3-319-28678-5_6⟩
Conference papers
hal-01446265v1
|
||
|
|
A Secure Key Management Framework for Heterogeneous Wireless Sensor Networks12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.18-31, ⟨10.1007/978-3-642-24712-5_2⟩
Conference papers
hal-01596197v1
|
||
|
|
k-Anonymity-Based Horizontal Fragmentation to Preserve Privacy in Data Outsourcing26th Conference on Data and Applications Security and Privacy (DBSec), Jul 2012, Paris, France. pp.263-273, ⟨10.1007/978-3-642-31540-4_20⟩
Conference papers
hal-01534772v1
|