I agree that this site is using cookies. You can find further informations here.
X
Baldan, Barbara
4  results:
Bookchapter (Online) X
Search for persons X
?
1

Bacillus amyloliquefaciens Enhanced Strawberry Plants Defen..:

, In: Advances in Intelligent Systems and Computing; Advanced Intelligent Systems for Sustainable Development (AI2SD'2018),
Asraoui, Meryem ; Zanella, Filipo ; Marcato, Stefania... - p. 46-53 , 2019
Link: https://doi.org/10.1007/..
 
?
2

A Monoidal View on Fixpoint Checks:

, In: Graph Transformation; Lecture Notes in Computer Science,
Baldan, Paolo ; Eggert, Richard ; König, Barbara.. - p. 3-21 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Fixpoint Theory – Upside Down:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Baldan, Paolo ; Eggert, Richard ; König, Barbara. - p. 62-81 , 2021
Link: https://doi.org/10.1007/..
 
?
4

A logic for analyzing abstractions of graph transformation ..:

, In: Proceedings of the 10th international conference on Static analysis,
Baldan, Paolo ; König, Barbara ; König, Bernhard - p. 255-272 , 2003
Link: https://dl.acm.org/doi/1..
 
1-4