T. B. Dinesh

28 papers A 1Journal 7Unranked 20
YearRankTypeTitle / Venue / Authors
2025 — conf
Safeguarding Plurality: The Digital Preservation of Diverse Worldviews.
BDA (Astronomy, Science, and Engineering)
Sharath Srivatsa, Aparna M, Srinath Srinivasa, T. B. Dinesh
2024 — conf
Collective Infrastructural Speculations: A Situated Understanding of Pasts, Presents & Futures of Resilient Community Networks.
PDC (1)
Naveen Bagalkot, Siddhant Shinde, Nervo Verdezoto, Ganief Manuel, Muni Ramakka, Ndinelao Iitumba, Deysi Helen Ortega, T. B. Dinesh, Melissa Densmore
2023 — conf
AI-Based Assistance for Management of Oral Community Knowledge in Low-Resource and Colloquial Kannada Language.
BDA (Astronomy, Science, and Engineering)
Aparna M, Sharath Srivatsa, Sai Madhavan G, T. B. Dinesh, Srinath Srinivasa
2023 — conf
Reconsidering Network Management Interfaces for Communities.
AfriCHI
Ndinelao Iitumba, Siddhant Shinde, Deysi Helen Ortega, Naveen Bagalkot, Nervo Verdezoto, Ganief Manuel, T. B. Dinesh, Melissa Densmore
2018 J jnl
Renarration for All.
CoRR
T. B. Dinesh, Suzan Üsküdarli
2014 — conf
Overcoming the new accessibility challenges using the sweet framework.
W4A
Gollapudi V. R. J. Sai Prasad, T. B. Dinesh, Venkatesh Choppella
2013 — conf
An Intellectual Journey in History: Preserving Indian Cultural Heritage.
ICIAP Workshops
Anupama Mallik, Santanu Chaudhury, T. B. Dinesh, Chaluvaraju
2012 — conf
Alipi: a framework for re-narrating web pages.
W4A
T. B. Dinesh, Susan M. Üsküdarli, Subramanya Sastry, Deepti Aggarwal, Venkatesh Choppella
2012 — conf
Alipi: tools for a re-narration web.
W4A
T. B. Dinesh, Venkatesh Choppella
2012 — conf
Archiving Mural Paintings Using an Ontology Based Approach.
ACCV Workshops (2)
Anupama Mallik, Santanu Chaudhury, Shipra Madan, T. B. Dinesh, Uma V. Chandru
2012 — conf
User Generated Human Computation Applications.
SocialCom/PASSAT
Nadin Kökciyan, Susan M. Üsküdarli, T. B. Dinesh
2007 — conf
Community Software Applications.
HOIT
T. B. Dinesh, Susan M. Üsküdarli
2001 J jnl
A slicing-based approach for locating type errors.
ACM Trans. Softw. Eng. Methodol.
Frank Tip, T. B. Dinesh
2000 J jnl
An algebraic programming style for numerical software and its optimization.
Sci. Program.
T. B. Dinesh, Magne Haveraaen, Jan Heering
1999 J jnl
An Algebraic Programming Style for Numerical Software and its Optimization
CoRR
T. B. Dinesh, Magne Haveraaen, Jan Heering
1998 J jnl
Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation.
ACM Comput. Surv.
John Field, Jan Heering, T. B. Dinesh
1997 — conf
A Slicing-Based Approach for Locating Type Errors.
DSL
T. B. Dinesh, Frank Tip
1997 — conf
Pretty-Printing of Visual Sentences.
VL
T. B. Dinesh, Susan M. Üsküdarli
1997 — conf
Share-Where Maintenance in Visual Algebraic Specifications.
ASIAN
T. B. Dinesh, Susan M. Üsküdarli
1997 J jnl
Toward a Complete Transformational Toolkit for Compilers.
ACM Trans. Program. Lang. Syst.
Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering
1996 A conf
A Complete Transformational Toolkit for Compilers.
ESOP
Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering
1996 — conf
The VAS Formalism in VASE.
VL
Susan M. Üsküdarli, T. B. Dinesh
1995 — conf
Towards a Visual Programming Environment Generator for Algebraic Specifications.
VL
Susan M. Üsküdarli, T. B. Dinesh
1993 — conf
Origin Tracking for Higher-Order Term Rewriting Systems.
HOA
Arie van Deursen, T. B. Dinesh
1993 — conf
The ASF+SDF Meta-environment.
AMAST
Arie van Deursen, T. B. Dinesh, Emma van der Meulen
1993 — conf
Type-Checking Revisited: Modular Error-Handling.
Semantics of Specification Languages
T. B. Dinesh
1992 J jnl
Extending compound assignments for C++.
OOPS Messenger
T. B. Dinesh
1991 — conf
The Combination of Specifications and the Induced Relations in Object Oriented Programs.
AMAST
G. Steve Hirst, T. B. Dinesh