José M. Garrido
According to our database1,
José M. Garrido
authored at least 15 papers
between 2003 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Proceedings of the 2019 ACM Southeast Conference, 2019
2017
Proceedings of the 2017 ACM Southeast Regional Conference, 2017
Applying Empirical and Formal Methods for Modelling Systems with Concurrency and Timing Aspects.
Proceedings of the 2017 ACM Southeast Regional Conference, 2017
2014
Proceedings of the 2014 ACM Southeast Regional Conference, Kennesaw, GA, USA, March 28, 2014
2013
Developing computational models: some aspects of conceptualization and implementation.
Proceedings of the ACM Southeast Regional Conference 2013, 2013
2012
Integrating elementary computational modeling and programming principles (abstract only).
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012
2011
Proceedings of the 49th Annual Southeast Regional Conference, 2011
2010
Proceedings of the 48th Annual Southeast Regional Conference, 2010
2009
OOSimL: An Object-Oriented Discrete-Event Simulation Language for Computing Education.
Proceedings of the Huntsville Simulation Conference, 2009
Proceedings of the 47th Annual Southeast Regional Conference, 2009
2008
Proceedings of the 2nd IEEE International Conference on Digital Game and Intelligent Toy Enhanced Learning, 2008
Principles of modern operating systems.
Jones and Bartlett Publishers, ISBN: 978-0-7637-3574-6, 2008
2005
Proceedings of the 43nd Annual Southeast Regional Conference, 2005
2004
Proceedings of the 42nd Annual Southeast Regional Conference, 2004
2003
Expressing Real-Time Constraints in OCL with High-Level Temporal Logic Operators.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003