Filter your results
- 12
- 12
- 12
- 2
- 1
- 3
- 5
- 1
- 1
- 1
- 1
- 12
- 6
- 6
- 98
- 78
- 75
- 65
- 59
- 51
- 49
- 47
- 43
- 42
- 40
- 40
- 38
- 35
- 33
- 33
- 33
- 31
- 29
- 29
- 29
- 29
- 28
- 28
- 27
- 26
- 25
- 25
- 25
- 23
- 23
- 22
- 22
- 21
- 21
- 21
- 21
- 20
- 20
- 20
- 20
- 19
- 19
- 19
- 18
- 18
- 18
- 17
- 17
- 17
- 17
- 17
- 16
- 16
- 16
- 15
- 15
- 15
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 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
12 results
|
|
sorted by
|
|
A dynamic hybrid Berth Allocation Problem with routing constraints in bulk portsAPMS 2020, Aug 2020, Novi Sad, Serbia. pp.250-258, ⟨10.1007/978-3-030-57993-7_29⟩
Conference papers
hal-02921374v1
|
||
|
Droids in Disarray: Detecting Frame Confusion in Hybrid Android Apps33th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2019, Charleston, SC, United States. pp.121-139, ⟨10.1007/978-3-030-22479-0_7⟩
Conference papers
hal-02384600v1
|
||
|
Automated Risk Assessment and What-if Analysis of OpenID Connect and OAuth 2.0 Deployments35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2021, Calgary, AB, Canada. pp.325-337, ⟨10.1007/978-3-030-81242-3_19⟩
Conference papers
hal-03677036v1
|
||
|
Standardization, Commonality, Modularity: A Global Economic PerspectiveIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2015, Tokyo, Japan. pp.365-375, ⟨10.1007/978-3-319-22756-6_45⟩
Conference papers
hal-01417509v1
|
||
|
Potential Benefits of Reverse Blending in the Fertilizer IndustryIFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.227-236, ⟨10.1007/978-3-030-57993-7_26⟩
Conference papers
hal-02921383v1
|
||
|
Efficient Algorithms for the max k -vertex cover Problem7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.295-309, ⟨10.1007/978-3-642-33475-7_21⟩
Conference papers
hal-01511883v1
|
||
|
On the Complexity of the Upper r-Tolerant Edge Cover Problem3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.32-47, ⟨10.1007/978-3-030-57852-7_3⟩
Conference papers
hal-03165379v1
|
||
|
Deconfined Global Types for Asynchronous Sessions23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.41-60, ⟨10.1007/978-3-030-78142-2_3⟩
Conference papers
hal-03387838v1
|
||
|
Asynchronous Global Types in Co-logic Programming23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.134-146, ⟨10.1007/978-3-030-78142-2_9⟩
Conference papers
hal-03387826v1
|
||
|
Enabling Next-Generation Cyber Ranges with Mobile Security Components32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.150-165, ⟨10.1007/978-3-030-64881-7_10⟩
Conference papers
hal-03239813v1
|
||
|
APPregator: A Large-Scale Platform for Mobile Security Analysis32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.73-88, ⟨10.1007/978-3-030-64881-7_5⟩
Conference papers
hal-03239815v1
|
||
|
The Lazy Matroid Problem8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.66-77, ⟨10.1007/978-3-662-44602-7_6⟩
Conference papers
hal-01402029v1
|