BibTeX records: Tetsuo Yokoyama

download as .bib file

@article{DBLP:journals/ieicet/GluckY17,
  author    = {Robert Gl{\"{u}}ck and
               Tetsuo Yokoyama},
  title     = {A Minimalist's Reversible While Language},
  journal   = {{IEICE} Transactions},
  volume    = {100-D},
  number    = {5},
  pages     = {1026--1034},
  year      = {2017},
  url       = {http://search.ieice.org/bin/summary.php?id=e100-d_5_1026},
  timestamp = {Wed, 13 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ieicet/GluckY17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/YokoyamaAG16,
  author    = {Tetsuo Yokoyama and
               Holger Bock Axelsen and
               Robert Gl{\"{u}}ck},
  title     = {Fundamentals of reversible flowchart languages},
  journal   = {Theor. Comput. Sci.},
  volume    = {611},
  pages     = {87--115},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.tcs.2015.07.046},
  doi       = {10.1016/j.tcs.2015.07.046},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/YokoyamaAG16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AxelsenY15,
  author    = {Holger Bock Axelsen and
               Tetsuo Yokoyama},
  title     = {Programming Techniques for Reversible Comparison Sorts},
  booktitle = {Programming Languages and Systems - 13th Asian Symposium, {APLAS}
               2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings},
  pages     = {407--426},
  year      = {2015},
  crossref  = {DBLP:conf/aplas/2015},
  url       = {https://doi.org/10.1007/978-3-319-26529-2_22},
  doi       = {10.1007/978-3-319-26529-2_22},
  timestamp = {Fri, 19 May 2017 01:25:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aplas/AxelsenY15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jetc/VosBGMATRY14,
  author    = {Alexis De Vos and
               St{\'{e}}phane Burignat and
               Robert Gl{\"{u}}ck and
               Torben {\AE}gidius Mogensen and
               Holger Bock Axelsen and
               Michael Kirkedal Thomsen and
               Eva Rotenberg and
               Tetsuo Yokoyama},
  title     = {Designing Garbage-Free Reversible Implementations of the Integer Cosine
               Transform},
  journal   = {{JETC}},
  volume    = {11},
  number    = {2},
  pages     = {11:1--11:15},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2629532},
  doi       = {10.1145/2629532},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jetc/VosBGMATRY14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rc/2012,
  editor    = {Robert Gl{\"{u}}ck and
               Tetsuo Yokoyama},
  title     = {Reversible Computation, 4th International Workshop, {RC} 2012, Copenhagen,
               Denmark, July 2-3, 2012. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7581},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36315-3},
  doi       = {10.1007/978-3-642-36315-3},
  isbn      = {978-3-642-36314-6},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rc/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mvl/YokoyamaAG12,
  author    = {Tetsuo Yokoyama and
               Holger Bock Axelsen and
               Robert Gl{\"{u}}ck},
  title     = {Optimizing Reversible Simulation of Injective Functions},
  journal   = {Multiple-Valued Logic and Soft Computing},
  volume    = {18},
  number    = {1},
  pages     = {5--24},
  year      = {2012},
  url       = {http://www.oldcitypublishing.com/MVLSC/MVLSCabstracts/MVLSC18.1abstracts/MVLSCv18n1p5-24Yokoyama.html},
  timestamp = {Mon, 04 Jul 2011 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/mvl/YokoyamaAG12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/YokoyamaAG12,
  author    = {Tetsuo Yokoyama and
               Holger Bock Axelsen and
               Robert Gl{\"{u}}ck},
  title     = {Minimizing Garbage Size by Generating Reversible Simulations},
  booktitle = {Third International Conference on Networking and Computing, {ICNC}
               2012, Okinawa, Japan, December 5-7, 2012},
  pages     = {379--387},
  year      = {2012},
  crossref  = {DBLP:conf/ic-nc/2012},
  url       = {https://doi.org/10.1109/ICNC.2012.73},
  doi       = {10.1109/ICNC.2012.73},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ic-nc/YokoyamaAG12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/rc/YokoyamaAG11,
  author    = {Tetsuo Yokoyama and
               Holger Bock Axelsen and
               Robert Gl{\"{u}}ck},
  title     = {Towards a Reversible Functional Language},
  booktitle = {Reversible Computation - Third International Workshop, {RC} 2011,
               Gent, Belgium, July 4-5, 2011. Revised Papers},
  pages     = {14--29},
  year      = {2011},
  crossref  = {DBLP:conf/rc/2011},
  url       = {https://doi.org/10.1007/978-3-642-29517-1_2},
  doi       = {10.1007/978-3-642-29517-1_2},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rc/YokoyamaAG11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/Yokoyama10,
  author    = {Tetsuo Yokoyama},
  title     = {Reversible Computation and Reversible Programming Languages},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {253},
  number    = {6},
  pages     = {71--81},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.entcs.2010.02.007},
  doi       = {10.1016/j.entcs.2010.02.007},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/Yokoyama10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ieicet/YokoyamaZTT10,
  author    = {Tetsuo Yokoyama and
               Gang Zeng and
               Hiroyuki Tomiyama and
               Hiroaki Takada},
  title     = {Static Task Scheduling Algorithms Based on Greedy Heuristics for Battery-Powered
               {DVS} Systems},
  journal   = {{IEICE} Transactions},
  volume    = {93-D},
  number    = {10},
  pages     = {2737--2746},
  year      = {2010},
  url       = {http://search.ieice.org/bin/summary.php?id=e93-d_10_2737},
  timestamp = {Sat, 04 Dec 2010 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/ieicet/YokoyamaZTT10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/YokoyamaZTT09,
  author    = {Tetsuo Yokoyama and
               Gang Zeng and
               Hiroyuki Tomiyama and
               Hiroaki Takada},
  title     = {Analyzing and optimizing energy efficiency of algorithms on {DVS}
               systems a first step towards algorithmic energy minimization},
  booktitle = {Proceedings of the 14th Asia South Pacific Design Automation Conference,
               {ASP-DAC} 2009, Yokohama, Japan, January 19-22, 2009},
  pages     = {727--732},
  year      = {2009},
  crossref  = {DBLP:conf/aspdac/2009},
  url       = {https://doi.org/10.1109/ASPDAC.2009.4796566},
  doi       = {10.1109/ASPDAC.2009.4796566},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aspdac/YokoyamaZTT09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icess/YokoyamaZTT09,
  author    = {Tetsuo Yokoyama and
               Gang Zeng and
               Hiroyuki Tomiyama and
               Hiroaki Takada},
  title     = {Heuristics for Static Voltage Scheduling Algorithms on Battery-Powered
               {DVS} Systems},
  booktitle = {International Conference on Embedded Software and Systems, {ICESS}
               '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009.},
  pages     = {265--272},
  year      = {2009},
  crossref  = {DBLP:conf/icess/2009},
  url       = {https://doi.org/10.1109/ICESS.2009.19},
  doi       = {10.1109/ICESS.2009.19},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icess/YokoyamaZTT09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ZengYTT09,
  author    = {Gang Zeng and
               Tetsuo Yokoyama and
               Hiroyuki Tomiyama and
               Hiroaki Takada},
  title     = {Practical Energy-Aware Scheduling for Real-Time Multiprocessor Systems},
  booktitle = {15th {IEEE} International Conference on Embedded and Real-Time Computing
               Systems and Applications, {RTCSA} 2009, Beijing, China, 24-26 August
               2009},
  pages     = {383--392},
  year      = {2009},
  crossref  = {DBLP:conf/rtcsa/2009},
  url       = {https://doi.org/10.1109/RTCSA.2009.47},
  doi       = {10.1109/RTCSA.2009.47},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rtcsa/ZengYTT09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cf/YokoyamaAG08,
  author    = {Tetsuo Yokoyama and
               Holger Bock Axelsen and
               Robert Gl{\"{u}}ck},
  title     = {Principles of a reversible programming language},
  booktitle = {Proceedings of the 5th Conference on Computing Frontiers, 2008, Ischia,
               Italy, May 5-7, 2008},
  pages     = {43--54},
  year      = {2008},
  crossref  = {DBLP:conf/cf/2008},
  url       = {http://doi.acm.org/10.1145/1366230.1366239},
  doi       = {10.1145/1366230.1366239},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cf/YokoyamaAG08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/YokoyamaAG08,
  author    = {Tetsuo Yokoyama and
               Holger Bock Axelsen and
               Robert Gl{\"{u}}ck},
  title     = {Reversible Flowchart Languages and the Structured Reversible Program
               Theorem},
  booktitle = {Automata, Languages and Programming, 35th International Colloquium,
               {ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
               {II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
               Track {C:} Security and Cryptography Foundations},
  pages     = {258--270},
  year      = {2008},
  crossref  = {DBLP:conf/icalp/2008-2},
  url       = {https://doi.org/10.1007/978-3-540-70583-3_22},
  doi       = {10.1007/978-3-540-70583-3_22},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/YokoyamaAG08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csr/AxelsenGY07,
  author    = {Holger Bock Axelsen and
               Robert Gl{\"{u}}ck and
               Tetsuo Yokoyama},
  title     = {Reversible Machine Code and Its Abstract Processor Architecture},
  booktitle = {Computer Science - Theory and Applications, Second International Symposium
               on Computer Science in Russia, {CSR} 2007, Ekaterinburg, Russia, September
               3-7, 2007, Proceedings},
  pages     = {56--69},
  year      = {2007},
  crossref  = {DBLP:conf/csr/2007},
  url       = {https://doi.org/10.1007/978-3-540-74510-5_9},
  doi       = {10.1007/978-3-540-74510-5_9},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csr/AxelsenGY07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pepm/YokoyamaG07,
  author    = {Tetsuo Yokoyama and
               Robert Gl{\"{u}}ck},
  title     = {A reversible programming language and its invertible self-interpreter},
  booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Semantics-based Program Manipulation, 2007, Nice, France, January
               15-16, 2007},
  pages     = {144--153},
  year      = {2007},
  crossref  = {DBLP:conf/pepm/2007},
  url       = {http://doi.acm.org/10.1145/1244381.1244404},
  doi       = {10.1145/1244381.1244404},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/YokoyamaG07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/gttse/HuYT06,
  author    = {Zhenjiang Hu and
               Tetsuo Yokoyama and
               Masato Takeichi},
  title     = {Program Optimizations and Transformations in Calculation Form},
  booktitle = {Generative and Transformational Techniques in Software Engineering,
               International Summer School, {GTTSE} 2005, Braga, Portugal, July 4-8,
               2005. Revised Papers},
  pages     = {144--168},
  year      = {2005},
  crossref  = {DBLP:conf/gttse/2006},
  url       = {https://doi.org/10.1007/11877028_5},
  doi       = {10.1007/11877028_5},
  timestamp = {Thu, 15 Jun 2017 21:43:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gttse/HuYT06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ipl/YokoyamaHT04,
  author    = {Tetsuo Yokoyama and
               Zhenjiang Hu and
               Masato Takeichi},
  title     = {Deterministic second-order patterns},
  journal   = {Inf. Process. Lett.},
  volume    = {89},
  number    = {6},
  pages     = {309--314},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.ipl.2003.12.008},
  doi       = {10.1016/j.ipl.2003.12.008},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ipl/YokoyamaHT04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/YokoyamaHT03,
  author    = {Tetsuo Yokoyama and
               Zhenjiang Hu and
               Masato Takeichi},
  title     = {Deterministic Higher-Order Patterns for Program Transformation},
  booktitle = {Logic Based Program Synthesis and Transformation, 13th International
               Symposium {LOPSTR} 2003, Uppsala, Sweden, August 25-27, 2003, Revised
               Selected Papers},
  pages     = {128--142},
  year      = {2003},
  crossref  = {DBLP:conf/lopstr/2003},
  url       = {https://doi.org/10.1007/978-3-540-25938-1_12},
  doi       = {10.1007/978-3-540-25938-1_12},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/YokoyamaHT03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aplas/YokoyamaHT02,
  author    = {Tetsuo Yokoyama and
               Zhenjiang Hu and
               Masato Takeichi},
  title     = {Yicho - {A} System for Programming Program Calculations},
  booktitle = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02,
               Shanghai Jiao Tong University, Shanghai, China, November 29 - December
               1, 2002, Proceedings},
  pages     = {366--382},
  year      = {2002},
  crossref  = {DBLP:conf/aplas/2002},
  timestamp = {Tue, 01 Jun 2004 13:16:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aplas/YokoyamaHT02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scjapan/SekiguchiSY94,
  author    = {Hiroyuki Sekiguchi and
               Koichi Sano and
               Tetsuo Yokoyama},
  title     = {Interactive 3-dimensional segmentation method based on region growing
               method},
  journal   = {Systems and Computers in Japan},
  volume    = {25},
  number    = {1},
  pages     = {88--97},
  year      = {1994},
  url       = {https://doi.org/10.1002/scj.4690250108},
  doi       = {10.1002/scj.4690250108},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/scjapan/SekiguchiSY94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scjapan/SatouSYK91,
  author    = {Shinichi Satou and
               Koichi Sano and
               Tetsuo Yokoyama and
               Hideaki Koizumi},
  title     = {High-precision t\({}_{\mbox{1}}\) imaging method for magnetic resonance
               imaging},
  journal   = {Systems and Computers in Japan},
  volume    = {22},
  number    = {5},
  pages     = {60--69},
  year      = {1991},
  url       = {https://doi.org/10.1002/scj.4690220507},
  doi       = {10.1002/scj.4690220507},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/scjapan/SatouSYK91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scjapan/SanoSYK89,
  author    = {Koichi Sano and
               Kazuo Suzuki and
               Tetsuo Yokoyama and
               Hideaki Koizumi},
  title     = {{MR} image reconstruction from half the data using a phase map},
  journal   = {Systems and Computers in Japan},
  volume    = {20},
  number    = {2},
  pages     = {60--66},
  year      = {1989},
  url       = {https://doi.org/10.1002/scj.4690200206},
  doi       = {10.1002/scj.4690200206},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/scjapan/SanoSYK89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scjapan/SanoYSK88,
  author    = {Koichi Sano and
               Tetsuo Yokoyama and
               Shinichi Satou and
               Hideaki Koizumi},
  title     = {A method of analytic phase correction in magnetic resonance imaging
               and its application to blood-flow imaging},
  journal   = {Systems and Computers in Japan},
  volume    = {19},
  number    = {2},
  pages     = {74--84},
  year      = {1988},
  url       = {https://doi.org/10.1002/scj.4690190208},
  doi       = {10.1002/scj.4690190208},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/scjapan/SanoYSK88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scjapan/MorishitaY88,
  author    = {Koichi Morishita and
               Tetsuo Yokoyama},
  title     = {Image registration method using adaptive nonlinear filter},
  journal   = {Systems and Computers in Japan},
  volume    = {19},
  number    = {9},
  pages     = {41--50},
  year      = {1988},
  url       = {https://doi.org/10.1002/scj.4690190905},
  doi       = {10.1002/scj.4690190905},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/scjapan/MorishitaY88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aplas/2015,
  editor    = {Xinyu Feng and
               Sungwoo Park},
  title     = {Programming Languages and Systems - 13th Asian Symposium, {APLAS}
               2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9458},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-26529-2},
  doi       = {10.1007/978-3-319-26529-2},
  isbn      = {978-3-319-26528-5},
  timestamp = {Fri, 19 May 2017 01:25:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aplas/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ic-nc/2012,
  title     = {Third International Conference on Networking and Computing, {ICNC}
               2012, Okinawa, Japan, December 5-7, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6423129},
  isbn      = {978-1-4673-4624-5},
  timestamp = {Tue, 11 Nov 2014 17:12:50 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ic-nc/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rc/2011,
  editor    = {Alexis De Vos and
               Robert Wille},
  title     = {Reversible Computation - Third International Workshop, {RC} 2011,
               Gent, Belgium, July 4-5, 2011. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7165},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29517-1},
  doi       = {10.1007/978-3-642-29517-1},
  isbn      = {978-3-642-29516-4},
  timestamp = {Mon, 05 Jun 2017 12:42:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rc/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aspdac/2009,
  editor    = {Kazutoshi Wakabayashi},
  title     = {Proceedings of the 14th Asia South Pacific Design Automation Conference,
               {ASP-DAC} 2009, Yokohama, Japan, January 19-22, 2009},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4781528},
  isbn      = {978-1-4244-2748-2},
  timestamp = {Fri, 20 May 2016 11:37:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aspdac/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icess/2009,
  editor    = {Tianzhou Chen and
               Dimitrios N. Serpanos and
               Walid Taha},
  title     = {International Conference on Embedded Software and Systems, {ICESS}
               '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5066608},
  isbn      = {978-0-7695-3678-1},
  timestamp = {Wed, 15 Oct 2014 17:04:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icess/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rtcsa/2009,
  title     = {15th {IEEE} International Conference on Embedded and Real-Time Computing
               Systems and Applications, {RTCSA} 2009, Beijing, China, 24-26 August
               2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5279621},
  isbn      = {978-0-7695-3787-0},
  timestamp = {Tue, 26 Jan 2016 16:45:40 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/rtcsa/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cf/2008,
  editor    = {Alex Ram{\'{\i}}rez and
               Gianfranco Bilardi and
               Michael Gschwind},
  title     = {Proceedings of the 5th Conference on Computing Frontiers, 2008, Ischia,
               Italy, May 5-7, 2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-077-7},
  timestamp = {Thu, 15 May 2008 12:16:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cf/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/2008-2,
  editor    = {Luca Aceto and
               Ivan Damg{\aa}rd and
               Leslie Ann Goldberg and
               Magn{\'{u}}s M. Halld{\'{o}}rsson and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir and
               Igor Walukiewicz},
  title     = {Automata, Languages and Programming, 35th International Colloquium,
               {ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
               {II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
               Track {C:} Security and Cryptography Foundations},
  series    = {Lecture Notes in Computer Science},
  volume    = {5126},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-70583-3},
  doi       = {10.1007/978-3-540-70583-3},
  isbn      = {978-3-540-70582-6},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/2008-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csr/2007,
  editor    = {Volker Diekert and
               Mikhail V. Volkov and
               Andrei Voronkov},
  title     = {Computer Science - Theory and Applications, Second International Symposium
               on Computer Science in Russia, {CSR} 2007, Ekaterinburg, Russia, September
               3-7, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4649},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74510-5},
  doi       = {10.1007/978-3-540-74510-5},
  isbn      = {978-3-540-74509-9},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csr/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pepm/2007,
  editor    = {G. Ramalingam and
               Eelco Visser},
  title     = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Semantics-based Program Manipulation, 2007, Nice, France, January
               15-16, 2007},
  publisher = {{ACM}},
  year      = {2007},
  url       = {http://dl.acm.org/citation.cfm?id=1244381},
  isbn      = {978-1-59593-620-2},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gttse/2006,
  editor    = {Ralf L{\"{a}}mmel and
               Jo{\~{a}}o Saraiva and
               Joost Visser},
  title     = {Generative and Transformational Techniques in Software Engineering,
               International Summer School, {GTTSE} 2005, Braga, Portugal, July 4-8,
               2005. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4143},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11877028},
  doi       = {10.1007/11877028},
  isbn      = {3-540-45778-X},
  timestamp = {Thu, 15 Jun 2017 21:43:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gttse/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2003,
  editor    = {Maurice Bruynooghe},
  title     = {Logic Based Program Synthesis and Transformation, 13th International
               Symposium {LOPSTR} 2003, Uppsala, Sweden, August 25-27, 2003, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3018},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98080},
  doi       = {10.1007/b98080},
  isbn      = {3-540-22174-3},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aplas/2002,
  title     = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02,
               Shanghai Jiao Tong University, Shanghai, China, November 29 - December
               1, 2002, Proceedings},
  year      = {2002},
  timestamp = {Tue, 01 Jun 2004 13:16:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aplas/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier