학술논문
'학술논문'
에서 검색결과 32건 | 목록
1~10
Academic Journal
Boesenberg, U.; Ansaldi, G.; Bartmann, A.; Batchelor, L.; Brausse, F.; Hallmann, J.; Jo, W.; Kim, C.; Klein, B.; Lobato, I.; Lu, W.; Möller, J.; Petrov, I.; Rodriguez-Fernandez, A.; Schmidt, A.; Scholz, M.; Shayduk, R.; Sukharnikov, K.; Zozulya, A.; Madsen, A.
In: Journal of Synchrotron Radiation . (Journal of Synchrotron Radiation, 1 May 2024, 31(3 Pt):596-604)
Academic Journal
In: Physical Review Letters . (Physical Review Letters, 5 April 2024, 132(14))
Academic Journal
Park, S.; Ziegler, M.; Brausse, F.; Collins, P.; Kim, S.; Konečný, M.; Lee, G.; Müller, N.; Neumann, E.; Preining, N.
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2024, 20(2))
Academic Journal
In: Theoretical Computer Science . (Theoretical Computer Science, 9 October 2023, 975)
Academic Journal
Trost, F.; Prasciolu, M.; Fleckenstein, H.; Barthelmess, M.; Yefanov, O.; Li, C.; Bajt, S.; Carnis, J.; Caleman, C.; Chapman, H.N.; Ayyer, K.; Wollweber, T.; Mall, A.; Shen, Z.; Zhuang, Y.; Dresselhaus, J.L.; Röhlsberger, R.; Richter, S.; Karl, S.; Von Zanthier, J.; Cardoch, S.; Patra, K.K.; Timneanu, N.; Möller, J.; Zozulya, A.; Shayduk, R.; Lu, W.; Brauße, F.; Friedrich, B.; Boesenberg, U.; Petrov, I.; Madsen, A.; Tomin, S.; Guetg, M.
In: Physical Review Letters . (Physical Review Letters, 28 April 2023, 130(17))
Academic Journal
In: Journal of Physics B: Atomic, Molecular and Optical Physics . (Journal of Physics B: Atomic, Molecular and Optical Physics, 14 April 2023, 56(7))
Book
In: Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14681 LNCS:219-233)
Book
Menezes, R.S.á.; Aldughaim, M.; Farias, B.; Li, X.; Manino, E.; Shmarov, F.; Song, K.; Brauße, F.; Korovin, K.; Cordeiro, L.C.; Gadelha, M.R.; Tihanyi, N.
In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14572 LNCS:376-380)
Academic Journal
Köckert, H.; Lee, J.W.L.; Allum, F.; Amini, K.; Brouard, M.; Burt, M.; Vallance, C.; Bari, S.; Bomme, C.; Düsterer, S.; Erk, B.; Manschwetus, B.; Rompotis, D.; Schirmel, N.; Techert, S.; Wiese, J.; Boll, R.; Brauße, F.; Goldsztejn, G.; Rouzée, A.; Cunha De Miranda, B.; Guillemin, R.; Ismail, I.; Journel, L.; Palaudoux, J.; Penent, F.; Piancastelli, M.N.; Simon, M.; Travnikova, O.; Marchenko, T.; Eng-Johnsson, P.; Lahl, J.; Maclot, S.; Géléoc, M.; Geneaux, R.; Ruchon, T.; Gentleman, A.S.; Mackenzie, S.R.; Holland, D.M.P.; Kierspel, T.; Küpper, J.; Mullins, T.; Trippel, S.; Mereshchenko, A.S.; Olshin, P.K.; Rudenko, A.; Wang, E.; Ziaee, F.; Rolles, D.
In: Journal of Physics B: Atomic, Molecular and Optical Physics . (Journal of Physics B: Atomic, Molecular and Optical Physics, 5 January 2022, 55(1))
검색 결과 제한하기
제한된 항목
[AR] Brauße, F.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어