David Vega

According to our database, David Vega authored at least 8 papers between 2009 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A Calculational Deductive System for Linear Temporal Logic.

J. Stanley Warford, David Vega, Scott M. Staley

ACM Comput. Surv., 2021

2015

Microcontroller Based Water Computer: An Experiment with Tangible System Dynamics Modeling.

David Vega, Michael J. Howell, Karen Doore, Paul A. Fishwick

Proceedings of the 3rd ACM Conference on SIGSIM-Principles of Advanced Discrete Simulation, London, United Kingdom, June 10, 2015

A Media-Rich Curriculum for Modeling and Simulation.

Karen Doore, David Vega, Paul A. Fishwick

Proceedings of the 3rd ACM Conference on SIGSIM-Principles of Advanced Discrete Simulation, London, United Kingdom, June 10, 2015

2014

AIM-UC: An application for QTAIM analysis.

David Vega, D. Almeida

J. Comput. Methods Sci. Eng., 2014

Enhancing model interaction with immersive and tangible representations: a case study using the lotka-volterra model.

Michael J. Howell, David Vega, Karen Doore, Paul A. Fishwick

Proceedings of the 2014 Winter Simulation Conference, 2014

2012

C library for topological study of the electronic charge density.

David Vega, Yosslen Aray, Jesús Rodríguez

J. Comput. Chem., 2012

2009

Atoms in molecules theory for exploring the crystal structure and bond nature of the MoS_{2} bulk.

Yosslen Aray, David Vega, Jesús Rodríguez, Alba B. Vidal, David Santiago Coll

J. Comput. Methods Sci. Eng., 2009

First-principles study of the nature of small nickel sulfide particles.

Yosslen Aray, Alba B. Vidal, David Santiago Coll, Jesús Rodríguez, David Vega

J. Comput. Methods Sci. Eng., 2009