David Vega

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 3

Top Topics

Linear Temporal Logic

Modeling Method

Colored Petri Nets

Top Venues

J. Comput. Methods Sci. Eng.

J. Comput. Chem.

ACM Comput. Surv.

Publications

J. Stanley Warford, David Vega, Scott M. Staley
A Calculational Deductive System for Linear Temporal Logic. ACM Comput. Surv. 53 (3) (2020)
David Vega, Michael J. Howell, Karen Doore, Paul A. Fishwick
Microcontroller Based Water Computer: An Experiment with Tangible System Dynamics Modeling. SIGSIM-PADS (2015)
Karen Doore, David Vega, Paul A. Fishwick
A Media-Rich Curriculum for Modeling and Simulation. SIGSIM-PADS (2015)
Michael J. Howell, David Vega, Karen Doore, Paul A. Fishwick
Enhancing model interaction with immersive and tangible representations: a case study using the lotka-volterra model. WSC (2014)
David Vega, D. Almeida
AIM-UC: An application for QTAIM analysis. J. Comput. Methods Sci. Eng. 14 (1-3) (2014)
David Vega, Yosslen Aray, Jesús Rodríguez
C library for topological study of the electronic charge density. J. Comput. Chem. 33 (31) (2012)
Yosslen Aray, Alba B. Vidal, David Santiago Coll, Jesús Rodríguez, David Vega
First-principles study of the nature of small nickel sulfide particles. J. Comput. Methods Sci. Eng. 9 (4-6) (2009)
Yosslen Aray, David Vega, Jesús Rodríguez, Alba B. Vidal, David Santiago Coll
Atoms in molecules theory for exploring the crystal structure and bond nature of the MoS_{2} bulk. J. Comput. Methods Sci. Eng. 9 (4-6) (2009)