Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO von Mählmann, Nikolas

Volltext bestellen

Procedural Content Generation in Competitive Multiplayer Platform Games von Volkmar, Georg, Mählmann, Nikolas, Malaka, Rainer

Volltext

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes von Dreier, Jan, Mählmann, Nikolas, Toruńczyk, Szymon

Volltext bestellen

First-Order Model Checking on Structurally Sparse Graph Classes von Dreier, Jan, Mählmann, Nikolas, Siebertz, Sebastian

Volltext bestellen

Recursive Backdoors for SAT von Mählmann, Nikolas, Siebertz, Sebastian, Vigny, Alexandre

Volltext bestellen

Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes von Dreier, Jan, Mählmann, Nikolas, Siebertz, Sebastian, Toruńczyk, Szymon

Volltext bestellen

First-Order Model Checking on Monadically Stable Graph Classes von Dreier, Jan, Eleftheriadis, Ioannis, Mählmann, Nikolas, McCarty, Rose, Pilipczuk, Michał, Toruńczyk, Szymon

Volltext bestellen

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes von Dreier, Jan, Mählmann, Nikolas, Toruńczyk, Szymon

Volltext

Combinatorial and Algorithmic Aspects of Monadic Stability von Dreier, Jan, Mählmann, Nikolas, Mouawad, Amer E, Siebertz, Sebastian, Vigny, Alexandre

Volltext bestellen

First-Order Model Checking on Structurally Sparse Graph Classes von Dreier, Jan, Mählmann, Nikolas, Siebertz, Sebastian

Volltext

Flipper games for monadically stable graph classes von Gajarský, Jakub, Mählmann, Nikolas, McCarty, Rose, Ohlmann, Pierre, Pilipczuk, Michał, Przybyszewski, Wojciech, Siebertz, Sebastian, Sokołowski, Marek, Toruńczyk, Szymon

Volltext bestellen

Model Checking on Interpretations of Classes of Bounded Local Cliquewidth von Bonnet, Édouard, Dreier, Jan, Gajarský, Jakub, Kreutzer, Stephan, Mählmann, Nikolas, Simon, Pierre, Toruńczyk, Szymon

Volltext bestellen

Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes von Dreier, Jan, Mählmann, Nikolas, Siebertz, Sebastian, Toruńczyk, Szymon

Volltext

Recursive Backdoors for SAT von Mählmann, Nikolas, Siebertz, Sebastian, Vigny, Alexandre

Volltext

First-Order Model Checking on Monadically Stable Graph Classes von Dreier, Jan, Eleftheriadis, Ioannis, Mählmann, Nikolas, McCarty, Rose, Pilipczuk, Michał, Toruńczyk, Szymon

Volltext

Combinatorial and Algorithmic Aspects of Monadic Stability von Dreier, Jan, Mählmann, Nikolas, Mouawad, Amer E, Siebertz, Sebastian, Vigny, Alexandre

Volltext

Flipper games for monadically stable graph classes von Gajarský, Jakub, Mählmann, Nikolas, McCarty, Rose, Ohlmann, Pierre, Pilipczuk, Michał, Przybyszewski, Wojciech, Siebertz, Sebastian, Sokołowski, Marek, Toruńczyk, Szymon

Volltext

Model Checking on Interpretations of Classes of Bounded Local Cliquewidth von Bonnet, Édouard, Dreier, Jan, Gajarský, Jakub, Kreutzer, Stephan, Mählmann, Nikolas, Simon, Pierre, Toruńczyk, Szymon

Volltext

Hexapoda Yearbook (Arthropoda: Mandibulata: Pancrustacea) Brazil 2020: the first annual production survey of new Brazilian species von Silva-Neto, Alberto Moreira, Falaschi, Rafaela Lopes, Zacca, Thamara, Hipólito, Juliana, Pequeno, Pedro Aurélio Costa Lima, Alves-Oliveira, João Rafael, Santos, Roberto Oliveira dos, Heleodoro, Raphael Aquino, Jacobina, Adaiane Catarina Marcondes, Somavilla, Alexandre, Camargo, Alexssandro, Lira, Aline de Oliveira, Sampaio, Aline Amanda, Ferreira, André da Silva, Martins, André Luis, Oliveira, Andressa Figueiredo de, Wengrat, Ana Paula Gonçalves da Silva, Rosa, Augusto Henrique Batista, Corrêa, Caio Cezar Dias, De-Souza, Caroline Costa, Anjos-Santos, Danielle, Cordeiro, Danilo Pacheco, Nogueira, David Silva, Marques, Dayse Willkenia Almeida, Barbosa, Diego Nunes, Mendes, Diego Matheus de Mello, Pádua, Diego Galvão de, Vilela, Diogo Silva, Viegas, Eduarda Fernanda Gomes, Santos, Eduardo Carneiro dos, Dias, Fernando Maia Silva, Nascimento, Francisco Eriberto de Lima, Duque, Francisco José Sosa, Mendes, Gabriela Caroline, Dantas, Galileu Petronilo da Silva, Desidério, Gleison Robson, Marques, Guilherme Alves, Menezes, Isis Sá, Rodrigues, Higor Daniel Duarte, Fogaça, João Manuel, Schoeninger, Karine, Queiroz, Larissa Lima de, Santana, Larissa, Migliore, Letizia Janaína, Fusari, Lívia Maria, Barros, Luana Machado, Araújo, Maíra Xavier, Cutrim, Marcelo, De Santis, Marcelo Domingos, Savaris, Marcoandre, Gottschalk, Marco Silva, Aragão, Marcos, Bevilaqua, Marcus, Bento, Matheus, Soares, Matheus Mickael Mota, Reategui, Natália Soares, Cipola, Nikolas Gioia, Saguiah, Pâmella Machado, Pinto, Paula Jéssica Costa, Riccardi, Paula Raile, Bartholomay, Pedro Reck, Boldrini, Rafael, Sousa, Rafael, Sobral, Rafael, Mello, Ramon Luciano, Carrenho, Renan, Olivier, Renan da Silva, Siewert, Ricardo Russo, Araujo, Rodrigo de Oliveira, Brito, Rosângela, Gadelha, Sian de Souza, Moraes, Simeão de Souza, Pereira, Thalles Platiny Lavinscky, Mahlmann, Thiago, Fernandes, Daniell Rodrigo Rodrigues

Volltext