|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 9 keywords
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
272 | Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
HAMPI: a solver for string constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009, pp. 105-116, 2009, ACM, 978-1-60558-338-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
string constraints, regular languages, context-free languages |
202 | Sarah Kenderdine |
The Irreducible Ensemble: Place-Hampi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSMM ![In: Virtual Systems and Multimedia, 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers, pp. 58-72, 2007, Springer, 978-3-540-78565-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
co-evolutionary narrative, omnistereoscopic panoramas, autonomous agency, Hampi, Indian mythology, Symmetrical Archaeology, virtual heritage |
113 | Sarah Kenderdine |
Somatic solidarity, Magical Realism and Animating Popular Gods: Place-Hampi "where intensities are felt". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 11th International Conference on Information Visualisation, IV 2007, 2-6 July 2007, Zürich, Switzerland, pp. 402-408, 2007, IEEE Computer Society, 0-7695-2907-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
86 | Sarah Kenderdine, Jeffrey Shaw, Anita Kocsis |
Dramaturgies of PLACE: evaluation, embodiment and performance in PLACE-Hampi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2009, Athens, Greece, October 29-31, 2009, pp. 249-256, 2009, ACM, 978-1-60558-864-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ambisonic, panoramic, performance, evaluation, presence, embodiment, virtual heritage, co-presence, stereoscopic |
33 | Meera Natampally |
Visually Reconstructed Krishna Temple, Hampi, Karnataka. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Heritage Preservation ![In: Heritage Preservation - A Computational Approach, pp. 333-345, 2018, Springer, 978-981-10-7220-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Uma Mudenagudi, Syed Altaf Ganihar, Shreyas Joshi, Shankar Shetty, G. Rahul, Somashekhar Dhotrad, Meera Natampally, Prem Kumar Kalra |
Realistic Walkthrough of Cultural Heritage Sites-Hampi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCV Workshops (2) ![In: Computer Vision - ACCV 2014 Workshops - Singapore, Singapore, November 1-2, 2014, Revised Selected Papers, Part II, pp. 554-566, 2014, Springer, 978-3-319-16630-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Meera Natampally |
Making of Hampi - An attempt to bridge culture and technology aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Heritage (2) ![In: 1st Digital Heritage International Congress, DigitalHERITAGE 2013, Marseille, France, October 28 - November 1, 2013, Volume II, pp. 427, 2013, IEEE, 978-1-4799-3168-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Mamata N. Rao, Pallavi Thakur |
Reconstruction of Virupaksha Bazaar Street of Hampi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Heritage (2) ![In: 1st Digital Heritage International Congress, DigitalHERITAGE 2013, Marseille, France, October 28 - November 1, 2013, Volume II, pp. 207-214, 2013, IEEE, 978-1-4799-3168-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Vijay Ganesh |
STP/HAMPI and Computer Security ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1204.2989, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
33 | Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 21(4), pp. 25:1-25:28, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings, pp. 1-19, 2011, Springer, 978-3-642-22109-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|