|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 988 occurrences of 710 keywords
|
|
|
Results
Found 3256 publication records. Showing 3247 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
92 | Ricky W. Butler |
Formal Methods at NASA Langley. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, pp. 1-2, 2002, Springer, 3-540-44039-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
75 | Corinne S. Irwin, Dennis C. Taylor |
Identity, credential, and access management at NASA, from Zachman to attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDtrust ![In: IDtrust 2009, Proceedings of the 8th Symposium on Identity and Trust on the Internet, April 14-16, 2009, Gaithersburg, Maryland, USA, pp. 1-14, 2009, ACM, 978-1-60558-474-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
attribute-based access control (ABAC), level of assurance (LoA), logical access control system (LACS) |
69 | Jay Liebowitz |
A Look at NASA Goddard Space Flight Center's Knowledge Management Initiatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 19(3), pp. 40-42, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Intellectual Asset Management, NASA Goddard Space Flight Center, Knowledge Management, Project Management, Knowledge Sharing, Lessons learned |
66 | Daniel E. Cooke, Scott Hamilton |
New Directions at NASA Ames Research Center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 33(1), pp. 63-71, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
58 | Daniel C. Duffy, Nicko Acks, Vaughn Noga, Tom Schardt, J. Patrick Gary, Bill Fink, Ben Kobler, Mike Donovan, Jim McElvaney, Kent Kamischke |
Beyond the Storage Area Network: Data Intensive Computing in a Distributed Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSST ![In: 22nd IEEE / 13th NASA Goddard Conference on Mass Storage Systems and Technologies (MSST 2005), Information Retrieval from Very Large Storage Systems, CD-ROM, 11-14 April 2005, Monterey, CA, USA, pp. 232-236, 2005, IEEE Computer Society, 0-7695-2318-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Rod Fatoohi |
Performance evaluation of communication networks for distributed computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 456, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
HiPPI, IBM Allnode switch, DaVinci, SGI R8000 workstations, NASA Ames, LACE, IBM RS6000 workstations, NASA Lewis, IBM SP2 machine, communication tests, programming levels, ttcp program, peak rates, BSD socket programming interface, PVM message passing library, performance evaluation, performance evaluation, distributed computing, ATM, communication networks, Ethernet, testbeds, high speed networks, FDDI, performance results, Fibre Channel |
54 | Stephanie L. Smith |
ROVer ranch: a 3-D learning environment for K-12. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Educators Program ![In: Educators program from the 30th annual conference on Computer graphics and interactive techniques, 2003, San Diego, California, USA, July 27 - 31, 2003, 2003, ACM, 978-1-4503-7459-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
ROVer Ranch, learning technologies project, robotics, distance learning, 3-D, NASA, LTP |
50 | Bill Othon |
Applying Formal Methods to NASA Projects: Transition from Research to Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009., pp. 2, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
49 | Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski |
Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA, pp. 253-264, 2005, IEEE Computer Society, 0-7695-2306-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Swarm Technology, Verification, Formal Methods |
49 | David M. Raffo, Wayne W. Wakeland |
Assessing IV&V Benefits Using Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 3-4 December 2003, Greenbelt, Maryland, USA, pp. 97, 2003, IEEE Computer Society, 0-7695-2064-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Stephan Greene, Egemen Tanin, Catherine Plaisant, Ben Shneiderman, Lola Olsen, Gene Major, Steve Johns |
The End of Zero-hit Queries: Query Previews for NASA's Global Change Master Directory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Digit. Libr. ![In: Int. J. Digit. Libr. 2(2-3), pp. 79-90, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Metadata, Graphical user interface, Browsing, Earth science, Query preview |
49 | William E. Johnston, Dennis Gannon, Bill Nitzberg |
Grids as Production Computing Environments: The Engineering Aspects of NASA's Information Power Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the Eighth IEEE International Symposium on High Performance Distributed Computing, HPDC'99, Redondo Beach, California, USA, August 3-6, 1999., pp. 197-204, 1999, IEEE Computer Society, 0-7695-0287-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
47 | Steve Marley, Mike Moore, Bruce Clark |
Building Cost-Effective Remote Data Storage Capabilities for NASA's EOSDI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Mass Storage Systems ![In: 20th IEEE/11th NASA Goddard Conference on Mass Storage Systems and Technologies, MSS 2003, San Diego, California, USA, April 7-10, 2003, pp. 28-39, 2003, IEEE Computer Society, 0-7695-1914-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Martin J. Steele |
The NASA standard for models and simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 5-10, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
verification, standard, validation, credibility, NASA |
43 | Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green |
NASA's Exploration Agenda and Capability Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 39(1), pp. 63-73, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
NASA flight systems, International Space Station, Model-based languages, Risk analysis methodologies, SequenceL, Capability engineering |
43 | James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson |
A requirements-based programming approach to developing a NASA autonomous ground control system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 25(4), pp. 285-297, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Verification, Formal methods, Validation, Autonomous systems, Autonomic systems, Automatic code generation, NASA |
43 | Dimitri J. Mavriplis, Michael J. Aftosmis, Marsha J. Berger |
High Resolution Aerospace Applications using the NASA Columbia Supercomputer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2005 Conference on High Performance Networking and Computing, November 12-18, 2005, Seattle, WA, USA, CD-Rom, pp. 61, 2005, IEEE Computer Society, 1-59593-061-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
NASA Columbia, SGI Altix, hybrid programming, scalability, OpenMP, computational fluid dynamics, unstructured |
41 | Norma Teresinha Oliveira Reis, Claudio André, Troy D. Cline, Timothy E. Eastman, Margaret J. Maher, Louis A. Mayo, Elaine M. Lewis |
NASA Education and Educational Technologies Exemplified by the Space Weather Action Center Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCCE ![In: Education and Technology for a Better World, 9th IFIP TC 3 World Conference on Computers in Education, WCCE 2009, Bento Gonçalves, Brazil, July 27-31, 2009. Proceedings, pp. 14-25, 2009, Springer, 978-3-642-03114-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
STEM education, space science education, education technologies |
41 | Michael R. Lowry |
Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 17th International Symposium, ISMIS 2008, Toronto, Canada, May 20-23, 2008, Proceedings, pp. 28-37, 2008, Springer, 978-3-540-68122-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Emil Vassev, Mike Hinchey, Joey Paquet |
Towards an ASSL specification model for NASA swarm-based exploration missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 1652-1657, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
swarm missions, autonomic computing, formal specification language |
41 | Christa D. Peters-Lidard, Paul R. Houser, Yudong Tian, Sujay V. Kumar, James Geiger, S. Olden, L. Lighty, B. Doty, Paul A. Dirmeyer, J. Adams, K. Mitchell, Eric F. Wood, Justin Sheffield |
High-performance Earth system modeling with NASA/GSFC's Land Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 3(3), pp. 157-165, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Land surface modeling, Earth system modeling, Interoperability, Information systems, High-performance computing, Ensemble, Object-oriented frameworks, Weather, Climate |
41 | Joshua Mehling, Philip Strawser, Lyndon B. Bridgwater, William K. Verdeyen, Roger Rovekamp |
Centaur: NASA's Mobile Humanoid Designed for Field Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 2928-2933, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Andres S. Orrego, Gregory E. Mundy |
SRAE: An Integrated Framework for Aiding in the Verification and Validation of Legacy Artifacts in NASA Flight Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1, pp. 413-422, 2007, IEEE Computer Society, 978-0-7695-2870-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick |
Software Assurance Research Infusion: The NASA Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 18-27, 2006, IEEE Computer Society, 978-0-7695-3071-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Michael G. Hinchey, James L. Rash, Christopher A. Rouff |
Some Verification Issues at NASA Goddard Space Flight Center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 403-412, 2005, Springer, 978-3-540-69147-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Roy Sterritt |
Challenges of Developing New Classes of NASA Self-Managing Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS (2) ![In: 11th International Conference on Parallel and Distributed Systems, ICPADS 2005, Fuduoka, Japan, July 20-22, 2005, pp. 463-467, 2005, IEEE Computer Society, 0-7695-2281-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Eric Sokolowsky, Horace Mitchell, Jeff de La Beaujardière |
NASA's Scientific Visualization Studio Image Server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 16th IEEE Visualization Conference, IEEE Vis 2005, Minneapolis, MN, USA, October 23-28, 2005, Proceedings, pp. 103, 2005, IEEE Computer Society, 0-7803-9462-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Bruce R. Barkstrom, Thomas H. Hinke, Shradha Gavali, Warren Smith, William J. Seufzer, Chaumin Hu, David E. Cordner |
Distributed Generation of NASA Earth Science Data Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Grid Comput. ![In: J. Grid Comput. 1(2), pp. 101-116, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Grid mining, phenomena-based subsetting, product generation, subsetting |
41 | Rodney L. Bown, Charles W. McKay |
Programming support for the NASA space station data management system (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985, pp. 425, 1985, ACM, 0-89791-150-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
38 | Aijun Chen, Liping Di, Yaxing Wei, Yuqi Bai, Yang Liu 0051 |
An Optimized Grid-Based, OGC Standards-Compliant Collaborative Software System for Serving NASA Geospatial Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA, pp. 159-166, 2006, IEEE Computer Society, 0-7695-2624-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Hoot Thompson, Curt Tilmes, Robert Cavey, Bill Fink, Paul Lang, Ben Kobler |
Considerations and Performance Evaluations of Shared Storage Area Networks at NASA Goddard Space Flight Center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Mass Storage Systems ![In: 20th IEEE/11th NASA Goddard Conference on Mass Storage Systems and Technologies, MSS 2003, San Diego, California, USA, April 7-10, 2003, pp. 135-, 2003, IEEE Computer Society, 0-7695-1914-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Jason D. Lohn, Derek S. Linden, Gregory Hornby, William F. Kraus, Adaan Rodriguez-Arroyo |
Evolutionary Design of an X-Band Antenna for NASA's Space Technology 5 Mission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evolvable Hardware ![In: 5th NASA / DoD Workshop on Evolvable Hardware (EH 2003), 9-11 July 2002, Chicago, IL, USA, pp. 155-163, 2003, IEEE Computer Society, 0-7695-1977-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | David E. Lapsley, Marcos Bergamo |
An integrated approach to the development of wireless network protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINTECH ![In: Proceedings of the First ACM Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization, WINTECH 2006, Los Angeles, California, USA, September 29, 2006, pp. 10-17, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
GNU radio, HiDSN, TCeMA, software defined radio, mathematica, NASA |
37 | Frank E. McGarry |
Reuse of software engineering assets in a production environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 1997 Australian Software Engineering Conference (ASWEC '97), 28 September - 2 October 1997, Sydney, Australia, pp. 3-5, 1997, IEEE Computer Society, 0-8186-8081-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
software engineering asset reuse, production environment, Software Engineering Laboratory, SEL, National Aeronautics and Space Administration, Goddard Space Flight Center, NASA/GSFC, experiments, software process, software reusability |
36 | Pratya Nuankaew, Patchara Nasa-Ngium, Tinnakorn Kunasit, Wongpanya Sararat Nuankaew |
Implementation of Data Analytics and Machine Learning in Thailand Education Sector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Emerg. Technol. Learn. ![In: Int. J. Emerg. Technol. Learn. 18(5), pp. 175-191, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Patchara Nasa-Ngium, Wongpanya Sararat Nuankaew, Pratya Nuankaew |
Analyzing and Tracking Student Educational Program Interests on Social Media with Chatbots Platform and Text Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Interact. Mob. Technol. ![In: Int. J. Interact. Mob. Technol. 17(5), pp. 4-21, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Sri Devi Ravana, Myat Noe Win, Nasa Zata Dina, Maria Fasli |
Embedding SDGs in Higher Education Curricula: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WI/IAT ![In: IEEE International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2023, Venice, Italy, October 26-29, 2023, pp. 586-592, 2023, IEEE, 979-8-3503-0918-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | M. Meenaakumari, P. Jayasuriya, Nasa Dhanraj, Seema Sharma, Geetha Manoharan, Mohit Tiwari |
Loan Eligibility Prediction using Machine Learning based on Personal Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3I ![In: 5th International Conference on Contemporary Computing and Informatics, IC3I 2022, Uttar Pradesh, India, December 14-16, 2022, pp. 1383-1387, 2022, IEEE, 979-8-3503-9826-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Nasa Zata Dina, Sri Devi Ravana, Norisma Idris |
An Experimental Study on Hybrid Feature Selection Techniques for Sentiment Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKIMA ![In: 14th International Conference on Software, Knowledge, Information Management and Applications, SKIMA 2022, Phnom Penh, Cambodia, December 2-4, 2022, pp. 270-275, 2022, IEEE, 978-1-6654-9334-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Pratya Nuankaew, Patchara Nasa-Ngium, Wongpanya Sararat Nuankaew |
Improving Predictive Model to Prevent Students' Dropout in Higher Education Using Majority Voting and Data Mining Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIWAI ![In: Multi-disciplinary Trends in Artificial Intelligence - 15th International Conference, MIWAI 2022, Virtual Event, November 17-19, 2022, Proceedings, pp. 61-72, 2022, Springer, 978-3-031-20991-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Nasa Zata Dina, Riky Tri Yunardi, Aji Akbar Firdaus |
Utilizing Text Mining and Feature-Sentiment-Pairs to Support Data-Driven Design Automation Massive Open Online Course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Emerg. Technol. Learn. ![In: Int. J. Emerg. Technol. Learn. 16(1), pp. 134-151, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Nasa Zata Dina, Riky Tri Yunardi, Aji Akbar Firdaus, Nyoman Juniarta |
Measuring User Satisfaction of Educational Service Applications using Text Mining and Multicriteria Decision-Making Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Emerg. Technol. Learn. ![In: Int. J. Emerg. Technol. Learn. 16(17), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Nasa Zata Dina, Ria Triwastuti, Mega Silfiani |
TF-IDF Decision Matrix to Measure Customers' Satisfaction of Ride Hailing Mobile Application Services: Multi-Criteria Decision-Making Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Interact. Mob. Technol. ![In: Int. J. Interact. Mob. Technol. 15(17), pp. 104, September 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Pratya Nuankaew, Patchara Nasa-Ngium, Wongpanya Sararat Nuankaew |
Application for Identifying Students Achievement Prediction Model in Tertiary Education: Learning Strategies for Lifelong Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Interact. Mob. Technol. ![In: Int. J. Interact. Mob. Technol. 15(22), pp. 22, November 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Md. Mehedi Hassan, Md. Mahedi Hassan, Laboni Akter, Md. Mushfiqur Rahman, Sadika Zaman, Khan Md. Hasib, Nusrat Jahan, Raisun Nasa Smrity, Jerin Farhana, M. Raihan, Swarnali Mollick |
Efficient Prediction of Water Quality Index (WQI) Using Machine Learning Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hum. Centric Intell. Syst. ![In: Hum. Centric Intell. Syst. 1(3-4), pp. 86, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Pratya Nuankaew, Patchara Nasa-Ngium, Kanakarn Phanniphong, Oranan Chaopanich, Sittichai Bussaman, Wongpanya Sararat Nuankaew |
Learning Management Impacted with COVID-19 at Higher Education in Thailand: Learning Strategies for Lifelong Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Eng. Pedagog. ![In: Int. J. Eng. Pedagog. 11(4), pp. 58-80, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
36 | Daniel L. Silver, Jabun Nasa |
Estimating Grape Yield on the Vine from Multiple Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.04278, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
36 | Esther Rheinbay, Morten Muhlig Nielsen, Federico Abascal, Jeremiah Wala, Ofer Shapira, Grace Tiao, Henrik Hornshøj, Julian M. Hess, Randi Istrup Juul, Ziao Lin, Lars Feuerbach, Radhakrishnan Sabarinathan, Tobias Madsen, Jaegil Kim, Loris Mularoni, Shimin Shuai, Andrés Lanzós, Carl Herrmann, Yosef E. Maruvka, Ciyue Shen, Samirkumar B. Amin, Pratiti Bandopadhayay, Johanna Bertl, Keith A. Boroevich, John Busanovich, Joana Carlevaro-Fita, Dimple Chakravarty, Calvin Wing Yiu Chan, David Craft, Priyanka Dhingra, Klev Diamanti, Nuno A. Fonseca, Abel Gonzalez-Perez, Qianyun Guo, Mark P. Hamilton, Nicholas J. Haradhvala, Chen Hong, Keren Isaev, Todd A. Johnson, Malene Juul, André Kahles, Abdullah Kahraman, Youngwook Kim, Jan Komorowski, Kiran Kumar, Sushant Kumar, Donghoon Lee 0006, Kjong-Van Lehmann, Yilong Li, Eric Minwei Liu, Lucas Lochovsky, Keunchil Park, Oriol Pich, Nicola D. Roberts, Gordon Saksena, Steven E. Schumacher, Nikos Sidiropoulos, Lina Sieverling, Nasa Sinnott-Armstrong, Chip Stewart, David Tamborero, Jose M. C. Tubio, Husen M. Umer, Liis Uusküla-Reimand, Claes Wadelius, Lina Wadi, Xiaotong Yao, Cheng-Zhong Zhang, Jing Zhang 0062, James E. Haber, Asger Hobolth, Marcin Imielinski, Manolis Kellis, Michael S. Lawrence, Christian von Mering, Hidewaki Nakagawa, Benjamin J. Raphael, Mark A. Rubin, Chris Sander, Lincoln D. Stein, Joshua M. Stuart, Tatsuhiko Tsunoda, David A. Wheeler, Rory Johnson, Jüri Reimand, Mark Gerstein, Ekta Khurana, Peter J. Campbell, Núria López-Bigas, Gary D. Bader, Jonathan Barenboim, Rameen Beroukhim, Søren Brunak, Ken Chen, Jung Kyoon Choi, Jordi Deu-Pons, J. Lynn Fink, Joan Frigola, Carlo Gambacorti Passerini, Dale W. Garsed, Gad Getz, Ivo Glynne Gut, David Haan, Arif Ozgun Harmanci, Mohamed Helmy, Ermin Hodzic, José M. G. Izarzugaza, Jong K. Kim, Jan O. Korbel, Erik Larsson, Shantao Li, Xiaotong Li, Shaoke Lou, Kathleen Marchal, Iñigo Martincorena, Alexander Martínez-Fundichely, Patrick D. McGillivray, William Meyerson, Ferran Muiños, Marta Paczkowska, Kiejung Park, Jakob Skou Pedersen, Tirso Pons, Sergio Pulido-Tamayo, Iker Reyes-Salazar, Matthew A. Reyna, Carlota Rubio-Perez, Süleyman Cenk Sahinalp, Leonidas Salichos, Mark Shackleton, Raunak Shrestha, Alfonso Valencia, Miguel Vazquez, Lieven P. C. Verbeke, Jiayin Wang, Jonathan Warrell, Sebastian M. Waszak, Joachim Weischenfeldt, Guanming Wu, Jun Yu, Xuanping Zhang, Yan Zhang 0032, Zhongming Zhao, Lihua Zou, Kadir C. Akdemir, Eva G. Alvarez, Adrian Baez-Ortega, Paul C. Boutros, David D. L. Bowtell, Benedikt Brors, Kathleen H. Burns, Kin Chan, Isidro Cortés-Ciriano, Ana Dueso-Barroso, Andrew J. Dunford, Paul A. Edwards, Xavier Estivill, Dariush Etemadmoghadam, Milana Frenkel-Morgenstern, Dmitry A. Gordenin, Barbara Hutter, David T. W. Jones, Young Seok Ju, Marat D. Kazanov, Leszek J. Klimczak, Youngil Koh, Eunjung Alice Lee, Jake June-Koo Lee, Andy G. Lynch, Geoff MacIntyre, Florian Markowetz, Matthew Meyerson, Satoru Miyano, Fabio C. P. Navarro, Stephan Ossowski, Peter J. Park, John V. Pearson, Montserrat Puiggròs, Karsten Rippe, Steven A. Roberts, Bernardo Rodriguez-Martin, Ralph Scully, David Torrents, Izar Villasante, Nicola Waddell, Jeremiah A. Wala, Lixing Yang, Sung-Soo Yoon, Jorge Zamora |
Analyses of non-coding somatic drivers in 2,658 cancer whole genomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. ![In: Nat. 578(7793), pp. 102-111, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
36 | Xuhong Li 0001, Mohamad Abou Nasa, Farshid Rezaei, Fredrik Tufvesson |
Target Tracking using Signal Strength Differences for Long-Range IoT Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC Workshops ![In: 2020 IEEE International Conference on Communications Workshops, ICC Workshops 2020, Dublin, Ireland, June 7-11, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-7440-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
36 | Patchara Nasa-Ngium, Khamron Sunat, Sirapat Chiewchanwattana |
Impacts of Linnik Flight Usage Patterns on Cuckoo Search for Real-Parameter Global Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 83932-83961, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
36 | Nasa Yoshioka, Nobuyuki Kobayashi, Seiko Shirasaka |
The Methodology to Integrate the Information Concerned About the Safety Between Many Kinds of Materials About the Space System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSDM Asia ![In: Complex Systems Design & Management Asia - Smart Nations - Sustaining and Designing: Proceedings of the Second Asia-Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2016, Singapore, February 24-26, 2016., pp. 271, 2016, Springer, 978-3-319-29642-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Jon Whittle 0001, William Simm, Maria Angela Ferrario, Katerina Frankova, Laurence Garton, Andrée Woodcock, Baseerit Nasa, Jane M. Binner, Aom Ariyatum |
VoiceYourView: collecting real-time feedback on the design of public spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UbiComp ![In: UbiComp 2010: Ubiquitous Computing, 12th International Conference, UbiComp 2010, Copenhagen, Denmark, September 26-29, 2010, Proceedings, pp. 41-50, 2010, ACM, 978-1-60558-843-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Julia M. Badger, Kristin Yvonne Rozier (eds.) |
NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![Springer, 978-3-319-06199-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina |
Incremental Verification of Compiler Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 300-306, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Robert M. Hierons, Uraz Cengiz Türker |
Distinguishing Sequences for Partially Specified FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 62-76, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Stephan Merz, Hernán Vanzetto |
Refinement Types for tla +. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 143-157, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Mohamed Yousri Mahmoud, Sofiène Tahar |
On the Quantum Formalization of Coherent Light in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 128-142, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel S. Tyszberowicz, Mana Taghdiri |
JKelloy: A Proof Assistant for Relational Specifications of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 173-187, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Dustin Hoffman, Aditi Tagore, Diego Zaccai, Bruce W. Weide |
Providing Early Warnings of Specification Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 92-97, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Darren D. Cofer, Steven P. Miller |
DO-333 Certification Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 1-15, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Paolo Masci 0001, Yi Zhang 0051, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby |
Combining PVSio with Stateflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 209-214, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto, Aaron Tomb |
Formal Verification of kLIBC with the WP Frama-C Plug-in. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 343-358, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Fabian Immler |
Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 113-127, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Paul B. Jackson, Andrew Sogokon, James P. Bridge, Lawrence C. Paulson |
Verifying Hybrid Systems Involving Transcendental Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 188-202, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans |
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 31-45, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein 0001, Sascha Klüppelholz |
Energy-Utility Quantiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 285-299, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar |
The Gradual Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 313-327, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Björn Bartels, Nils Jähnig |
Mechanized, Compositional Verification of Low-Level Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 98-112, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist |
Memory Efficient Data Structures for Explicit Verification of Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 307-312, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Adrià Gascón, Ashish Tiwari 0001 |
A Synthesized Algorithm for Interactive Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 270-284, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Anton Wijs, Luc Engelen |
REFINER: Towards Formal Verification of Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 258-263, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari 0001 |
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 264-269, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Ethel Bardsley, Alastair F. Donaldson |
Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 230-245, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto |
A Compositional Monitoring Framework for Hard Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 16-30, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik |
On Proving Recoverability of Smart Electrical Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 77-91, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Loïc Correnson |
Qed. Computing What Remains to Be Proved. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 215-229, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Bogdan Mihaila, Axel Simon |
Synthesizing Predicates from Abstract Domain Losses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 328-342, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Lars Noschinski, Christine Rizkallah, Kurt Mehlhorn |
Verification of Certifying Computations through AutoCorres and Simpl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 46-61, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Matthew Danish, Hongwei Xi |
Using Lightweight Theorem Proving in an Asynchronous Systems Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 158-172, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | William Denman |
Verifying Nonpolynomial Hybrid Systems by Qualitative Abstraction and Automated Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 203-208, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux |
Testing-Based Compiler Validation for Synchronous Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 246-251, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Johann Schumann, Stefan-Alexander Schneider |
Automated Testcase Generation for Numerical Support Functions in Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 252-257, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Guillaume Brat, Neha Rungta, Arnaud Venet (eds.) |
NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![Springer, 978-3-642-38087-7 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Ewen Denney, Ganesh Pai, Iain Whiteside |
Hierarchical Safety Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 478-483, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Steven Lyde, Matthew Might |
Extracting Hybrid Automata from Control Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 447-452, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Kevin Krause, Jim Alves-Foss |
On Designing an ACL2-Based C Integer Type Safety Checking Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 472-477, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis |
Optimizing Control Strategy Using Statistical Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 352-367, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Malte Isberner, Falk Howar, Bernhard Steffen |
Inferring Automata with State-Local Alphabet Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 124-138, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp |
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 307-321, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Daniel Ratiu, Markus Voelter, Bernd Kolb, Bernhard Schätz |
Using Language Engineering to Lift Languages and Analyses at the Domain Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 465-471, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Rody Kersten, Bernard van Gastel, Manu Drijvers, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 63-77, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Alexey Solovyev, Thomas C. Hales |
Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 383-397, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Frédéric Boniol, Michaël Lauer, Claire Pagetti, Jérôme Ermont |
Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 93-107, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi |
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 108-123, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Alwyn Goodloe, César A. Muñoz, Florent Kirchner, Loïc Correnson |
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 441-446, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofiène Tahar |
Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 413-427, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Brian R. Larson, Patrice Chalin, John Hatcliff |
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 276-290, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Arnd Hartmanns, Mark Timmer |
On-the-Fly Confluence Detection for Statistical Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 337-351, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Peter Höfner, Annabelle McIver |
Statistical Model Checking of Wireless Mesh Routing Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 322-336, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Aditi Tagore, Bruce W. Weide |
Automatically Detecting Inconsistencies in Program Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 261-275, 2013, Springer, 978-3-642-38087-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3247 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|