Structural characterization of SpoIIIAB sporulation-essential protein in Bacillus subtilis von Zeytuni, N., Flanagan, K.A., Worrall, L.J., Massoni, S.C., Camp, A.H., Strynadka, N.C.J.

Volltext

Structural and biochemical characterization of SpoIIIAF, a component of a sporulation-essential channel in Bacillus subtilis von Zeytuni, N., Flanagan, K.A., Worrall, L.J., Massoni, S.C., Camp, A.H., Strynadka, N.C.J.

Volltext

Gender Differences in Commuting Injuries in Spain and Their Impact on Injury Prevention von Camino López, Miguel A., Fontaneda, Ignacio, González Alcántara, Oscar J.

Volltext

Preface to the special issue on Formal Methods: Foundations and Applications von Massoni, Tiago, Mousavi, Mohammad

Volltext

The Focal Press Companion to the Constructed Image in Contemporary Photography von Massoni, Anne Leighton, Shindelman, Marni

Volltext

Monde canonial, monde monastique: Mutations et conversions de statuts, ixe-xiie siècle von Deflou-Leca, Noëlle, Massoni, Anne

Volltext

Status of Weedy Rice (Oryza spp.) Infestation and Management Practices in Southern Brazil von de Avila, Luis Antonio, Noldin, José Alberto, Mariot, Carlos H. P., Massoni, Paulo F. S., Fipke, Marcus V., Gehrke, Vinicios R., Merotto, Aldo, Tomita, Flavia M., Matos, André B., Facioni, Gelson, Vieira, Edinei B., Rosa, Eduardo S., Santis, Roger P., Camargo, Edinalvo R., Theisen, Giovani, Roma-Burgos, Nilda

Volltext

Impact of information on intentions to vaccinate in a potential epidemic: Swine-origin Influenza A (H1N1) von Chanel, Olivier, Luchini, Stéphane, Massoni, Sébastien, Vergnaud, Jean-Christophe

Volltext

TeSSLa: Temporal Stream-Based Specification Language von Convent, Lukas, Hungerecker, Sebastian, Leucker, Martin, Scheffel, Torben, Schmitz, Malte, Thoma, Daniel

Volltext

Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings von Massoni, Tiago, Mousavi, Mohammad Reza

Volltext

Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking von Timm, Nils, Gruner, Stefan, Harvey, Matthias

Volltext

Évêques et communautés religieuses dans la France médiévale

Volltext

Detection of early seeding of Richter transformation in chronic lymphocytic leukemia von Heyn, Holger

Volltext

Longitudinal trajectories of psychosocial functioning in patients with pre-existing mental disorders after one year of COVID-19 pandemic von Luciano, M., Carmassi, C., Sampogna, G., Bertelloni, C.A., Abbate-Daga, G., Albert, U., Castellini, G., Della Rocca, B., Fantasia, S., Menchetti, M., Pedrinelli, V., Pompili, M., Signorelli, M.S., Tosato, S., Massoni e Debora Andreoli, Leonardo, Clesi, Francesca Maria, Bastanzetti, Vittoria, Longo, Paola, Panero, Matteo, Burato, Sofia, D'Aietti, Alberto, Faldi, Marco, Marchesoni, Giorgia, Di Vincenzo, Matteo, Tretola, Lucia, Possidente, Chiara, Cosentini, Nicola, Berardelli, Isabella, Erbuto, Denise, Fiorillo, A.

Volltext

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Volltext

Induction of lactation in non-foaling mares and growth of foals raised by mares with induced lactation von Daels, P.F., Duchamp, Guy, Massoni, S., Chavatte-Palmer, Pascale

Volltext

La vie communautaire et le service à la communauté von Campos, Maria Amélia, Carrero Santamaría, Eduardo, Coelho, Maria Helena da Cruz, Conesa Soriano, Julia, Cunha, Maria Cristina, Gomes, Saul António, Guijarro González, Susana, Kurdziel, Emilie, Massoni, Anne, Morujão, Maria do Rosário Barbosa, Pécout, Thierry, Tabbagh, Vincent

Volltext

Confidence measurement in the light of signal detection theory von Massoni, Sébastien, Gajdos, Thibault, Vergnaud, Jean-Christophe

Volltext

Analysing RoboChart with Probabilities von Conserva Filho, M. S., Marinho, R., Mota, A., Woodcock, J.

Volltext

Programming Language Foundations in Agda von Wadler, Philip

Volltext