Detecting and explaining (in)equivalence of context-free grammars von Schmellenkamp, Marko, Zeume, Thomas, Argo, Sven, Kiefer, Sandra, Siems, Cedric, Stebel, Fynn

Volltext bestellen

SECOMP: Formally Secure Compilation of Compartmentalized C Programs von Thibault, Jérémy, Blanco, Roberto, Lee, Dongjae, Argo, Sven, de Amorim, Arthur Azevedo, Georges, Aïna Linn, Hritcu, Catalin, Tolmach, Andrew

Volltext bestellen

Detecting and explaining (in)equivalence of context-free grammars von Schmellenkamp, Marko, Zeume, Thomas, Argo, Sven, Kiefer, Sandra, Siems, Cedric, Stebel, Fynn

Volltext

SECOMP: Formally Secure Compilation of Compartmentalized C Programs von Thibault, Jérémy, Blanco, Roberto, Lee, Dongjae, Argo, Sven, Azevedo de Amorim, Arthur, Aïna Linn Georges, Hritcu, Catalin, Tolmach, Andrew

Volltext

Quality-assurance of heat-flow data: The new structure and evaluation scheme of the IHFC Global Heat Flow Database von Fuchs, Sven, Norden, Ben, Neumann, Florian, Kaul, Norbert, Tanaka, Akiko, Kukkonen, Ilmo T., Pascal, Christophe, Christiansen, Rodolfo, Gola, Gianluca, Šafanda, Jan, Espinoza-Ojeda, Orlando Miguel, Marzan, Ignacio, Rybach, Ladislaus, Balkan-Pazvantoğlu, Elif, Ramalho, Elsa Cristina, Dědeček, Petr, Negrete-Aranda, Raquel, Balling, Niels, Poort, Jeffrey, Wang, Yibo, Jõeleht, Argo, Rajver, Dušan, Gao, Xiang, Liu, Shaowen, Harris, Robert, Richards, Maria, McLaren, Sandra, Chiozzi, Paolo, Nunn, Jeffrey, Madon, Mazlan, Beardsmore, Graeme, Funnell, Rob, Duerrast, Helmut, Jennings, Samuel, Elger, Kirsten, Pauselli, Cristina, Verdoya, Massimo

Volltext

The Global Heat Flow Database: Update 2023 von Global Heat Flow Data Assessment Group, Fuchs, Sven, Neumann, Florian, Norden, Ben, Beardsmore, Graeme, Chiozzi, Paolo, Colgan, William, Anguiano Dominguez, Ana Paulina, Duque, Maria Rosa Alves, Ojeda Espinoza, Orlando Miguel, Forster, Florian, Förster, Andrea, Fröhder, Robert, Fuentes, Karina, Hajto, Marek, Harris, Robert, Jõeleht, Argo, Liebing, Helena, Liu, Shaowen, Lüdtke, Gwendolin, Madon, Mazlan, Negrete-Aranda, Raquel, Poort, Jeffrey, Reznik, Itay J., Riedel, Michael, Rolandone, Frédérique, Stål, Tobias, Verdoya, Massimo, Wu, Jyun-Nai

Volltext bestellen

CONTAINER FOR ROLLS von ROMANOV ANATOLIJ N,SU, LINDVERE FELIKS P,SU, ALAMELDRI NIKOLAJ S,SU, ZGODA SERGEJ N,SU, KIVISTIK SVEN V,SU, SYMERMAA KALEV O,SU, SILLAOTS ARGO A,SU

Volltext bestellen