Items where Author, Editor or other role is "Baramashetru, Chinmayi"

Up a level

Export as ASCII CitationBibTeXCSV For ExcelDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSMultiline CSVMultiline CSV (Staff)Object IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager

Atom RSS 1.0 RSS 2.0

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: 2026 | 2025

Number of items: 2.

2026

Baramashetru, Chinmayi Prabhu, Paja, Elda, Kamburjan, Eduard (2026) Formal Specification and Boundary Objects: A Two-Layered Approach to GDPR Specification. In: 13th International Symposium, International Symposium on Leveraging Applications of Formal Methods. Lecture Notes in Computer Science Springer ISBN 978-3-032-40117-5. E-ISBN 978-3-032-40118-2. (doi:10.1007/978-3-032-40118-2_3) (KAR id:117322)

2025

Baramashetru, Chinmayi, Orchard, Dominic (2025) Towards modelling and verification of coupler behaviour in climate models. In: PROPL '25: Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet. Association for Computing Machinery E-ISBN 979-8-4007-2161-8. (doi:10.1145/3759536.3763801) (KAR id:111663)

This list was generated on Thu Nov 5 19:48:41 2026 GMT.