|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
Found 259 publication records. Showing 235 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
111 | Yunho Kim, Paul M. Thompson, Arthur W. Toga, Luminita A. Vese, Liang Zhan |
HARDI Denoising: Variational Regularization of the Spherical Apparent Diffusion Coefficient sADC. |
IPMI |
2009 |
DBLP DOI BibTeX RDF |
|
87 | David W. Shattuck, Ming-Chang Chiang, Marina Barysheva, Katie McMahon, Greig I. de Zubicaray, Matthew Meredith, Margaret J. Wright, Arthur W. Toga, Paul M. Thompson |
Visualization Tools for High Angular Resolution Diffusion Imaging. |
MICCAI (2) |
2008 |
DBLP DOI BibTeX RDF |
|
58 | Erik Franken, Remco Duits |
Scale Spaces on the 3D Euclidean Motion Group for Enhancement of HARDI Data. |
SSVM |
2009 |
DBLP DOI BibTeX RDF |
|
58 | Matthan W. A. Caan, Caroline A. Sage, Maaike van der Graaf, Cornelis A. Grimbergen, Stefan Sunaert, Lucas J. van Vliet, Frans Vos |
Dual Tensor Atlas Generation Based on a Cohort of Coregistered non-HARDI Datasets. |
MICCAI (1) |
2009 |
DBLP DOI BibTeX RDF |
|
58 | Mickaël Péchaud, Maxime Descoteaux, Renaud Keriven |
Brain Connectivity Using Geodesics in HARDI. |
MICCAI (1) |
2009 |
DBLP DOI BibTeX RDF |
|
58 | Ming-Chang Chiang, Marina Barysheva, Agatha D. Lee, Sarah K. Madsen, Andrea D. Klunder, Arthur W. Toga, Katie McMahon, Greig I. de Zubicaray, Matthew Meredith, Margaret J. Wright, Anuj Srivastava, Nikolay Balov, Paul M. Thompson |
Mapping genetic influences on brain fiber architecture with high angular resolution diffusion imaging (HARDI). |
ISBI |
2008 |
DBLP DOI BibTeX RDF |
|
58 | Angelos Barmpoutis, Baba C. Vemuri, John R. Forder |
Fast displacement probability profile approximation from HARDI using 4th-order tensors. |
ISBI |
2008 |
DBLP DOI BibTeX RDF |
|
58 | Ming-Chang Chiang, Marina Barysheva, Agatha D. Lee, Sarah K. Madsen, Andrea D. Klunder, Arthur W. Toga, Katie McMahon, Greig I. de Zubicaray, Matthew Meredith, Margaret J. Wright, Anuj Srivastava, Nikolay Balov, Paul M. Thompson |
Brain Fiber Architecture, Genetics, and Intelligence: A High Angular Resolution Diffusion Imaging (HARDI) Study. |
MICCAI (1) |
2008 |
DBLP DOI BibTeX RDF |
|
58 | Maxime Descoteaux, Nicolas Wiest-Daesslé, Sylvain Prima, Christian Barillot, Rachid Deriche |
Impact of Rician Adapted Non-Local Means Filtering on HARDI. |
MICCAI (2) |
2008 |
DBLP DOI BibTeX RDF |
|
58 | Haz-Edine Assemlal, David Tschumperlé, Luc Brun |
Fiber Tracking on HARDI Data using Robust ODF Fields. |
ICIP (3) |
2007 |
DBLP DOI BibTeX RDF |
|
56 | Vesna Prckovska, Tim H. J. M. Peeters, Markus van Almsick, Bart M. ter Haar Romeny, Anna Vilanova |
Fused DTI/HARDI Visualization. |
IEEE Trans. Vis. Comput. Graph. |
2011 |
DBLP DOI BibTeX RDF |
HARDI, multifield, GPU, diffusion, glyphs, DTI |
52 | Laura Astola, Luc Florack |
Finsler Geometry on Higher Order Tensor Fields and Applications to High Angular Resolution Diffusion Imaging. |
SSVM |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Iman Aganj, Christophe Lenglet, Guillermo Sapiro, Essa Yacoub, Kâmil Ugurbil, Noam Harel |
Multiple Q-Shell ODF Reconstruction in Q-Ball Imaging. |
MICCAI (1) |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Ming-Chang Chiang, Andrea D. Klunder, Katie McMahon, Greig I. de Zubicaray, Margaret J. Wright, Arthur W. Toga, Paul M. Thompson |
Information-Theoretic Analysis of Brain White Matter Fiber Orientation Distribution Functions. |
IPMI |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Ashutosh Vaish, Ajit Rajwade 0001, Anubha Gupta |
TL-HARDI: Transform learning based accelerated reconstruction of HARDI data. |
Comput. Biol. Medicine |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Ashutosh Vaish, Anubha Gupta, Ajit Rajwade 0001 |
MSR-Hardi: Accelerated Reconstruction of Hardi Data Using Multiple Sparsity Regularizers. |
ICIP |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Sudipto Dolui, Iván C. Salgado Patarroyo, Oleg V. Michailovich, Yogesh Rathi |
Reconstruction of HARDI using compressed sensing and its application to contrast HARDI. |
MMBIA |
2012 |
DBLP DOI BibTeX RDF |
|
41 | Evren Özarslan, Timothy M. Shepherd, Baba C. Vemuri, Stephen J. Blackband, Thomas H. Mareci |
Fast Orientation Mapping from HARDI. |
MICCAI |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Guang Cheng 0002, Baba C. Vemuri, Paul R. Carney, Thomas H. Mareci |
Non-rigid Registration of High Angular Resolution Diffusion Images Represented by Gaussian Mixture Fields. |
MICCAI (1) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Ming-Chang Chiang, Alex D. Leow, Andrea D. Klunder, Rebecca A. Dutton, Marina Barysheva, Stephen E. Rose, Katie McMahon, Greig I. de Zubicaray, Arthur W. Toga, Paul M. Thompson |
Fluid Registration of Diffusion Tensor Images Using Information Theory. |
IEEE Trans. Medical Imaging |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Sofia C. Olhede, Brandon J. Whitcher |
A statistical framework to characterise microstructure in high angular resolution diffusion imaging. |
ISBI |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Gloria Haro, Christophe Lenglet, Guillermo Sapiro, Paul M. Thompson |
On the non-uniform complexity of brain connectivity. |
ISBI |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Oleg V. Michailovich, Yogesh Rathi |
On approximation of orientation distributions by means of spherical ridgelets. |
ISBI |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Irina Kezele, Cyril Poupon, Muriel Perrin, Yann Cointepas, Vincent El Kouby, Fabrice Poupon, Jean-François Mangin |
Mean q-Ball Strings Obtained by Constrained Procrustes Analysis with Point Sliding. |
MICCAI (1) |
2008 |
DBLP DOI BibTeX RDF |
Tract mean-line, high-angular resolution diffusion imaging, white matter morphometry, constrained Procrustes analysis with point sliding |
35 | Abhir Bhalerao, Carl-Fredrik Westin |
Hyperspherical von Mises-Fisher Mixture (HvMF) Modelling of High Angular Resolution Diffusion MRI. |
MICCAI (1) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Tim McGraw, Baba C. Vemuri, Robert Yezierski, Thomas Mareci |
von Mises-Fisher mixture model of the diffusion ODF. |
ISBI |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Tim McGraw, Baba C. Vemuri, Robert Yezierski, Thomas Mareci |
Segmentation of High Angular Resolution Diffusion MRI Modeled as a Field of von Mises-Fisher Mixtures. |
ECCV (3) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Alonso Ramirez-Manzanares, Philip A. Cook, James C. Gee |
A Comparison of Methods for Recovering Intra-voxel White Matter Fiber Architecture from Clinical Diffusion Imaging Scans. |
MICCAI (1) |
2008 |
DBLP DOI BibTeX RDF |
DW-MRI, crossing fibers, HARDI, Multi-DT, QSpace |
28 | Hardi M. Mohammed, Zrar Kh. Abdul, Zana Hamad |
Enhancement of GWO for solving numerical functions and engineering problems. |
Neural Comput. Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
28 | Henny Febriana Harumy, Sri Melvani Hardi, Muhammad Fajri Al Banna |
EarlyStage Diabetes Risk Detection Using Comparison of Xgboost, Lightgbm, and Catboost Algorithms. |
AINA (5) |
2024 |
DBLP DOI BibTeX RDF |
|
28 | Dler O. Hasan, Aso M. Aladdin, Hardi Sabah Talabani, Tarik Ahmed Rashid, Seyedali Mirjalili |
The Fifteen Puzzle - A New Approach through Hybridizing Three Heuristics Methods. |
Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
28 | John H. Morris, Karthik Soman, Rabia E. Akbas, Xiaoyuan Zhou, Brett Smith, Elaine C. Meng, Conrad C. Huang, Gabriel Cerono, Gundolf Schenk, Angela Rizk-Jackson, Adil Harroud, Lauren M. Sanders, Sylvain V. Costes, Krish Bharat, Arjun Chakraborty, Alexander R. Pico, Taline Mardirossian, Michael J. Keiser, Alice Tang, Josef Hardi, Yongmei Shi, Mark A. Musen, Sharat Israni, Sui Huang, Peter W. Rose, Charlotte A. Nelson, Sergio E. Baranzini |
The scalable precision medicine open knowledge engine (SPOKE): a massive knowledge graph of biomedical information. |
Bioinform. |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Dler O. Hasan, Aso M. Aladdin, Hardi Sabah Talabani, Tarik Ahmed Rashid, Seyedali Mirjalili |
The Fifteen Puzzle- A New Approach through Hybridizing Three Heuristics Methods. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Martin J. O'Connor, Marcos Martínez Romero, Mete Ugur Akdogan, Josef Hardi, Mark A. Musen |
A Comprehensive Approach to Ensuring Quality in Spreadsheet-Based Metadata. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Hardi M. Mohammed, Tarik A. Rashid |
FOX: a FOX-inspired optimization algorithm. |
Appl. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Rudi Hardi, Achmad Nurmandi, Titin Purwaningsih, Halimah Binti Abdul Manaf |
Exploration Organizational Interoperability in Smart Governance in Indonesia and Malaysia. |
HCI (46) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Selg, Maksim Jenihhin, Peeter Ellervee, Jaan Raik |
ML-Based Online Design Error Localization for RISC-V Implementations. |
IOLTS |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Falk Howar, Hardi Hungar |
Safe AI in Autonomous Vehicles - Track at AISoLA 2023. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Felicia A. Hardi, Leigh G. Goetschius, Melissa K. Peckins, Jeanne Brooks-Gunn, Sara S. McLanahan, Vonnie McLoyd, Nestor L. Lopez-Duran, Colter Mitchell, Luke W. Hyde, Christopher S. Monk |
Differential Developmental Associations of Material Hardship Exposure and Adolescent Amygdala-Prefrontal Cortex White Matter Connectivity. |
J. Cogn. Neurosci. |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Jumaa Fatih Salih, Hardi M. Mohammed, Zrar Kh. Abdul |
Modified Fitness Dependent Optimizer for Solving Numerical Optimization Functions. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Mark A. Musen, Martin J. O'Connor, Erik Schultes, Marcos Martínez Romero, Josef Hardi, John Graybeal |
Modeling community standards for metadata as templates makes data FAIR. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Ashish Sarraju, Clark Seninger, Vijaya Parameswaran, Christina Petlura, Tamara Bazouzi, Kiranbir Josan, Upinder Grewal, Thomas Viethen, Hardi Mundl, Joachim Luithle, Leonard Basobas, Alexis Touros, Michael J. T. Senior, Koen De Lombaert, Kenneth W. Mahaffey, Mintu P. Turakhia, Rajesh Dash |
Pandemic-proof recruitment and engagement in a fully decentralized trial in atrial fibrillation patients (DeTAP). |
npj Digit. Medicine |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Maxim Storetvedt, Latchezar Betev, Nikola Hardi, Håvard Helstrup, Kristin Fanebust Hetland, Bjarte Kileng |
Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Axel Hessenkämper, Falk Howar, Hardi Hungar, Andreas Rausch |
Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022. |
ISoLA (4) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Muhammad Ibrahim Ats-Tsauri, Lien Herliani Kusumah, Humiras Hardi Purba |
Mapping of Digital Transformation Readiness, Benefits, and Barriers in Indonesian Steel Manufacturing. |
ICONETSI |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Tobias Latzo, Andreas Hellmich, Annika Knepper, Lukas Hardi, Tim Phillip Castello-Waldow, Felix C. Freiling, Andreas Attenberger |
Maraudrone's Map: An Interactive Web Application for Forensic Analysis and Visualization of DJI Drone Log Data. |
NordSec |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Ushnish Sengupta, Günther Waxenegger-Wilfing, Jan Martin, Justin Hardi, Matthew P. Juniper |
Forecasting Thermoacoustic Instabilities in Liquid Propellant Rocket Engines Using Multimodal Bayesian Deep Learning. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
28 | Hardi M. Mohammed, Tarik A. Rashid |
Chaotic Fitness Dependent Optimizer for Planning and Engineering Design. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
28 | Hardi M. Mohammed, Zrar Kh. Abdul, Tarik A. Rashid, Abeer Alsadoon, Nebojsa Bacanin |
A New K means Grey Wolf Algorithm for Engineering Problems. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
28 | Hardi M. Mohammed, Tarik A. Rashid |
Chaotic fitness-dependent optimizer for planning and engineering design. |
Soft Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Tugrulcan Elmas, Kristina Hardi, Rebekah Overdorf, Karl Aberer |
Can Celebrities Burst Your Bubble? |
MISINFO@WWW |
2021 |
DBLP BibTeX RDF |
|
28 | Falk Howar, Hardi Hungar, Andreas Rausch |
Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Hungar |
Use Cases for Simulation in the Development of Automated Driving Systems. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Selg, Maksim Jenihhin, Peeter Ellervee |
JÄNES: A NAS Framework for ML-based EDA Applications. |
DFT |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Hardi M. Mohammed, Tarik A. Rashid |
A novel hybrid GWO with WOA for global numerical optimization and solving pressure vessel design. |
Neural Comput. Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Mohsen Kalantari, Syahrudin Syahrudin, Abbas Rajabifard, Hardi Subagyo, Hannah Hubbard |
Spatial Metadata Usability Evaluation. |
ISPRS Int. J. Geo Inf. |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Tugrulcan Elmas, Kristina Hardi, Rebekah Overdorf, Karl Aberer |
Can Celebrities Burst Your Bubble? |
CoRR |
2020 |
DBLP BibTeX RDF |
|
28 | Hardi M. Mohammed, Tarik A. Rashid |
A Novel Hybrid GWO with WOA for Global Numerical Optimization and Solving Pressure Vessel Design. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
28 | Günther Waxenegger-Wilfing, Ushnish Sengupta, Jan Martin, Wolfgang Armbruster, Justin Hardi, Matthew P. Juniper, Michael Oschwald |
Early Detection of Thermoacoustic Instabilities in a Cryogenic Rocket Thrust Chamber using Combustion Noise Features and Machine Learning. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
28 | Yusep Rosmansyah, Isdiyanto Isdiyanto, Ariq Bani Hardi, Atina Putri |
Using gamification for engaging surveyors: a case study in Statistics Indonesia. |
Interact. Technol. Smart Educ. |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Hungar |
A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract. |
ISoLA (3) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | R. A. Rizka Qori Yuliani Putri, Shita Fitria Nuijihan, Yenniwarti Rafsyam, Hartuti Mistialustina, Hardi Nusantara, Achmad Munir |
Performance Analysis of Waveguide BPF Configured by SRR-Based Frequency Selective Surface and Its Equivalent Circuit. |
ICT |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Selg, Maksim Jenihhin, Peeter Ellervee |
Wafer-Level Die Re-Test Success Prediction Using Machine Learning. |
LATS |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Yusep Rosmansyah, Mora Hertanto Ritonga, Ariq Bani Hardi |
An Attack-Defense Tree on e-Exam System. |
Int. J. Emerg. Technol. Learn. |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Marcos Martínez Romero, Martin J. O'Connor, Attila L. Egyedi, Debra Willrett, Josef Hardi, John Graybeal, Mark A. Musen |
Using association rule mining and ontologies to generate metadata recommendations from multiple biomedical databases. |
Database J. Biol. Databases Curation |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Hardi M. Mohammed, Shahla U. Umar, Tarik A. Rashid |
A Systematic and Meta-analysis Survey of Whale Optimization Algorithm. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
28 | Marcos Martínez Romero, Martin J. O'Connor, Attila L. Egyedi, Debra Willrett, Josef Hardi, John Graybeal, Mark A. Musen |
Using association rule mining and ontologies to generate metadata recommendations from multiple biomedical databases. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
28 | Hardi M. Mohammed, Shahla U. Umar, Tarik A. Rashid |
A Systematic and Meta-Analysis Survey of Whale Optimization Algorithm. |
Comput. Intell. Neurosci. |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Martina Hübner, Dennis Lepke, Elisabeth Hardi, Michael Koerdt, Axel S. Herrmann, Walter Lang |
Online Monitoring of Moisture Diffusion in Carbon Fiber Composites Using Miniaturized Flexible Material Integrated Sensors. |
Sensors |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Yusep Rosmansyah, Mohamad Achiruzaman, Ariq Bani Hardi |
A 3D Multiuser Virtual Learning Environment for Online Training of Agriculture Surveyors. |
J. Inf. Technol. Educ. Res. |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Nusantara, Andriyan Bayu Suksmono, Hepi Ludiyati, Achmad Munir |
FDTD Analysis for TE Mode Resonant Frequency of Anisotropic Circular Dielectric Resonator. |
TENCON |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Martin J. O'Connor, Denise B. Warzel, Marcos Martínez Romero, Josef Hardi, Debra Willrett, Aras Efekhari, John Graybeal, Mark A. Musen |
Unleashing the value of Common Data Elements through the CEDAR Workbench. |
AMIA |
2019 |
DBLP BibTeX RDF |
|
28 | Hardi Hungar |
Scenario-Based Validation of Automated Driving Systems. |
ISoLA (3) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Heiki Lill, Alo Allik, Erkki Jogi, Mart Hovi, Hardi Hoimoja, Andres Annuk |
Capacitor and Battery Energy Storage System Sizing Ratio for Wind Microgenerators. |
ICE/ITMC |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Hungar |
Applying Decision Graphs in the Context of Automated Driving. |
Models, Mindsets, Meta |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Iva Hardi Yanti, Ida Leida Maria, Nurhaedar Jafar |
Survival Analysis of Chronic Renal Failure Patients Undergoing Hemodialysis at Hospital in Makassar within 2012-2015. |
ICMHI |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Attila L. Egyedi, Martin J. O'Connor, Marcos Martínez Romero, Debra Willrett, Josef Hardi, John Graybeal, Mark A. Musen |
Using semantic technologies to enhance metadata submissions to public repositories in biomedicine. |
SWAT4LS |
2018 |
DBLP BibTeX RDF |
|
28 | Jakob Blomer, Gerardo Ganis, Nikola Hardi, Radu Popescu |
Delivering LHC Software to HPC Compute Elements with CernVM-FS. |
ISC Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Desai, Divya Guruvayurappan, Mustafa Merchant, Smeet Somaiya, Hetal Mundra |
IoT based grocery monitoring system. |
WOCN |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Attila L. Egyedi, Martin J. O'Connor, Marcos Martínez Romero, Debra Willrett, Josef Hardi, John Graybeal, Mark A. Musen |
Embracing Semantic Technology for Better Metadata Authoring in Biomedicine. |
SWAT4LS |
2017 |
DBLP BibTeX RDF |
|
28 | Jos Timanta Tarigan, Ivan Jaya, Sri Melvani Hardi |
Distributed Rendering on Volunteered Mobile Resources. |
ICCBN |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Jeremy Pickens, Tom Gricks, Bayu Hardi, Mark Noel, John Tredennick |
An Exploration of Total Recall with Multiple Manual Seedings. |
TREC |
2016 |
DBLP BibTeX RDF |
|
28 | Jeremy Pickens, Tom Gricks, Bayu Hardi, Mark Noel |
A Constrained Approach to Manual Total Recall. |
TREC |
2015 |
DBLP BibTeX RDF |
|
28 | Christian Ellen, Sven Sieverding, Hardi Hungar |
Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Timea Bagosi, Diego Calvanese, Josef Hardi, Sarah Komla-Ebri, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Mindaugas Slusnys, Guohui Xiao 0001 |
The Ontop Framework for Ontology Based Data Access. |
CSWS |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Hungar, Marc Behrens |
Opening up the Verification and Validation of Safety-Critical Software. |
Software Engineering (Workshops) |
2013 |
DBLP BibTeX RDF |
|
28 | Mariano Rodriguez-Muro, Martín Rezk, Josef Hardi, Mindaugas Slusnys, Timea Bagosi, Diego Calvanese |
Evaluating SPARQL-to-SQL Translation in Ontop. |
ORE |
2013 |
DBLP BibTeX RDF |
|
28 | Mariano Rodriguez-Muro, Josef Hardi, Diego Calvanese |
Quest: Effcient SPARQL-to-SQL for RDF and OWL. |
ISWC (Posters & Demos) |
2012 |
DBLP BibTeX RDF |
|
28 | Hardi Hungar |
Components and Contracts: A Semantical Foundation for Compositional Refinement. |
MBEES |
2012 |
DBLP BibTeX RDF |
|
28 | Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand |
Using contract-based component specifications for virtual integration testing and architecture design. |
DATE |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter |
Using Guided Simulation to Assess Driver Assistance Systems. |
MBEES |
2011 |
DBLP BibTeX RDF |
|
28 | Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter |
Using Guided Simulation to Assess Driver Assistance Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Christian Winkler, Hardi Hungar |
An Approach to Discovery with miAamics and jABC. |
Semantic Web Services Challenge |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Michaela Huhn, Hardi Hungar (eds.) |
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008 |
SafeCert@ETAPS |
2009 |
DBLP BibTeX RDF |
|
28 | Michaela Huhn, Hardi Hungar |
Preface. |
SafeCert@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Michaela Huhn, Hardi Hungar, Doron A. Peled (eds.) |
Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007 |
Tools for the Model-based Development of Certifiable, Dependable Systems |
2008 |
DBLP BibTeX RDF |
|
28 | Hardi Hungar, Erwin Reyzl |
Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung. |
Software Engineering |
2008 |
DBLP BibTeX RDF |
|
28 | Hardi Hungar, Erwin Reyzl |
Ergebnisse des Workshops "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme". |
Software Engineering (Workshops) |
2008 |
DBLP BibTeX RDF |
|
28 | Hardi Hungar, Erwin Reyzl |
Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung. |
Software Engineering (Workshops) |
2008 |
DBLP BibTeX RDF |
|
28 | Hardi Hungar |
Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision. |
Software Engineering (Workshops) |
2008 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 235 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|