Search dblp for Publications

export results for "toc:db/journals/shonan-reports/shonan-reports2017.bht:"

 download as .bib file

@article{DBLP:journals/shonan-reports/AritaBN17,
  author       = {Masanori Arita and
                  Sebastian B{\"{o}}cker and
                  Steffen Neumann},
  title        = {Computational Metabolomics {(NII} Shonan Meeting 2017-3)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/093/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/AritaBN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/BravermanWY17,
  author       = {Vladimir Braverman and
                  David P. Woodruff and
                  Ke Yi},
  title        = {Processing Big Data Streams {(NII} Shonan Meeting 2017-7)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/087/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/BravermanWY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/BuchbinderDP17,
  author       = {Niv Buchbinder and
                  Nikhil R. Devanur and
                  Debmalya Panigrahi},
  title        = {Algorithms and Optimization under Uncertainty {(NII} Shonan Meeting
                  2017-5)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/094/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/BuchbinderDP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/ChangRR17,
  author       = {Bor{-}Yuh Evan Chang and
                  Xavier Rival and
                  Sukyoung Ryu},
  title        = {Memory Abstraction, Emerging Techniques and Applications {(NII} Shonan
                  Meeting 2017-12)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/108/},
  timestamp    = {Tue, 23 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/ChangRR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/ChenDF17,
  author       = {Yijia Chen and
                  Rodney G. Downey and
                  J{\"{o}}rg Flum},
  title        = {Logic and Computational Complexity {(NII} Shonan Meeting 2017-13)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/096/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/ChenDF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/DaynesFH17,
  author       = {Laurent Dayn{\`{e}}s and
                  George H. L. Fletcher and
                  Wook{-}Shin Han},
  title        = {Language integrated queries: towards standard logics for big data
                  analytics {(NII} Shonan Meeting 2017-6)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/098/},
  timestamp    = {Mon, 15 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/DaynesFH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/FitzgeraldMZ17,
  author       = {Brian Fitzgerald and
                  Audris Mockus and
                  Minghui Zhou},
  title        = {Towards Engineering Free/Libre OpenSource Software {(FLOSS)} Ecosystems
                  forImpact and Sustainability {(NII} Shonan Meeting 2017-8)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/099/},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/FitzgeraldMZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/GaboardiK17,
  author       = {Marco Gaboardi and
                  Shin{-}ya Katsumata},
  title        = {Semantics of Effects, Resources, and Applications {(NII} Shonan Meeting
                  2017-4)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/103/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/GaboardiK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/GarlanDT17,
  author       = {David Garlan and
                  Nicol{\'{a}}s D'Ippolito and
                  Kenji Tei},
  title        = {The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017)
                  {(NII} Shonan Meeting 2017-10)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/110/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/GarlanDT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/HuismanNT17,
  author       = {Marieke Huisman and
                  Thomas Noll and
                  Makoto Tatsuta},
  title        = {Analysis and Verification of Pointer Programs {(NII} Shonan Meeting
                  2017-14)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/100/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/HuismanNT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/IshikawaGF17,
  author       = {Fuyuki Ishikawa and
                  Peter Gorm Larsen and
                  John S. Fitzgerald},
  title        = {Model-Based Design for Smart Products and Systems: Advanced Capabilities
                  and Challenging Applications {(NII} Shonan Meeting 2017-18)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/124/},
  timestamp    = {Wed, 10 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/IshikawaGF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/KatohAN17,
  author       = {Naoki Katoh and
                  Hee{-}Kap Ahn and
                  Subhas C. Nandy},
  title        = {Geometric Graphs: Theory and Applications {(NII} Shonan Meeting 2017-16)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/106/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/KatohAN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/KatsumataPR17,
  author       = {Shin{-}ya Katsumata and
                  Damien Pous and
                  Jan Rutten},
  title        = {Enhanced coinduction {(NII} Shonan Meeting 2017-17)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/097/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/KatsumataPR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/MullerIL17,
  author       = {Hausi A. M{\"{u}}ller and
                  Fuyuki Ishikawa and
                  Marin Litoiu},
  title        = {Software Engineering and Networked Control for Smart Cyber Physical
                  Systems {(SENCPS)} {(NII} Shonan Meeting 2017-11)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/104/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/MullerIL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/SadakaneN17,
  author       = {Kunihiko Sadakane and
                  Gonzalo Navarro},
  title        = {Computation over Compressed Structured Data {(NII} Shonan Meeting
                  2017-15)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/126/},
  timestamp    = {Wed, 28 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/SadakaneN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/ShihabI17,
  author       = {Emad Shihab and
                  Akinori Ihara},
  title        = {Mining Software Repositories:Accomplishments, Challenges andFuture
                  Trends {(NII} Shonan Meeting 2017-2)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/095/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/ShihabI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/ThomsenMM17,
  author       = {Michael Kirkedal Thomsen and
                  Kazutaka Matsuda and
                  Mohammad Reza Mousavi},
  title        = {Reverse Execution in Testing {\textendash} Improving Security and
                  Reliability {(NII} Shonan Meeting 2017-9)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/102/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/ThomsenMM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/WagnerMHC17,
  author       = {Markus Wagner and
                  Leandro L. Minku and
                  Ahmed E. Hassan and
                  John A. Clark},
  title        = {Data-Driven Search-Based Software Engineering {(NII} Shonan Meeting
                  2017-19)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/105/},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/WagnerMHC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/YamashitaHWC17,
  author       = {Shigeru Yamashita and
                  Tsung{-}Yi Ho and
                  Robert Wille and
                  Krishnendu Chakrabarty},
  title        = {Microfluidic Biochips: Bridging Biochemistry with Computer Science
                  and Engineering {(NII} Shonan Meeting 2017-1)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2017},
  year         = {2017},
  url          = {https://shonan.nii.ac.jp/seminars/081/},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/YamashitaHWC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.