Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Chris George
Observed names:
Chris W. George,
George, Chris
Observed institutions:
United Nations,
United Nations University,
United Nations University,
United Nations University,
McMaster University
OpenAlex ID:
A5110454922
Introducing a new open source GIS user interface for the SWAT model
2016
·
Yihun T. Dile
, Prasad Daggupati
, et al.
·
Environmental Modelling & Software
·
241
The RAISE language, method and tools
1989
·
Mogens Nielsen
, Klaus Havelund
, et al.
·
Formal Aspects of Computing
·
63
User-friendly workflows for catchment modelling: Towards reproducible SWAT+ model studies
2020
·
Celray James Chawanda
, Chris George
, et al.
·
Environmental Modelling & Software
·
60
PDF
Introducing a new post-processing tool for the SWAT+ model to evaluate environmental flows
2020
·
Javier Senent-Aparicio
, Chris George
, et al.
·
Environmental Modelling & Software
·
24
Specification, proof, and model checking of the Mondex electronic purse using RAISE
2007
·
Chris George
, Anne E. Haxthausen
·
Formal Aspects of Computing
·
22
The Logic of the RAISE Specification Language
2007
·
Chris George
, Anne E. Haxthausen
·
Monographs in theoretical computer science
·
19
The RAISE specification language a tutorial
2005
·
Chris George
·
Springer eBooks
·
18
The RAISE language, method and tools
1988
·
Mogens Nielsen
, Klaus Havelund
, et al.
·
Lecture notes in computer science
·
18
An operational semantics for timed RAISE
1999
·
Xia Yong
, Chris George
·
Lecture notes in computer science
·
17
Scheduling and Rescheduling of Trains
1999
·
Dines Bjørner
, Chris George
, et al.
·
Springer eBooks
·
16
Breaking walls towards fully open source hydrological modeling
2017
·
Kazi Rahman
, Nicolas Ray
, et al.
·
Water Resources
·
14
PDF
Formalizing UML Class Diagrams
2011
·
Ana M. Funes
, Chris George
·
IGI Global eBooks
·
10
“UML–ising” Formal Techniques
2004
·
Dines Bjørner
, Chris W. George
, et al.
·
Lecture notes in computer science
·
10
Computing Systems for Railways - A Role for Domain Engineering. Relations to Requirements Engineering and Software for Control Applications}
2002
·
Dines Bjørner
, Chris George
, et al.
·
8
A theory of distributing train rescheduling
1996
·
Chris George
·
Lecture notes in computer science
·
7
PDF
A Translation from RSL to CSP
2008
·
Abigail Parisaca Vargas
, Lizeth Tapia
, et al.
·
International Conference of the Chilean Computer Science Society (SCCC)
·
5
Specification for Testing
2007
·
Chris George
, Padmanabhan Krishnan
, et al.
·
Springer eBooks
·
5
SWATLitho: A hydrogeochemical model to estimate daily geochemical loads at the catchment scale
2020
·
Juan Luis Lechuga-Crespo
, Sabine Sauvage
, et al.
·
Environmental Modelling & Software
·
4
PDF
Large-Scale Enterprise Systems: Changes and Impacts
2013
·
Wen Chen
, Asif Iqbal
, et al.
·
Lecture notes in business information processing
·
4
The Development of the RAISE Tools
2003
·
Chris George
·
Lecture notes in computer science
·
4
Formal Methods and Software Engineering
2002
·
George, Chris
, Miao, Huaikou
·
Lecture notes in computer science
·
4
When Model-based Testing Fails
2006
·
Bernhard K. Aichernig
, Chris George
·
Electronic Notes in Theoretical Computer Science
·
3
PDF
A concurrency case study using RAISE
2005
·
Anne Haxthausen
, Chris George
·
Springer eBooks
·
3
Tutorial on the RAISE Language, Method and Tools
2004
·
Chris George
·
Lecture notes in computer science
·
3
Specifying a Mobile Computing Infrastructure and Services
2004
·
Satyajit Acharya
, Chris George
, et al.
·
Lecture notes in computer science
·
3
Show more works
View as search
Works count:
45
Citation count:
601
H-index:
11
I10-index:
13
Year
Topic
Type
