BK.bib

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

@comment{{Command line: /usr/bin/bib2bib -ob BK.bib ABBREV.bib BOOKS_JC.bib}}

@preamble{{\newcommand{\noopsort}[1]{}}}

@comment{{==================================================================== }}

@comment{{Predefined journals                           }}

@comment{{==================================================================== }}

@comment{{==================================================================== }}

@comment{{Predefined publishers                          }}

@comment{{==================================================================== }}

@comment{{==================================================================== }}

@comment{{Predefined series                              }}

@comment{{==================================================================== }}

@comment{{==================================================================== }}

@comment{{Predefined conference proceedings                      }}

@comment{{==================================================================== }}

@book{Cortadella04b,
  editor = {Jordi Cortadella and Wolfgang Reisig},
  title = {{Applications and Theory of Petri Nets 2004}},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 3099,
  year = 2004,
  url = {http://www.springer.de/cgi-bin/search_book.pl?isbn=3-540-22236-7}
}

@incollection{Carmona04,
  author = {Josep Carmona and Jordi Cortadella and Victor Khomenko 
              and Alex Yakovlev},
  title = {Synthesis of Asynchronous Hardware from {P}etri Nets},
  booktitle = {Lectures on Concurrency and Petri Nets: Advances in 
                 {P}etri Nets},
  editor = {J. Desel and W. Reisig and G. Rozenberg},
  series = {Lecture Notes in Computer Science},
  volume = 3098,
  publisher = {Springer-Verlag},
  pages = {345--401},
  year = 2004,
  pdf = {files/lcpn04_synth.pdf}
}

@book{Cortadella02a,
  editor = {Jordi Cortadella and Alexandre Yakovlev and Grzegorz Rozenberg},
  title = {{Advances in Concurrency and Hardware Design}},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 2549,
  month = nov,
  year = 2002,
  url = {http://www.springer.de/cgi-bin/search_book.pl?isbn=3-540-00199-9}
}

@incollection{Carmona02c,
  author = {Josep Carmona and Jordi Cortadella and Enric Pastor},
  title = {Synthesis of Reactive Systems: Application to Asynchronous
              Circuit Design},
  booktitle = {Advances in Concurrency and Hardware Design},
  editor = {J. Cortadella and A. Yakovlev and G. Rozenberg},
  series = {Lecture Notes in Computer Science},
  volume = 2549,
  year = 2002,
  pages = {108--151},
  publisher = {Springer-Verlag},
  pdf = {files/achd02.pdf}
}

@book{Cortadella02,
  author = {Jordi Cortadella and Michael Kishinevsky and Alex Kondratyev
             and Luciano Lavagno and Alexandre Yakovlev},
  title = {Logic synthesis of asynchronous controllers and interfaces},
  series = {Advanced Microelectronics},
  year = 2002,
  publisher = {Springer-Verlag},
  url = {http://www.springer.de/cgi-bin/search_book.pl?isbn=3-540-43152-7}
}

@incollection{Sanchez95a,
  author = {Ferm\'{\i}n S\'anchez and Jordi Cortadella},
  title = {Resource-constrained software pipelining for high-level
               synthesis of DSP systems},
  booktitle = {Algorithms and Parallel {VLSI} Architectures {III}},
  editor = {M. Moonen and F. Catthoor},
  year = 1995,
  publisher = {Elsevier Science Publishers}
}

@incollection{Cortadella87a,
  author = {Jordi Cortadella and Jos\'e M. Llaber\'{\i}a and Mateo Valero},
  title = {Arquitecturas orientadas a lenguajes basados en la l\'ogica},
  booktitle = {Inteligencia Artificial},
  chapter = 21,
  pages = {233-243},
  year = 1987,
  publisher = {Ed. Marcombo}
}

@phdthesis{Cortadella87phd,
  author = {Jordi Cortadella},
  title = {Mechanisms for the efficient execution of branches in RISC
    architecture},
  note = {(In Spanish)},
  school = {Universitat Polit\`ecnica de Catalunya},
  year = 1987
}

This file was generated by bibtex2html 1.94.