Skip to Main content Skip to Navigation


...
hal-00718134v1  Journal articles
Raimundas MatuleviciusHaralambos MouratidisMayer NicolasDubois EricPatrick Heymans. Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management
Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2012, 18 (6), pp.816-844
...
hal-03117491v1  Conference papers
Süreyya EmreAravind Sukumaran-RajamFabrice RastelloPonnuswamy Sadayyapan. Efficient Tiled Sparse Matrix Multiplication through Matrix Signatures
SC 2020 - International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2020, virtual, United States. pp.1-13
...
lirmm-00618611v1  Journal articles
Liang XiaoSrinandan DasmahapatraPaul LewisBo HuAndrew Peet et al.  The Design and Implementation of a Novel Security Model for HealthAgents
Knowledge Engineering Review, Cambridge University Press (CUP), 2011, 26 (3), pp.261-282. ⟨10.1017/S0269888911000117⟩
...
hal-01993462v1  Journal articles
Maria ChudnovskyIrene LoFrédéric MaffrayNicolas TrotignonKristina Vušković. Coloring square-free Berge graphs
Journal of Combinatorial Theory, Series B, Elsevier, 2019, 135, pp.96-128. ⟨10.1016/j.jctb.2018.07.010⟩
...
hal-02459678v1  Journal articles
Bongshin LeeEun ChoePetra IsenbergKim MarriottJohn Stasko. Reaching Broader Audiences With Data Visualization
IEEE Computer Graphics and Applications, Institute of Electrical and Electronics Engineers, In press, 40 (2), pp.82--90
hal-02400510v1  Directions of work or proceedings
Dominique MéryShengchao Qin. 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)
Dominique Méry and Shengchao Qin. Theoretical Aspects of Software Engineering (TASE), Guillin, China. IEEE, 2019, 978-1-7281-3342-3
...
hal-02350777v1  Book sections
Konstantinos ChatzikokolakisGeoffrey Smith. Refinement Metrics for Quantitative Information Flow
Mário S. Alvim; Kostas Chatzikokolakis; Carlos Olarte; Frank Valencia. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday., 11760, Springer, pp.397-416, 2019, Lecture Notes in Computer Science, 978-3-030-31174-2. ⟨10.1007/978-3-030-31175-9_23⟩
...
hal-02279111v1  Conference papers
Jessalyn AlvinaChengcheng QuJoanna McgrenereWendy E. Mackay. MojiBoard: Generating Parametric Emojis with Gesture Keyboards
CHI 2019 - The ACM CHI Conference on Human Factors in Computing Systems, May 2019, Glasgow, United Kingdom. pp.1-6, ⟨10.1145/3290607.3312771⟩
...
hal-02195539v1  Conference papers
Debabrota BasuPierre SenellartStéphane Bressan. BelMan: An Information-Geometric Approach to Stochastic Bandits
ECML/PKDD - The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2019, Würzburg, Germany
hal-02066433v1  Journal articles
Jacek BlazewiczBenjamin MoseleyErwin PeschDenis TrystramGuochuan Zhang. New challenges in scheduling theory
Journal of Scheduling, Springer Verlag, 2016, 19 (6), pp.617-618. ⟨10.1007/s10951-016-0503-z⟩
hal-01963221v1  Journal articles
Jacek BlazewiczBenjamin MoseleyErwin PeschDenis TrystramGuochuan Zhang. New challenges in scheduling theory
Journal of Scheduling, Springer Verlag, 2018, 21 (6), pp.581-582. ⟨10.1007/s10951-018-0571-3⟩