Seasonal dynamics of the fish assemblage in a floodplain lake at the confluence of the Negro and Amazon Rivers von Röpke, C. P., Amadio, S. A., Winemiller, K. O., Zuanon, J.

Volltext

The Research Network on Amazonian Ichthyofauna von Darias, M. J., Amadio, S. A., Rosenthal, H.

Volltext

Involvement of Nrf2 in Ocular Diseases von Wu, Hongli, Liu, Yang, Xavier, Christy, Batliwala, Shehzad, Pang, Iok-Hou

Volltext

Neuroethics Questions to Guide Ethical Research in the International Brain Initiatives von Amadio, Jordan, Bi, Guo-Qiang, Boshears, Paul Frederick, Carter, Adrian, Devor, Anna, Doya, Kenji, Garden, Hermann, Illes, Judy, Johnson, L. Syd M., Jorgenson, Lyric, Jun, Bang-Ook, Lee, Inyoung, Michie, Patricia, Miyakawa, Tsuyoshi, Nakazawa, Eisuke, Sakura, Osamu, Sarkissian, Hagop, Sullivan, Laura Specker, Uh, Stepheni, Winickoff, David, Wolpe, Paul Root, Wu, Kevin Chien-Chang, Yasamura, Akira, Zheng, Jialin C., Rommelfanger, Karen S., Jeong, Sung-Jin, Ema, Arisa, Fukushi, Tamami, Kasai, Kiyoto, Ramos, Khara M., Salles, Arleen, Singh, Ilina

Volltext

Severe Fatigue and Persistent Symptoms at 3 Months Following Severe Acute Respiratory Syndrome Coronavirus 2 Infections During the Pre-Delta, Delta, and Omicron Time Periods: A Mul... von Gottlieb, Michael, Wang, Ralph C, Yu, Huihui, Spatz, Erica S, Montoy, Juan Carlos C, Rodriguez, Robert M, Chang, Anna Marie, Elmore, Joann G, Hannikainen, Paavali A, Hill, Mandy, Huebinger, Ryan M, Idris, Ahamed H, Lin, Zhenqiu, Koo, Katherine, McDonald, Samuel, O’Laughlin, Kelli N, Plumb, Ian D, Santangelo, Michelle, Saydah, Sharon, Willis, Michael, Wisk, Lauren E, Venkatesh, Arjun, Stephens, Kari A, Weinstein, Robert A

Volltext

The Element of Surprise in Timed Games von de Alfaro, Luca, Faella, Marco, Henzinger, Thomas A., Majumdar, Rupak, Stoelinga, Mariëlle

Volltext

Model-Checking $\omega$-Regular Properties of Interval Markov Chains von Chatterjee, Krishnendu, Sen, Koushik, Henzinger, Thomas A.

Volltext

CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings von Amadio, Roberto, Lugiez, Denis

Volltext

On Decision Problems for Probabilistic Büchi Automata von Baier, Christel, Bertrand, Nathalie, Größer, Marcus

Volltext

Model Checking a Path von Markey, N., Schnoebelen, P.

Volltext

The Implicit Calculus of Constructions as a Programming Language with Dependent Types von Barras, Bruno, Bernardo, Bruno

Volltext

The Complexity of Nash Equilibria in Infinite Multiplayer Games von Ummels, Michael

Volltext

Erasure and Polymorphism in Pure Type Systems von Mishra-Linger, Nathan, Sheard, Tim

Volltext

Multi-valued Model Checking via Classical Model Checking von Gurfinkel, Arie, Chechik, Marsha

Volltext

A Modal Deconstruction of Access Control Logics von Garg, Deepak, Abadi, Martín

Volltext

A novel methodology for large-scale phylogeny partition von Prosperi, Mattia C.F., Ciccozzi, Massimo, Fanti, Iuri, Saladini, Francesco, Pecorari, Monica, Borghi, Vanni, Di Giambenedetto, Simona, Bruzzone, Bianca, Capetti, Amedeo, Vivarelli, Angela, Rusconi, Stefano, Re, Maria Carla, Gismondo, Maria Rita, Sighinolfi, Laura, Gray, Rebecca R., Salemi, Marco, Zazzi, Maurizio, De Luca, Andrea

Volltext

Synthesis of distributed algorithms using asynchronous automata von STEFANESCU, Alin, ESPARZA, Javier, MUSCHOLL, Anca

Volltext

Structural Operational Semantics for Stochastic Process Calculi von Klin, Bartek, Sassone, Vladimiro

Volltext

What Else Is Decidable about Integer Arrays? von Habermehl, Peter, Iosif, Radu, Vojnar, Tomáš

Volltext

Prevalence of acquired resistance mutations in a large cohort of perinatally infected HIV-1 patients von Taramasso, L., Bruzzone, B., Vicenti, I., Galli, L., Borghi, V., Francisci, D., Pecorari, M., Zoncada, A., Callegaro, A.P., Paolini, E., Monno, L., Bonora, S., Di Biagio, A., Giacometti, Andrea, Butini, Luca, del Gobbo, Romana, Bagnarelli, Patrizia, Tacconi, Danilo, Corbelli, Giovanni, Zanussi, Stefania, Monno, Laura, Punzi, Grazia, Maggiolo, Franco, Calza, Leonardo, Carla Re, Maria, Pristera, Raffaele, Turconi, Paola, Mandas, Antonella, Tini, Sauro, Zoncada, Alessia, Paolini, Elisabetta, Sighinolfi, Laura, Corsi, Paola, Galli, Luisa, Di Pietro, Massimo, Colao, Grazia, Tosti, Andrea, Bruzzone, Bianca, Di Biagio, Antonio, Cenderello, Giovanni, Trezzi, Michele, Orani, Anna, Arcidiacono, Irene, Degiuli, Alberto, De Gennaro, Michele, Chiodera, Alessandro, Palvarini, Loredana, Todaro, Giovanni, Rusconi, Stefano, Gismondo, Maria Rita, Micheli, Valeria, Biondi, Maria Luisa, Capetti, Amedeo, Meraviglia, Paola, Boeri, Enzo, Mussini, Cristina, Pecorari, Monica, Soria, Alessandro, Vecchi, Laura, Santirocchi, Maurizio, Brustia, Diego, Ravanini, Paolo, Romano, Nino, Mancuso, Salvatrice, Calzetti, Carlo, Maserati, Renato, Filice, Gaetano, Baldanti, Fausto, Francisci, Daniela, Parruti, Giustino, Polilli, Ennio, Sacchini, Daria, Martinelli, Chiara, Consolini, Rita, Vatteroni, Linda, Vivarelli, Angela, Nerli, Alessandro, Lenzi, Lucia, Magnani, Giacomo, Ortolani, Patrizia, Andreoni, Massimo, Fimiani, Caterina, Palmisano, Lucia, Di Giambenedetto, Simona, Vullo, Vincenzo, Turriziani, Ombretta, Montano, Marco, Antinori, Andrea, Dentone, Chiara, Gonnelli, Angela, De Luca, Andrea, Palumbo, Michele, Ghisetti, Valeria, Bonora, Stefano, Delle Foglie, Palma, Rossi, Cristina, Malena, Marina, Grossi, Paolo, Seminari, Elena, Poletti, Federica

Volltext