Ioana Cristescu

1. How Reversibility Can Solve Traditional Questions: The Example of\n Hereditary History-Preserving Bisimulation
   2020/05/14 by Clément Aubert, Ioana Cristescu, Aubert, Clément +1 · 3 citations
   Computer Science · Engineering · #Advanced Memory and Neural Computing #Distributed #Embedded Systems Design Techniques #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Logic (math.LO) #Logic in Computer Science (cs.LO) #Parallel #Parallel Computing and Optimization Techniques #and Cluster Computing (cs.DC)
2. Contextual equivalences in configuration structures and reversibility
   2015/11/18 by Clément Aubert, Aubert, Clément, Ioana Cristescu +1 · 1 citation
   Arts and Humanities · Computer Science · Mathematics · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Syntax, Semantics, Linguistic Variation #cs.CC #cs.LO #math.LO
3. GenAI for Systems: Recurring Challenges and Design Principles from Software to Silicon
   2026/02/16 by Arya Tschand, Chenyu Wang, Zishen Wan +21 · 1 voice
   Computer Science · #cs.SE #cs.AI