Filter your results
- 10
- 1
- 10
- 1
- 11
- 2
- 4
- 1
- 1
- 2
- 1
- 11
- 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
|
|
sorted by
|
|
Special Digital Monies: The Design of Alipay and WeChat Wallet for Mobile Payment Practices in China16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.136-155, ⟨10.1007/978-3-319-68059-0_9⟩
Conference papers
hal-01679828v1
|
||
|
Using an Atlas-Based Approach in the Analysis of Gene Expression Maps Obtained by Voxelation8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.566-575, ⟨10.1007/978-3-642-33412-2_58⟩
Conference papers
hal-01523042v1
|
||
|
Modelling Pesticide Treatment Effects on Lygus hesperus in Cotton Fields27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.95-106, ⟨10.1007/978-3-319-55795-3_8⟩
Conference papers
hal-01626902v1
|
||
|
Advances in Software Engineering TechniquesSpringer, LNCS-7054, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-28038-2⟩
Books
hal-01527391v1
|
||
|
Securing Web Applications with Predicate Access Control31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.541-554, ⟨10.1007/978-3-319-61176-1_30⟩
Conference papers
hal-01684360v1
|
||
|
Privacy-Preserving Community-Aware Trending Topic Detection in Online Social Media31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.205-224, ⟨10.1007/978-3-319-61176-1_11⟩
Conference papers
hal-01684372v1
|
||
|
BOTVEILLANCE: A Vehicular Botnet Surveillance Attack against Pseudonymous Systems in VANETs11th IFIP Wireless and Mobile Networking Conference (WMNC 2018), Sep 2018, Prague, Czech Republic. pp.53-60
Conference papers
hal-01995425v1
|
||
|
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.194-209, ⟨10.1007/978-3-319-60225-7_14⟩
Conference papers
hal-01658411v1
|
||
|
State Grammars with Stores20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.163-174, ⟨10.1007/978-3-319-94631-3_14⟩
Conference papers
hal-01905629v1
|
||
|
Performance Evaluation with Hidden Markov ModelsPerformance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.112-128, ⟨10.1007/978-3-642-25575-5_10⟩
Conference papers
hal-01586903v1
|
||
|
Reframing of Product Position Rescues the Strategy at the Lifecycle Management11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.497-506, ⟨10.1007/978-3-662-45937-9_49⟩
Conference papers
hal-01386557v1
|