Search results for "NASA"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Julia M. Badger, Kristin Yvonne Rozier (eds.)	NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings	NFM	2019	DBLP DOI BibTeX RDF
15	Mohammad Behdad Jamshidi, Neda Alibeigi, Ali Lalbakhsh, Saeed Roshani	An ANFIS Approach to Modeling a Small Satellite Power Source of NASA.	ICNSC	2019	DBLP DOI BibTeX RDF
15	Paul A. Rosen 0002, Kelley Case, B. J. Jaroux, James L. Hoffman, Jordan Klovstad, Gerald W. Bawden, Stephen J. Horst, Ala Khazendar, Pietro Milillo, Shadi Oveisgharan, Susan E. Owen, Batuhan Osmanoglu, Jeanne Sauber-Rosenberg, Andrew L. Molthan	NASA's Next Generation Surface Deformation and Change Observing System Architecture.	IGARSS	2019	DBLP DOI BibTeX RDF
15	Doug Newman, Christopher Lynnes	Smart handoffs: Preserving user context between tools and services related to NASA's EOSDIS data archive.	IGARSS	2019	DBLP DOI BibTeX RDF
15	Muriel Pinheiro, Pau Prats, Michelangelo Villano, Marc Rodriguez-Cassola, Paul A. Rosen 0002, Brian Hawkins, Piyush Shanker Agram	Processing and Performance Analysis of NASA-ISRO SAR (NISAR) Staggered Data.	IGARSS	2019	DBLP DOI BibTeX RDF
15	Marco Lavalle, Gustavo H. X. Shiroma	Three-Dimensional Polarimetric Covariance Matrix Via InSAR Histograms: a Case Study with L- and P-band Nasa Above Campaign Data.	IGARSS	2019	DBLP DOI BibTeX RDF
15	Upendra N. Singh	Active Optical Remote Sensing Sensors and Instrumentation for NASA's Future Earth and Space Science Measurements/Missions.	IGARSS	2019	DBLP DOI BibTeX RDF
15	Qiuxia Xie, Massimo Menenti, Li Jia 0001	Improving The AMSR-E/Nasa Soil Moisture Data Product Using in-Situ Measurements in the Tibetan Plateau.	IGARSS	2019	DBLP DOI BibTeX RDF
15	Francesca Cecinati, Donato Amitrano, Lemia Benevides Leoncio, Elvis Walugendo, Raffaella Guida, Pasquale Iervolino, Sukumar Natarajan	Exploitation of ESA and NASA Heritage Remote Sensing Data for Monitoring the Heat Island Evolution in Chennai with the Google Earth Engine.	IGARSS	2019	DBLP DOI BibTeX RDF
15	Tanya C. Andrews, Rebecca Stewart, Walter Deitzler	NASA Marshall Space Flight Center Human Factors Engineering Analysis of Various Hatch Sizes.	AHFE (14)	2019	DBLP DOI BibTeX RDF
15	Tanya C. Andrews, Brittani Searcy, Brianna Wallace	Using Virtual Reality and Motion Capture as Tools for Human Factors Engineering at NASA Marshall Space Flight Center.	AHFE (14)	2019	DBLP DOI BibTeX RDF
15	Mattias Georgsson	NASA RTLX as a Novel Assessment for Determining Cognitive Load and User Acceptance of Expert and User-Based Evaluation Methods Exemplified Through a mHealth Diabetes Self-Management Application Evaluation.	pHealth	2019	DBLP DOI BibTeX RDF
15	Giovanni Vincenti	Engaging IT Students through the NASA SUITS Design Challenge: An Experience Report.	SIGITE	2019	DBLP DOI BibTeX RDF
15	Yangzhe Liao, Xinhui Qiao, Liqing Shou, Xiaojun Zhai, Qingsong Ai, Quan Yu, Qian Liu	Caching-Aided Task Offloading Scheme for Wireless Body Area Networks with MEC.	AHS	2019	DBLP DOI BibTeX RDF
15	Yankun Yang, Xinggang Yan 0001, Konstantinos Sirlantzis, Gareth Howells 0001	Application of Sliding Mode Trajectory Tracking Control Design for Two-Wheeled Mobile Robots.	AHS	2019	DBLP DOI BibTeX RDF
15	Ioannis Tsounis, Antonis Tsigkanos, Vasileios Vlagkoulis, Mihalis Psarakis, Nektarios Kranitis, Antonis M. Paschalis	Analyzing the Resilience to SEUs of an Image Data Compression Core in a COTS SRAM FPGA.	AHS	2019	DBLP DOI BibTeX RDF
15	Felipe Brubeck-Hernandez, Tanya Vladimirova, Mike Pooley, Robin Thompson, Bruce Knight	Zone Management in Precision Agriculture Using Satellite Imagery.	AHS	2019	DBLP DOI BibTeX RDF
15	Mischa Möstl, Alexander Dörflinger, Mark Albers, Harald Michalik, Rolf Ernst	Self-Adaptation for Availability in CPU-FPGA Systems Under Soft Errors.	AHS	2019	DBLP DOI BibTeX RDF
15	Aneesh Balakrishnan, Thomas Lange, Maximilien Glorieux, Dan Alexandrescu, Maksim Jenihhin	Modeling Gate-Level Abstraction Hierarchy Using Graph Convolutional Neural Networks to Predict Functional De-Rating Factors.	AHS	2019	DBLP DOI BibTeX RDF
15	Bruno Ferrarini, Maria Waheed, Sania Waheed, Shoaib Ehsan, Michael Milford, Klaus D. McDonald-Maier	Visual Place Recognition for Aerial Robotics: Exploring Accuracy-Computation Trade-off for Local Image Descriptors.	AHS	2019	DBLP DOI BibTeX RDF
15	Dimple Sharma, Valeri Kirischian, Lev Kirischian	On-Chip Thermal Balancing using Dynamic Structural Adaptation of FPGA-Based Multi-task SoPCs for Space-Borne Applications.	AHS	2019	DBLP DOI BibTeX RDF
15	A. Mazouz, Christopher P. Bridges	Adaptive Hardware Reconfiguration for Performance Tradeoffs in CNNs.	AHS	2019	DBLP DOI BibTeX RDF
15	Peter Blacker, Christopher Paul Bridges, Simon Hadfield	Rapid Prototyping of Deep Learning Models on Radiation Hardened CPUs.	AHS	2019	DBLP DOI BibTeX RDF
15	William Beasley, Brenda Gatusch, Daniel Connolly-Taylor, Chenyuan Teng, Asier Marzo, José L. Núñez-Yáñez	Ultrasonic Levitation with Software-Defined FPGAs and Electronically Phased Arrays.	AHS	2019	DBLP DOI BibTeX RDF
15	Peter Farkas	Adaptive Feedback Supported Communication for IoT and Space Applications.	AHS	2019	DBLP DOI BibTeX RDF
15	Philippe Lambert, Lionel Lapierre, Didier Crestani	An Approach for Fault Tolerant and Performance Guarantee Autonomous Robotic Mission.	AHS	2019	DBLP DOI BibTeX RDF
15	Juliano Pimentel, Tanya Vladimirova	Towards MPSoC Enabled Subsea Embedded Systems for Fault Tolerant Applications.	AHS	2019	DBLP DOI BibTeX RDF
15	Coskun Kazma, Vecdi Emre Levent, Nizamettin Aydin	Design and Development of a New Tactile Stimulator.	AHS	2019	DBLP DOI BibTeX RDF
15	Alexander Dörflinger, Mark Albers, Björn Fiethe, Harald Michalik, Mischa Möstl, Johannes Schlatow, Rolf Ernst	Demonstrating Controlled Change for Autonomous Space Vehicles.	AHS	2019	DBLP DOI BibTeX RDF
15	Rylo Ashmore, Arie Gurfinkel, Richard J. Trefler	Local Reasoning for Parameterized First Order Protocols.	NFM	2019	DBLP DOI BibTeX RDF
15	Jürgen König, Heike Wehrheim	Data Independence for Software Transactional Memory.	NFM	2019	DBLP DOI BibTeX RDF
15	Chris Casinghino, J. T. Paasch, Cody Roux, John Altidor, Michael Dixon, Dustin Jamner	Using Binary Analysis Frameworks: The Case for BAP and angr.	NFM	2019	DBLP DOI BibTeX RDF
15	Nils Jansen 0001, Laura R. Humphrey, Jana Tumova, Ufuk Topcu	Structured Synthesis for Probabilistic Systems.	NFM	2019	DBLP DOI BibTeX RDF
15	Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai	Practical Causal Models for Cyber-Physical Systems.	NFM	2019	DBLP DOI BibTeX RDF
15	Mohsen Lesani	Transaction Protocol Verification with Labeled Synchronization Logic.	NFM	2019	DBLP DOI BibTeX RDF
15	Benoît Barbot, Nicolas Basset, Thao Dang 0001	Generation of Signals Under Temporal Constraints for CPS Testing.	NFM	2019	DBLP DOI BibTeX RDF
15	Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric	A Mixed Real and Floating-Point Solver.	NFM	2019	DBLP DOI BibTeX RDF
15	Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov	Towards Full Proof Automation in Frama-C Using Auto-active Verification.	NFM	2019	DBLP DOI BibTeX RDF
15	Matteo Busi 0001, Pierpaolo Degano, Letterio Galletta	Using Standard Typing Algorithms Incrementally.	NFM	2019	DBLP DOI BibTeX RDF
15	James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens	MLν: A Distributed Real-Time Modal Logic.	NFM	2019	DBLP DOI BibTeX RDF
15	Mathias Claus Jensen, Anders Mariegaard, Kim Guldstrand Larsen	Symbolic Model Checking of Weighted PCTL Using Dependency Graphs.	NFM	2019	DBLP DOI BibTeX RDF
15	Jannik Dunkelau, Sebastian Krings, Joshua Schmidt	Automated Backend Selection for ProB Using Deep Learning.	NFM	2019	DBLP DOI BibTeX RDF
15	David E. Narváez	Formalizing CNF SAT Symmetry Breaking in PVS.	NFM	2019	DBLP DOI BibTeX RDF
15	Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu	Traffic Management for Urban Air Mobility.	NFM	2019	DBLP DOI BibTeX RDF
15	Sudeep Kanav, Levi Lúcio, Christian Hilden, Thomas Schuetz	Design and Runtime Verification Side-by-Side in eTrice.	NFM	2019	DBLP DOI BibTeX RDF
15	Yash Vardhan Pant, Rhudii A. Quaye, Houssam Abbas, Akarsh Varre, Rahul Mangharam	Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic.	NFM	2019	DBLP DOI BibTeX RDF
15	Mathias Fleury	Optimizing a Verified SAT Solver.	NFM	2019	DBLP DOI BibTeX RDF
15	Anitha Murugesan, Mohammad Moghadamfalahi, Arunabh Chattopadhyay	Formal Methods Assisted Training of Safe Reinforcement Learning Agents.	NFM	2019	DBLP DOI BibTeX RDF
15	Hakan Metin, Souheib Baarir, Fabrice Kordon	Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving.	NFM	2019	DBLP DOI BibTeX RDF
15	Marijn J. H. Heule, Benjamin Kiesl, Armin Biere	Clausal Proofs of Mutilated Chessboards.	NFM	2019	DBLP DOI BibTeX RDF
15	Aman Goel, Karem A. Sakallah	Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction.	NFM	2019	DBLP DOI BibTeX RDF
15	Eleftherios Ioannidis, M. Frans Kaashoek, Nickolai Zeldovich	Extracting and Optimizing Formally Verified Code for Systems Programming.	NFM	2019	DBLP DOI BibTeX RDF
15	Bernhard K. Aichernig, Christian Burghard, Robert Korosec	Learning-Based Testing of an Industrial Measurement Device.	NFM	2019	DBLP DOI BibTeX RDF
15	Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist	Towards a Two-Layer Framework for Verifying Autonomous Vehicles.	NFM	2019	DBLP DOI BibTeX RDF
15	Masaki Waga, Étienne André	Online Parametric Timed Pattern Matching with Automata-Based Skipping.	NFM	2019	DBLP DOI BibTeX RDF
15	Ally M. Toure, Rolf H. Reichle, Barton A. Forman, Augusto Getirana, Gabrielle J. M. De Lannoy	Assimilation of MODIS Snow Cover Fraction Observations into the NASA Catchment Land Surface Model.	Remote. Sens.	2018	DBLP DOI BibTeX RDF
15	Thomas Meissner, Frank J. Wentz, David M. Le Vine	The Salinity Retrieval Algorithms for the NASA Aquarius Version 5 and SMAP Version 3 Releases.	Remote. Sens.	2018	DBLP DOI BibTeX RDF
15	Simone Lolli, Leo Pio D'Adderio, James R. Campbell 0002, Michaël Sicard, Ellsworth J. Welton, Andrea Binci, Alessandro Rea, Ali Tokay, Adolfo Comerón, Rubén Barragán, José María Baldasano, Sergi Gonzalez, Joan Bech, Nicola Afflitto, Jasper R. Lewis, Fabio Madonna	Vertically Resolved Precipitation Intensity Retrieved through a Synergy between the Ground-Based NASA MPLNET Lidar Network Measurements, Surface Disdrometer Datasets and an Analytical Model Solution.	Remote. Sens.	2018	DBLP DOI BibTeX RDF
15	Antonio Ferraz, Sassan Saatchi, Kat J. Bormann, Thomas H. Painter	Fusion of NASA Airborne Snow Observatory (ASO) Lidar Time Series over Mountain Forest Landscapes.	Remote. Sens.	2018	DBLP DOI BibTeX RDF
15	Michael J. Siers, Md Zahidul Islam 0001	Novel algorithms for cost-sensitive classification and knowledge discovery in class imbalanced datasets with an application to NASA software defects.	Inf. Sci.	2018	DBLP DOI BibTeX RDF
15	Luz Marina Sierra Martínez, Carlos Alberto Cobos Lozada, Juan Carlos Corrales-Muñoz, Tulio Rojas Curieux, Enrique Herrera-Viedma, Diego Hernán Peluffo-Ordóñez	Building a Nasa Yuwe Language Corpus and Tagging with a Metaheuristic Approach.	Computación y Sistemas	2018	DBLP DOI BibTeX RDF
15	Adam H. Sparks	nasapower: A NASA POWER Global Meteorology, Surface Solar Energy and Climatology Data Client for R.	J. Open Source Softw.	2018	DBLP DOI BibTeX RDF
15	Alexander Bock 0002, Charles D. Hansen, Anders Ynnerman	OpenSpace: Bringing NASA Missions to the Public.	IEEE Computer Graphics and Applications	2018	DBLP DOI BibTeX RDF
15	Glynn C. Hulley, Nabin K. Malakar, Tanvir Islam, Robert J. Freepartner	NASA's MODIS and VIIRS Land Surface Temperature and Emissivity Products: A Long-Term and Consistent Earth System Data Record.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2018	DBLP DOI BibTeX RDF
15	Maryam Pourshamsi, Mariano García, Marco Lavalle, Heiko Balzter	A Machine-Learning Approach to PolInSAR and LiDAR Data Fusion for Improved Tropical Forest Canopy Height Estimation Using NASA AfriSAR Campaign Data.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2018	DBLP DOI BibTeX RDF
15	Jennifer L. Gustetic, Jason Crusan, Steve Rader, Sam Ortega	Outcome-Driven Open Innovation at NASA.	CoRR	2018	DBLP BibTeX RDF
15	Neil Richardson	Mission control management: the principles of high performance and perfect decision-making learned from leading at NASA.	Int. J. Gen. Syst.	2018	DBLP DOI BibTeX RDF
15		Astromechs for NASA.	Sci. Robotics	2018	DBLP DOI BibTeX RDF
15	Lorena Moreira, Regina Ruschel	Augmented Reality Owner Manual Evaluation by NASA TLX Method.	SVR	2018	DBLP DOI BibTeX RDF
15	Jinan Zeng, James J. Butler 0001, Xiaoxiong Xiong, Nathan Kelley	JPSS-1 VIIRS solar diffuser witness sample BRF calibration using a table-top goniometer at NASA GSFC.	Earth Observing Systems	2018	DBLP DOI BibTeX RDF
15	Matthew J. Shannon, Christiaan Boersma	Organic Molecules in Space: Insights from the NASA Ames Molecular Database in the era of the James Webb Space Telescope.	SciPy	2018	DBLP DOI BibTeX RDF
15		2018 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2018, Edinburgh, United Kingdom, August 6-9, 2018	AHS	2018	DBLP BibTeX RDF
15	Aaron Dutle, César A. Muñoz, Anthony Narkawicz (eds.)	NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings	NFM	2018	DBLP DOI BibTeX RDF
15	Julian Rothermel, Mikael Lindvall, Adam A. Porter, Sigurthor Bjorgvinsson	A Metamorphic Testing Approach to NASA GMSEC's Flexible Publish and Subscribe Functionality.	MET@ICSE	2018	DBLP DOI BibTeX RDF
15	Lamees Alsuhaibani, Amal Alabdulkarim, Kevin Hussey, Areej Al-Wabil	UX Design in the Localization and Internationalization of NASA's Eyes on the Earth.	IHSI	2018	DBLP DOI BibTeX RDF
15	V. Chandrasekar 0001, Manuel A. Vega, Shashank S. Joshil, Mohit Kumar 0005, David B. Wolff, Walter A. Petersen	Deployment and Performance of the Nasa D3R During the Ice-Pop 2018 Field Campaign in South Korea.	IGARSS	2018	DBLP DOI BibTeX RDF
15	Clement Albinet, Amanda S. Whitehurst, Henri Laur, Kevin J. Murphy, Bjorn Frommknecht, Klaus Scipal, Andrew E. Mitchell, Benhan Jai, Rahul Ramachandran	ESA-NASA Multi-Mission Analysis Platform for Improving Global Aboveground Terrestrial Carbon Dynamics.	IGARSS	2018	DBLP DOI BibTeX RDF
15	Nicholas W. Sawruk, Patrick M. Burns, Ryan E. Edwards, Viatcheslav Litvinovitch, Floyd Hovis	Flight Lasers Transmitter Development for Nasa Ice Topography Icesat-2 Space Mission.	IGARSS	2018	DBLP DOI BibTeX RDF
15	Jacqueline Le Moigne	Distributed Spacecraft Missions (DSM) Technology Development at NASA Goddard Space Flight Center.	IGARSS	2018	DBLP DOI BibTeX RDF
15	Hyangsun Han, Hyun-Cheol Kim	Bias Assessment of Nasa Team and ASI Summer SEA ICE Concentrations in the Chukchi SEA using Kompsat-5 SAR.	IGARSS	2018	DBLP DOI BibTeX RDF
15	Christopher Lynnes, Rahul Ramachandran	Generalizing a Data Analysis Pipeline in the Cloud to Handle Diverse Use Cases in NASA's EOSDIS.	IGARSS	2018	DBLP DOI BibTeX RDF
15	Zhuosen Wang, Miguel O. Roman, Qingsong Sun, Virginia L. Kalb, Kytt MacManus, Robert E. Ryan, Mary Pagnutti, Dennis L. Helder	Nasa's Black Marble Product Suite: Validation Strategy.	IGARSS	2018	DBLP DOI BibTeX RDF
15	Antonio Ferraz, Sassan Saatchi, Kat J. Bormann, Thomas H. Painter	Fusion of Multiple Low-Resolution NASA Airborne Snow Observatory (ASO) Lidar Data for Forest Vegetation Structure Caracterization.	IGARSS	2018	DBLP DOI BibTeX RDF
15	Mohit Kumar 0005, Shashank S. Joshil, Manuel Vega, V. Chandrasekar 0001, John W. Zebley	Nasa D3R: 2.0, Enhanced Radar with New Data and Control Features.	IGARSS	2018	DBLP DOI BibTeX RDF
15	Ludovic Brucker, Christopher A. Hiemstra, Hans-Peter Marshall, Kelly Elder, Roger D. De Roo, Mohammad Mousavi, Francis Bliven, Walt Peterson, Jeffrey Deems, Peter Gadomski, Arthur Gelvin, Lucas P. Spaete, Theodore B. Barnhart, Ty Brandt, John F. Burkhart, Christopher J. Crawford, Tri Datta, Havard Erikstrod, Nancy F. Glenn, Katherine Hale, Brent Holben, Paul R. Houser, Keith Jennings, Richard E. J. Kelly, Jason Kraft, Alexandre Langlois, Daniel McGrath, Chelsea Merriman, Noah P. Molotch, Anne W. Nolin, Chris Polashenski, Mark Raleigh, Karl Rittger, Chago Rodriguez, Alexandre Roy, S. McKenzie Skiles, Eric Small, Marco Tedesco, Chris Tennant, Aaron Thompson, Zach Uhlmann, Ryan Webb, Matt Wingo	Nasa Snowex'17 in SITU Measurements and Ground-Based Remote Sensing.	IGARSS	2018	DBLP DOI BibTeX RDF
15	Daniel C. Berrios, Sylvain Costes, Peter B. Tran	NASA's GeneLab: An Integrated Omics Data Commons and Workbench.	AMIA	2018	DBLP BibTeX RDF
15	Bilal Nasser, Amir Rabani, Don Freiling, Christian Gan	An Adaptive Telerobotics Control for Advanced Manufacturing.	AHS	2018	DBLP DOI BibTeX RDF
15	Andrea Guerrieri, Sahand Kashani-Akhavan, Pasquale Lombardi, Bilel Belhadj, Paolo Ienne	A Dynamically Reconfigurable Platform for High-Performance and Low-Power On-Board Processing.	AHS	2018	DBLP DOI BibTeX RDF
15	Ayoub Mars, Wael Adi	New Concept for Physically-Secured E-Coins Circulations.	AHS	2018	DBLP DOI BibTeX RDF
15	Godwin Enemali, Adewale Adetomi, Tughrul Arslan	Efficient Runtime Frame ECC Recomputation for Reliable Task Execution on Xilinx FPGAs.	AHS	2018	DBLP DOI BibTeX RDF
15	Timothee Buettner, Atanas Tanev, Lars Pfotzer, Arne Roennau, Rüdiger Dillmann	The intelligent Computer Aided Satellite Designer iCASD - Creating viable configurations for modular satellites.	AHS	2018	DBLP DOI BibTeX RDF
15	Dimitry Solet, Jean-Luc Béchennec, Mikaël Briday	HW-based Architecture for Runtime Verification of Embedded Software on SoPC systems.	AHS	2018	DBLP DOI BibTeX RDF
15	Yingmeng Hu, Rongke Liu, Aryan Kaushik, Xiaoyan Shi, John S. Thompson	A Low Complexity Decoding Algorithm for Spinal Codes with Efficiently Distributed Symbols.	AHS	2018	DBLP DOI BibTeX RDF
15	Aliyu Dala, Adewale Adetomi, Godwin Enemali, Tughrul Arslan	RR4DSN: Reconfigurable Receiver for Deepwater Sensor Nodes.	AHS	2018	DBLP DOI BibTeX RDF
15	Adewale Adetomi, Godwin Enemali, Tughrul Arslan	Towards a Secure Partial Reconfiguration of Xilinx FPGAs : Special Session Paper.	AHS	2018	DBLP DOI BibTeX RDF
15	Antonio Sanchez-Clemente, Luis Entrena, Fernanda Lima Kastensmidt	Approximate TMR for selective error mitigation in FPGAs based on testability analysis.	AHS	2018	DBLP DOI BibTeX RDF
15	Víctor Mayoral, Risto Kojcev, Alejandro Hernández, Irati Zamalloa, Asier Bilbao	Modular And Self-Adaptable (MASA) strategy for building robots.	AHS	2018	DBLP DOI BibTeX RDF
15	Alexander J. Martin, Peter J. B. Hancock, Charlie D. Frowd, Priscilla Heard, Emma Gaskin, Claire Ford, Thomas Hewett	EvoFIT composite face construction via practitioner interviewing and a witness-administered protocol.	AHS	2018	DBLP DOI BibTeX RDF
15	Jayshree, G. Seetharaman	Design and Analysis of Novel Interconnects with Network-on-Chip LVDS Transmitter for Low Delay.	AHS	2018	DBLP DOI BibTeX RDF
15	Klemen Bravhar, Victor Martins, Lucana Santos, David Merodio Codinachs	BRAVE NG-MEDIUM FPGA reconfiguration through SpaceWire: example use case and performance analysis.	AHS	2018	DBLP DOI BibTeX RDF