Online and Proactive Vehicle Rerouting with Uppaal Stratego von Bilgram, Alexander, Ernstsen, Emil, Greve, Peter, Lahrmann, Harry, Larsen, Kim G., Muñiz, Marco, Taankvist, Peter, Pedersen, Thomas

Volltext

Stubborn Set Reduction for Two-Player Reachability Games von Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba

Volltext

Fragile Effects of Mobile Phone Emitted Radiations on Agricultural Growth and Ecological Systems von Husnain Gondal, Aqarab, Ore Areche, Franklin, Soledad Porras-Roque, María, Alberto Muñiz Paucarmayta, Abel, Herber Muñiz Paucarmayta, Marco, Gomer Cotrina Cabello, Guillermo, Washington Rodriguez-Deza, Jorge

Volltext

Ready for testing: ensuring conformance to industrial standards through formal verification von Feo-Arenis, Sergio, Westphal, Bernd, Dietsch, Daniel, Muñiz, Marco, Andisha, Siyar, Podelski, Andreas

Volltext

Rare diseases: What rheumatologists need to know? von do Nascimento, Renan Rodrigues Neves Ribeiro, Piotto, Daniela Gerent Petry, Freire, Eutilia Andrade Medeiros, de Souza Neves, Fabricio, Sztajnbok, Flavio Roberto, Bica, Blanca Elena Rios Gomes, Pinheiro, Frederico Augusto Gurgel, Kozu, Katia Tomie, Pereira, Ivanio Alves, Azevedo, Valderilio Feijo, Cordeiro, Rafael Alves, Giardini, Henrique Ayres Mayrink, Franco, Marco Túlio Muniz, de Fátima Fernandes Carvalho, Margarida, Rosa-Neto, Nilton Salles, Perazzio, Sandro Félix

Volltext

Online and Compositional Learning of Controllers with Application to Floor Heating von Larsen, Kim G., Mikučionis, Marius, Muñiz, Marco, Srba, Jiří, Taankvist, Jakob Haahr

Volltext

An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning von Bilgram, Alexander, Jensen, Peter G., Jørgensen, Kenneth Y., Larsen, Kim G., Mikučionis, Marius, Muñiz, Marco, Poulsen, Danny B., Taankvist, Peter

Volltext

VISCERAL FAT, PHYSICAL FITNESS AND BIOCHEMICAL MARKERS OF BRAZILIAN MILITARY PERSONNEL von Rodrigues, Laércio Camilo, Fortes, Marcos de Sá Rego, Lippert, Marco Antônio Muniz, Rosa, Samir Ezequiel Da, Fernandes Filho, José

Volltext

Analyzing Spreadsheets for Parallel Execution via Model Checking von Bøgholm, Thomas, Larsen, Kim G., Muñiz, Marco, Thomsen, Bent, Thomsen, Lone Leth

Volltext

Stubborn Set Reduction for Timed Reachability and Safety Games von Bønneland, Frederik M., Jensen, Peter G., Larsen, Kim G., Muñiz, Marco, Srba, Jiří

Volltext

Urgent Partial Order Reduction for Extended Timed Automata von Larsen, Kim G., Mikučionis, Marius, Muñiz, Marco, Srba, Jiří

Volltext

On-the-Fly Synthesis for Strictly Alternating Games von Karra, Shyam Lal, Larsen, Kim Guldstrand, Muñiz, Marco, Srba, Jiří

Volltext

An Integer Static Analysis for Better Extrapolation in Uppaal von Lund, Sebastian, van Diepen, Jesper, Larsen, Kim G., Muñiz, Marco, Jørgensen, Tobias Ringholm, Andersen, Tobias Skaarup Daa

Volltext

Green chemistry in the production of cellulose acetate: the use of a new low-cost, highly available waste product von Fernandes, Marco Antônio Muniz, Nörnberg, Laíse Vergara, Acosta, Andrey Pereira, Barbosa, Kelvin Techera, Cardoso, Gabriel Valim

Volltext

Evaluation of a childhood lead questionnaire in predicting elevated blood lead levels in a rural community von Muñiz, Marco A, Dundas, Robert, Mahoney, Martin C

Volltext

An Efficient Decision Procedure for Imperative Tree Data Structures von Wies, Thomas, Muñiz, Marco, Kuncak, Viktor

Volltext

Fluid Model-Checking in UPPAAL for Covid-19 von Jensen, Peter G., Jørgensen, Kenneth Y., Larsen, Kim G., Mikučionis, Marius, Muñiz, Marco, Poulsen, Danny B.

Volltext

A PESQUISA EM DESIGN PARA O COMPORTAMENTO SUSTENTÁVEL LACUNAS E DESAFIOS von Muniz, Marco Ogê, Santos, Aguinaldo Dos

Volltext

Deciding Functional Lists with Sublist Sets von Wies, Thomas, Muñiz, Marco, Kuncak, Viktor

Volltext

Detecting Quasi-equal Clocks in Timed Automata von Muñiz, Marco, Westphal, Bernd, Podelski, Andreas

Volltext