Volltext-Artikel, E-Books und Literaturhinweise aus dem EBSCO Discovery Service
"Artikel & mehr" berücksichtigt nur einen Teil der für die Bibliothek der Frankfurt UAS verfügbaren Datenbanken. Zur Übersicht in DBIS
Ergebnis verändern
- Publikationstyp
Publikationstyp- Thema
- erschienen in
- Geographic terms
-
1
von Priya, Swarn ; Besson, Frédéric ; Sughrue, Connor ; et al.
Schlagworte: Programming Languages
- 2
-
3
von Chavanon, Clément ; Besson, Frédéric ; Ninet, Tristan
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs. :89-102
-
4
von Gossez, Morgane ; Vigneron, Clara ; Vandermoeten, Alexandra ; et al.
Nature Communications. 16(1)
-
5
von Gaudin, Nicolas ; Hatchikian-Houdot, Jean-Loup ; Besson, Frederic ; et al.
2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) EUROSPW Security and Privacy Workshops (EuroS&PW), 2023 IEEE European Symposium on. :304-310 Jul, 2023
-
6
von Raimondi, Gautier ; Besson, Frédéric ; Jensen, Thomas
Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming. :1-13
-
7
von Zandberg, Koen ; Baccelli, Emmanuel ; Yuan, Shenghao ; et al.
Proceedings of the 23rd conference on 23rd ACM/IFIP International Middleware Conference. :161-173
-
8
von Claire V Hoffmann, PhD ; ProfPhD Yannick Le Meur, PhD ; Marie-Christine Moal, MD ; et al.
The Lancet Microbe, Vol 6, Iss 9, Pp 101146- (2025)
Schlagworte: Medicine (General); R5-920; Microbiology; QR1-502
-
9
von Besson, Frederic ; Dang, Alexandre ; Jensen, Thomas
2019 IEEE 32nd Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2019 IEEE 32nd. :230-23012 Jun, 2019
-
10
von Hatchikian-Houdot, Jean-Loup ; Wilke, Pierre ; Besson, Frédéric ; et al.
Computer Security – ESORICS 2024 : 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16–20, 2024, Proceedings, Part III. 14984:153-173
-
11
von Yuan, Shenghao ; Besson, Frédéric ; Talpin, Jean-Pierre ; et al.
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I. 14681:325-347
-
12
von Yuan, Shenghao ; Lion, Benjamin ; Besson, Frédéric ; et al.
Dependable Software Engineering. Theories, Tools, and Applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings. 14464:385-401
-
13
von Meunier, Frederic C. ; Kdhir, Raphael ; Potrzebowska, Natalia ; et al.
Inorganic Chemistry. 58(12):8021-8029
-
14
von Besson, Frédéric ; Dang, Alexandre ; Jensen, Thomas
Proceedings of the 13th Workshop on Programming Languages and Analysis for Security. :29-40
-
15
von Besson, Frederic ; Bielova, Nataliia ; Jensen, Thomas
2016 IEEE 29th Computer Security Foundations Symposium (CSF) Computer Security Foundations Symposium (CSF), 2016 IEEE 29th. :225-238 Jun, 2016
-
16
von Armand, Marine ; Degaud, Michaël ; Tesson, Bruno ; et al.
Leukemia. 37(6):1388-1391
-
17
von Abbassi, Abdelhamid ; Debure, Alain ; Guerraoui, Abdallah ; et al.
In Kidney International December 2020 98(6):1519-1529
-
18
von Besson, Frederic ; Bielova, Nataliia ; Jensen, Thomas
2013 IEEE 26th Computer Security Foundations Symposium Computer Security Foundations Symposium (CSF), 2013 IEEE 26th. :240-254 Jun, 2013
-
19
von Yuan, Shenghao ; Besson, Frédéric ; Talpin, Jean-Pierre ; et al.
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II. 13372:293-316
-
20
von Kilian, Sebastien ; Tong, Valerie Viet Triem ; Lalande, Jean-Francois ; et al.
2025 28th International Symposium on Research in Attacks, Intrusions and Defenses (RAID) RAID Research in Attacks, Intrusions and Defenses (RAID), 2025 28th International Symposium on. :523-537 Oct, 2025
-
21
von Besson, Pierre-Victor ; Brisse, Romain ; Orsini, Helene ; et al.
2023 IEEE International Conference on Big Data (BigData) Big Data (BigData), 2023 IEEE International Conference on. :2980-2988 Dec, 2023
-
22
von Vera, Cristina Rodriguez ; Lin, Lan ; Bernaudin, Frederic ; et al.
2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops), 2022 IEEE International Conference on. :781-786 Mar, 2022
-
23
von Estelle Bonnet ; Mathias Winter ; Delphine Mallet ; et al.
Endocrine Connections, Vol 12, Iss 3, Pp 1-16 (2023)
Schlagworte: 5α-reductase type 2 deficiency; 17β-hydroxysteroid dehydrogenase type 3 deficiency; 46; xy disorders of sex development; sex assignment; change in practices; Diseases of the endocrine glands. Clinical endocrinology; RC648-665
-
24
von Heriard-Dubreuil, Baptiste ; Besson, Adrien ; Wintzenrieth, Frederic ; et al.
2020 IEEE International Ultrasonics Symposium (IUS) Ultrasonics Symposium (IUS),2020 IEEE International. :1-4 Sep, 2020
-
25
von Besson, Adrien ; Wintzenrieth, Frederic ; Cohen-Bacrie, Claude
2020 IEEE International Ultrasonics Symposium (IUS) Ultrasonics Symposium (IUS),2020 IEEE International. :1-4 Sep, 2020
Hilfe & Kontakt ǀ Fernleihe | Hilfe zur Fernleihe ǀ Literaturvorschlag| Literaturvorschlag