Report of final results regarding brain and heart tumors in Sprague-Dawley rats exposed from prenatal life until natural death to mobile phone radiofrequency field representative o... von Falcioni, L., Bua, L., Tibaldi, E., Lauriola, M., De Angelis, L., Gnudi, F., Mandrioli, D., Manservigi, M., Manservisi, F., Manzoli, I., Menghetti, I., Montella, R., Panzacchi, S., Sgargi, D., Strollo, V., Vornoli, A., Belpoggi, F.

Volltext

Results of lifespan exposure to continuous and intermittent extremely low frequency electromagnetic fields (ELFEMF) administered alone to Sprague Dawley rats von Bua, L., Tibaldi, E., Falcioni, L., Lauriola, M., De Angelis, L., Gnudi, F., Manservigi, M., Manservisi, F., Manzoli, I., Menghetti, I., Montella, R., Panzacchi, S., Sgargi, D., Strollo, V., Vornoli, A., Mandrioli, D., Belpoggi, F.

Volltext

Automated formal verification for flexible manufacturing systems von Carpanzano, E., Ferrucci, L., Mandrioli, D., Mazzolini, M., Morzenti, A., Rossi, M.

Volltext

Occupational exposure and risk of complications in MASLD patients:updates from a case:control study von Stefanini, B., Mandrioli, D., Vornoli, A., Salomone, A., Sgargi, D., Manservisi, F., Piscaglia, F., Tovoli, F.

Volltext

Carcinogenicity of acrolein, crotonaldehyde, and arecoline von Marques, M Matilde, Beland, Frederick A, Lachenmeier, Dirk W, Phillips, David H, Chung, Fung-Lung, Dorman, David C, Elmore, Sarah E, Hammond, S Katharine, Krstev, Srmena, Linhart, Igor, Long, Alexandra S, Mandrioli, Daniele, Ogawa, Kumiko, Pappas, Jane J, Parra Morte, Juan M, Talaska, Glenn, Tang, Moon-shong, Thakur, Nisha, van Tongeren, Martie, Vineis, Paolo, Grosse, Yann, Benbrahim-Tallaa, Lamia, Suonio, Eero, Turner, Michelle C, El Ghissassi, Fatiha, Middleton, Daniel, Miranda-Filho, Adalberto, Chung, Felicia, Liu, Yaqi, Vega, Samantha, Mattock, Heidi, Schubauer-Berigan, Mary K, Guyton, Kathryn Z

Volltext

Differences in the carcinogenic evaluation of glyphosate between the International Agency for Research on Cancer (IARC) and the European Food Safety Authority (EFSA) von Portier, Christopher J, Armstrong, Bruce K, Baguley, Bruce C, Baur, Xaver, Belyaev, Igor, Bellé, Robert, Belpoggi, Fiorella, Biggeri, Annibale, Bosland, Maarten C, Bruzzi, Paolo, Budnik, Lygia Therese, Bugge, Merete D, Burns, Kathleen, Calaf, Gloria M, Carpenter, David O, Carpenter, Hillary M, López-Carrillo, Lizbeth, Clapp, Richard, Cocco, Pierluigi, Consonni, Dario, Comba, Pietro, Craft, Elena, Dalvie, Mohamed Aqiel, Davis, Devra, Demers, Paul A, De Roos, Anneclaire J, DeWitt, Jamie, Forastiere, Francesco, Freedman, Jonathan H, Fritschi, Lin, Gaus, Caroline, Gohlke, Julia M, Goldberg, Marcel, Greiser, Eberhard, Hansen, Johnni, Hardell, Lennart, Hauptmann, Michael, Huang, Wei, Huff, James, James, Margaret O, Jameson, C W, Kortenkamp, Andreas, Kopp-Schneider, Annette, Kromhout, Hans, Larramendy, Marcelo L, Landrigan, Philip J, Lash, Lawrence H, Leszczynski, Dariusz, Lynch, Charles F, Magnani, Corrado, Mandrioli, Daniele, Martin, Francis L, Merler, Enzo, Michelozzi, Paola, Miligi, Lucia, Miller, Anthony B, Mirabelli, Dario, Mirer, Franklin E, Naidoo, Saloshni, Perry, Melissa J, Petronio, Maria Grazia, Pirastu, Roberta, Portier, Ralph J, Ramos, Kenneth S, Robertson, Larry W, Rodriguez, Theresa, Röösli, Martin, Ross, Matt K, Roy, Deodutta, Rusyn, Ivan, Saldiva, Paulo, Sass, Jennifer, Savolainen, Kai, Scheepers, Paul T J, Sergi, Consolato, Silbergeld, Ellen K, Smith, Martyn T, Stewart, Bernard W, Sutton, Patrice, Tateo, Fabio, Terracini, Benedetto, Thielmann, Heinz W, Thomas, David B, Vainio, Harri, Vena, John E, Vineis, Paolo, Weiderpass, Elisabete, Weisenburger, Dennis D, Woodruff, Tracey J, Yorifuji, Takashi, Yu, Il Je, Zambon, Paola, Zeeb, Hajo, Zhou, Shu-Feng

Volltext

Exploring occupational toxicant exposures in patients with metabolic dysfunction-associated steatotic liver disease: a prospective pilot study von Tovoli, F., Stefanini, B., Mandrioli, D., Mattioli, S., Vornoli, A., Sgargi, D., Manservisi, F., Piscaglia, F., Curti, S., Bolondi, L.

Volltext

SOC-IV-10 Glyphosate and its formulations Roundup Bioflow and RangerPro alter bacterial and fungal community composition in the rat caecum microbiome von Mesnage, R., Panzacchi, S., Bourne, E., Mein, C., Perry, M., Hu, J., Chen, J., Mandrioli, D., Belpoggi, F., Antoniou, M.

Volltext

ProB: A Model Checker for B von Leuschel, Michael, Butler, Michael

Volltext

SEM, TEM, and IHC Analysis of the Sinus Node and Its Implications for the Cardiac Conduction System von Mandrioli, D., Ceci, F., Balbi, T., Ghimenton, C., Pierini, G.

Volltext

Use of Shotgun Metagenomics and Metabolomics to Evaluate the Impact of Glyphosate or Roundup MON 52276 on the Gut Microbiota and Serum Metabolome of Sprague-Dawley Rats von Mesnage, R, Teixeira, M, Mandrioli, D, Falcioni, L, Zwittink, D, Mazzacuva, F, Caldwell, A, Halket, J, Amiel, C, Panoff, J-M, Belpoggi, F, Antoniou, M. N

Volltext

A unified high-level Petri net formalism for time-critical systems von Ghezzi, C., Mandrioli, D., Morasca, S., Pezze, M.

Volltext

Proving properties of real-time systems through logical specifications and Petri net models von Felder, M., Mandrioli, D., Morzenti, A.

Volltext

The Effects of Glyphosate Based Herbicides on Rat Sperm Mitochondria von H, McLeland-Wieser, D, Mandrioli, H, Young, F, Belpoggi, L, Neumann, M, Attene-Ramos, S, Panzacchi, F, Manservisi, M, Perry

Volltext

Incremental syntactic-semantic reliability analysis of evolving structured workflows von Bianculli, D, Filieri, A, Ghezzi, C, Mandrioli, D

Volltext

Karyotypic evolutions of cancer species in rats during the long latent periods after injection of nitrosourea von Bloomfield, Mathew, McCormack, Amanda, Mandrioli, Daniele, Fiala, Christian, Aldaz, C Marcelo, Duesberg, Peter

Volltext

Java Applet Correctness: A Developer-Oriented Approach von Burdy, Lilian, Requet, Antoine, Lanet, Jean-Louis

Volltext

Syntactic-semantic incrementality for agile verification von Bianculli, D, Filieri, A, Ghezzi, C, Mandrioli, D

Volltext

A Metric Temporal Logic for Dealing with Zero-Time Transitions von Ferrucci, L., Mandrioli, D., Morzenti, A., Rossi, M.

Volltext

Advertising Formal Methods and Organizing Their Teaching: Yes, but von Mandrioli, Dino

Volltext