Personensuche
X
?
Proceedings of the 20th International Conference on Predictive Models and Data Analytics in Software Engineering ,
1
A Curated Solidity Smart Contracts Repository of Metrics an..:
, In:
?
Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering ,
2
Sustainability in Blockchain Development: A BERT-Based Anal..:
, In:
?
Computational Science – ICCS 2024; Lecture Notes in Computer Science ,
3
A Working Week Simulation Approach to Forecast Personal Wel..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
6
Kmclib: Automated Inference and Verification of Session Typ..:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
7
Implementing Multiparty Session Types in Rust:
, In:
?
Proceedings of the Evaluation and Assessment in Software Engineering ,
8
Using the Lexicon from Source Code to Determine Application..:
, In:
?
Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science ,
11
Featherweight Scribble:
, In:
?
Proceedings of the 27th International Conference on Compiler Construction ,
12
A session type provider: compile-time API generation of dis..:
, In:
?
Proceedings of the 26th International Conference on Compiler Construction ,
13