Sortiert nach
Software Engineering and Formal Methods, p.344-359
Volltextzugriff (PDF)
The European physical journal. A, Hadrons and nuclei, 2020, Vol.56 (1)
- Kozulin, E. M.
- Harca, I. M.
- Vardaci, E.
- Matea, I.
- Maj, A.
- Itkis, I.
- Knyazheva, G.
- Novikov, K.
- Dorvaux, O.
- Ciemala, M.
- Brambilla, S.
- Kozulina, N.
- Kolesov, I. V.
- Saveleva, E.
- Kirakosyan, V. V.
- Schmitt, C.
- Borcea, C.
- Calinescu, S.
- Petrone, C.
- Ashaduzzaman, M.
- DeCanditiis, B.
- Pulcini, A.
- Quero, D.
- Rath, P.
- di Nitto, A.
- La Rana, G.
- Bracco, A.
- Camera, F.
- Stezowski, O.
- Wilson, J.
- Verney, D.
- Trzaska, W. H.
2020
Volltextzugriff (PDF)
Physical review letters, 2017-04, Vol.118 (16), Article 162502
- Leoni, S.
- Fornal, B.
- Mărginean, N.
- Sferrazza, M.
- Tsunoda, Y.
- Otsuka, T.
- Bocchi, G.
- Crespi, F. C. L.
- Bracco, A.
- Aydin, S.
- Boromiza, M.
- Bucurescu, D.
- Cieplicka-Oryǹczak, N.
- Costache, C.
- Călinescu, S.
- Florea, N.
- Ghiţă, D. G.
- Glodariu, T.
- Ionescu, A.
- Iskra, Ł.W.
- Krzysiek, M.
- Mărginean, R.
- Mihai, C.
- Mihai, R. E.
- Mitu, A.
- Negreţ, A.
- Niţă, C. R.
- Olăcel, A.
- Oprea, A.
- Pascu, S.
- Petkov, P.
- Petrone, C.
- Porzio, G.
- Şerban, A.
- Sotty, C.
- Stan, L.
- Ştiru, I.
- Stroe, L.
- Şuvăilă, R.
- Toma, S.
- Turturică, A.
- Ujeniuc, S.
- Ur, C. A.
2017
Volltextzugriff (PDF)
The European physical journal. A, Hadrons and nuclei, 2016, Vol.52 (9), p.1-7, Article 293
2016
Volltextzugriff (PDF)
1st Edition 2021, 2021
Volltextzugriff (PDF)
Physical review. C, 2019-09, Vol.100 (3), Article 034306
- Lică, R.
- Rotaru, F.
- Borge, M. J. G.
- Grévy, S.
- Negoiţă, F.
- Poves, A.
- Sorlin, O.
- Andreyev, A. N.
- Borcea, R.
- Costache, C.
- De Witte, H.
- Fraile, L. M.
- Greenlees, P. T.
- Huyse, M.
- Ionescu, A.
- Kisyov, S.
- Konki, J.
- Lazarus, I.
- Madurga, M.
- Mărginean, N.
- Mărginean, R.
- Mihai, C.
- Mihai, R. E.
- Negret, A.
- Nowacki, F.
- Page, R. D.
- Pakarinen, J.
- Pucknell, V.
- Rahkila, P.
- Rapisarda, E.
- Şerban, A.
- Sotty, C. O.
- Stan, L.
- Stănoiu, M.
- Tengblad, O.
- Turturică, A.
- Van Duppen, P.
- Warr, N.
- Dessagne, Ph
- Stora, T.
- Borcea, C.
- Călinescu, S.
- Daugas, J. M.
- Filipescu, D.
- Kuti, I.
- Franchoo, S.
- Gheorghe, I.
- Morfouace, P.
- Morel, P.
- Mrazek, J.
- Pietreanu, D.
- Sohler, D.
- Stefan, I.
- Şuvăilă, R.
- Toma, S.
- Ur, C. A.
2019
Volltextzugriff (PDF)
11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, 2019, p.29-45
2019
Volltextzugriff (PDF)
Journal of physics. Conference series, 2013-01, Vol.413 (1), p.12036-4
2013
Volltextzugriff (PDF)
SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), 2015, p.3-10
2015
Volltextzugriff (PDF)
Acta physica Polonica, B, 2014, Vol.45 (2), p.199
- Calinescu, S.
- Cáceres, L.
- Grévy, S.
- Sorlin, O.
- Sohler, D.
- Stanoiu, M.
- Negoita, F.
- Clément, E.
- Astabatyan, R.
- Borcea, C.
- Borcea, R.
- Bowry, M.
- Catford, W.
- Dombradi, Z.
- Franchoo, S.
- Garcia, R.
- Gillibert, R.
- Guerin, H.
- Thomas, J.C.
- Kuti, I.
- Lukyanov, S.
- Lepailleur, A.
- Maslov, V.
- Morfouace, P.
- Mrazek, J.
- Niikura, M.
- Perrot, L.
- Podolyak, Z.
- Petrone, C.
- Penionzhkevich, Y.
- Roger, T.
- Rotaru, F.
- Stefan, I.
- Vajta, Z.
- Wilson, E.
2014
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.293-309
Volltextzugriff (PDF)
Physical review letters, 2020-09, Vol.125 (10), Article 102502
- Mărginean, N.
- Little, D.
- Tsunoda, Y.
- Leoni, S.
- Janssens, R. V. F.
- Fornal, B.
- Otsuka, T.
- Michelagnoli, C.
- Stan, L.
- Crespi, F. C. L.
- Costache, C.
- Lica, R.
- Sferrazza, M.
- Turturica, A.
- Ayangeakaa, A. D.
- Auranen, K.
- Barani, M.
- Bender, P. C.
- Bottoni, S.
- Boromiza, M.
- Bracco, A.
- Călinescu, S.
- Campbell, C. M.
- Carpenter, M. P.
- Chowdhury, P.
- Ciemała, M.
- Cieplicka-Oryǹczak, N.
- Cline, D.
- Clisu, C.
- Crawford, H. L.
- Dinescu, I. E.
- Dudouet, J.
- Filipescu, D.
- Florea, N.
- Forney, A. M.
- Fracassetti, S.
- Gade, A.
- Gheorghe, I.
- Hayes, A. B.
- Harca, I.
- Henderson, J.
- Ionescu, A.
- Iskra, Ł. W.
- Jentschel, M.
- Kandzia, F.
- Kim, Y. H.
- Kondev, F. G.
- Korschinek, G.
- Köster, U.
- Krishichayan
- Krzysiek, M.
- Lauritsen, T.
- Li, J.
- Mărginean, R.
- Maugeri, E. A.
- Mihai, C.
- Mihai, R. E.
- Mitu, A.
- Mutti, P.
- Negret, A.
- Niţă, C. R.
- Olăcel, A.
- Oprea, A.
- Pascu, S.
- Petrone, C.
- Porzio, C.
- Rhodes, D.
- Seweryniak, D.
- Schumann, D.
- Sotty, C.
- Stolze, S. M.
- Şuvăilă, R.
- Toma, S.
- Ujeniuc, S.
- Walters, W. B.
- Wu, C. Y.
- Wu, J.
- Zhu, S.
- Ziliani, S.
2020
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.481-500
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.463-480
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.103-109
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.201-221
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.3-22
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.243-261
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.66-83
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.501-520
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.47-65
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.178-198
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.23-43
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.372-379
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Physical Sciences
- Life Sciences & Biomedicine
- Engineering
- Mathematics
- Mathematics, Applied
- Software Engineering
- Chemistry
- Engineering, Electrical & Electronic
- Computer Science, Interdisciplinary Applications
- Computer Science, Artificial Intelligence
- Humans
- Exact Sciences And Technology
- Robotics
- Applied Sciences
- Physics
Kollektion
- Ingenta
- EZB Electronic Journals Library
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE Xplore
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- MEDLINE
- Journals@Ovid Complete
- JSTOR
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Springer Nature - Complete Springer Journals
- ACM Digital Library Complete
- NUS Single-Journal Subscriptions
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Taylor & Francis Current Content Access
- Taylor & Francis Journals
- Taylor & Francis Journals Complete
- Oxford University Press Journals Current
Zeitschrift / Serie
Neu hinzugefügt