C. Maksimovic
AuthID: R-006-NPD
1
TÃTULO: Gillian, Part II: Real-World Verification for JavaScript and C
AUTORES: Maksimovic, P; Ayoun, SE; Santos, JF; Gardner, P;
PUBLICAÇÃO: 2021, FONTE: 33rd International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, PT II, CAV 2021, VOLUME: 12760
AUTORES: Maksimovic, P; Ayoun, SE; Santos, JF; Gardner, P;
PUBLICAÇÃO: 2021, FONTE: 33rd International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, PT II, CAV 2021, VOLUME: 12760
INDEXADO EM: 
WOS
WOS2
TÃTULO: Gillian, Part I: A Multi-language Platform for Symbolic Execution
AUTORES: Santos, JF; Maksimovic, P; Ayoun, SE; Gardner, P;
PUBLICAÇÃO: 2020, FONTE: 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) in PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20)
AUTORES: Santos, JF; Maksimovic, P; Ayoun, SE; Gardner, P;
PUBLICAÇÃO: 2020, FONTE: 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) in PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20)
INDEXADO EM: 
Scopus WOS
Scopus WOS3
TÃTULO: Enhanced DEM-based flow path delineation methods for urban flood modelling
AUTORES: Leitao, JP; Prodanovic, D; Boonya aroonnet, S; Maksimovic, C;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF HYDROINFORMATICS, VOLUME: 15, NÚMERO: 2
AUTORES: Leitao, JP; Prodanovic, D; Boonya aroonnet, S; Maksimovic, C;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF HYDROINFORMATICS, VOLUME: 15, NÚMERO: 2
INDEXADO EM: Scopus WOS
Scopus WOS4
TÃTULO: Radar-raingauge data combination techniques: a revision and analysis of their suitability for urban hydrology Full Text
AUTORES: Li Pen Wang; Susana Ochoa Rodriguez; Nuno Eduardo Simoes ; Christian Onof; Cedo Maksimovic;
PUBLICAÇÃO: 2013, FONTE: WATER SCIENCE AND TECHNOLOGY, VOLUME: 68, NÚMERO: 4
AUTORES: Li Pen Wang; Susana Ochoa Rodriguez; Nuno Eduardo Simoes ; Christian Onof; Cedo Maksimovic;
PUBLICAÇÃO: 2013, FONTE: WATER SCIENCE AND TECHNOLOGY, VOLUME: 68, NÚMERO: 4
5
TÃTULO: Quantifying the impact of small scale unmeasured rainfall variability on urban runoff through multifractal downscaling: A case study Full Text
AUTORES: Gires, A; Onof, C; Maksimovic, C; Schertzer, D; Tchiguirinskaia, I; Simoes, N;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF HYDROLOGY, VOLUME: 442
AUTORES: Gires, A; Onof, C; Maksimovic, C; Schertzer, D; Tchiguirinskaia, I; Simoes, N;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF HYDROLOGY, VOLUME: 442
6
TÃTULO: Collaborative modelling for active involvement of stakeholders in urban flood risk management Full Text
AUTORES: Evers, M; Jonoski, A; Maksimovic, C; Lange, L; Ochoa O Rodriguez; Teklesadik, A; Cortes C Arevalo; Almoradie, A; Eduardo E Simoes ; Wang, L; Makropoulos, C;
PUBLICAÇÃO: 2012, FONTE: NATURAL HAZARDS AND EARTH SYSTEM SCIENCES, VOLUME: 12, NÚMERO: 9
AUTORES: Evers, M; Jonoski, A; Maksimovic, C; Lange, L; Ochoa O Rodriguez; Teklesadik, A; Cortes C Arevalo; Almoradie, A; Eduardo E Simoes ; Wang, L; Makropoulos, C;
PUBLICAÇÃO: 2012, FONTE: NATURAL HAZARDS AND EARTH SYSTEM SCIENCES, VOLUME: 12, NÚMERO: 9
7
TÃTULO: Impact de la variabilité non-mesurée des précipitations sur les débits en hydrologie urbaine : un cas d’étude dans le cadre multifractal
AUTORES: Auguste Gires; Daniel Schertzer; Ioulia Tchiguirinskaia; Schaun Lovejoy; Cedo Maksimovic; Christian Onof; Nuno Simoes;
PUBLICAÇÃO: 2011, FONTE: La Houille Blanche, NÚMERO: 4
AUTORES: Auguste Gires; Daniel Schertzer; Ioulia Tchiguirinskaia; Schaun Lovejoy; Cedo Maksimovic; Christian Onof; Nuno Simoes;
PUBLICAÇÃO: 2011, FONTE: La Houille Blanche, NÚMERO: 4
8
TÃTULO: Real-time forecasting urban drainage models: full or simplified networks?
AUTORES: Leitao, JP; Simoes, NE ; Maksimovic, C; Ferreira, F ; Prodanovic, D; Matos, JS ; Sa S Marques ;
PUBLICAÇÃO: 2010, FONTE: WATER SCIENCE AND TECHNOLOGY, VOLUME: 62, NÚMERO: 9
AUTORES: Leitao, JP; Simoes, NE ; Maksimovic, C; Ferreira, F ; Prodanovic, D; Matos, JS ; Sa S Marques ;
PUBLICAÇÃO: 2010, FONTE: WATER SCIENCE AND TECHNOLOGY, VOLUME: 62, NÚMERO: 9
INDEXADO EM: Scopus WOS
Scopus WOS9
TÃTULO: Sensitivity analysis of surface runoff generation in urban flood forecasting
AUTORES: Simoes, NE ; Leitao, JP; Maksimovic, C; Sa S Marques ; Pina, R;
PUBLICAÇÃO: 2010, FONTE: WATER SCIENCE AND TECHNOLOGY, VOLUME: 61, NÚMERO: 10
AUTORES: Simoes, NE ; Leitao, JP; Maksimovic, C; Sa S Marques ; Pina, R;
PUBLICAÇÃO: 2010, FONTE: WATER SCIENCE AND TECHNOLOGY, VOLUME: 61, NÚMERO: 10
INDEXADO EM: Scopus WOS
Scopus WOS10
TÃTULO: The dynamic effect of pipe-wall viscoelasticity in hydraulic transients. Part II - model development, calibration and verification
AUTORES: Covas, D ; Stoianov, I; Mano, JF ; Ramos, H ; Graham, N; Maksimovic, C;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF HYDRAULIC RESEARCH, VOLUME: 43, NÚMERO: 1
AUTORES: Covas, D ; Stoianov, I; Mano, JF ; Ramos, H ; Graham, N; Maksimovic, C;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF HYDRAULIC RESEARCH, VOLUME: 43, NÚMERO: 1
INDEXADO EM: Scopus WOS
Scopus WOS