Filter your results
- 773
- 23
- 773
- 773
- 119
- 2
- 2
- 1
- 20
- 753
- 773
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
|
Deterministic Algorithm for 1-Median 1-Center Two-Objective Optimization Problem1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.164-178, ⟨10.1007/978-3-319-28678-5_12⟩
Conference papers
hal-01446259v1
|
||
|
|
Some Properties of Continuous Yao Graph1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.44-55, ⟨10.1007/978-3-319-28678-5_4⟩
Conference papers
hal-01446263v1
|
||
|
|
Minimizing Walking Length in Map Matching1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.105-120, ⟨10.1007/978-3-319-28678-5_8⟩
Conference papers
hal-01446266v1
|
||
|
|
The Quest for Scalable Blockchain Fabric: Proof-of-Work vs. BFT ReplicationInternational Workshop on Open Problems in Network Security (iNetSec), Oct 2015, Zurich, Switzerland. pp.112-125, ⟨10.1007/978-3-319-39028-4_9⟩
Conference papers
hal-01445797v1
|
||
|
|
On Symmetric and Choiceless Computation1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.23-29, ⟨10.1007/978-3-319-28678-5_2⟩
Conference papers
hal-01446261v1
|
||
|
|
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
|
||
|
|
Intrusion Detection in the Smart Grid Based on an Analogue TechniqueInternational Workshop on Open Problems in Network Security (iNetSec), Oct 2015, Zurich, Switzerland. pp.56-67, ⟨10.1007/978-3-319-39028-4_5⟩
Conference papers
hal-01445793v1
|
||
|
|
Infinite Subgame Perfect Equilibrium in the Hausdorff Difference Hierarchy1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.147-163, ⟨10.1007/978-3-319-28678-5_11⟩
Conference papers
hal-01446258v1
|
||
|
|
Distributional Sentence Entailment Using Density Matrices1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.1-22, ⟨10.1007/978-3-319-28678-5_1⟩
Conference papers
hal-01446260v1
|
||
|
|
Plane Geodesic Spanning Trees, Hamiltonian Cycles, and Perfect Matchings in a Simple Polygon1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.56-71, ⟨10.1007/978-3-319-28678-5_5⟩
Conference papers
hal-01446264v1
|
||
|
|
A Metric for Adaptive Routing on Trustworthy PathsInternational Workshop on Open Problems in Network Security (iNetSec), Oct 2015, Zurich, Switzerland. pp.11-25, ⟨10.1007/978-3-319-39028-4_2⟩
Conference papers
hal-01445790v1
|
||
|
|
Reviving the Idea of Incremental Cryptography for the Zettabyte Era Use Case: Incremental Hash Functions Based on SHA-3International Workshop on Open Problems in Network Security (iNetSec), Oct 2015, Zurich, Switzerland. pp.97-111, ⟨10.1007/978-3-319-39028-4_8⟩
Conference papers
hal-01445801v1
|
||
|
|
Anonymity Online for Everyone: What Is Missing for Zero-Effort Privacy on the Internet?International Workshop on Open Problems in Network Security (iNetSec), Oct 2015, Zurich, Switzerland. pp.82-94, ⟨10.1007/978-3-319-39028-4_7⟩
Conference papers
hal-01445796v1
|
||
|
|
On Building Onion Routing into Future Internet ArchitecturesInternational Workshop on Open Problems in Network Security (iNetSec), Oct 2015, Zurich, Switzerland. pp.71-81, ⟨10.1007/978-3-319-39028-4_6⟩
Conference papers
hal-01445794v1
|
||
|
|
Forwarding Accountability: A Challenging Necessity of the Future Data PlaneInternational Workshop on Open Problems in Network Security (iNetSec), Oct 2015, Zurich, Switzerland. pp.3-10, ⟨10.1007/978-3-319-39028-4_1⟩
Conference papers
hal-01445789v1
|
||
|
|
Rainbow Domination and Related Problems on Some Classes of Perfect Graphs1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.121-134, ⟨10.1007/978-3-319-28678-5_9⟩
Conference papers
hal-01446271v1
|
||
|
|
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
|
||
|
|
Early Warning Systems for Cyber DefenceInternational Workshop on Open Problems in Network Security (iNetSec), Oct 2015, Zurich, Switzerland. pp.29-42, ⟨10.1007/978-3-319-39028-4_3⟩
Conference papers
hal-01445791v1
|
||
|
|
Catching Inside Attackers: Balancing Forensic Detectability and Privacy of EmployeesInternational Workshop on Open Problems in Network Security (iNetSec), Oct 2015, Zurich, Switzerland. pp.43-55, ⟨10.1007/978-3-319-39028-4_4⟩
Conference papers
hal-01445792v1
|
||
|
|
Efficient Computation of Generalized Ising Polynomials on Graphs with Fixed Clique-Width1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.135-146, ⟨10.1007/978-3-319-28678-5_10⟩
Conference papers
hal-01446257v1
|
||
|
|
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
Conference papers
hal-01202799v1
|
||
|
|
Quantifying Object- and Command-oriented Interaction15th Human-Computer Interaction (INTERACT), IFIP, Sep 2015, Bamberg, Germany. pp.231-239, ⟨10.1007/978-3-319-22723-8_18⟩
Conference papers
hal-01252527v1
|
||
|
|
Glass+Skin: An Empirical Evaluation of the Added Value of Finger Identification to Basic Single-Touch Interaction on Touch Screens15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.55-71, ⟨10.1007/978-3-319-22723-8_5⟩
Conference papers
hal-01202852v1
|
||
|
|
Characterizing the Influence of Motion Parameters on Performance when Acquiring Moving Targets15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.148-155, ⟨10.1007/978-3-319-22723-8_12⟩
Conference papers
hal-01207511v1
|
||
|
|
Finding Objects Faster in Dense Environments using a Projection Augmented Robotic ArmINTERACT'15: IFIP International Conference on Human-Computer Interaction, Sep 2015, Bamberg, Germany. pp.221-238, ⟨10.1007/978-3-319-22698-9_15⟩
Conference papers
hal-01447396v1
|
||
|
|
A Role-Switching Mechanic for Reflective Decision-Making Game14th International Conference on Entertainment Computing (ICEC), Letizia Jaccheri; Konstantinos Chorianopoulos, Sep 2015, Trondheim, Norway. pp.417-423, ⟨10.1007/978-3-319-24589-8_34⟩
Conference papers
hal-01197401v1
|
||
|
|
Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.192-212, ⟨10.1007/978-3-319-22723-8_16⟩
Conference papers
hal-01387758v1
|
||
|
|
Practical and Privacy-Preserving TEE Migration9th Workshop on Information Security Theory and Practice (WISTP), Aug 2015, Heraklion, Greece. pp.153-168, ⟨10.1007/978-3-319-24018-3_10⟩
Conference papers
hal-01183508v1
|
||
|
|
Usability aspects of the inside-in approach for ancillary search tasks on the web15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.211-230, ⟨10.1007/978-3-319-22668-2_18⟩
Conference papers
hal-01343048v1
|
||
|
|
On the Periods of Spatially Periodic Preimages in Linear Bipermutive Cellular Automata21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.181-195, ⟨10.1007/978-3-662-47221-7_14⟩
Conference papers
hal-01313895v1
|