Listes de publications

Sort by: Author, Year, Title

List of literature

• From Automatic Keyword Detection to Ontology-Based Topic Modeling.
  Marc Beck, Syed Tahseen Raza Rizvi, Andreas Dengel, Sheraz Ahmed, Xiang Bai, Dimosthenis Karatzas and Daniel Lopresti
  Document Analysis Systems : 14th IAPR International Workshop, DAS 2020, Wuhan, China, July 26–29, 2020, Proceedings, (2020)
  DOI: 10.1007/978-3-030-57058-3_32
  https://link.springer.com/chapter/10.1007/978-3-030-57058-3_32
  
• Monadic Decomposition in Integer Linear Arithmetic.
  Matthew Hague, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu, Nicolas Peltier and Viorica Sofronie-Stokkermans
  Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, (2020)
  DOI: 10.1007/978-3-030-51074-9_8
  https://link.springer.com/chapter/10.1007/978-3-030-51074-9_8
  
• Secure Location Verification: Why You Want Your Verifiers to Be Mobile.
  Matthias Schäfer, Carolina Nogueira, Jens Schmitt, Vincent Lenders, Sokratis Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie Antón, Stefanos Gritzalis, Frank Pallas, Jörg Pohle, Angela Sasse, Weizhi Meng, Steven Furnell and Joaquin Garcia-Alfaro
  Computer Security : ESORICS 2019 International Workshops, CyberICPS, SECPRE, SPOSE, and ADIoT, Luxembourg City, Luxembourg, September 26–27, 2019 Revised Selected Papers, (2020)
  DOI: 10.1007/978-3-030-42048-2_27
  https://link.springer.com/chapter/10.1007/978-3-030-42048-2_27
  
• Combining State- and Event-Based Semantics to Verify Highly Available Programs.
  Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter, Farhad Arbab and Sung-Shik Jongmans
  Formal Aspects of Component Software : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings, (2020)
  DOI: 10.1007/978-3-030-40914-2_11
  https://link.springer.com/chapter/10.1007/978-3-030-40914-2_11
  
• Combining Fine- and Coarse-Grained Classifiers for Diabetic Retinopathy Detection.
  Muhammad Naseer Bajwa, Yoshinobu Taniguchi, Muhammad Imran Malik, Wolfgang Neumeier, Andreas Dengel, Sheraz Ahmed, Yalin Zheng, Bryan M. Williams and Ke Chen
  Medical Image Understanding and Analysis : 23rd Conference, MIUA 2019, Liverpool, UK, July 24–26, 2019, Proceedings, (2020)
  DOI: 10.1007/978-3-030-39343-4_21
  https://link.springer.com/chapter/10.1007/978-3-030-39343-4_21
  
• Quantifying Quality of Actions Using Wearable Sensor.
  Mohammad Al-Naser, Takehiro Niikura, Sheraz Ahmed, Hiroki Ohashi, Takuto Sato, Mitsuhiro Okada, Katsuyuki Nakamura, Andreas Dengel, Vincent Lemaire, Simon Malinowski, Anthony Bagnall, Alexis Bondu, Thomas Guyet and Romain Tavenard
  Advanced Analytics and Learning on Temporal Data : 4th ECML PKDD Workshop, AALTD 2019, Würzburg, Germany, September 20, 2019, Revised Selected Papers, (2020)
  DOI: 10.1007/978-3-030-39098-3_15
  https://link.springer.com/chapter/10.1007/978-3-030-39098-3_15
  
• Flexible Data Flow Architecture for Embedded Hardware Accelerators.
  Jens Froemmer, Nico Bannow, Axel Aue, Christoph Grimm, Klaus Schneider, Sheng Wen, Albert Zomaya and Laurence T. Yang
  Algorithms and Architectures for Parallel Processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part I, (2020)
  DOI: 10.1007/978-3-030-38991-8_3
  https://link.springer.com/chapter/10.1007/978-3-030-38991-8_3
  
• Why We Need a Process-Driven Network Analysis.
  Mareike Bockholt, Katharina Anna Zweig, Hocine Cherifi, Sabrina Gaito, José Fernendo Mendes, Esteban Moro and Luis Mateus Rocha
  Complex Networks and Their Applications VIII : Volume 2 Proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019, (2019)
  DOI: 10.1007/978-3-030-36683-4_7
  https://link.springer.com/chapter/10.1007/978-3-030-36683-4_7
  
• AADD-Based Symbolic Simulation of SystemC AMS.
  Carna Zivkovic, Christoph Grimm, Tom J. Kazmierski, Sebastian Steinhorst and Daniel Große
  Languages, Design Methods, and Tools for Electronic System Design :

  Selected Contributions from FDL 2018, (2019)
  DOI: 10.1007/978-3-030-31585-6_8
  https://link.springer.com/chapter/10.1007/978-3-030-31585-6_8
  

• Advanced Similarity Measures Using Word Embeddings and Siamese Networks in CBR.
  Kareem Amin, George Lancaster, Stelios Kapetanakis, Klaus-Dieter Althoff, Andreas Dengel, Miltos Petridis, Yaxin Bi, Rahul Bhatia and Supriya Kapoor
  Intelligent Systems and Applications : Proceedings of the 2019 Intelligent Systems Conference (IntelliSys) Volume 2, (2019)
  DOI: 10.1007/978-3-030-29513-4_32
  https://link.springer.com/chapter/10.1007/978-3-030-29513-4_32