Gheorghe Stefanescu

Identifiers

• name variant Gheorghe Stefanescu 0.60 · backfill

Papers (6)

1. Adaptive virtual organisms: A compositional model for complex hardware-software binding cs.DC · 2018 · author #2
2. Self-assembling interactive modules: A research programme cs.FL · 2015 · author #1
3. On contour representation of two dimensional patterns cs.PL · 2014 · author #2
4. Undecidability Results for Finite Interactive Systems cs.FL · 2009 · author #3
5. New parallel programming language design: a bridge between brain models and multi-core/many-core computers? cs.PL · 2008 · author #1
6. A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices cs.PL · 2008 · author #2

Mentions

• 1506.05499 #1 · backfill · confidence 0.70 Gheorghe Stefanescu
• 1405.3791 #2 · backfill · confidence 0.70 Gheorghe Stefanescu
• 1001.0143 #3 · backfill · confidence 0.70 Gheorghe Stefanescu
• 0812.2926 #1 · backfill · confidence 0.70 Gheorghe Stefanescu
• 0810.3332 #2 · backfill · confidence 0.70 Gheorghe Stefanescu

Frequent Coauthors

• Alexandru Popa 1 shared papers
• Alexandru Sofronia 1 shared papers
• Camelia Chira 1 shared papers
• Cezara Dragoi 1 shared papers
• Ciprian Ionut Paduraru 1 shared papers
• Iulia Teodora Banu-Demergian 1 shared papers