Sortiert nach
Astronomy and astrophysics (Berlin), 2021-12, Vol.656, p.A40
2021
Volltextzugriff (PDF)
Astronomy and astrophysics (Berlin), 2021-12, Vol.656, p.A36
- Louarn, P.
- Fedorov, A.
- Prech, L.
- Owen, C. J.
- Bruno, R.
- Livi, S.
- Lavraud, B.
- Rouillard, A. P.
- Génot, V.
- André, N.
- Fruit, G.
- Réville, V.
- Kieokaew, R.
- Plotnikov, I.
- Penou, E.
- Barthe, A.
- Khataria, D.
- Berthomier, M.
- D’Amicis, R.
- Sorriso-Valvo, L.
- Allegrini, F.
- Raines, J.
- Verscharen, D.
- Fortunato, V.
- Mele, G.
- Horbury, T. S.
- O’brien, H.
- Evans, V.
- Angelini, V.
- Maksimovic, M.
- Kasper, J. C.
- Bale, S. D.
2021
Volltextzugriff (PDF)
Astronomy and astrophysics (Berlin), 2024-02, Vol.682, p.A44
- Louarn, P.
- Fedorov, A.
- Prech, L.
- Owen, C. J.
- D’Amicis, R.
- Bruno, R.
- Livi, S.
- Lavraud, B.
- Rouillard, A. P.
- Génot, V.
- André, N.
- Fruit, G.
- Réville, V.
- Kieokaew, R.
- Plotnikov, I.
- Penou, E.
- Barthe, A.
- Lewis, G.
- Berthomier, M.
- Allegrini, F.
- Alterman, B. L.
- Lepri, S. T.
- Raines, J. M.
- Verscharen, D.
- Mele, G.
- Fargette, N.
- Horbury, T. S.
- Maksimovic, M.
- Kasper, J. C.
- Bale, S. D.
2024
Volltextzugriff (PDF)
Astronomy and astrophysics (Berlin), 2021-12, Vol.656, p.A37
- Lavraud, B.
- Kieokaew, R.
- Fargette, N.
- Louarn, P.
- Fedorov, A.
- André, N.
- Fruit, G.
- Génot, V.
- Réville, V.
- Rouillard, A. P.
- Plotnikov, I.
- Penou, E.
- Barthe, A.
- Prech, L.
- Owen, C. J.
- Bruno, R.
- Allegrini, F.
- Berthomier, M.
- Kataria, D.
- Livi, S.
- Raines, J. M.
- D’Amicis, R.
- Eastwood, J. P.
- Froment, C.
- Laker, R.
- Maksimovic, M.
- Marcucci, F.
- Perri, S.
- Perrone, D.
- Phan, T. D.
- Stansby, D.
- Stawarz, J.
- Toledo-Redondo, S.
- Vaivads, A.
- Verscharen, D.
- Zouganelis, I.
- Angelini, V.
- Evans, V.
- Horbury, T. S.
- O’Brien, H.
2021
Volltextzugriff (PDF)
1, 2021
Volltextzugriff (PDF)
Programming Languages and Systems, p.77-96
Volltextzugriff (PDF)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2005, p.49-69
2005
Volltextzugriff (PDF)
Security and Trust Management, p.226-238
Volltextzugriff (PDF)
Programming Languages and Systems, p.398-418
Volltextzugriff (PDF)
Geoscientific instrumentation, methods and data systems, 2014-04, Vol.3 (1), p.49-58
2014
Volltextzugriff (PDF)
Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation, 2010, p.129-145
2010
Volltextzugriff (PDF)
Formal Aspects of Security and Trust, p.39-54
Volltextzugriff (PDF)
Programming Languages and Systems, p.256-275
Volltextzugriff (PDF)
Programming Languages and Systems, p.236-255
Volltextzugriff (PDF)
Engineering Secure Software and Systems, 2012, p.14-21
2012
Volltextzugriff (PDF)
Security and Trust Management, 2016, Vol.9871, p.32-46
2016
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, Vol.6602, p.297-316
2011
Volltextzugriff (PDF)
Astronomy and astrophysics (Berlin), 2020-10, Vol.642, p.A16
- Bruno, R.
- Livi, S.
- Louarn, P.
- Al Janabi, K.
- Allegrini, F.
- Barthe, A.
- Berthomier, M.
- Bordon, S.
- Brockley-Blatt, C.
- Collier, M.
- DeMarco, R.
- Fedorov, A.
- Ford, J.
- Fortunato, V.
- Fratter, I.
- Galvin, A. B.
- Hancock, B.
- Heirtzler, D.
- Kataria, D.
- Kistler, L.
- Lewis, G.
- Loeffler, C.
- Marty, W.
- Mathon, R.
- Mayall, A.
- Mele, G.
- Ogasawara, K.
- Orlandi, M.
- Penou, E.
- Persyn, S.
- Phillips, M.
- Raines, J. M.
- Rouillard, A. P.
- Rousseau, A.
- Rubiella, J.
- Seran, H.
- Spencer, A.
- Thomas, J. W.
- Trevino, J.
- Verscharen, D.
- Wurz, P.
- Alapide, A.
- André, N.
- Anekallu, C.
- Arciuli, V.
- Arnett, K. L.
- Ascolese, R.
- Bancroft, C.
- Bland, P.
- Calvanese, R.
- Castronuovo, M.
- Clemens, S.
- Collinson, G.
- D’Amicis, R.
- Dandouras, I.
- Darnley, R.
- Davies, D.
- Davison, G.
- Devoto, P.
- Edlund, E.
- Fazakerley, A.
- Garat, C.
- Génot, V.
- Gibson, W.
- Gilbert, J. A.
- de Giosa, V.
- Gradone, S.
- Horbury, T. S.
- Hunt, T.
- Johnson, M.
- Lavraud, B.
- Lawrenson, A.
- Leblanc, F.
- Lockhart, W.
- Maksimovic, M.
- Malpus, A.
- Monti, F.
- Myers, S.
- Nguyen, T.
- Rodriguez-Pacheco, J.
- Phillips, I.
- Popecki, M.
- Rees, K.
- Rogacki, S. A.
- Ruane, K.
- Rust, D.
- Salatti, M.
- Sauvaud, J. A.
- Stakhiv, M. O.
- Stange, J.
- Stubbs, T.
- Techer, J.-D.
- Terrier, G.
- Urdiales, C.
- Varsani, A.
- Walsh, A. P.
- Wheeler, P.
- Wimmer-Schweingruber, R. F.
- Yardley, J.
- Zouganelis, I.
2020
Volltextzugriff (PDF)
Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation, 2010, p.78-94
2010
Volltextzugriff (PDF)
Security and Trust Management, 2016, Vol.9871, p.212-228
2016
Volltextzugriff (PDF)
Blood, 2014-10, Vol.124 (16), p.2472-2473
2014
Volltextzugriff (PDF)
Programming Languages and Systems, p.439-458
Volltextzugriff (PDF)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2005, p.108-128
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Information Systems
- Computer Science, Interdisciplinary Applications
- Computer Science, Artificial Intelligence
- Collaborative Work
- Humans
- Engineering
- Computer Science, Software Engineering
- Engineering, Electrical & Electronic
- Collaboration
- Life Sciences & Biomedicine
- Physical Sciences
- Exact Sciences And Technology
- Applied Sciences
- Operations Research & Management Science
- Male
- Female
Kollektion
- IEEE Electronic Library (IEL)
- Ingenta
- EZB Electronic Journals Library
- SpringerLink Series
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Journals@Ovid Complete
- Wiley Online Library - AutoHoldings Journals
- Publisher
- Wiley Online Library Full Collection 2018
- SpringerLink E-Journals
- ACM Digital Library Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- JSTOR All Journals
- Oxford University Press Journals Current
- EBSCOhost Business Source Ultimate
Zeitschrift / Serie
- Radiation Protection Dosimetry
- Journal Of Nuclear Materials
- Nuclear Instruments & Methods In Physics Research. Section B, Beam Interactions With Materials And Atoms
- Revista Española De Cardiologia
- Archives De Pédiatrie : Organe Officiel De La Société Française De Pédiatrie
- Applied Surface Science
- Computer Graphics Forum
- Plos One
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
Neu hinzugefügt