Gheorghe Stefanescu
According to our database1,
Gheorghe Stefanescu
authored at least 51 papers
between 1986 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Adaptive Virtual Organisms: A Compositional Model for Complex Hardware-software Binding<sup>, </sup>.
Fundam. Informaticae, 2020
2019
Adaptive virtual organisms: A compositional model for complex hardware-software binding.
CoRR, 2019
2017
Multi-Level Control Mechanisms for Non-Structured and Structured 2-Dimensional Self-Assembling.
Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017
2016
Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016
2015
A Unifying Framework for Interactive Programming and Applications to Communicating Peer-to-Peer Systems.
Proceedings of the Embracing Global Computing in Emerging Economies - First Workshop, 2015
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015
2014
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014
2013
A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming.
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013
2012
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
2010
2009
J. Log. Algebraic Methods Program., 2009
2008
New parallel programming language design: a bridge between brain models and multi-core/many-core computers?
CoRR, 2008
A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices
CoRR, 2008
Proceedings of the SYNASC 2008, 2008
Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008
Proceedings of the Membrane Computing - 9th International Workshop, 2008
2007
J. Univers. Comput. Sci., 2007
Combinatorics and Related Areas A Collection of Papers in Honour of the 65th Birthday of Ioan Tomescu.
J. Univers. Comput. Sci., 2007
Proceedings of the Workshop on the Foundations of Interactive Computation, 2007
2006
2005
2001
Proceedings of the Relational Methods in Computer Science, 2001
2000
Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift.
J. Univers. Comput. Sci., 2000
Network algebra.
Discrete mathematics and theoretical computer science, Springer, ISBN: 978-1-85233-195-5, 2000
1999
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999
1998
Log. J. IGPL, 1998
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998
On space-time duality in computing: Imperative programming versus wave computation.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998
1997
Axiomatizing Mixed Relations.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997
1996
Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation.
Fundam. Informaticae, 1996
1995
Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995
1994
Discret. Math., 1994
Proceedings of the Mathematical Aspects of Natural and Formal Languages, 1994
1993
Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993
1992
A General Result on Abstract Flowchart Schemes with Applications to the Study of Accessibility, Reduction and Minimization.
Theor. Comput. Sci., 1992
1991
1990
1987
1986