David Vega - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 7 from 7

2020

A Calculational Deductive System for Linear Temporal LogicJ. Stanley Warford, David Vega, Scott M. Staley. ACM Comput. Surv., 53(3), 2020. [doi]

2015

A Media-Rich Curriculum for Modeling and SimulationKaren Doore, David Vega, Paul A. Fishwick. pads 2015: 23-34 [doi]

Microcontroller Based Water Computer: An Experiment with Tangible System Dynamics ModelingDavid Vega, Michael J. Howell, Karen Doore, Paul A. Fishwick. pads 2015: 35-42 [doi]

2014

Enhancing model interaction with immersive and tangible representations: a case study using the lotka-volterra modelMichael Howell, David Vega, Karen Doore, Paul A. Fishwick. wsc 2014: 3572-3583 [doi]

2012

C library for topological study of the electronic charge densityDavid Vega, Yosslen Aray, Jesús Rodríguez. jcc, 33(31):2526-2531, 2012. [doi]

2009

First-principles study of the nature of small nickel sulfide particlesYosslen Aray, Alba B. Vidal, David Santiago Coll, Jesús Rodríguez, David Vega. jcmse, 9(4-6):301-312, 2009. [doi]

Atoms in molecules theory for exploring the crystal structure and bond nature of the MoS_{2} bulkYosslen Aray, David Vega, Jesús Rodríguez, Alba B. Vidal, David Santiago Coll. jcmse, 9(4-6):257-267, 2009. [doi]

Sign in or sign up to see more results.

runs on WebDSL