Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Panagiotis Zaharias, Christos Gatzoulis, Yiorgos Chrysanthou |
Exploring User Experience While Playing Educational Games: Focus on Temporality and Attractiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 4(4), pp. 19-32, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Mark Pearcy |
America's Army: "Playful Hatred" in the Social Studies Classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 4(2), pp. 19-36, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Yuxin Ma, Douglas Williams, Louise Prejean |
Understanding the Relationships Among Various Design Components in a Game-Based Learning Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 4(1), pp. 68-85, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Christopher M. Marlow |
Making Games for Environmental Design Education: Revealing Landscape Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 4(2), pp. 60-83, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Robert C. Hubal, Jamie Pina |
Serious Assessments in Serious Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 4(3), pp. 49-64, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Timothy W. Meyers |
Literature Synthesis on Evaluative Measures in Healthcare Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 4(3), pp. 38-48, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Richard Hartshorne, Phillip J. VanFossen, Adam Friedman |
MMORPG Roles, Civic Participation and Leadership Among Generation Y. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 4(1), pp. 55-67, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Constance Steinkuehler, Esra Alagoz, Elizabeth King, Crystle Martin |
A Cross Case Analysis of Two Out-of-School Programs Based on Virtual Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 4(1), pp. 25-54, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Fengfeng Ke, Nilay Yildirim, Jacob Enfield |
Exploring the Design of Game Enjoyment Through the Perspectives of Novice Game Developers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 4(4), pp. 45-63, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Deborah F. Deale, Sarah Simkins Key, Michael Regina, Ray Pastore |
Women and Gaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 4(1), pp. 86-89, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Matthew J. Sharritt, Daniel D. Suthers |
Levels of Failure and Learning in Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(4), pp. 54-69, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | James J. Cummings, Travis L. Ross |
Optimizing the Psychological Benefits of Choice: Information Transparency and Heuristic Use in Game Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(3), pp. 19-33, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Carrie Heeter, Yu-Hao Lee, Brian Magerko, Ben Medler |
Impacts of Forced Serious Game Play on Vulnerable Subgroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(3), pp. 34-53, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Jonathon Richter |
Collaboratories and Virtual Safaris as Research in Virtual Learning Environments Scholarship. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(1), pp. 94-96, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Kostas Anagnostou |
Research Note: Narration vs. Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(2), pp. 67-77, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Karla R. Hamlen, Holly E. Gage |
Negotiating Students' Conceptions of 'Cheating' in Video Games and in School. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(2), pp. 44-56, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Yam San Chee, Susan Gwee, Ek Ming Tan |
Learning to Become Citizens by Enacting Governorship in the Statecraft Curriculum: An Evaluation of Learning Outcomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(2), pp. 1-27, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Azilawati Jamaludin, Yam San Chee |
Investigating Youth's Life Online Phenomena: Subverting Dichotomies through Negotiation of Offline and Online Identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(4), pp. 1-18, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Lee L. Mason, Tae Jeon, Peter Blair, Nancy Glomb |
Virtual Tutor Training: Learning to Teach in a Multi-User Virtual Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(1), pp. 51-67, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Adriana D'Alba, Anjum Najmi, Jonathan Gratch, Chris Bigenho |
Virtual Learning Environments. The oLTECx: A Study of Participant Attitudes and Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(1), pp. 33-50, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Jeffrey Jacobson |
Digital Dome versus Desktop Display in an Educational Game: Gates of Horus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(1), pp. 13-32, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Amelia W. Cheney, Stephen C. Bronack |
Presence Pedagogy as Framework for Research in Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(1), pp. 79-85, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Michael A. Evans |
Procedural Ethos: Confirming the Persuasive in Serious Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(4), pp. 70-80, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Ben Sawyer |
Research Essay: What Will Serious Games of the Future Look Like? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(3), pp. 82-90, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Greg Jones, Scott J. Warren |
Issues and Concerns of K-12 Educators on 3-D Multi-User Virtual Environments in Formal Classroom Settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(1), pp. 1-12, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Yadi Ziaeehezarjeribi, Ingrid Graves |
Behind the MASK: Motivation through Avatar Skills and Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(4), pp. 19-32, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Scott Tobias, Duane Rudy, Jean Ispa |
Relations Between Videogame Play and 8th-Graders' Mathematics Achievement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(4), pp. 33-53, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Konstantin Mitgutsch |
Playful Learning Experiences: Meaningful Learning Patterns in Players' Biographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(3), pp. 54-68, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Brock Dubbels |
Cognitive Ethnography: A Methodology for Measure and Analysis of Learning for Game Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(1), pp. 68-78, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | John Murphy, José P. Zagal |
Videogames and the Ethics of Care. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(3), pp. 69-81, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Sandra Crespo, Vincent Melfi, Shalom M. Fisch, Richard Lesh, Elizabeth Motoki |
Television, Games, and Mathematics: Effects of Children's Interactions with Multiple Media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(3), pp. 1-18, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Patrick M. O'Shea, Christopher J. Dede, Matthew Cherian |
Research Note: The Results of Formatively Evaluating an Augmented Reality Curriculum Based on Modified Design Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(2), pp. 57-66, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Lakshmi Prayaga, James W. Coffey, Karen L. Rasmussen |
Strategies to Teach Game Development Across Age Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(2), pp. 28-43, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Shari Metcalf, Amy Kamarainen, M. Shane Tutwiler, Tina A. Grotzer, Chris Dede |
Ecosystem Science Learning via Multi-User Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(1), pp. 86-90, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Patrick M. O'Shea |
Augmented Reality in Education: Current Trends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 3(1), pp. 91-93, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Andrew J. Wodehouse, William J. Ion |
Computer Gaming Scenarios for Product Development Teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(3), pp. 75-92, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | David C. Gibson |
Living Virtually: Researching New Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(1), pp. 59-61, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Sasha A. Barab, Melissa S. Gresalfi, Tyler Dodge, Adam Ingram-Goble |
Narratizing Disciplines and Disciplinizing Narratives: Games as 21st Century Curriculum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(1), pp. 17-30, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Maliang Zheng, Daniel Kudenko |
Automated Event Recognition for Football Commentary Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(4), pp. 67-84, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Siu-Lan Tan, John Baxa, Matthew P. Spackman |
Effects of Built-in Audio versus Unrelated Background Music on Performance In an Adventure Role-Playing Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(3), pp. 1-23, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Stijn Hoppenbrouwers, Bart Schotten, Peter J. F. Lucas |
Towards Games for Knowledge Acquisition and Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(4), pp. 48-66, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Bram van de Laar, Boris Reuderink, Danny Plass-Oude Bos, Dirk Heylen |
Evaluating User Experience of Actual and Imagined Movement in BCI Gaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(4), pp. 33-47, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Jorge Arroyo-Palacios, Daniela M. Romano |
Bio-Affective Computer Interface for Game Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(4), pp. 16-32, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | David Birchfield, Mina Johnson-Glenberg |
A Next Gen Interface for Embodied Learning: SMALLab and the Geological Layer Cake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(1), pp. 49-58, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Steve Guynup |
The Design of Virtual Space: Lessons from Videogame Travel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(2), pp. 57-76, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Shiang-Kwei Wang |
Effects of Playing a History-Simulation Game: Romance of Three Kingdoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(2), pp. 36-56, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Brian C. Nelson, Diane Jass Ketelhut, Catherine C. Schifter |
Exploring Cognitive Load in Immersive Educational Games: The SAVE Science Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(1), pp. 31-39, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Yasmin B. Kafai, Deborah A. Fields, Kristin A. Searle |
Multi-Modal Investigations of Relationship Play in Virtual Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(1), pp. 40-48, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Leonard A. Annetta, Shawn Y. Holmes, Meng-Tzu Cheng, Elizabeth Folta |
Measuring Student Perceptions: Designing an Evidenced Centered Activity Model for a Serious Educational Game Development Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(3), pp. 24-42, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | J. Alison Bryant, Anna Akerman, Jordana Drell |
Wee Wii: Preschoolers and Motion-Based Game Play. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(2), pp. 1-17, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Don Heider, Adrienne Massanari |
Friendship, Closeness and Disclosure in Second Life. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(3), pp. 61-74, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Rania A. Hodhod, Daniel Kudenko, Paul A. Cairns |
Adaptive Interactive Narrative Model to Teach Ethics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(4), pp. 1-15, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Idit Harel Caperton |
Toward a Theory of Game-Media Literacy: Playing and Building as Reading and Writing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(1), pp. 1-16, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Michael Garrett, Mark McMahon |
Computer-Generated Three-Dimensional Training Environments: The Simulation, User, and Problem-Based Learning (SUPL) Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(3), pp. 43-60, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Fulvio Frapolli, Amos Brocco, Apostolos Malatras, Béat Hirsbrunner |
Decoupling Aspects in Board Game Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 2(2), pp. 18-35, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Yam San Chee, Swee Kin Loke, Ek Ming Tan |
Becoming Citizens Through Game-Based Learning: A Values-Driven, Process Approach to Citizenship Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(2), pp. 32-51, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | René Weber, Patrick Shaw |
Player Types and Quality Perceptions: A Social Cognitive Theory Based Model to Predict Video Game Playing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(1), pp. 66-89, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Carrie Heeter, Brian Magerko, Ben Medler, Joe Fitzgerald |
Game Design and the Challenge-Avoiding, Self-Validator Player Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(3), pp. 53-67, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Sabine Trepte, Leonard Reinecke, Katharina-Maria Behr |
Creating Virtual Alter Egos or Superheroines? Gamers' Strategies of Avatar Creation in Terms of Gender and Sex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(2), pp. 52-76, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Brock Dubbels |
Dance Dance Education and Rites of Passage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(4), pp. 63-89, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Edward Castronova, Mark W. Bell, Robert D. Cornell, James J. Cummings, Will Emigh, Matthew Falk, Michael Fatten, Paul LaFourest, Nathan Mishler |
A Test of the Law of Demand in a Virtual World: Exploring the Petri Dish Approach to Social Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(2), pp. 1-16, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Matthew J. Sharritt, Daniel D. Suthers |
Video Game Representations as Cues for Collaboration and Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(3), pp. 28-52, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Nicholas Fortugno |
The Play of Persuasion: Why "Serious" Isn't the Opposite of Fun by Nicholas Fortugno. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(3), pp. 81-88, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Erik W. Black, Richard E. Ferdig, Joseph C. DiPietro, Feng Liu, Baird Whalen |
Visual Analyses of the Creation of Avatars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(1), pp. 90-107, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Tim Stowell, Jon Scoresby, Michael R. Capell, Brett E. Shelton |
Utilizing Readily Available and Open Source Libraries to Create a 3D Game Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(4), pp. 20-49, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Miguel Sicart |
Beyond Choices: A Typology of Ethical Computer Game Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(3), pp. 1-13, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Brian J. Gajadhar, Yvonne de Kort, Wijnand A. IJsselsteijn |
Rules of Engagement: Influence of Co-Player Presence on Player Involvement in Digital Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(3), pp. 14-27, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Constance Steinkuehler, Barbara Z. Johnson |
Computational Literacy in Online Games: The Social Life of Mods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(1), pp. 53-65, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Christian Sebastian Loh |
Researching and Developing Serious Games as Interactive Learning Instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(4), pp. 1-19, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Catherine Norton-Barker, Margaret Corbit, Richard Bernstein, Ebonie Greene |
Leveraging Game-Play in a 3D World: A Comparative Study in a Biology Classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(2), pp. 17-31, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Joseph DiPietro |
Investigating Perceptions of Avatar Creation for Use in Educational MUVEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(4), pp. 50-62, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Ben Medler |
Using Recommendation Systems to Adapt Gameplay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(3), pp. 68-80, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Elizabeth Bagley, David Williamson Shaffer |
When People Get in the Way: Promoting Civic Thinking Through Epistemic Gameplay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(1), pp. 36-52, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Patrick M. O'Shea, Rebecca Mitchell, Catherine Johnston, Christopher J. Dede |
Lessons Learned about Designing Augmented Realities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gaming Comput. Mediat. Simulations ![In: Int. J. Gaming Comput. Mediat. Simulations 1(1), pp. 1-15, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Mohammad I. Daoud, James C. Lacefield |
Parallel Three-Dimensional Simulation of Ultrasound Imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 22nd Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2008), June 9-11, 2008, Québec City, Canada, pp. 146-152, 2008, IEEE Computer Society, 978-0-7695-3250-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
High-Frequency Ultrasound, Parallel Computing, Computer Simulations, Numerical Methods |
19 | Sylvain Dahan, Alexandru Dobrila, Jean-Marc Nicod, Laurent Philippe 0001 |
Performances Study of the Distributed Spanning Tree an Overlay Network for Server Lookup. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece, pp. 330-335, 2008, IEEE Computer Society, 978-0-7695-3163-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Distributed Spanning Tree, Simulations, Overlay networks |
19 | Julia E. Stephenson, W. B. Morris, H. G. Tempest, Darren K. Griffin, A. Mileham, Annette M. Payne |
The use of an e-learning constructivist solution in workplace learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCE ![In: Proceedings of the 14th European Conference on Cognitive Ergonomics: invent! explore!, ECCE 2007, London, UK, August 28-31, 2007, pp. 133-138, 2007, ACM, 978-1-84799-849-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
simulations, interactivity, e-learning, constructivism, workplace learning |
19 | Richard M. Fujimoto, Randall Guensler, Michael Hunter, Karsten Schwan, Hoe Kyoung Kim, Balasubramanian Seshasayee, Jason Sirichoke, Wonho Suh |
Ad Hoc Distributed Simulation of Surface Transportation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I, pp. 1050-1057, 2007, Springer, 978-3-540-72583-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
surface transportation systems, ad hoc distributed simulations, rollback operations |
19 | Yuval Tamir, Hsin-Chou Chi |
Symmetric Crossbar Arbiters for VLSI Communication Switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(1), pp. 13-27, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
VLSI communication switches, symmetric crossbar arbiters, multistage interconnectionnetwork, switch arbitration policy, worst-case latency, circuitsimulation, performance evaluation, VLSI, circuit analysis computing, network simulations, critical path, multiprocessorinterconnection networks, system clock |
18 | Arvind Ramanathan, Pratul K. Agarwal, Maria G. Kurnikova, Christopher James Langmead |
An Online Approach for Mining Collective Behaviors from Molecular Dynamics Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Research in Computational Molecular Biology, 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings, pp. 138-154, 2009, Springer, 978-3-642-02007-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Sebastian Potzsch, Gerik Scheuermann, Peter F. Stadler, Michael T. Wolfinger, Christoph Flamm |
Visualization of Lattice-Based Protein Folding Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 10th International Conference on Information Visualisation, IV 2006, 5-7 July 2006, London, UK, pp. 89-94, 2006, IEEE Computer Society, 0-7695-2602-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Information visualization, multiple views, design guidelines, focus+context, overview+detail |
18 | Niranjan Potnis, Atulya Mahajan |
Mobility models for vehicular ad hoc network simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006, pp. 746-747, 2006, ACM, 1-59593-315-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Alok Chaturvedi |
A society of simulation approach to dynamic integration of simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 2125-2131, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | S. Kashif Sadiq, Stefan J. Zasada, Peter V. Coveney |
Grid Assisted Ensemble Molecular Dynamics Simulations of HIV-1 Proteases Reveal Novel Conformations of the Inhibitor Saquinavir. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompLife ![In: Computational Life Sciences II, Second International Symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006, Proceedings, pp. 150-161, 2006, Springer, 3-540-45767-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Naohito Nakasato, Tsuyoshi Hamada |
Astrophysical Hydrodynamics Simulations on a Reconfigurable System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 13th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2005), 17-20 April 2005, Napa, CA, USA, Proceedings, pp. 279-280, 2005, IEEE Computer Society, 0-7695-2445-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Paul Guyot, Alexis Drogoul |
Multi-agent Based Participatory Simulations on Various Scales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMAS ![In: Massively Multi-Agent Systems I, First International Workshop, MMAS 2004, Kyoto, Japan, December 10-11, 2004, Revised Selected and Invited Papers, pp. 149-160, 2004, Springer, 3-540-26974-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Kalyan S. Perumalla, Richard M. Fujimoto, Thom McLean, George F. Riley |
Experiences applying parallel and interoperable network simulation techniques in on-line simulations of military networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: Proceedings of the 16th Workshop on Parallel and Distributed Simulation, PADS 2002, Washington, D.C., USA, May 12-15, 2002, pp. 97-104, 2002, IEEE Computer Society, 0-7695-1608-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Parallel Network Simulation, Interoperability, On-line Simulation |
18 | Linda F. Wilson, Daniel J. Burroughs, Jeanne Sucharitaves, Anush Kumar |
An agent-based framework for linking distributed simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 1713-1721, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Carl Tropper, Khalil El-Khatib |
On Metrics for the Dynamic Load Balancing of Optimistic Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Tetyana Segin, Jacob Masliyah, Subir Bhattacharjee |
Molecular Dynamics Simulation of the Rupture of Nanometer-Sized Oil/Water Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMENS ![In: 2005 International Conference on MEMS, NANO, and Smart Systems (ICMENS 2005), 24-27 July 2005, Banff, Alberta, Canada, pp. 295, 2005, IEEE Computer Society, 0-7695-2398-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Anush Kumar, Linda F. Wilson, Thomas B. Stephens, Jeanne Sucharitaves |
The ABELS Brokering System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 35th Annual Simulation Symposium (ANSS-35 2002), San Diego, California, USA, 14-18 April 2002, pp. 63-71, 2002, IEEE Computer Society, 0-7695-1552-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
distributed computing, software agents, distributed simulation |
17 | Edgar Bermudez Contreras, Anil K. Seth |
Simulations of Simulations in Evolutionary Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007, Proceedings, pp. 796-805, 2007, Springer, 978-3-540-74912-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jeremy Staum |
State of the art tutorial II: simulations for financial engineering: efficient simulations for option pricing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 258-266, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Scott M. Preddy, Richard E. Nance |
Key requirements for cave simulations: key requirements for cave simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 127-135, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Susan M. Sanchez, Thomas W. Lucas |
Exploring the world of agent-based simulations: simple models, complex analyses: exploring the world of agent-based simulations: simple models, complex analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 116-126, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Caroline Mendonça Costa, Ricardo Silva Campos, Fernando Otaviano Campos, Rodrigo Weber dos Santos |
Web Applications Supporting the Development of Models of Chagas' Disease for Left Ventricular Myocytes of Adult Rats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (3) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III, pp. 120-129, 2008, Springer, 978-3-540-69388-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Cardiac Modeling, Myocarditis, Chagas’ Disease, Problem Solving Environment, Web-based Simulations, Arrhythmia |
16 | Yun Ye, Frank Liu 0001, Sani R. Nassif, Yu Cao 0001 |
Statistical modeling and simulation of threshold variation under dopant fluctuations and line-edge roughness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 900-905, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
atomistic simulations, line-edge roughness, non-rectangular gate, random dopant fluctuations, threshold variation, predictive modeling, SPICE simulation |
16 | Michel C. Desmarais, Peyman Meshkinfam, Michel Gagnon |
Learned student models with item to item knowledge structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Model. User Adapt. Interact. ![In: User Model. User Adapt. Interact. 16(5), pp. 403-434, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
POKS, Empirical simulations, Bayesian networks, Probabilistic models, Bayesian inference, Student models, Adaptive testing, CAT, Knowledge spaces, Knowledge assessment |
16 | Graeme Smith 0001, John Derrick |
Verifying data refinements using a model checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(3), pp. 264-287, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
State-based specifications, Z Refinement, Downward and upward simulations, Model checking, CTL |
16 | Katarzyna Rycerz, Marian Bubak, Maciej Malawski, Peter M. A. Sloot |
Grid Support for HLA-Based Collaborative Environment for Vascular Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
e-Science ![In: Second International Conference on e-Science and Grid Technologies (e-Science 2006), 4-6 December 2006, Amsterdam, The Netherlands, pp. 48, 2006, IEEE Computer Society, 0-7695-2734-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
federate management, Grid, HLA, collaborative environment, distributed interactive simulations, medical simulation |