1
TITLE: Gillian, Part II: Real-World Verification for JavaScript and C
AUTHORS: Maksimovic, P; Ayoun, SE; Santos, JF; Gardner, P;
PUBLISHED: 2021, SOURCE: 33rd International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, PT II, CAV 2021, VOLUME: 12760
INDEXED IN: WOS
2
TITLE: Gillian, Part I: A Multi-language Platform for Symbolic Execution
AUTHORS: Santos, JF; Maksimovic, P; Ayoun, SE; Gardner, P;
PUBLISHED: 2020, SOURCE: 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)
INDEXED IN: Scopus WOS
3
TITLE: Enhanced DEM-based flow path delineation methods for urban flood modelling
AUTHORS: Leitao, JP; Prodanovic, D; Boonya aroonnet, S; Maksimovic, C;
PUBLISHED: 2013, SOURCE: JOURNAL OF HYDROINFORMATICS, VOLUME: 15, ISSUE: 2
INDEXED IN: Scopus WOS
4
TITLE: Radar-raingauge data combination techniques: a revision and analysis of their suitability for urban hydrology  Full Text
AUTHORS: Li Pen Wang; Susana Ochoa Rodriguez; Nuno Eduardo Simoes ; Christian Onof; Cedo Maksimovic;
PUBLISHED: 2013, SOURCE: WATER SCIENCE AND TECHNOLOGY, VOLUME: 68, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef: 17
6
TITLE: Collaborative modelling for active involvement of stakeholders in urban flood risk management  Full Text
AUTHORS: 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;
PUBLISHED: 2012, SOURCE: NATURAL HAZARDS AND EARTH SYSTEM SCIENCES, VOLUME: 12, ISSUE: 9
INDEXED IN: Scopus WOS CrossRef: 34
8
TITLE: Real-time forecasting urban drainage models: full or simplified networks?
AUTHORS: Leitao, JP; Simoes, NE ; Maksimovic, C; Ferreira, F ; Prodanovic, D; Matos, JS ; Sa S Marques ;
PUBLISHED: 2010, SOURCE: WATER SCIENCE AND TECHNOLOGY, VOLUME: 62, ISSUE: 9
INDEXED IN: Scopus WOS
9
TITLE: Sensitivity analysis of surface runoff generation in urban flood forecasting
AUTHORS: Simoes, NE ; Leitao, JP; Maksimovic, C; Sa S Marques ; Pina, R;
PUBLISHED: 2010, SOURCE: WATER SCIENCE AND TECHNOLOGY, VOLUME: 61, ISSUE: 10
INDEXED IN: Scopus WOS
10
TITLE: The dynamic effect of pipe-wall viscoelasticity in hydraulic transients. Part II - model development, calibration and verification
AUTHORS: Covas, D ; Stoianov, I; Mano, JF ; Ramos, H ; Graham, N; Maksimovic, C;
PUBLISHED: 2005, SOURCE: JOURNAL OF HYDRAULIC RESEARCH, VOLUME: 43, ISSUE: 1
INDEXED IN: Scopus WOS
Page 1 of 2. Total results: 13.