default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNII Shonan Meeting Reports, Volume 2014
Volume 2014, 2014
- Tetsuya Tohdo, Werner Damm, Alexander Pretschner, Jun Sun:
Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16). - Randy Goebel, Yuji Matsumoto, Ken Satoh:
Towards Explanation Production Combining Natural Language Processing and Logical Reasoning (NII Shonan Meeting 2014-15). - Fuyuki Ishikawa, Alexander B. Romanovsky:
Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14). - Hong Mei, Frank Neumann, Xin Yao, Leandro L. Minku:
Computational Intelligence for Software Engineering (NII Shonan Meeting 2014-13). - Andrew McGregor, Gopal Pandurangan, Sergei Vassilvitskii:
Algorithms for Large Scale Graphs (NII Shonan Meeting 2014-12). - Kazuo Sakiyama, Patrick Schaumont
, Ingrid Verbauwhede:
Design Methods for Secure Hardware (NII Shonan Meeting 2014-11). - Rodney G. Downey, Kenshi Miyabe, André Nies, Osamu Watanabe:
Algorithmic Randomness and Complexity (NII Shonan Meeting 2014-10). - Pierre Castéran, Jacques Garrigue, David Nowak:
Summer School on Coq (NII Shonan Meeting 2014-9). - Fang-Pang Lin, Philip M. Papadopoulos, Satoshi Sekiguchi:
Water Disaster Management and Big Data (NII Shonan Meeting 2014-8). - Oleg Kiselyov, Jeremy G. Siek, Yukiyoshi Kameyama:
Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7). - Atsushi Igarashi, Peter Thiemann, Philip Wadler:
Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6). - Pierre Baldi, Kenji Fukumizu, Tomaso A. Poggio:
Deep Learning: Theory, Algorithms, and Applications (NII Shonan Meeting 2014-5). - Ryan Budney, Benjamin A. Burton, Kazuhiro Ichihara:
Knot theory: Algorithms, complexity and computation (NII Shonan Meeting 2014-4). - Barton P. Miller, Yoshio Tanaka, Elisa Heymann:
Grid and Cloud Security: A Confluence (NII Shonan Meeting 2014-3). - Sebastian Böcker, Gunnar W. Klau, Veli Mäkinen, Hon Wai Leong:
Towards the ground truth: Exact algorithms for bioinformatics research (NII Shonan Meeting 2014-2). - Arie E. Kaufman, Issei Fujishiro:
Computer Visualization - Concepts and Challenges (NII Shonan Meeting 2014-1).
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.
last updated on 2025-10-22 02:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
