Therrezinha Fernandes

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

3 EE Therrezinha Fernandes: A Kleene Algebra Framework for Data Flow Analysis. ASWEC 2007: 201-210

2 EE Therrezinha Fernandes, Jules Desharnais: Describing data flow analysis techniques with Kleene algebra. Sci. Comput. Program. 65(2): 173-194 (2007)

2004

1 EE Therrezinha Fernandes, Jules Desharnais: Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. MPC 2004: 110-128

2007
3	EE	Therrezinha Fernandes: A Kleene Algebra Framework for Data Flow Analysis. ASWEC 2007: 201-210
2	EE	Therrezinha Fernandes, Jules Desharnais: Describing data flow analysis techniques with Kleene algebra. Sci. Comput. Program. 65(2): 173-194 (2007)
2004
1	EE	Therrezinha Fernandes, Jules Desharnais: Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. MPC 2004: 110-128

Coauthor Index

1 Jules Desharnais [1] [2]