Rivaroxaban or aspirin for patent foramen ovale and embolic stroke of undetermined source: a prespecified subgroup analysis from the NAVIGATE ESUS trial

Autor: Abdelhamid, N, Abdul Rahman, D, Abdul-Saheb, M, Abreu, P, Abroskina, M, Abu Ahmad, F, Accassat, S, Acciaresi, M, Adami, A, Ahmad, N, Ahmed, F, Alberto Hawkes, M, Alemseged, F, Ali, A, Altavilla, R, Alwis, L, Amarenco, P, Amaro, S, Amaya Sanchez, LE, Amelia Pinto, A, Ameriso, SF, Amin, H, Amino, T, Amjad, AK, Anagnostou, E, Andersen, G, Anderson, C, Anderson, DC, Andrea Falco, M, Andres Mackinnon, F, Andreu, D, Androulakis, M, Angel Gamero, M, Angel Saredo, G, Angeles Diaz, R, Angels Font, M, Anticoli, S, Arauz, A, Arauz Gongora, AA, Araya, P, Arenillas Lara, JF, Arias Rivas, S, Arnold, M, Augustin, S, Avelar, W, Azevedo, E, Babikian, V, Bacellar, A, Badalyan, K, Bae, HJ, Baez Martinez, EM, Bagelmann, H, Bailey, P, Bak, Z, Baker, M, Balazs, A, Baldaranov, D, Balogun, I, Balueva, T, Bankuti, Z, Bar, M, Baranowska, A, Bardutzky, J, Barker Trejo, S, Barlinn, J, Baronnet, F, Barroso, C, Barteys, M, Bartolottiova, T, Barulin, A, Bas, M, Bashir, S, Basile, V, Bathe-Peters, R, Bathula, R, Batista, C, Batur Caglayan, H, Baumgartner, P, Bazan, R, Bazhenova, O, Beaudry, M, Beer, J, Behnam, Y, Beilei, C, Beinlich, A, Bejot, Y, Belkin, A, Benavente, OR, Benjamin, A, Berardi, V, Bereczki, D, Berkowitz, SD, Berlingieri, J, Berrios, W, Berrouschot, J, Bhandari, M, Bhargavah, M, Bicker, H, Bicsak, T, Bilik, M, Bindila, D, Birchenall, J, Birnbaum, L, Black, T, Blacker, D, Blacquiere, D, Blanc-Labarre, C, Blank, C, Blazejewska-Hyzorek, B, Bloch, S, Bodiguel, E, Bogdanov, E, Boos, L, Borcsik, L, Bornstein, N, Bouly, S, Braga, G, Bragado, I, Bravi, MC, Brokalaki, C, Brola, W, Brouns, R, Bruce, D, Brzoska-Mizgalska, J, Buck, B, Buksinska-Lisik, M, Burke, J, Burn, M, Bustamante, G, Cabrejo, L, Cai, K, Cajaraville, S, Calejo, M, Calvet, D, Campillo, J, Campos Costa, E, Camps, P, Can Alaydin, H, Candeloro, E, Canepa, C, Cantu Brito, CG, Cappellari, M, Carcel, C, Cardona Portela, P, Cardoso, F, Carek, M, Carletti, M, Carlos Portilla, J, Caruso, P, Casado-Naranjo, I, Castellini, P, Castro, D, Castro Meira, F, Cavallini, A, Cayuela Caudevilla, N, Cenciarelli, S, Cereda, C, Cerrone, P, Chakrabarti, A, Chaloulos-Iakovidis, P, Chamorro, A, Chandrasena, D, Chang, DI, Che, C, Chembala, J, Chen, J, Chen, Z, Chen, T, Chen, H, Chen, X, Chen, G, Chen, L, Chen, S, Cheripelli, B, Chin, M, Chiquete Anaya, E, Chorazy, M, Christensen, H, Christensen, T, Christian, L, Chu, F, Chung, CS, Clark, W, Clarke, R, Claverie, S, Clemente Agostoni, E, Clissold, B, Coelho, J, Cohen, D, Colakoglu, S, Collas, D, Condurso, R, Connolly, SJ, Consoli, D, Constantin, C, Constantino Silva, AB, Contardo, L, Corlobe, A, Correia, M, Correia, C, Cortijo Garcia, E, Coull, B, Coutts, S, Coveney, S, Cras, P, Crols, R, Crozier, S, Csanyi, A, Csiba, L, Csontos, K, Csuha, R, Cui, L, Cunha, L, Curtze, S, Czerska, M, Czlonkowska, A, Czurko, M, Czuryszkiewicz, M, Dagnino, M, Dai, C, Daineko, A, Dalek, G, Damgaard, D, Danese, A, Dani, K, Danku, V, Dario Toledo, W, Dávalos, A, De Havenon, A, De Keyser, J, De Klippel, N, De La Torre, J, De Pauw, A, De Smedt, A, De Torres, R, De Vries Basson, MM, Dearborn, J, Deganutto, R, Degeorgia, M, Deguchi, I, Del Giudice, A, Delcourt, C, Delgado-Mederos, R, Della Marca, G, Delpont, B, Deltour, S, Demets, DL, Dennis, M, Desai, J, Devine, J, Dhollander, I, Di Mascio, MT, Diaconu, M, Diaz Otero, F, Dietzel, J, Diez-Tejedor, E, Ding, N, Ding, J, Diomedi, M, Dioszeghy, P, Distefano, M, Domigo, V, Dorodnicov, E, Dossi, D, Doubal, F, Druzenko, I, Du, P, Du, J, Duman, T, Duodu, Y, Dutta, D, Dylewicz, L, Eckstein, J, Ehrensperger, E, Ehrlich, S, Einer Allende, G, Elena Halac, B, Elyas, S, Endres, M, Engelbrecht, JM, Engelter, S, Epinat, M, Eren, F, Esbjornsson, M, Escribano, B, Escudero, I, Esisi, B, Essa, B, Esterbauer, M, Evans, N, Eveson, D, Fabio, S, Fang, L, Fanta, S, Fares, M, Fatar, M, Faust, K, Favate, A, Fazekas, F, Federica Denaro, M, Fedin, A, Felipe Amaya, P, Feng, J, Ferencova, K, Fernanda Gilli, M, Fernandez, MD, Fernandez Pirrone, PN, Fernandez Vera, J, Ferrari, J, Ferreira, A, Ferreira Junior, G, Fidler, M, Field, D, Field, T, Figueroa, C, Fiksa, J, Filipov, A, Firstenfeld, A, Fisch, L, Fischer, U, Fisselier, M, Fiszer, U, Fluri, F, Fortea, G, Fotherby, K, Fraczek, A, France, E, Freitas, G, Frey, S, Frick, M, Friedman, A, Friedrich, M, Frisullo, G, Fryze, W, Fuentes Gimeno, B, Fujigasaki, H, Fukuyama, K, Furlan, A, Furlanis, G, Furnace, J, Gabriel, M, Gabriel Reich, E, Gagliardi, RJ, Galati, F, Galli Giqueauk, E, Gallina, A, Gallinella, E, Gallo, J, Gangadharan, S, Gao, Y, Garcia Lopez, R, Garcia Pastor, A, Garcia Sanchez, SM, Garnauf, M, Garnier, P, Gasecki, D, Gasic, K, Gasiorek, K, Gasser, S, Gaugg, M, Gebreyohanns, M, Gebura, K, Geng, J, Geniz Clavijo, M, Georg Haeusler, K, Geran, R, Geremek, M, Gerocs, Z, Ghia, D, Giannandrea, D, Giatsidis, F, Gien Lopez, JA, Gil Nunez, A, Gimenez, L, Giralt, E, Glabinski, A, Gladstone, D, Gliem, M, Gluszkiewicz, M, Goddeau, R, Gogoleva, E, Gokce, M, Goldemund, D, Golikov, K, Gomes Neto, A, Gomez Schneider, M, Gomez-Choco, M, Gomis, M, Gongora-Rivera, JF, Gonysheva, Y, Gonzalez, L, Gonzalez Toledo, ME, Gottschal, M, Gozdzik, I, Grabowski, S, Graf, S, Green, D, Greer, D, Gregorio, T, Greisenegger, S, Greshnova, I, Griebe, M, Grzesik, M, Guan, J, Guarda, S, Gueguen, A, Guidoux, C, Guillermo Povedano, P, Guillon, B, Guiraudg, V, Gunathilagan, G, Guryanova, N, Gusev, V, Gustavo Persi, G, Gutiérrez, R, Guyler, P, Gyuker, N, Hachinski, V, Hajas, A, Hallevi, H, Hankey, G, Hankey, GJ, Hanouskova, L, Hao, L, Haraguchi, K, Haralur Sreekantaiah, Y, Haratz, S, Hargroves, D, Harkness, K, Harmel, P, Harrasser, M, Hart, RG, Harvey, M, Hasan, R, Hasegawa, Y, Hassan, A, Hattori, M, Hatzitolios, A, Hauk, M, Hayashi, T, Hayhoe, H, Hedna, VS, Heine, M, Held, V, Hellwig, S, Henkner, J, Henninger, N, Hermans, S, Hernandez, J, Herrero, D, Hervieu-Begue, M, Herzig, R, Hicken, L, Hieber, M, Hill, M, Hirose, M, Hobeanu, MC, Hobson, B, Hochstetter, M, Hoe Heo, J, Hoffmann, M, Holmstedt, C, Hon, P, Hong, KS, Honma, Y, Horev, A, Horgan, G, Horvath, L, Horvath, M, Hoyer, C, Huang, D, Huang, H, Huber, B, Huhtakangas, J, Hussain, M, Igarashi, S, Iglesias Mohedano, AM, Ignacio Tembl, J, Impellizzeri, M, Inanc, Y, Ioli, P, Irina Aniculaesei, A, Ishida, K, Itabashi, R, Iversen, H, Jagolino, A, Jakab, K, Jander, S, Janka, H, Jankovych, J, Jansen, J, Jasek, L, Javier Alet, M, Javor, L, Jin, X, Jing, P, Joachim, B, Joan Macleod, M, Johnson, M, Jose Martin, J, Joyner, C, Judit Szabo, K, Jun-Oconnell, A, Jura, R, Kaczorowska, B, Kadlcikova, J, Kahles, T, Kakaletsis, N, Kakuk, I, Kalinowska, K, Kaminska, K, Kaneko, C, Kanellos, I, Kapeller, P, Kapica-Topczewska, K, Karasz, O, Karlinski, M, Karlsson, JE, Kasa, K, Kashaeva, E, Kasner, SE, Kaste, M, Kasza, J, Katalin Iljicsov, A, Katsurayama, M, Kaur, S, Kawanishi, M, Kaygorodtseva, S, Ke, K, Kei, A, Keilitz, J, Kellner, J, Kelly, P, Kelly, S, Kemlink, D, Kerekgyarto, M, Keskinarkaus, I, Khairutdinova, D, Khanna, A, Khaw, A, Kholopov, M, Khoumri, C, Kirpicheva, S, Kirshner, H, Kitagawa, K, Kittner, S, Kivioja, R, Klein, F, Kleindorfer, D, Kleinig, T, Klivenyi, P, Knecht, S, Kobayashi, Y, Kobayashi, A, Koch, M, Koehler, L, Koivu, M, Kolianov, V, Koltsov, I, Kondo, T, Konkov, I, Kopecky, S, Korompoki, E, Korpela, J, Kosarz-Lanczek, K, Koutroubi, A, Kovacs, K, Kovacs, T, Kovacs, H, Kowalczyk, K, Kowalska, M, Krajickova, D, Kral, M, Krarup Hansen, C, Kraska, J, Krebs, S, Krejci, V, Kremer, C, Kreuzpointer, R, Krzyzanowska, M, Kucken, D, Kulakowska, A, Kunzmann, J, Kurenkova, N, Kuris, A, Kurkowska-Jastrzebska, I, Kurtenkova, N, Kurushina, O, Kusnick, G, Kustova, M, Kuwashiro, T, Kwan Cha, J, Lago, A, Lagutenko, M, Lajos, B, Lambeck, J, Lamy, C, Landolfi, A, Lanfranconi, S, Lang, W, Lara Lezama, LB, Lara Rodriguez, B, Largo, T, Lasek-Bal, A, Latte, L, Lauer, V, Lavados, P, Le Bouc, R, Leal Cantu, R, Lechner, H, Lecouturier, K, Leder, S, Lee, J, Lee, BC, Leger, A, Leira, E, Leisse, I, Leker, R, Lembo, G, Lenskaya, L, Leyden, J, Li, G, Li, M, Li, S, Li, J, Liamis, G, Liang, H, Liang, Z, Ligot, N, Lin, H, Lindert, R, Lindgren, A, Linna, M, Litwin, T, Liu, K, Liu, X, Llull, L, Lohninger, B, Longoni, M, Loomis, C, Lopes, D, Lopez Fernandez, M, Lopez Garza, N, Lord, A, Louw, S, Lovasz, R, Lowenkopf, T, Lu, Z, Lubke-Detring, SC, Luder, R, Lujan, S, Luo, B, Lupinogina, L, Luschin, G, Lutsep, H, Lvova, A, Ly, J, Grosse, G.M., Ma, H, Ma, C, Machado, M, Machado, C, Macher, S, Machetanz, J, Macian-Montoro, F, Mackey, E, Mackey, A, Maclean, G, Maestre-Moreno, J, Magadan, A, Magyar, T, Mahagney, A, Majid, A, Majjhoo, A, Makaritsis, K, Mandzia, J, Mangas Guijarro, M, Mangion, D, Manios, E, Mann, S, Manning, L, Manno, C, Manuel Garcia, J, Maqueda, V, Mar Castellanos, M, Mar Freijo, M, Marando, C, Marcela Lepera, S, Marcos Couto, J, Maria Bruera, G, Maria Greco, L, Maria Lorenzo, A, Maria Obmann, S, Maria Roa, A, Marini, C, Marinkovic, I, Mario Sumay, G, Mario Torres, C, Marko, M, Markova, S, Markus, H, Marsh, R, Marsili, E, Marta Esnaola, M, Marta Moreno, J, Marti-Fabregas, J, Martina Angelocola, S, Martínez Sánchez, P, Martinez-Majander, N, Martins, S, Marzelik, O, Mastrocola, S, Matamala, G, Matoltsy, A, Matosevic, B, Matsumoto, S, Maud, A, Mauri Cabdevila, G, May, Z, Mayasi, Y, Mayr, A, Mazzoli, T, Mcarthur, K, Mccullough, L, Medina Pech, CE, Medlin, F, Mehdiratta, M, Mehta, S, Mehta, D, Mehta, B, Melis, M, Melnikova, E, Mendez, B, Mendonca, T, Mengual Chirifie, JJ, Menon, N, Mensch, A, Meseguer, E, Messe, S, Metcalf, K, Meyer, N, Michas, F, Micheletti, N, Mikulik, R, Milionis, H, Miller, B, Milling, T, Minelli, C, Minhas, J, Minns, M, Mircea, D, Mishra, S, Mismas, A, Mistri, A, Mitrovic, N, Miyake, H, Modrau, B, Moey, A, Molina, C, Molina, J, Molis, A, Moller, J, Molnar, S, Moniche, F, Monosi, C, Monzani, V, Moonis, M, Morais, R, Morales, L, Morales, A, Morar-Precup, D, Moreton, F, Moro, C, Morozova, E, Morton, M, Morvan, T, Morvan, E, Motko, T, Mowla, A, Mozhejko, E, Muddegowda, G, Mudhar, O, Mueller, T, Muhl, C, Muir, KW, Mundl, H, Munoz, S, Murphy, C, Murphy, S, Murtuzova, A, Musuka, T, Mutzenbach, J, Myint, M, Mysliwy, W, Naccarato, M, Naeije, G, Nagakane, Y, Natarajan, I, Navaratnam, D, Nave, A, Nazliel, B, Nedeltchev, K, Nel, J, Nell, H, Nemeth, R, Nemeth, L, Neto, O, Ng, K, Ngeh, J, Nicolas Chialvo, L, Nieminen, T, Nikkanen, M, Nikl, J, Nikoforova, M, Nishino, S, Nishiyama, Y, Njovane, X, Nogawa, S, Nombela, F, Norrving, B, Nosek, K, Nowak, B, Nowakowska-Sledz, E, Ntaios, G, Numminen, H, Nunez, F, Obadia, M, Oberndorfer, S, Obrezan, A, Ochiai, J, Oczkowski, W, O'Donnell, MJ, Odyniec, A, Oh, K, Ohira, M, Okamoto, Y, Okpala, M, Okubo, S, Olah, L, Olavarria, V, Oleszek, J, Onat Demirci, N, Ondar, V, Ongun, G, Ooyama, K, Orosz, V, Ortiz, R, Osseby, G, Österlund-Tauriala, E, Ovesen, C, Ozcekic Demirhan, S, Ozdoba-Rot, J, Ozturk, S, Ozyurt, E, Pablo Grecco, M, Pablo Povedano, G, Paciaroni, M, Padiglioni, C, Pagola, J, Palasik, W, Panczel, G, Panos, L, Papadopoulos, G, Papadopoulou, E, Papagiannis, A, Papavasileiou, V, Papina, M, Pardo De Donlebun, JR, Parisi, V, Park, JM, Pasten, J, Patel, N, Pavlik, O, Pawelczyk, M, Peacock, WF, Pei, H, Peisker, T, Pena Sedna, LF, Penn, A, Pentek, S, Pepper, E, Pereira, L, Perera, K, Perez, Y, Perez, S, Perez Leguizamon, P, Pernicka, M, Perry, R, Persico, A, Pesant, Y, Peska, S, Peters, D, Peters, G, Pettigrew, L, Phan, T, Philippi, S, Phinney, T, Pico, F, Pidal, A, Piechowski-Jozwiak, B, Pieroni, A, Pineiro, S, Piras, V, Pizova, N, Polanco, J, Polin, M, Polyakov, A, Polychronopoulou, E, Polymeris, A, Popov, D, Poppe, A, Postorino, P, Pozzerese, C, Pradhan, M, Prats, L, Prazdnichkova, E, Prendl, B, Pretorius, M, Profice, P, Prokopenko, S, Pudov, E, Pujol Lereis, V, Punzo Bravo, G, Purroy, F, Qiu, J, Qu, X, Quenardelle, V, Quesada Garcia, H, Radrizzani, L, Radtke, A, Raffelsberger, T, Ramirez Moreno, JM, Ramos-Estebanez, C, Rani, A, Rapantova, P, Rashed, K, Rasheed Nihara, A, Rasmussen, J, Redondo Robles, L, Reif, M, Reiner, P, Rekova, P, Renu, A, Repetto, M, Reyes, P, Reyes Morales, S, Rha, JH, Ribeiro, J, Ricci, S, Richard, C, Rigual, R, Rinaldi, C, Riveira Rodriguez, C, Rizzato, B, Robinson, TG, Rocco, A, Rodrigues, M, Rodriguez, G, Rodriguez Campello, A, Rodriguez Lucci, F, Rodriguez Yanez, M, Roesler, C, Roffe, C, Roine, R, Roine, S, Roldan, A, Romana Pezzella, F, Romano, M, Roos, JS, Rosso, C, Rostrup Kruuse, C, Roth, Y, Roukens, R, Roveri, L, Rozanski, D, Rozniecki, J, Rozsa, C, Rudilosso, S, Ruiz Ares, G, Ruiz Franco, A, Rum, G, Ruuskanen, J, Rybinnik, I, Ryota, K, Saarinen, J, Saavedra, V, Sabben, C, Sabet, A, Sagris, D, Sahlas, J, Sakai, N, Salamanca, P, Salgado, P, Salig, S, Salletmayr, T, Salnikov, M, Samoshkina, O, Samson, Y, Sanak, D, Sànchez Cerón, M, Santalucia, P, Santamaria Cadavid, M, Santiago, P, Santo, G, Sanz Cuesta, B, Sargento, J, Sarraj, A, Sas, K, Sas, A, Satoshi, O, Satsoglou, S, Sattar, N, Savitz, S, Savopoulos, C, Saw, J, Sawicka, M, Sawyer, R, Scandura, T, Schillinger, N, Schindler, J, Schlachetzki, F, Schneider, I, Schuppner, R, Schurig, J, Schwarzbach, CJ, Sebejova, M, Seidel, G, Sekaran, L, Selcuk, D, Selvarajah, J, Semerano, A, Semjen, J, Semushina, D, Sen, S, Seok Park, M, Serena, J, Serhat Tokgoz, O, Serles, W, Serrano, F, Sevin, M, Seynaeve, L, Shah, S, Shamalov, N, Shang, T, Sharma, M, Sharrief, A, Shazam Hussain, M, Shchukin, I, Shen, W, Shepeleva, E, Shinsuke, I, Shmonin, A, Shoamanesh, A, Shuaib, A, Shulga, A, Sibolt, G, Sibon, I, Sicilia, I, Siebert, M, Sieczkowska, E, Sila, C, Silva, AA, Silva, D, Silva, P, Silva, Y, Silvestrini, M, Simony, Z, Simpkins, A, Singh, B, Sinha, D, Sipos, I, Skoda, O, Skowron, P, Skowronska, M, Sliwinska, B, Slonkova, J, Smolkin, A, Smyth, A, Sobolewski, P, Sobota, A, Sohn, SI, Soldatov, M, Solganov, I, Soloveva, L, Solovyeva, E, Sonntag, N, Soors, P, Sorgun, M, Soriano, C, Spence, D, Spengos, K, Sposato, L, Staaf, G, Stadler, K, Stakhovskaya, L, Stamatelopoulos, K, Steinert, S, Stetkarova, I, Stiehm, M, Stocker, R, Stoinski, J, Stoll, A, Stotts, G, Stumpp, A, Sucapane, P, Suenaga, T, Sun, X, Sundararajan, S, Sung Kim, J, Suzuki, H, Svaneborg, N, Szasz, G, Szczuchniak, W, Szczyrba, S, Szegedi, N, Szekely, A, Szewczyk, Z, Szilagyi, G, Szlufik, S, Szoboszlai, K, Szpisjak, L, Sztajzel, R, Sztriha, L, Ta Wil, SE, Taggeselle, J, Takamatsu, K, Takao, M, Taki, W, Takizawa, S, Talahma, M, Tamayo, A, Tan, J, Tanne, D, Tapanainen, A, Tapiola, T, Tarasiuk, J, Tatlisumak, T, Tayal, A, Tcvetkova, S, Teal, P, Tejada Garcia, J, Tejada Meza, H, Tenora, D, Terceno, M, Terentiou, A, Tezcan, S, Thaler, D, Thomson, A, Thouvenot, E, Tiainen, M, Timberg, I, Timsit, S, Tinchon, A, Tirschwell, D, Togay Isikay, C, Tokunaga, K, Tolino, M, Toloza, C, Tomelleri, G, Tomoyuki, K, Tomppo, LM, Tong, Z, Tong, L, Toni, D, Torres, J, Tossavainen, C, Toth, G, Tountopoulou, A, Touze, E, Tovar, M, Toyoda, K, Trillo, S, Trommer, A, Tropepi, D, Tryambake, D, Tu, H, Tuetuencue, S, Tumova, R, Tumpula, O, Turc, G, Tutaj, A, Tynkkynen, J, Uchiyama, S, Uchwat, U, Uhrinyakova, L, Ulku Acar, R, Uluduz Ugurlu, D, Urra, X, Urui, S, Usero Ruiz, M, Vaclavik, D, Vahedi, K, Valikovics, A, Valpas, J, Van Acker, P, Van Daele, W, Vanderschueren, G, Vanina Jure, L, Varela, R, Varga, Z, Varvat, J, Varvyanskaya, N, Vasco Salgado, A, Vasko, P, Vass, L, Vassilopoulou, S, Vastagh, I, Vazquez, P, Vecsei, L, Veltkamp, R, Venti, M, Verdugo, M, Verocai, V, Veronica Marroquin, M, Veronica Simonsini, C, Veverka, T, Vigl, M, Vila, A, Vilar, C, Villanueva Osorio, JA, Virta, J, Vitkova, E, Voglsperger, B, Volna, J, Von Weitzel-Mudersbach, PA, Vora, N, Voznyuk, I, Wach-Klink, A, Wacongne, A, Walters, D, Wang, Y, Wang, J, Wang, L, Wang, X, Wang, W, Wang, N, Wang, D, Wang, H, Warnack, W, Wartenberg, K, Waters, R, Waters, M, Webb, T, Weber, J, Weiss, G, Weissenborn, K, Weitz, JI, Weller, B, Wen, G, Weng, G, Werner, P, Werring, D, Wester, P, Whiteley, W, Whiting, R, Wijeratne, T, Willems, C, Wilson, L, Wilson, C, Winder, T, Windt, J, Winkler, A, Winska-Tereszkiewicz, A, Wisniewska, A, Wittayer, M, Wlodek, A, Wojnarowska-Arendt, A, Wolf, M, Wolff, V, Wolter, C, Wong, A, Wook Nah, H, Worthmann, H, Wu, W, Wu, S, Wunderlich, S, Wurzinger, H, Wyse, DG, Xiao, B, Xiaopeng, W, Ximenez-Carrillo, A, Xiong, L, Xiong, Y, Xiong, W, Xu, Y, Xu, J, Xu, Z, Yalo, B, Yamada, T, Yamasaki, M, Yang, L, Yang, Y, Yang, X, Yang, Q, Yang, B, Yang, J, Yasuhiro, I, Yee Lam, M, Yegappan, C, Yip, S, Ylikallio, E, Ylikotila, P, Yongwon Jin, A, Yoon, BW, Yoshida, Y, Yperzeele, L, Yuan, H, Yuasa, H, Zalewska, J, Zanferrari, C, Zapata, E, Zboznovits, D, Zelenka, I, Zhang, C, Zhang, B, Zhang, S, Zhang, M, Zhang, X, Zhang, J, Zhao, L, Zhirnova, O, Zhou, L, Zielinska-Turek, J, Zinchenko, I, Ziomek, M, Zitzmann, A, Zweifler, R, Zwiernik, J, Kasner, Scott E ^*, Swaminathan, Balakumar, Lavados, Pablo, Sharma, Mukul, Muir, Keith, Veltkamp, Roland, Ameriso, Sebastian F, Endres, Matthias, Lutsep, Helmi, Messé, Steven R, Spence, J David, Nedeltechev, Krassen, Perera, Kanjana, Santo, Gustavo, Olavarria, Veronica, Lindgren, Arne, Bangdiwala, Shrikant, Shoamanesh, Ashkan, Berkowitz, Scott D, Mundl, Hardi, Connolly, Stuart J, Hart, Robert G

Publikováno v: In The Lancet Neurology December 2018 17(12):1053-1060

Fast computations on ordered nominal sets

Autor: Venhoek, D., Moerman, J., Rot, J., Fischer, B.

Publikováno v: Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, pp. 493-512
Theor. Comput. Sci., 935, 82-104. Elsevier
Theoretical Computer Science, 935, pp. 82-104
Theoretical Computer Science, 935, 82-104
Open Universiteit
Venhoek, D, Moerman, J & Rot, J 2022, ' Fast computations on ordered nominal sets ', Theor. Comput. Sci., vol. 935, pp. 82-104 . https://doi.org/10.1016/j.tcs.2022.09.002
Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, 493-512. Cham : Springer International Publishing
STARTPAGE=493;ENDPAGE=512;ISSN=0302-9743;TITLE=Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

Nominal automata are models for recognising languages over infinite alphabets, based on the algebraic notion of nominal set. Motivated by their use in automata theory, we show how to compute efficiently with nominal sets over the so-called total orde

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::639712b9c358129a07e775e344e43366
https://doi.org/10.1016/j.tcs.2022.09.002

Concurrent NetKAT

Autor: Wagemaker, J., Foster, N., Kappé, T., Kozen, D., Rot, J., Silva, A., Sergey, I.

Publikováno v: Sergey, I. (ed.), Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, 575-602. Cham : Springer International Publishing
STARTPAGE=575;ENDPAGE=602;ISSN=0302-9743;TITLE=Sergey, I. (ed.), Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022 : proceedings, 575-602
STARTPAGE=575;ENDPAGE=602;TITLE=Programming Languages and Systems
Sergey, I. (ed.), Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, pp. 575-602

We introduce Concurrent NetKAT (CNetKAT), an extension of NetKAT with operators for specifying and reasoning about concurrency in scenarios where multiple packets interact through state. We provide a model of the language based on partially-ordered m

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ae76153d24492cdc4faeb88f01651422
https://doi.org/10.48550/arxiv.2201.10485

Learning Pomset Automata

Autor: Heerdt, G. Ter, Kappé, T., Rot, J., Silva, A., Kiefer, S., Tasson, C.

Publikováno v: Kiefer, S.; Tasson, C. (ed.), Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, 510-530. Cham : Springer International Publishing
STARTPAGE=510;ENDPAGE=530;ISSN=0302-9743;TITLE=Kiefer, S.; Tasson, C. (ed.), Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a84ceb050d23e31406ad95046ed20939
https://hdl.handle.net/2066/233966

Learning Language Intersections

Autor: Junges, S., Rot, J.

Publikováno v: Lecture Notes in Computer Science ISBN: 9783031156281
Jansen, N.; Stoelinga, M.; Bos, P. van den (ed.), A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 371-381

Item does not contain fulltext We study active automata learning, where the target language is given as the intersection of n regular languages. We assume membership oracles for the individual languages, and various forms of equivalence queries, impl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7bdf1c0a38af647615f002a4f22880f6
https://doi.org/10.1007/978-3-031-15629-8_20