BK.bib

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

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

@comment{{"\newcommand\noopsort[1]"}}

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

@comment{{Predefined journals                           }}

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

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

@comment{{Predefined publishers                          }}

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

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

@comment{{Predefined series                              }}

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

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

@comment{{Predefined conference proceedings                      }}

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

@incollection{Cortadella2019PN,
  author = {Jordi Cortadella},
  title = {From Nets to Circuits and from Circuits to Nets},
  booktitle = {Carl Adam Petri: Ideas, Personality, Impact},
  editor = {Wolfgang Reisig and Grzegorz Rozenberg},
  publisher = {Springer},
  isbn = {978-3-319-96153-8},
  year = 2019,
  pages = {227-232},
  doi = {https://doi.org/10.1007/978-3-319-96154-5},
  url = {https://link.springer.com/book/10.1007/978-3-319-96154-5},
  pdf = {files/Petri_Cortadella.pdf}
}

@incollection{Cortadella2016STA,
  author = {Jordi Cortadella and Sachin S. Sapatnekar},
  title = {Static Timing Analysis},
  booktitle = {Electronic Design Automation for Integrated Circuits Handbook, Second Edition},
  editor = {Luciano Lavagno and Igor L. Markov and Grant E. Martin and Louis K. Scheffer},
  publisher = {CRC Presss},
  isbn = {9781482254501},
  year = 2016,
  url = {https://www.crcpress.com/Electronic-Design-Automation-for-Integrated-Circuits-Handbook-Second-Edition/Lavagno-Markov-Martin-Scheffer/9781482254501}
}

@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.com/computer/theoretical+computer+science/book/978-3-540-22236-1}
}

@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.com/computer/hardware/book/978-3-540-00199-7}
}

@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.com/engineering/electronics/book/978-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}
    architectures},
  note = {(In Spanish)},
  school = {Universitat Polit\`ecnica de Catalunya},
  year = 1987
}

This file was generated by bibtex2html 1.99.