David Vega

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2021

A Calculational Deductive System for Linear Temporal Logic.

[BibT_eX]

[DOI]

J. Stanley Warford

David Vega

Scott M. Staley

ACM Comput. Surv., 2021

2015

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2014 Winter Simulation Conference, 2014

2012

C library for topological study of the electronic charge density.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2009

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

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2009

David Vega

Bibliography

Loading...