dblp.uni-trier.dewww.uni-trier.de

Emilia Katz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
4EEEmilia Katz, Shmuel Katz: Modular verification of strongly invasive aspects: summary. FOAL 2009: 7-12
2008
3EEEmilia Katz, Shmuel Katz: Incremental analysis of interference among aspects. FOAL 2008: 29-38
2EEBenny Godlin, Emilia Katz, Johann A. Makowsky: Graph Polynomials: From Recursive Definitions To Subset Expansion Formulas CoRR abs/0812.1364: (2008)
2005
1EEEmilia Katz, Shmuel Katz: Verifying Scenario-Based Aspect Specifications. FM 2005: 432-447

Coauthor Index

1Benny Godlin [2]
2Shmuel Katz [1] [3] [4]
3Johann A. Makowsky (Janos Makowsky) [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)