my-publications-Others.bib

@comment{{This file has been generated by bib2bib 1.97}}

@comment{{Command line: bib2bib -c '$type = "BOOKLET"' -ob my-publications-Others.bib my-publications.bib}}

@booklet{HS09ora,
  address = {Lyngby, Denmark},
  author = {Hallstein A. Hansen and Gerardo Schneider},
  howpublished = {NWPT'09},
  month = {October},
  note = {Extended Abstract},
  pdf = {nwpt09.pdf},
  title = {{On the reachability analysis of planar, non-linear autonomous systems using hybrid systems}},
  year = {2009}
}

@booklet{FPS08cad,
  address = {Tallinn, Estonia},
  author = {Stephen Fenech and Gordon J. Pace and Gerardo Schneider},
  howpublished = {NWPT'08},
  month = {November 19--21},
  note = {Extended Abstract},
  pdf = {nwpt08.pdf},
  title = {{Conflict Analysis of Deontic Contracts}},
  year = {2008}
}

@booklet{GSV03nsi,
  address = {Turku, Finland},
  author = {Pablo Giambiagi and Gerardo Schneider and Frank D. Valencia},
  howpublished = {NWPT'2003},
  month = {October 29--31},
  note = {Extended Abstract},
  ps = {nwpt03_ccs.ps.gz},
  title = {A note on scope and infinite behaviour in {CCS}-like calculi},
  year = {2003}
}

@booklet{PS06iph,
  address = {Malta},
  author = {Gordon Pace and Gerardo Schneider},
  howpublished = {CSAW'06},
  pdf = {csaw2006.pdf},
  title = {Improving Polygonal Hybrid Systems Reachability Analysis through the use of the Phase Portrait},
  year = {2006}
}

@booklet{PS07tmc,
  address = {Oslo, Norway},
  author = {Cristian Prisacariu and Gerardo Schneider},
  howpublished = {{NWPT'07/FLACOS'07 Workshop Proceedings}},
  month = {October 9--10},
  note = {Extended Abstract},
  pages = {104-106},
  pdf = {flacos2007.pdf},
  title = {Towards Model Checking Contracts},
  year = {2007}
}

@booklet{SA96ill,
  address = {Porto alegre, Brazil},
  author = {Gerardo Schneider and Rafael Accorsi},
  howpublished = {Primeiro Workshop sobre M\'etodos Formais e Qualidade de Software},
  month = {July},
  note = {(In Portuguese)},
  pages = {15--42},
  title = {Introduction to linear logic},
  year = {1996}
}

@booklet{SR96spc,
  address = {Bogot\'a, Colombia},
  author = {Gerardo Schneider and Ant\^onio C. da Rocha Costa},
  howpublished = {CLEI'96},
  month = {June},
  pages = {276--287},
  title = {Sequential and parallel computation strategies on coherence spaces},
  year = {1996}
}

@booklet{SR97cse,
  address = {Brasilia, Brazil},
  author = {Gerardo Schneider and Ant\^onio C. da Rocha Costa},
  howpublished = {XXIV SEMISH},
  month = {August},
  pages = {423--434},
  title = {Coherence space as event structure and concrete data structure},
  year = {1997}
}

@booklet{ST95fpt,
  address = {Curitiba, Brazil},
  author = {Gerardo Schneider and Laira V. Toscani},
  howpublished = {Anais do CNMAC},
  month = {August},
  note = {(Extended abstract, in Portuguese)},
  pages = {150--154},
  title = {Fixed point theory in Computer Science},
  year = {1995}
}

@booklet{schneider03cik,
  address = {Turku, Finland},
  author = {Gerardo Schneider},
  howpublished = {NWPT'2003},
  month = {October 29--31},
  note = {Extended Abstract},
  ps = {nwpt03_ik.ps.gz},
  title = {Computing invariance kernels of polygonal hybrid systems},
  year = {2003}
}

@booklet{schneider04mue,
  address = {Uppsala, Sweden},
  author = {Gerardo Schneider},
  howpublished = {NWPT'2004},
  month = {October 06--08},
  note = {Extended Abstract},
  ps = {nwpt04.ps.gz},
  title = {Memory usage estimation for Java cards},
  year = {2004}
}

This file was generated by bibtex2html 1.97.