@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.