![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
NII Shonan Meeting Reports, Volume 2017
Volume 2017, 2017
- Markus Wagner
, Leandro L. Minku, Ahmed E. Hassan, John A. Clark:
Data-Driven Search-Based Software Engineering (NII Shonan Meeting 2017-19). - Fuyuki Ishikawa, Peter Gorm Larsen, John S. Fitzgerald:
Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications (NII Shonan Meeting 2017-18). - Shin-ya Katsumata, Damien Pous, Jan Rutten:
Enhanced coinduction (NII Shonan Meeting 2017-17). - Naoki Katoh, Hee-Kap Ahn, Subhas C. Nandy:
Geometric Graphs: Theory and Applications (NII Shonan Meeting 2017-16). - Kunihiko Sadakane, Gonzalo Navarro:
Computation over Compressed Structured Data (NII Shonan Meeting 2017-15). - Marieke Huisman, Thomas Noll, Makoto Tatsuta:
Analysis and Verification of Pointer Programs (NII Shonan Meeting 2017-14). - Yijia Chen, Rodney G. Downey, Jörg Flum:
Logic and Computational Complexity (NII Shonan Meeting 2017-13). - Bor-Yuh Evan Chang, Xavier Rival, Sukyoung Ryu:
Memory Abstraction, Emerging Techniques and Applications (NII Shonan Meeting 2017-12). - Hausi A. Müller, Fuyuki Ishikawa, Marin Litoiu:
Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS) (NII Shonan Meeting 2017-11). - David Garlan, Nicolás D'Ippolito, Kenji Tei:
The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) (NII Shonan Meeting 2017-10). - Michael Kirkedal Thomsen, Kazutaka Matsuda, Mohammad Reza Mousavi:
Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9). - Brian Fitzgerald, Audris Mockus, Minghui Zhou:
Towards Engineering Free/Libre OpenSource Software (FLOSS) Ecosystems forImpact and Sustainability (NII Shonan Meeting 2017-8). - Vladimir Braverman, David P. Woodruff, Ke Yi:
Processing Big Data Streams (NII Shonan Meeting 2017-7). - Laurent Daynès, George H. L. Fletcher, Wook-Shin Han:
Language integrated queries: towards standard logics for big data analytics (NII Shonan Meeting 2017-6). - Niv Buchbinder, Nikhil R. Devanur, Debmalya Panigrahi:
Algorithms and Optimization under Uncertainty (NII Shonan Meeting 2017-5). - Marco Gaboardi, Shin-ya Katsumata:
Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4). - Masanori Arita, Sebastian Böcker, Steffen Neumann:
Computational Metabolomics (NII Shonan Meeting 2017-3). - Emad Shihab, Akinori Ihara:
Mining Software Repositories:Accomplishments, Challenges andFuture Trends (NII Shonan Meeting 2017-2). - Shigeru Yamashita, Tsung-Yi Ho
, Robert Wille, Krishnendu Chakrabarty:
Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering (NII Shonan Meeting 2017-1).
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.