E-LIB Suche - Ergebnisse für: Andrei, Oana

1

The Development of Students' Professional Competencies on a..:

, In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1,

Barr, Matthew ; Andrei, Oana ; Morrison, Alistair. - p. 81-87 , 2024

Link: https://dl.acm.org/doi/1..

2

On Students' Experiences with Algorithm Tracing using Pair ..:

, In: Proceedings of the 2023 ACM Conference on International Computing Education Research - Volume 2,

Andrei, Oana ; Nabi, Syed Waqar - p. 43 ff. , 2023

Link: https://dl.acm.org/doi/1..

3

Widening Access to Higher Education through Degree-level Ap..:

, In: 2023 IEEE Frontiers in Education Conference (FIE),

Barr, Matthew ; Andrei, Oana ; Kallia, Maria - p. 1-8 , 2023

Link: https://doi.org/10.1109/..

4

A Practice Enquiry Design to Investigate How Pair Programmi..:

, In: Proceedings of the 2022 Conference on United Kingdom & Ireland Computing Education Research,

Andrei, Oana - p. 1 ff. , 2022

Link: https://dl.acm.org/doi/1..

5

Interpreting Models of Social Group Interactions in Meeting..:

, In: Proceedings of the Group Interaction Frontiers in Technology,

Andrei, Oana ; Murray, Gabriel - p. 1-7 , 2018

Link: https://dl.acm.org/doi/1..

6

Data-driven modelling and probabilistic analysis of interac..:

Andrei, Oana ; Calder, Muffy
Journal of Logical and Algebraic Methods in Programming. 100 (2018) - p. 195-214 , 2018

Link: https://doi.org/10.1016/..

7

Runtime Verification for Biochemical Programs:

Andrei, Oana ; Kirchner, Hélène
Electronic Notes in Theoretical Computer Science. 297 (2013) - p. 27-46 , 2013

Link: https://doi.org/10.1016/..

8

From species to pathway and tissue as process:

, In: Proceedings of the 8th International Conference on Computational Methods in Systems Biology,

Calder, Muffy ; Andrei, Oana ; Degasperi, Andrea. - p. 1-2 , 2010

Link: https://dl.acm.org/doi/1..

9

A Model and Analysis of the AKAP Scaffold:

Andrei, Oana ; Calder, Muffy
Electronic Notes in Theoretical Computer Science. 268 (2010) - p. 3-15 , 2010

Link: https://doi.org/10.1016/..

10

Patterns for Maude Metalanguage Applications:

Goriac, Eugen-Ioan ; Caltais, Georgiana ; Lucanu, Dorel..
Electronic Notes in Theoretical Computer Science. 238 (2009) 3 - p. 121-138 , 2009

Link: https://doi.org/10.1016/..

11

Strategy-Based Proof Calculus for Membrane Systems:

Andrei, Oana ; Lucanu, Dorel
Electronic Notes in Theoretical Computer Science. 238 (2009) 3 - p. 23-43 , 2009

Link: https://doi.org/10.1016/..

12

A Port Graph Calculus for Autonomic Computing and Invariant..:

Andrei, Oana ; Kirchner, Hélène
Electronic Notes in Theoretical Computer Science. 253 (2009) 4 - p. 17-38 , 2009

Link: https://doi.org/10.1016/..

13

A Rewriting Calculus for Multigraphs with Ports:

Andrei, Oana ; Kirchner, Hélène
Electronic Notes in Theoretical Computer Science. 219 (2008) - p. 67-82 , 2008

Link: https://doi.org/10.1016/..

14

A rewriting logic framework for operational semantics of me..:

Andrei, Oana ; Ciobanu, Gabriel ; Lucanu, Dorel
Theoretical Computer Science. 373 (2007) 3 - p. 163-181 , 2007

Link: https://doi.org/10.1016/..

15

Operational Semantics and Rewriting Logic in Membrane Compu..:

Andrei, Oana ; Lucanu, Dorel ; Ciobanu, Gabriel
Electronic Notes in Theoretical Computer Science. 156 (2006) 1 - p. 57-78 , 2006

Link: https://doi.org/10.1016/..