Travelled to:1 × Canada
2 × USA
Collaborated with:M.Kim Y.Xu E.Cerny X.Song O.A.Mohamed K.D.Anon N.Boulerice M.Langevin S.Tahar Z.Zhou
Talks about:spreadsheet (1) expertsheet (1) paradigm (1) multiway (1) tempor (1) system (1) expert (1) design (1) author (1) verif (1)
Person: Francisco Corella
DBLP: Corella:Francisco
Contributed to:
19981996
1996Wrote 3 papers:
- CAV-1998-XuCSCM #first-order #graph #logic #model checking #multi #using
- Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (YX, EC, XS, FC, OAM), pp. 219–231.
- CAV-1996-AnonBCCLSTXZ #design #tool support #verification
- MDG Tools for the Verification of RTL Designs (KDA, NB, EC, FC, ML, XS, ST, YX, ZZ), pp. 433–436.
- SEKE-1996-CorellaK #authoring #named #paradigm #spreadsheet
- Expertsheets: A Spreadsheet Paradigm for Authoring Expert Systems (FC, MK), pp. 25–31.