@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: bib2bib -ob TUTORIALS.bib ABBREV.bib INVITED_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{{==================================================================== }}
@comment{{==================================================================== }}
@comment{{Tutorials and invited lectures }}
@comment{{==================================================================== }}
@unpublished{BoolRel2019, author = {J. Cortadella}, title = {{Extracting Functions from Boolean Relations}}, note = {Presented at the workshop ``\emph{Quo Vadis, Logic Synthesis?}'', Design Automation and Test in Europe (DATE), Firenze (Italy)}, month = {29~} # mar, year = 2019, ppt = {files/BoolRel_DATE2019.pptx} }
@unpublished{Structure2017, author = {J. Cortadella}, title = {{Making Petri nets friendlier to engineers}}, note = {Workshop on Structure Theory of Petri Nets (STRUCTURE 2017), Zaragoza (Spain)}, month = {26~} # jun, year = 2017, ppt = {files/FriendlyPetriNets_Structure2017.pptx} }
@unpublished{emicro2016, author = {J. Cortadella}, title = {{Synthesis of asynchronous controllers from Signal Transition Graphs}}, note = {Lecture at EMICRO/SIM 2016 (18th South Microelectronics School / $31^{st}$ South Symposium on Microelectronics), Porto Alegre (Brasil)}, month = {11-14~} # may, year = 2016, ppt = {files/SynthesisSTG_EMicro2016.ppt} }
@unpublished{DATE_Tutorial2016, author = {J. Cortadella}, title = {{Adaptive Clocking}}, note = {Tutorial on Modern Clocking Strategies, presented at the conference \emph{Design Automation and Test in Europe} (DATE)}, month = {14~} # mar, year = 2016, ppt = {files/AdvancedClocking_DATE2016.pptx}, pdf = {files/ModernClockingStrategies_DATE2016.pdf} }
@unpublished{EPFL_Workshop2015, author = {J. Cortadella and M. Galceran-Oms and M. Kishinevsky}, title = {{Automatic Pipelining During Sequential Logic Synthesis}}, note = {EPFL Workshop on Logic Synthesis \& Verification}, month = {10-11~} # dec, year = 2015, ppt = {files/AutomaticPipelining_EPFLDec2015.pptx}, url = {http://si.epfl.ch/page-122505-en.html} }
@unpublished{CollegeDeFrance_Elastic2013, author = {J. Cortadella}, title = {Elastic circuits, blending synchronous and asynchronous technologies}, note = {Seminar at the Coll{\`{e}}ge de France within the course on Algorithms, Machines and Languages organized by G{\'{e}}rard Berry}, year = 2013, month = {21~} # may, url = {http://www.college-de-france.fr/site/en-gerard-berry/seminar-2013-05-21-11h00.htm}, mov = {files/CollegeDeFrance_ElasticCircuits_May2013.mov} }
@unpublished{CollegeDeFrance_Async2013, author = {J. Cortadella}, title = {Asynchronous circuits}, note = {Seminar at the Coll{\`{e}}ge de France within the course on Algorithms, Machines and Languages organized by G{\'{e}}rard Berry}, year = 2013, month = {14~} # may, url = {http://www.college-de-france.fr/site/en-gerard-berry/seminar-2013-05-14-11h00.htm}, mov = {files/CollegeDeFrance_AsyncCircuits_May2013.mov} }
@unpublished{tut_emicro2013, author = {J. Cortadella}, title = {Elastic Circuits}, note = {Advanced course at EMICRO/SIM 2013 (XV Escola de Microeletr\^{o}nica Sul / $28^{o}$ Simp\'{o}sio Sul de Microeletr\^{o}nica), Porto Alegre (Brasil)}, month = {29~} # apr # {-3~} # may, year = 2013, ppt = {files/ElasticCircuits_EMicro2013.pptx} }
@unpublished{memocode2010_invited, author = {J. Cortadella and M. Galceran-Oms and M. Kishinevsky}, title = {Elastic Systems}, note = {Invited lecture at the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), Grenoble (France)}, month = jul, year = 2010, ppt = {files/MEMOCODE_2010.pptx}, pdf = {files/memocode2010.pdf} }
@unpublished{tut_atpn07, author = {J. Cortadella and M. Kishinevsky}, title = {Elasticity and {Petri} nets}, note = {Advanced tutorial at the 28th Int. Conf. on Application and Theory of Petri Nets, Siedlce, Poland}, month = jun, year = 2007, ppt5 = {files/ATPN07_I.ppt}, ppt4 = {files/ATPN07_II.ppt}, ppt3 = {files/ATPN07_III.ppt}, ppt2 = {files/ATPN07_IV.ppt}, ppt1 = {files/ATPN07_V-VII.ppt}, pdf = {files/ATPN07_tutorial.pdf} }
@inproceedings{KishinevskyCGKO06, author = {Michael Kishinevsky and Jordi Cortadella and Bill Grundmann and Sava Krstic and John O'Leary}, title = {Synchronous Elastic Circuits.}, booktitle = {Computer Science - Theory and Applications, First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, editor = {Dima Grigoriev and John Harrison and Edward A. Hirsch}, volume = {3967}, year = {2006}, pages = {3-5}, pdf = {files/self_csr06.pdf} }
@unpublished{tut_vlsi04, author = {P.A. Beerel and J. Cortadella and A. Kondratyev}, title = {Bridging the gap between asynchronous design and designers}, note = {Tutorial at the VLSI Design Conference, Mumbai, India}, year = 2004, month = jan, ppt5 = {files/vlsi04_tut1.ppt}, ppt4 = {files/vlsi04_tut2.ppt}, ppt3 = {files/vlsi04_tut3.ppt}, ppt2 = {files/vlsi04_tut4.ppt}, ppt1 = {files/vlsi04_tut5.ppt}, pdf = {files/vlsi04_tut_refs.pdf} }
@unpublished{tut_summer_acid02, author = {J. Cortadella and A. Yakovlev}, title = {Petrify}, note = {Hands-on tutorial at the Summer School on Asynchronous Circuit Design, (organized by the ACiD-WG, Grenoble)}, year = 2002, month = jul, tgz = {files/grenoble-2002-petrify.tgz} }
@unpublished{summer_acid02, author = {J. Cortadella and M. Kishinevsky and A. Kondratyev and L. Lavagno and A. Yakovlev}, title = {Hazard free logic synthesis and technology mapping}, note = {Lecture at the Summer School on Asynchronous Circuit Design, (organized by the ACiD-WG, Grenoble)}, month = jul, year = 2002, ppt = {files/hazard_grenoble02.ppt} }
@unpublished{lecture_int02, author = {J. Cortadella}, title = {Synthesis of Embedded Software for reactive Systems}, note = {Invited lecture at the Int. Workshop on Integration of Specification Techniques for Applications in Engineering (Satellite event of ETAPS 2002)}, month = apr, year = 2002, ppt = {files/int02.ppt} }
@unpublished{tut_vlsi02, author = {J. Cortadella and A. Yakovlev and J. Garside}, title = {Logic Design of Asynchronous Circuits}, note = {Tutorial at the ASP-DAC/VLSI Design Conference, Bangalore, India}, year = 2002, month = jan, ppt4 = {files/vlsi02_tut1.ppt}, ppt3 = {files/vlsi02_tut2.ppt}, ppt2 = {files/vlsi02_tut3.ppt}, ppt1 = {files/vlsi02_tut4.ppt}, ps = {files/vlsi02_tut_ref.ps.gz} }
@unpublished{talk_aint00, author = {J. Cortadella}, title = {Tools for automatic synthesis and verification of asynchronous interfaces}, note = {Invited lecture at the workshop ``Asynchronous Interfaces: Tools, techniques, and implementations'' (AINT'2000), Delft, The Netherlands}, month = jul, year = 2000, ppt = {files/aint00.ppt} }
@unpublished{Cortadella_invited_pn00, author = {Jordi Cortadella and Michael Kishinevsky and Alex Kondratyev and Luciano Lavagno and Alexandre Yakovlev}, title = {Hardware and {P}etri nets: Application to asynchronous circuit design}, note = {Invited lecture at the 21st Int. Conf. on Application and Theory of Petri Nets, Aarhus, Denmark}, month = jun, year = 2000, ppt = {files/petrify_icatpn00.ppt}, ps = {files/atpn00_hwpn.ps.gz} }
@unpublished{tut_icatpn00, author = {J. Cortadella and L. Lavagno and A. Yakovlev}, title = {Hardware Design and {P}etri Nets}, note = {Advanced tutorial at the 21st Int. Conf. on Application and Theory of Petri Nets, Aarhus, Denmark}, month = jun, year = 2000, ppt5 = {files/atpn_tut1.ppt}, ppt4 = {files/atpn_tut2.ppt}, ppt3 = {files/atpn_tut3.ppt}, ppt2 = {files/atpn_tut4.ppt}, ppt1 = {files/atpn_tut5.ppt} }
@unpublished{tut_async00, author = {J. Cortadella and M. Kishinevsky and A. Kondratyev and L. Lavagno}, title = {Introduction to asynchronous circuit design: specification and synthesis}, note = {Tutorial at the 6th Int. Symp. on Advanced Research in Asynchronous Circuits and Systems, Eilat, Israel}, year = 2000, month = apr, ppt4 = {files/async00_tut1.ppt}, ppt3 = {files/async00_tut2.ppt}, ppt2 = {files/async00_tut3.ppt}, ppt1 = {files/async00_tut4.ppt} }
@unpublished{tut_acid99, author = {J. Cortadella}, title = {{STG}-based synthesis and Petrify}, note = {Tutorial at the 3rd ACiD-WG Workshop, Newcastle upon Tyne, UK}, year = 1999, month = jan, ppt = {files/acid99.ppt} }
@unpublished{tut_dac98, author = {M. Kishinevsky and J. Cortadella and A. Kondratyev}, title = {Asynchronous Interface Specification, Analysis and Synthesis}, note = {Embedded tutorial at the Design Automation Conference, San Francisco, USA}, year = 1998, month = jun, ppt = {files/dac98_tut.ppt} }
@unpublished{lecture_hdpn, author = {J. Cortadella}, title = {Asynchronous circuit verification and synthesis with {P}etri nets}, note = {Invited lecture at the Workshop on Hardware Design and Petri Nets , Lisbon}, month = jun, year = 1998, ppt = {files/hwpn98.ppt} }
@unpublished{csd_invited, author = {J. Cortadella}, title = {Combining structural and symbolic methods for the verification of concurrent systems}, note = {Invited lecture at the International Conference on Application of Concurrency to System Design (CSD'98), Aizu-Wakamatsu, Japan}, month = mar, year = 1998, ps = {files/csd98_slides.ps.gz}, pdf = {files/csd98_verif.pdf} }
@unpublished{summer_school97, author = {J. Cortadella and M. Kishinevsky}, title = {Synthesis of control circuits from {STG} specifications}, note = {Course in the Summer School on Asynchronous Circuit Design (organized by the ACiD-WG, ESPRIT 21949), Lyngby, Denmark}, year = 1997, month = aug, ps1 = {files/acid_summer97.ps.gz}, ps2 = {files/acid_summer97_prac.ps.gz} }
@unpublished{panel96, author = {J. Cortadella and E. Macii and G. De Micheli and M. Pedram and J. Rabaey and K. van Berkel}, title = {What's Hot in Low Power Design ?}, note = {Participation at the panel session at the European Design Automation Conference (EURO-DAC), Geneve, Switzerland}, month = sep, year = 1996 }
@unpublished{vlsi88, author = {J. Cortadella}, title = {Executing Branch Instructions with Zero Time Delay in a {RISC}}, note = {Invited lecture at the IEEE Computer Society Workshop on VLSI, Clearwater Beach, USA}, year = 1988, month = feb }
@unpublished{dl87, author = {J. Cortadella}, title = {Arquitecturas {RISC}}, note = {Invited lecture at the IV Jornadas de Dise\~no L\'ogico, Barcelona}, year = 1987 }
This file was generated by bibtex2html 1.99.