Ferreira, Francisco
~ 15000  results:
Search for persons X
?
2

The Concurrent Calculi Formalisation Benchmark:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
 
?
6

Oven: Safe and Live Communication Protocols in Scala, using..:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,
Ferreira, Francisco ; Jongmans, Sung-Shik - p. 1511-1514 , 2023
 
?
8

Towards a Catalog of Heuristics for the Design of Systems-o..:

, In: Proceedings of the XIX Brazilian Symposium on Information Systems,
 
?
11

Towards Sustainable Seaweed Production - Optimising the Cul..:

, In: Proceedings of the 2nd International Conference on Water Energy Food and Sustainability (ICoWEFS 2022),
 
?
15

Orthogonal cutting of Wire and Arc Additive Manufactured pa..:

Fonseca, Pedro P. ; Vidal, Catarina ; Ferreira, Francisco...
The International Journal of Advanced Manufacturing Technology.  119 (2022)  7-8 - p. 4439-4459 , 2022
 
1-15