-
1تقرير
-
2تقرير
المؤلفون: Veschetti, Adele, Bubel, Richard, Hähnle, Reiner
مصطلحات موضوعية: Computer Science - Software Engineering
URL الوصول: http://arxiv.org/abs/2403.06622
-
3تقرير
المؤلفون: Shahini, Xhulja, Bubel, Domenic, Metzger, Andreas
المصدر: 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2023)
مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Machine Learning
URL الوصول: http://arxiv.org/abs/2310.17264
-
4مؤتمر
المؤلفون: Tabar, Asmae Heydari, Bubel, Richard, Hahnle, Reiner
المصدر: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2022 IEEE/ACM 10th International Conference on. :34-45 May, 2022
Relation: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE)
-
5تقرير
-
6
المؤلفون: Bubel, Richard, Gurov, Dilian, 1964, Hahnle, Reiner, Scaletta, Marco
المصدر: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. :73-95
مصطلحات موضوعية: contract-based reasoning, deductive verification, mu-calculus, symbolic execution, trace contracts
وصف الملف: print
-
7دورية أكاديمية
المؤلفون: Aamodt, Anne Hege, Adamczewski, Olaf, Alektoror, Kirill, Alexander, März, Alexandrou, Maria, Alias, Quentin, Al-Kuzae, Fadha Elawi, Allard, Julien, Al-Schameri, Rahman, Álvarez, Alberto, Andersen, Grethe, AnkerlundBlaufeldt, Rolf, Antje, Riedel, Appelbohm, Hannes, Argren, Maria, Assmann, Anne, Augustin, Michael, Bach, Elke, Bar, Michal, Barleben, Maria, Baronnet, Flore, Barrios, Andrés, Bavúzová, Xénia, BayThomsen, Rikke, Becker, Sandra, Beer, Sylvia, Behme, Daniel, Bellut, Maximilian, Bendszus, Martin, Berkefeld, Joachim, Bester, Maximillian, Bode, Felix J., Boehme, Christian, Boese, Ramona, Bohmann, Ferdinand, Bonekamp, Susanne, Borggrefe, Jan, Boss, Erendira Gabriela, Boutchakova, Maria, Boxhammer, Elfi, Brandhofe, Annemarie, Breckwoldt, Michael, Brekenfeld, Casper, Brehm, Alex, Brem, Christian, Breuer, Stella, Breyer, Tobias, Brodová, Petra, Broocks, Gabriel, Brosinski, Christoph, Bubel, Nele, Búřil, Jiří, Čábal, Martin, Casado, Laura, de Celis, Elena, Chabert, Emmanuel, Charisse, Daniel, Cheng, Bastian, Chovanec, Vendelín, Cidlinsky, Peter, Cisár, Juraj, Clarençon, Fréderic, Crozier, Sophie, Čurdová, Nina, Damaskinos, Michele, Damgaard, Dorte, Daniš, Martin, Dazinger, Florian, Deb-Chatterji, Milani, Delalic, Asima, Delekta, Agnieszka, Delorme, Stephen, Deutschmann, Hannes, Diamandis, Elie, Diedrichsen, Tove, Doležalová, Irena, Dorn, Franziska, du Mesnil de Rochemont, Richard, DupontHougaard, Kristina, Ebrahimi, Taraneh, Eff, Florian, Eliášová, Ilona, Enriquez, Brian, Ergawy, Mostafa, Essig, Fabian, Falkesgaard, Maiken, Fandler-Höfler, Simon, Fernández, Andrés, Ferré, Jean-Christophe, Ferrier, Anna, Fiehler, Jens, Figlewski, Krystian, Fischer, Sebastian, Fischer, Urs, Flottmann, Fabian, Forbrig, Robert, Förch, Christian, Fromm, Annette, Fuentes, Blanca, Gaedke, Ines, Galczak, Romana, Galijasevic, Malik, Ganser, Bernhard, Gattringer, Thomas, Gawlitza, Matthias, Gelhard, Sarah, Gellißen, Susanne, Gerber, Johannes, Giannakakis, Michail Panagiotis, Gindlhuber, Karin, Gizewski, Elke R., Glodny, Bernhard, Godel, Tim, Goebell, Einar, Goldemund, David, Görtler, Michael, Goyal, Mayank, Grams, Astrid E., Gruber, Joachim, Gruber, Katharina, Günthner-Lengsfeld, Thomas, Haase, Kathrin, Hacker-Ivan, Floriana, Hallerstig, Erika, Hametner, Christian, Hanning, Uta, Haring, Jozef, Haršány, Michal, Haršány, Ján, Hartmann, Christian, Hassler, Eva Maria, Hauptmann, Kristina, Haeusler, Karl Georg, Hecker, Constantin, Hellstern, Victoria, Henkes, Hans, Hernández, Victoria, Herweh, Christian, Hilgenfeld, Tim, Hill, Michael D., Hjort, Niels, HjortJensen, Nina, Hoelter, Maya, Hoffmann, Karl-Titus, Holst, Brigitte, Holtmannspoetter, Markus, Hopf-Jensen, Silke, Hoppe, Julia, Horner, Susanne, HougaardSoerensen, Leif, Hua, Vi Tuan, Hubert, Alexander, Hurtíková, Eva, Jakubíček, Stanislava, Janjic, Tanja, Jaramillo, Kirsten, Jedlitschka, Angela, Jensen, Schiela, Jensen, Märit, Jesser, Jessica, Jestaedt, Leonie, Johnson, Sabine, Jonszta, Tomáš, Kalmar, Peter, Karabegovic, Sanja, Karen, Kollo, Kastrup, Andreas, Katja, Hopp, Keeba, Natalia, Keese, Petra, Kefaloykos, Christina, Keil, Fee, Kellert, Lars, Kellinghaus, Christoph, Kestner, Roxane-Isabelle, Kiechl, Stefan, Killer-Oberpfalzer, Monika, Klepanec, Andrej, Knispel, Casjupea, Knoflach, Michael, Kohler, Sabine, Kohlhase, Konstantin, Kollikowski, Alexander Marco, Kovář, Martin, Krajina, Antonín, Kral, Michael, Krastev, Georgi, Krause, Lars Udo, Kreidenhuber, Rudolf, Křivka, Tomáš, Krkoška, Adam, Kröger, Jan Robert, Kronlage, Moritz, Krukowski, Pawel, Kühn, Julia, Kurča, Egon, Kurka, Natalia, Kuschnerow, Michael, Lachmund, Rita, Lamprecht, Susanne, Lange, Rüdiger, Lauer, Monika, de Leciñana, Alonso, Leder, Sara, Leger, Anne, Lehnen, Nils, Lehrieder, Dominik, Leißner, Maximilian, Leitinger, Markus, Leitner, Ursula, Lenck, Stéphanie, Lenzenweger, Eva, Liebig, Thomas, Lowens, Stephan, Lunzer, Manuel, Maegerlein, Christian, Magyar, Marton, Marques, Leonardo, Matyáš, David, Maurer, Gabriele, Mauritz, Matthias, Maximilian, Thormann, Mayer-Süß, Lukas, Meckel, Stephan, Medek, Oldřich, Meissner, Julius N., Mencl, Pavel, Merkle, Andrea, Mesche, Birte, Michalski, Dominik, Mikulík, Robert, Modrau, Boris, Möhlenbruch, Markus A., Mohr, Alexander, Mönninghoff, Christoph, Moser, Tobias, Mücke, Ramona, Müller-Hülsbeck, Stefan, Müller-Thies-Broussalis, Erasmia, Mutzenbach, Sebastian, Navia, Pedro, Neuberger, Ulf, Neugebauer, Hermann, Neumann, Jens, Nguyên, Anh, Niederkorn, Kurt, Nosál', Vladimír, Novobilský, Richard, Ntoulias, Nikos, Nussbaum, Lukas, Oder, Joanna, Oldag, Andreas, Ondrejkovič, Marián, Otto, Ferdinand, Otto, Dagmar, Paech, Daniel, Pagano, Paolo, Pallesen, Lars-Peder, Panský, Michal, Papanagiotou, Panagiotis, Patrick, Samp, Paukisch, Harald, Pelz, Johann, Petersen, Inga, Petersen, Martina, Petzold, Gabor C., Pfaff, Johannes, Pfeilschifter, Waltraud, Pham, Mirko, Pichler, Alexander, Pierot, Laurent, Pikija, Slaven, PlougmannPovlsen, Jan, Polkowski, Christoph, Polomac, Nenad, Portugaller, Rupert Horst, Poulsen, Marika, Preiß, Michael, Premat, Kévin, Prestsæter, Sjur, Prieto-Pérez, Rocio, Psychogios, Marios, Puetz, Volker, Purrucker, Jan, Rai, Heike, Rauch, Maximilian, Raupach, Jan, Reimann, Gernot, Reimann, Georg, Reitz, Sarah, Renc, Ondřej, Retzlaff, Jasmin, Rigual, Ricardo, Ringleb, Peter Arthur, Rivera-Bengoa, Carlota, Rodríguez, Jorge, Rohde, Stefan, Rohler, Siegfried, Rosso, Charlotte, Roth, Christian, Röttcher, Thomas, Roubec, Martin, Roztočilová, Milada, Rudnicka, Svetlana, Ruiz, Gerardo, Ryan, Stephen, Ryckborst, Karla J., Sandvik, Simen, Schäfer, Jan-Hendrik, Schaller-Paule, Martin, Schell, Maximillian, Schellinger, Peter, Schlemm, Eckhard, Schmid, Florian, Schmidt, Christoph, Schmitz, Marie Louise, Schneider, Claus, Scholtz, Jan-Erik, Schönenberger, Silvia, Schröter, Andreas, Schwarz, Daniel, Schwarz, Stephan, Schwarzenhofer, Daniel, Seifert-Held, Thomas, Seiler, Alexander, Seker, Fatih, Shotar, Eimad, Simonsen, Claus Z., Simonsen, Maria Theresa, Sivák, Jozef, Skagen, Karolina, Skjelland, Mona, Šnajdrová, Alena, Solymosi, Lazlo, Sømark, Jesper, Sonnberger, Michael, Soršák, Jakub, Sourour, Nader, Søyland, Jogrim, Spitzer, Daniel, Sporns, Peter, Städt, Michael, Steidl, Eike, Størdal, Anne Margrethe Kaalaas, Stösser, Sebastian, Strickmann, Sarah, Strýček, Ondřej, Suškevič, Igor, Sýkora, Jan, Tennøe, Bjørn, Thaler, Daniela, Theisen, Sara, Thomalla, Götz, Trendafilov, Petar, Trenkler, Johannes, Trumm, Christoph, Tsogkas, Ioannis, Tunold, Jon-Anders, Tveit, Lars, Ulfert, Christian, Vališ, Kateřina, Vaníček, Jiří, Vassilev, Christine, Vítková, Eva, Voit-Höhne, Heinz-Leonhard, Vojtíšek, Bohuslav, Volderauer, Karoline, Vollherbst, Dominik, Vollmuth, Christoph, Volna, Kamila, Volný, Ondřej, VonWeitzel-Mudersbach, Poul, Vorčák, Martin, Wagner, Marlies, Wathle, Gaute Kjellevold, Weber, Werner, Weber, Anushe, Weiss, Viktor, Weller, Johannes M., Wenger-Alakmeh, Katharina, Weyland, Cyrill, Weymayr, Friedrich, Wießpeiner, Ulrike, Willeit, Johannes, Wittwer, Aymeric, Wollenweber, Frank, Wortmann, Ginette, Wunderlich, Silke, Xiong, Yanyan, You, Se-Jong, ZachoSpeiser, Lasse, Zamani, Mahtab, Zelenak, Kamil, Zeleňáková, Jana, Zubel, Seraphine, Subtil, Fabien, Gizewski, Elke R, Hill, Michael D, Krajina, Antonin, Simonsen, Claus Z, Zeleňák, Kamil, Blauenfeldt, Rolf A, Denis, Angélique, Gerber, Johannes C, Keil, Christiane Fee, Mikkelsen, Ronni, Möhlenbruch, Markus, Münnich, Nico, Petzold, Gabor C, Schell, Maximilian, Vollherbst, Dominik F, Wick, Wolfgang
المصدر: In The Lancet Neurology September 2024 23(9):883-892
-
8دورية أكاديمية
المؤلفون: Pavlicek, ValérieAff1, IDs00392023021600_cor1, Mahfoud, Felix, Bubel, Katharina, Fries, Peter, Ewen, Sebastian, Böhm, MichaelAff1, Aff3, Scheller, Bruno, Ukena, Christian
المصدر: Clinical Research in Cardiology. 112(5):677-690
-
9دورية أكاديمية
المؤلفون: Sierra Clair, Sarah Corcoran, Emily Bubel, Debbie Amini
المصدر: Journal of Occupational Therapy Education, Vol 6, Iss 4 (2023)
مصطلحات موضوعية: occupational therapy, capstone, education, professional development, process framework, Special aspects of education, LC8-6691, Medicine (General), R5-920
وصف الملف: electronic resource
-
10دورية أكاديمية
المؤلفون: Aamodt, Anne Hege, Adamczewski, Olaf, Alektoror, Kirill, Alexander, März, Alexandrou, Maria, Alias, Quentin, Al-Kuzae, Fadha Elawi, Allard, Julien, Al-Schameri, Rahman, Álvarez, Alberto, Andersen, Grethe, AnkerlundBlaufeldt, Rolf, Antje, Riedel, Appelbohm, Hannes, Argren, Maria, Assmann, Anne, Augustin, Michael, Bach, Elke, Bar, Michal, Barleben, Maria, Baronnet, Flore, Barrios, Andrés, Bavúzová, Xénia, BayThomsen, Rikke, Becker, Sandra, Beer, Sylvia, Behme, Daniel, Bellut, Maximilian, Bendszus, Martin, Berkefeld, Joachim, Bester, Maximillian, Bode, Felix J., Boehme, Christian, Boese, Ramona, Bohmann, Ferdinand, Bonekamp, Susanne, Borggrefe, Jan, Boss, Erendira Gabriela, Boutchakova, Maria, Boxhammer, Elfi, Brandhofe, Annemarie, Breckwoldt, Michael, Brekenfeld, Casper, Brehm, Alex, Brem, Christian, Breuer, Stella, Breyer, Tobias, Brodová, Petra, Broocks, Gabriel, Brosinski, Christoph, Bubel, Nele, Búřil, Jiří, Čábal, Martin, Casado, Laura, Celis, Elena de, Chabert, Emmanuel, Charisse, Daniel, Cheng, Bastian, Chovanec, Vendelín, Cidlinsky, Peter, Cisár, Juraj, Clarençon, Fréderic, Crozier, Sophie, Čurdová, Nina, Damaskinos, Michele, Damgaard, Dorte, Daniš, Martin, Dazinger, Florian, Deb-Chatterji, Milani, Delalic, Asima, Delekta, Agnieszka, Delorme, Stephen, Deutschmann, Hannes, Diamandis, Elie, Diedrichsen, Tove, Doležalová, Irena, Dorn, Franziska, du Mesnil de Rochemont, Richard, DupontHougaard, Kristina, Ebrahimi, Taraneh, Eff, Florian, Eliášová, Ilona, Enriquez, Brian, Ergawy, Mostafa, Essig, Fabian, Falkesgaard, Maiken, Fandler-Höfler, Simon, Fernández, Andrés, Ferré, Jean-Christophe, Ferrier, Anna, Fiehler, Jens, Figlewski, Krystian, Fischer, Sebastian, Fischer, Urs, Flottmann, Fabian, Forbig, Robert, Förch, Christian, Fromm, Annette, Fuentes, Blanca, Gaedke, Ines, Galczak, Romana, Galijasevic, Malik, Ganser, Bernhard, Gattringer, Thomas, Gawlitza, Matthias, Gelhard, Sarah, Gellißen, Susanne, Gerber, Johannes, Giannakakis, Michail Panagiotis, Gindlhuber, Karin, Gizewski, Elke R., Glodny, Bernhard, Godel, Tim, Goebell, Einar, Goldemund, David, Görtler, Michael, Goyal, Mayank, Grams, Astrid E., Gruber, Joachim, Gruber, Katharina, Günthner-Lengsfeld, Thomas, Haase, Kathrin, Hacker-Ivan, Floriana, Hallerstig, Erika, Hanning, Uta, Haring, Jozef, Haršány, Michal, Haršány, Ján, Hartmann, Christian, Hassler, Eva Maria, Hauptmann, Kristina, Häusler, Karl Georg, Hecker, Constantin, Hellstern, Victoria, Henkes, Hans, Hernández, Victoria, Herweh, Christian, Hilgenfeld, Tim, Hill, Michael D., Hjort, Niels, HjortJensen, Nina, Hoelter, Maya, Hoffmann, Karl-Titus, Holst, Brigitte, Holtmannspoetter, Markus, Hopf-Jensen, Silke, Hoppe, Julia, Horner, Susanne, HougaardSoerensen, Leif, Hua, Vi Tuan, Hubert, Alexander, Hurtíková, Eva, Jakubíček, Stanislava, Janjic, Tanja, Jaramillo, Kirsten, Jedlitschka, Angela, Jensen, Schiela, Jensen, Märit, Jesser, Jessica, Jestaedt, Leonie, Johnson, Sabine, Jonszta, Tomáš, Kalmar, Peter, Karabegovic, Sanja, Karen, Kollo, Kastrup, Andreas, Katja, Hopp, Keeba, Natalia, Keese, Petra, Kefalaykos, Christina, Keil, Fee, Kellert, Lars, Kellinghaus, Christoph, Kestner, Roxane-Isabelle, Kiechl, Stefan, Killer-Oberpfalzer, Monika, Klepanec, Andrej, Knispel, Casjupea, Knoflach, Michael, Kohler, Sabine, Kohlhase, Konstantin, Kollikowski, Alexander Marco, Kovář, Martin, Krajina, Antonín, Kral, Michael, Krastev, Georgi, Krause, Lars Udo, Kreidenhuber, Rudolf, Křivka, Tomáš, Krkoška, Adam, Kröger, Jan Robert, Kronlage, Moritz, Krukowski, Pawel, Kühn, Julia, Kurča, Egon, Kurka, Natalia, Kuschnerow, Michael, Lachmund, Rita, Lamprecht, Susanne, Lange, Rüdiger, Lauer, Monika, Leciñana, Alonso de, Leder, Sara, Leger, Anne, Lehnen, Nils, Lehrieder, Dominik, Leißner, Maximilian, Leitinger, Markus, Leitner, Ursula, Lenck, Stéphanie, Lenzenweger, Eva, Liebig, Thomas, Lowens, Stephan, Lunzer, Manuel, Maegerlein, Christian, Magyar, Marton, Marques, Leonardo, Matyáš, David, Maurer, Gabriele, Mauritz, Matthias, Maximilian, Thormann, Mayer-Süß, Lukas, Meckel, Stephan, Medek, Oldřich, Meissner, Julius N., Mencl, Pavel, Merkle, Andrea, Mesche, Birte, Michalski, Dominik, Mikulík, Robert, Modrau, Boris, Möhlenbruch, Markus A., Mohr, Alexander, Mönninghoff, Christoph, Moser, Tobias, Mücke, Ramona, Müller-Hülsbeck, Stefan, Müller-Thies-Broussalis, Erasmia, Mutzenbach, Sebastian, Navia, Pedro, Neuberger, Ulf, Neugebauer, Hermann, Neumann, Jens, Nguyên, Anh, Niederkorn, Kurt, Nosál', Vladimír, Novobilský, Richard, Ntoulias, Nikos, Nussbaum, Lukas, Oder, Joanna, Oldag, Andreas, Ondrejkovič, Marián, Otto, Ferdinand, Otto, Dagmar, Paech, Daniel, Pagano, Paolo, Pallesen, Lars-Peder, Panský, Michal, Papanagiotou, Panagiotis, Patrick, Samp, Paukisch, Harald, Pelz, Johann, Petersen, Inga, Petersen, Martina, Petzold, Gabor C., Pfaff, Johannes, Pfeilschifter, Waltraud, Pham, Mirko, Pichler, Alexander, Pierot, Laurent, Pikija, Slaven, PlougmannPovlsen, Jan, Polkowski, Christoph, Polomac, Nenad, Portugaller, Rupert Horst, Poulsen, Marika, Preiß, Michael, Premat, Kévin, Prestsæter, Sjur, Prieto-Pérez, Rocio, Psychogios, Marios, Puetz, Volker, Purrucker, Jan, Rai, Heike, Rauch, Maximilian, Raupach, Jan, Reimann, Gernot, Reimann, Georg, Reitz, Sarah, Renc, Ondřej, Retzlaff, Jasmin, Rigual, Ricardo, Ringleb, Peter Arthur, Rivera-Bengoa, Carlota, Rodríguez, Jorge, Rohde, Stefan, Rohler, Siegfried, Rosso, Charlotte, Roth, Christian, Röttcher, Thomas, Roubec, Martin, Roztočilová, Milada, Rudnicka, Svetlana, Ruiz, Gerardo, Ryan, Stephen, Ryckborst, Karla J., Sandvik, Simen, Schäfer, Jan-Hendrik, Schaller-Paule, Martin, Schell, Maximillian, Schellinger, Peter, Schlemm, Eckhard, Schmid, Florian, Schmidt, Christoph, Schmitz, Marie Louise, Schneider, Claus, Scholtz, Jan-Erik, Schönenberger, Silvia, Schröter, Andreas, Schwarz, Daniel, Schwarz, Stephan, Schwarzenhofer, Daniel, Seifert-Held, Thomas, Seiler, Alexander, Seker, Fatih, Shotar, Eimad, Simonsen, Claus Z., Simonsen, Maria Theresa, Sivák, Jozef, Skagen, Karolina, Skjelland, Mona, Šnajdrová, Alena, Solymosi, Lazlo, Sømark, Jesper, Sonnberger, Michael, Soršák, Jakub, Sourour, Nader, Søyland, Jogrim, Spitzer, Daniel, Sporns, Peter, Städt, Michael, Steidl, Eike, Størdal, Anne Margrethe Kaalaas, Stösser, Sebastian, Strickmann, Sarah, Strýček, Ondřej, Suškevič, Igor, Sýkora, Jan, Tennøe, Bjørn, Thaler, Daniela, Theisen, Sara, Thomalla, Götz, Trendafilov, Petar, Trenkler, Johannes, Trumm, Christoph, Tsogkas, Ioannis, Tunold, Jon-Anders, Tveit, Lars, Ulfert, Christian, Vališ, Kateřina, Vaníček, Jiří, Vassilev, Christine, Vítková, Eva, Voit-Höhne, Heinz-Leonhard, Vojtíšek, Bohuslav, Volderauer, Karoline, Vollherbst, Dominik, Vollmuth, Christoph, Volna, Kamila, Volný, Ondřej, VonWeitzel-Mudersbach, Poul, Vorčák, Martin, Wagner, Marlies, Wathle, Gaute Kjellevold, Weber, Werner, Weber, Anushe, Weiss, Viktor, Weller, Johannes M., Wenger-Alakmeh, Katharina, Weyland, Cyrill, Weymayr, Friedrich, Wießpeiner, Ulrike, Willeit, Johannes, Wittwer, Aymeric, Wollenweber, Frank, Wortmann, Ginette, Wunderlich, Silke, Xiong, Yanyan, You, Se-Jong, ZachoSpeiser, Lasse, Zelenak, Kamil, Zeleňáková, Jana, Zubel, Seraphine, Subtil, Fabien, Gizewski, Elke R, Hill, Michael D, Krajina, Antonin, Simonsen, Claus Z, Zeleňák, Kamil, Blauenfeldt, Rolf A, Denis, Angélique, Gerber, Johannes C, Keil, Christiane Fee, Mikkelsen, Ronni, Möhlenbruch, Markus, Münnich, Nico, Petzold, Gabor C, Schell, Maximilian, Vollherbst, Dominik F, Wick, Wolfgang
المصدر: In The Lancet 11-17 November 2023 402(10414):1753-1763