Travelled to:
3 × USA
Collaborated with:
S.Asa ∅ V.Sipos X.Xu
Talks about:
semant (2) time (2) real (2) architectur (1) statechart (1) construct (1) hierarch (1) program (1) presenc (1) variat (1)
Person: Subash Shankar
DBLP: Shankar:Subash
Contributed to:
Wrote 3 papers:
- ASE-2005-ShankarASX #realtime #reasoning #semantics
- Reasoning about real-time statecharts in the presence of semantic variations (SS, SA, VS, XX), pp. 243–252.
- UML-2003-ShankarA #realtime #semantics #uml
- Formal Semantics of UML with Real-Time Constructs (SS, SA), pp. 60–75.
- JICSCP-1988-Shankar88 #architecture #logic programming #memory management #unification
- A Hierarchical Associative Memory Architecture for Logic Programming Unification (SS), pp. 1428–1447.