Search results for "NII"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
75	George B. Trubow	Traffic Hazards on the Superhighway.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	information superhighway, National Information Infrastructure, electronic highway, NII, AT? Digital, Sprint, international networks, electronic classrooms, electronic funds transfer, legal problems, education, electronic commerce, policy, government, wide area networks, information services, information services, information retrieval systems, legislation, electronic publishing, government policies, electronic democracy, Hewlett Packard
62	Peter M. Athanas, Brad L. Hutchings, Kentaro Sano	The NII Shonan Configurable Computing Workshop (NII Shonan Meeting 2012-11).	NII Shonan Meet. Rep.	2012	DBLP BibTeX RDF
54	Jacques Berleur	15 years of ways of Internet governance: Towards a new agenda for action.	HCC	2008	DBLP DOI BibTeX RDF	World Summit on the Information Society (WSIS), Internet Governance Forum (IGF), NII, Bangemann, eEurope, i2010, deliberative and participative democracy, Governance
46	Ahmed Lasisi, Emmanuel Nii Martey, Dominique Guillot, Nii O. Attoh-Okine	A three-step agglomerated Machine Learning: An alternative to Weibull Defect Analysis of Rail Infrastructure.	IEEE BigData	2018	DBLP DOI BibTeX RDF
46	Emmanuel Nii Martey, Ahmed Lasisi, Nii O. Attoh-Okine	Track geometry big data analysis: A machine learning approach.	IEEE BigData	2017	DBLP DOI BibTeX RDF
42	Peter Braam, Jeremy Gibbons, Oleg Kiselyov	Programming Language Support for Emerging Memory Technologie (NII Shonan Meeting 181).	NII Shonan Meet. Rep.	2022	DBLP BibTeX RDF
42	Yutaka Arakawa, Wolfgang Minker, Elisabeth André, Leo Wanner	Intelligent Interaction with Autonomous Assistants in the Wild (NII Shonan Meeting 188).	NII Shonan Meet. Rep.	2022	DBLP BibTeX RDF
42	Kenji Tei, Nir Piterman, Javier Cámara	The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 153).	NII Shonan Meet. Rep.	2020	DBLP BibTeX RDF
42	Steven Chaplick, Takayuki Itoh, Giuseppe Liotta, Kwan-Liu Ma, Ignaz Rutter	Trends and Perspectives for Graph Drawing and Network Visualization (NII Shonan Meeting 171).	NII Shonan Meet. Rep.	2020	DBLP BibTeX RDF
42	Renata Georgia Raidou, Barbora Kozlíková, Johanna Beyer, Timo Ropinski, Issei Fujishiro	Formalizing Biological and Medical Visualization (NII Shonan Meeting 167).	NII Shonan Meet. Rep.	2020	DBLP BibTeX RDF
42	Oleg Kiselyov, Anil Madhavapeddy, K. C. Sivaramakrishnan, Suresh Jagannathan	Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Tat-Jun Chin, Anders P. Eriksson, Yasuyuki Matsushita	Optimization Methods in Geometric Vision (NII Shonan Meeting 140).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Michael Spranger, Tadahiro Taniguchi, Angelo Cangelosi	Learning to Communicate: Challenges in Language Learning by AI, Robots and Humans (NII Shonan Meeting 150).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Bruce M. Kapron, Akitoshi Kawamura, Florian Steinberg 0001	Higher-order Complexity Theory and its Applications (NII Shonan Meeting 151).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Robert Hirschfeld, Hidehiko Masuhara, Richard P. Gabriel	Self-supporting, Extensible Programming Languages and Environments for Exploratory, Live Software Development (NII Shonan Meeting 147).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Foutse Khomh, Fuyuki Ishikawa, Hiroshi Maruyama	Software Engineering for Machine Learning Systems (SEMLS) (NII Shonan Meeting 156).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Hank Childs, Takayuki Itoh, Michael Krone, Guido Reina	The Moving Target of Visualization Software for an Ever More Complex World (NII Shonan Meeting 145).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Gregor Gössler, Stefan Leue, Shin Nakajima 0001	Causal Reasoning in Systems (NII Shonan Meeting 139).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Wolfgang Minker, Keiichi Yasumoto, Zoraida Callejas	Spoken Multimodal Dialogue Systems Technology for Pervasive Computing (NII Shonan Meeting 163).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Shane McIntosh, Yasutaka Kamei, Meiyappan Nagappan	Release Engineering for Mobile Applications (NII Shonan Meeting 152).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Gerhard Heyer, Mitsuyuki Inaba, Martin Roth	Modelling Cultural Processes (NII Shonan Meeting 132).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	François Fages, Katsumi Inoue, Heinz Koeppl, Chris Myers, Yoshihiro Shimizu	Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Marcel Böhme, Cristian Cadar, Abhik Roychoudhury	Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Lorenzo Jamone, Tetsuya Ogata, Beata J. Grzyb	From natural to artificial embodied intelligence: is Deep Learning the solution (NII Shonan Meeting 137).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Kenji Doya, Shimon Edelman, Takashi Hashimoto	Language as Goal-Directed Sequential Behavior: Computational Theories, Brain Mechanisms, Evolutionary Roots (NII Shonan Meeting 141).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Bart M. P. Jansen, Christian Schulz 0003, Hisao Tamaki	Parameterized Graph Algorithms & Data Reduction: Theory Meets Practice (NII Shonan Meeting 144).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Ruck Thawonmas, Julian Togelius, Georgios N. Yannakakis	Artificial General Intelligence in Games: Where Play Meets Design and User Experience (NII Shonan Meeting 130).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Guy Even, Gregory Schwartzman	Distributed Graph Algorithms (NII Shonan Meeting 162).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Oleg Kiselyov, Sam Lindley, Gordon D. Plotkin, Nicolas Wu	Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Sihem Amer-Yahia, Senjuti Basu Roy, Lei Chen 0002, Atsuyuki Morishima	Human-in-the-loop Big Data and AI: Connecting Theories and Practices for a Better Future of Work (NII Shonan Meeting 154).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Philipp Haller, Guido Salvaneschi, Takuo Watanabe, Gul Agha	Programming Languages for Distributed Systems (NII Shonan Meeting 149).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Tomohiro Yoneda, Peter A. Beerel, Alex Yakovlev, Masashi Imai	Asynchronous Circuit Design and its Applications: Past, Present and Future (NII Shonan Meeting 133).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Alex Endert, Jean-Daniel Fekete, Bongshin Lee, Shixia Liu	Interactive Visualization for Interpretable Machine Learning ~ Beyond Visualization and Steering of the Parametric Space (NII Shonan Meeting 161).	NII Shonan Meet. Rep.	2019	DBLP BibTeX RDF
42	Christophe Hurter, Maxime Cordeil, Takayuki Itoh, Kwan-Liu Ma, Tim Dwyer	Immersive Analytics for Network and Trail Sets Data Analysis (NII Shonan Meeting 2018-20).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Fuyuki Ishikawa, Alexander B. Romanovsky, Thierry Lecomte	Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Anne Driemel, Rob J. Hyndman, Galit Shmueli	Analysing Large Collections of Time Series (NII Shonan Meeting 2018-3).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Mayutan Arumaithurai, Toru Hasegawa, Stephan Sigg	Resilient Machine-to-Machine communication (NII Shonan Meeting 2018-6).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Amel Bennaceur, Carlo Ghezzi, Kenji Tei	Modelling and Analysing Resilient Cyber-Physical Systems (NII Shonan Meeting 2018-21).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Yingcai Wu, Nan Cao 0001, Steffen Koch 0001, David Gotz	Visual Analytics: Towards Effective Human-Machine Intelligence (NII Shonan Meeting 2018-2).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Roberto Giacobazzi, Dusko Pavlovic, Tachio Terauchi	Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Daniel Archambault, Karsten Klein 0001, Kazuo Misue	Reimagining the Mental Map and Drawing Stability (NII Shonan Meeting 2018-12).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Dan R. Ghica, Masahito Hasegawa, Pawel Sobocinski 0002	Diagrammatic methods for linear and nonlinear systems (NII Shonan Meeting 2018-18).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Seán I. O'Donoghue, Masakazu Sekijima, Marc Baaden	Web Molecular Graphics: Emerging Technologies & Standards (NII Shonan Meeting 2018-19).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Koichiro Yoshino, Wolfgang Minker, Elisabeth André	Multimodal Agents for Ageing and Multicultural Societies (NII Shonan Meeting 2018-15).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Aggelos Biboudis, Oleg Kiselyov, Martin Odersky	Functional Stream Libraries and Fusion: What's Next (NII Shonan Meeting 2018-14).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Nate Foster, Motoyoshi Sekiya	Theory and Practice of Data Plane Programming (NII Shonan Meeting 2018-4).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Oskar van Rest, George Fletcher 0001, Wook-Shin Han	Graph Database Systems: Bridging Theory, Practice, and Engineering (NII Shonan Meeting 2018-10).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Kai Ming Ting, Takashi Washio, Ata Kabán	Data Dependent Dissimilarity Measures (NII Shonan Meeting 2018-13).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Oleg Kiselyov, Tiark Rompf, Jennifer Neville, Yukiyoshi Kameyama	Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Hiroaki Kikuchi, Josep Domingo-Ferrer, Sébastien Gambs	Anonymization methods and inference attacks: theory and practice (NII Shonan Meeting 2018-5).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Aaron Smith, Chris Fensch, Hiroshi Sasaki 0001	Advances in Heterogeneous Computing from Hardware to Software (NII Shonan Meeting 2018-11).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Andreas Griewank, Andrea Walther, Koichi Kubota, Siegfried M. Rump	Piecewise smooth system and optimization with piecewise linearization via algorithmic differentiation (NII Shonan Meeting 2018-9).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Yuta Itoh 0001, Kai Kunze, Alexander Plopski, Christian Sandor	Augmented Reality in Human-Computer Interaction (NII Shonan Meeting 2018-8).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Raghu Machiraju, Jens Rittscher, Motonori Ota	Workshop on Patient Similitude: Combining Histopathological Images & Multiple-Scale Molecular Phenotypes (NII Shonan Meeting 2018-17).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
42	Naoki Katoh, Hee-Kap Ahn, Subhas C. Nandy	Geometric Graphs: Theory and Applications (NII Shonan Meeting 2017-16).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Emad Shihab, Akinori Ihara	Mining Software Repositories:Accomplishments, Challenges andFuture Trends (NII Shonan Meeting 2017-2).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Yijia Chen, Rodney G. Downey, Jörg Flum	Logic and Computational Complexity (NII Shonan Meeting 2017-13).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Michael Kirkedal Thomsen, Kazutaka Matsuda, Mohammad Reza Mousavi 0001	Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	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).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Markus Wagner 0007, Leandro L. Minku, Ahmed E. Hassan, John A. Clark	Data-Driven Search-Based Software Engineering (NII Shonan Meeting 2017-19).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Masanori Arita, Sebastian Böcker, Steffen Neumann	Computational Metabolomics (NII Shonan Meeting 2017-3).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	David Garlan, Nicolás D'Ippolito, Kenji Tei	The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) (NII Shonan Meeting 2017-10).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Shigeru Yamashita, Tsung-Yi Ho, Robert Wille, Krishnendu Chakrabarty	Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering (NII Shonan Meeting 2017-1).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Kunihiko Sadakane, Gonzalo Navarro 0001	Computation over Compressed Structured Data (NII Shonan Meeting 2017-15).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Shin-ya Katsumata, Damien Pous, Jan Rutten	Enhanced coinduction (NII Shonan Meeting 2017-17).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Hausi A. Müller, Fuyuki Ishikawa, Marin Litoiu	Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS) (NII Shonan Meeting 2017-11).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Bor-Yuh Evan Chang, Xavier Rival, Sukyoung Ryu	Memory Abstraction, Emerging Techniques and Applications (NII Shonan Meeting 2017-12).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Marieke Huisman, Thomas Noll 0001, Makoto Tatsuta	Analysis and Verification of Pointer Programs (NII Shonan Meeting 2017-14).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	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).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Marco Gaboardi, Shin-ya Katsumata	Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Vladimir Braverman, David P. Woodruff, Ke Yi 0001	Processing Big Data Streams (NII Shonan Meeting 2017-7).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Niv Buchbinder, Nikhil R. Devanur, Debmalya Panigrahi	Algorithms and Optimization under Uncertainty (NII Shonan Meeting 2017-5).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Brian Fitzgerald 0001, Audris Mockus, Minghui Zhou 0001	Towards Engineering Free/Libre OpenSource Software (FLOSS) Ecosystems forImpact and Sustainability (NII Shonan Meeting 2017-8).	NII Shonan Meet. Rep.	2017	DBLP BibTeX RDF
42	Shin Nakajima 0001, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu	Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Anthony Anjorin, Zinovy Diskin, Meng Wang 0002, Yingfei Xiong 0001	Bidirectional Transformations, (NII Shonan Meeting 2016-13).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Takayuki Itoh, Karsten Klein 0001, Giuseppe Liotta	Dynamic Networks Visual Analytics: Approaches to facilitate visual analysis of complex and dynamic network data (NII Shonan Meeting 2016-11).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Seok-Hee Hong 0001, Takeshi Tokuyama	Algoritihmcs for Beyond Planar Graphs (NII Shonan Meeting 2016-17).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Siu-Wing Cheng, Yoshio Okamoto, Otfried Cheong	Theory and Applications of Geometric Optimization (NII Shonan Meeting 2016-9).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Takuro Fukunaga, R. Ravi 0001, László A. Végh	Current Trends in Combinatorial Optimization (NII Shonan Meeting 2016-7).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	George H. L. Fletcher, Taro Takaguchi, Yuichi Yoshida	Analytics on complex networks: scalable solutions for empirical questions (NII Shonan Meeting 2016-1).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Tadahiro Taniguchi, Emre Ugur, George Dimitri Konidaris	Cognitive Development and Symbol Emergence in Humans and Robots (NII Shonan Meeting 2016-14).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Yamine Aït Ameur, Shin Nakajima 0001, Dominique Méry	Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Takayuki Itoh, Kim Marriott, Falk Schreiber, Uwe Wössner	Immersive Analytics: A new multidisciplinary initiative to explore future interaction technologies for data analytics (NII Shonan Meeting 2016-2).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Naoki Kobayashi 0001, Luke Ong, Igor Walukiewicz	Higher-Order Model Checking (NII Shonan Meeting 2016-4).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Christian Sandor, Dieter Schmalstieg, J. Edward Swan II	Perception in Augmented Reality (NII Shonan Meeting 2016-15).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Sonia Haiduc, Takashi Kobayashi 0001, Michele Lanza, Andrian Marcus	Mining & Modeling Unstructured Data in Software - Challenges for the Future (NII Shonan Meeting 2016-3).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Andrea Schafferhans, Seán I. O'Donoghue, Haruki Nakamura	Web-based Molecular Graphics (NII Shonan Meeting 2016-12).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Sanjay Madria, Takahiro Hara, Cyrus Shahabi, Calton Pu	Big Data: Challenges and Opportunities for Disaster Recovery (NII Shonan Meeting 2016-6).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Ravindran Kannan, Michael W. Mahoney, David P. Woodruff	Recent Advances in Randomized Numerical Linear Algebra (NII Shonan Meeting 2016-10).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Kenji Tei, Nicolás D'Ippolito, Paola Inverardi	Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 2016-8).	NII Shonan Meet. Rep.	2016	DBLP BibTeX RDF
42	Jean-Yves Marion, Akira Mori, Mizuhito Ogawa	Low level code analysis and applications to computer security (NII Shonan Meeting 2015-4).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
42	Laurent Amsaleg, Michael E. Houle, Vincent Oria, Arthur Zimek	Dimensionality and Scalability II: Hands-On Intrinsic Dimensionality (NII Shonan Meeting 2015-9).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
42	Jordan L. Boyd-Graber, Hal Daumé III, Yusuke Miyao	Synchronous Machine Translation (NII Shonan Meeting 2015-10).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
42	Wim Vanderbauwhede, Sven-Bodo Scholz, Tetsuya Takemi	Putting Heterogeneous High-Performance Computing at the Fingertips of Domain Experts (NII Shonan Meeting 2015-18).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
42	Yoshiki Kinoshita, Bengt Nordström	Logical analysis of descriptions and their presentations - a computational logic approach (NII Shonan Meeting 2015-2).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
42	Rafael E. Banchs, Sakriani Sakti, Etsuo Mizukami	The Future of Human-Robot Spoken Dialogue: from Information Services to Virtual Assistants (NII Shonan Meeting 2015-7).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
42	Atsushi Igarashi, Andrzej S. Murawski, Nikos Tzevelekos	Semantics and Verification of Object-Oriented Languages (NII Shonan Meeting 2015-13).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
42	Cyrille Artho, Einar Broch Johnsen, Martin Leucker, Keiko Nakata 0001	Static analysis meets runtime verification (NII Shonan Meeting 2015-5).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
42	Daisuke Ishii, Kohei Suenaga, Walid Taha	Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF
42	Marco Gaboardi, Vivek Nigam, Tachio Terauchi	Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16).	NII Shonan Meet. Rep.	2015	DBLP BibTeX RDF