|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 21st International Conference, IPMI 2009, Williamsburg, VA, USA, July 5-10, 2009. Proceedings, pp. 515-527, 2009, Springer, 978-3-642-02497-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part II, pp. 298-305, 2008, Springer, 978-3-540-85989-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
58 | Erik Franken, Remco Duits |
Scale Spaces on the 3D Euclidean Motion Group for Enhancement of HARDI Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSVM ![In: Scale Space and Variational Methods in Computer Vision, Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings, pp. 820-831, 2009, Springer, 978-3-642-02255-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2009, 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part I, pp. 869-876, 2009, Springer, 978-3-642-04267-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
58 | Mickaël Péchaud, Maxime Descoteaux, Renaud Keriven |
Brain Connectivity Using Geodesics in HARDI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2009, 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part II, pp. 482-489, 2009, Springer, 978-3-642-04270-6. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Paris, France, May 14-17, 2008, pp. 871-874, 2008, IEEE, 978-1-4244-2003-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Paris, France, May 14-17, 2008, pp. 911-914, 2008, IEEE, 978-1-4244-2003-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I, pp. 1060-1067, 2008, Springer, 978-3-540-85987-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part II, pp. 122-130, 2008, Springer, 978-3-540-85989-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
58 | Haz-Edine Assemlal, David Tschumperlé, Luc Brun |
Fiber Tracking on HARDI Data using Robust ODF Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 133-136, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 17(10), pp. 1407-1419, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSVM ![In: Scale Space and Variational Methods in Computer Vision, Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings, pp. 224-234, 2009, Springer, 978-3-642-02255-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2009, 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part II, pp. 423-431, 2009, Springer, 978-3-642-04270-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007, Proceedings, pp. 172-182, 2007, Springer, 978-3-540-73272-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Ashutosh Vaish, Ajit Rajwade 0001, Anubha Gupta |
TL-HARDI: Transform learning based accelerated reconstruction of HARDI data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 143, pp. 105212, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Ashutosh Vaish, Anubha Gupta, Ajit Rajwade 0001 |
MSR-Hardi: Accelerated Reconstruction of Hardi Data Using Multiple Sparsity Regularizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: IEEE International Conference on Image Processing, ICIP 2020, Abu Dhabi, United Arab Emirates, October 25-28, 2020, pp. 2850-2854, 2020, IEEE, 978-1-7281-6396-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMBIA ![In: 2012 IEEE Workshop on Mathematical Methods in Biomedical Image Analysis, MMBIA 2012, Breckenridge, CO, USA, January 9-10, 2012, pp. 17-23, 2012, IEEE, 978-1-4673-0352-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2005, 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part I, pp. 156-163, 2005, Springer, 3-540-29327-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2009, 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part I, pp. 190-197, 2009, Springer, 978-3-642-04267-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 27(4), pp. 442-456, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Sofia C. Olhede, Brandon J. Whitcher |
A statistical framework to characterise microstructure in high angular resolution diffusion imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Paris, France, May 14-17, 2008, pp. 899-902, 2008, IEEE, 978-1-4244-2003-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Gloria Haro, Christophe Lenglet, Guillermo Sapiro, Paul M. Thompson |
On the non-uniform complexity of brain connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Paris, France, May 14-17, 2008, pp. 887-890, 2008, IEEE, 978-1-4244-2003-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Oleg V. Michailovich, Yogesh Rathi |
On approximation of orientation distributions by means of spherical ridgelets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Paris, France, May 14-17, 2008, pp. 939-942, 2008, IEEE, 978-1-4244-2003-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I, pp. 1034-1041, 2008, Springer, 978-3-540-85987-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I, pp. 236-243, 2007, Springer, 978-3-540-75756-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Tim McGraw, Baba C. Vemuri, Robert Yezierski, Thomas Mareci |
von Mises-Fisher mixture model of the diffusion ODF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2006 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Arlington, VA, USA, 6-9 April 2006, pp. 65-68, 2006, IEEE, 0-7803-9577-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (3) ![In: Computer Vision - ECCV 2006, 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part III, pp. 463-475, 2006, Springer, 3-540-33836-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I, pp. 305-312, 2008, Springer, 978-3-540-85987-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 36(7), pp. 3405-3413, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (5) ![In: Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 5, pp. 12-24, 2024, Springer, 978-3-031-57930-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 12(1), pp. 11, January 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 39(2), February 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.02985, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.09107, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Hardi M. Mohammed, Tarik A. Rashid |
FOX: a FOX-inspired optimization algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 53(1), pp. 1030-1050, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (46) ![In: HCI International 2023 Posters - 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part IV, pp. 203-210, 2023, Springer, 978-3-031-36000-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Selg, Maksim Jenihhin, Peeter Ellervee, Jaan Raik |
ML-Based Online Design Error Localization for RISC-V Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 29th International Symposium on On-Line Testing and Robust System Design, IOLTS 2023, Crete, Greece, July 3-5, 2023, pp. 1-7, 2023, IEEE, 979-8-3503-4135-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Falk Howar, Hardi Hungar |
Safe AI in Autonomous Vehicles - Track at AISoLA 2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 421-425, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cogn. Neurosci. ![In: J. Cogn. Neurosci. 34(10), pp. 1866-1891, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Jumaa Fatih Salih, Hardi M. Mohammed, Zrar Kh. Abdul |
Modified Fitness Dependent Optimizer for Solving Numerical Optimization Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 83916-83930, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.02836, 2022. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
npj Digit. Medicine ![In: npj Digit. Medicine 5, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings, pp. 195-210, 2022, Springer, 978-3-031-06652-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (4) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV, pp. 337-339, 2022, Springer, 978-3-031-19761-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONETSI ![In: Proceedings of the International Conference on Engineering and Information Technology for Sustainable Industry, ICONETSI 2022, Alam Sutera, Tangerang, Indonesia, September 21-22, 2022, pp. 22:1-22:6, 2022, ACM, 978-1-4503-9718-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordSec ![In: Secure IT Systems - 27th Nordic Conference, NordSec 2022, Reykjavic, Iceland, November 30-December 2, 2022, Proceedings, pp. 329-345, 2022, Springer, 978-3-031-22294-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.06396, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Hardi M. Mohammed, Tarik A. Rashid |
Chaotic Fitness Dependent Optimizer for Planning and Engineering Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.08067, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.05760, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Hardi M. Mohammed, Tarik A. Rashid |
Chaotic fitness-dependent optimizer for planning and engineering design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 25(22), pp. 14281-14295, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Tugrulcan Elmas, Kristina Hardi, Rebekah Overdorf, Karl Aberer |
Can Celebrities Burst Your Bubble? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MISINFO@WWW ![In: Proceedings of the Workshop on Misinformation Integrity in Social Networks 2021 co-located with 30th The Web Conference (TheWebConf 2021), Ljubljana, Slovenia, April 15, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Falk Howar, Hardi Hungar, Andreas Rausch |
Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings, pp. 71-76, 2021, Springer, 978-3-030-89158-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Hungar |
Use Cases for Simulation in the Development of Automated Driving Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings, pp. 117-128, 2021, Springer, 978-3-030-89158-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Selg, Maksim Jenihhin, Peeter Ellervee |
JÄNES: A NAS Framework for ML-based EDA Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFT 2021, Athens, Greece, October 6-8, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-1609-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 32(18), pp. 14701-14718, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Mohsen Kalantari, Syahrudin Syahrudin, Abbas Rajabifard, Hardi Subagyo, Hannah Hubbard |
Spatial Metadata Usability Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPRS Int. J. Geo Inf. ![In: ISPRS Int. J. Geo Inf. 9(7), pp. 463, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Tugrulcan Elmas, Kristina Hardi, Rebekah Overdorf, Karl Aberer |
Can Celebrities Burst Your Bubble? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.06857, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.11894, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.14985, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interact. Technol. Smart Educ. ![In: Interact. Technol. Smart Educ. 17(4), pp. 377-391, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Hungar |
A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (3) ![In: Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III, pp. 293-306, 2020, Springer, 978-3-030-61466-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT ![In: 27th International Conference on Telecommunications, ICT 2020, Bali, Indonesia, October 5-7, 2020, pp. 1-4, 2020, IEEE, 978-1-7281-6587-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Selg, Maksim Jenihhin, Peeter Ellervee |
Wafer-Level Die Re-Test Success Prediction Using Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATS ![In: IEEE Latin-American Test Symposium, LATS 2020, Maceio, Brazil, March 30 - April 2, 2020, pp. 1-5, 2020, IEEE, 978-1-7281-8731-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Yusep Rosmansyah, Mora Hertanto Ritonga, Ariq Bani Hardi |
An Attack-Defense Tree on e-Exam System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Emerg. Technol. Learn. ![In: Int. J. Emerg. Technol. Learn. 14(23), pp. 251-260, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Database J. Biol. Databases Curation ![In: Database J. Biol. Databases Curation 2019, pp. baz059, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.08763, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.09270, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Hardi M. Mohammed, Shahla U. Umar, Tarik A. Rashid |
A Systematic and Meta-Analysis Survey of Whale Optimization Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Intell. Neurosci. ![In: Comput. Intell. Neurosci. 2019, pp. 8718571:1-8718571:25, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 19(8), pp. 1748, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Technol. Educ. Res. ![In: J. Inf. Technol. Educ. Res. 18, pp. 481-507, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TENCON ![In: TENCON 2019 - 2019 IEEE Region 10 Conference (TENCON), Kochi, India, October 17-20, 2019, pp. 1448-1451, 2019, IEEE, 978-1-7281-1895-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2019, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 16-20, 2019, 2019, AMIA. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Hardi Hungar |
Scenario-Based Validation of Automated Driving Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (3) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III, pp. 449-460, 2018, Springer, 978-3-030-03423-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE/ITMC ![In: 2018 IEEE International Conference on Engineering, Technology and Innovation (ICE/ITMC), Stuttgart, Germany, June 17-20, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-1469-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Hungar |
Applying Decision Graphs in the Context of Automated Driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models, Mindsets, Meta ![In: Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, pp. 17-23, 2018, Springer, 978-3-030-22347-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMHI ![In: Proceedings of the 2nd International Conference on Medical and Health Informatics, ICMHI 2018, Tsukuba, Japan, June 08-10, 2018, pp. 45-50, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT4LS ![In: Proceedings of the 11th International Conference Semantic Web Applications and Tools for Life Sciences, SWAT4LS 2018, Antwerp, Belgium, December 3-6, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
28 | Jakob Blomer, Gerardo Ganis, Nikola Hardi, Radu Popescu |
Delivering LHC Software to HPC Compute Elements with CernVM-FS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC Workshops ![In: High Performance Computing - ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers, pp. 724-730, 2017, Springer, 978-3-319-67629-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Desai, Divya Guruvayurappan, Mustafa Merchant, Smeet Somaiya, Hetal Mundra |
IoT based grocery monitoring system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOCN ![In: Fourteenth International Conference on Wireless and Optical Communications Networks, WOCN 2017, Mumbai, India, February 24-26, 2017, pp. 1-4, 2017, IEEE, 978-1-5090-4884-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT4LS ![In: Proceedings of the 10th International Conference on Semantic Web Applications and Tools for Health Care and Life Sciences (SWAT4LS 2017), Rome, Italy, December 4-7, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Jos Timanta Tarigan, Ivan Jaya, Sri Melvani Hardi |
Distributed Rendering on Volunteered Mobile Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBN ![In: Proceedings of the 5th International Conference on Communications and Broadband Networking, Bali, Indonesia, February 20 - 22, 2017, pp. 25-29, 2017, ACM, 978-1-4503-4861-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TREC ![In: Proceedings of The Twenty-Fifth Text REtrieval Conference, TREC 2016, Gaithersburg, Maryland, USA, November 15-18, 2016, 2016, National Institute of Standards and Technology (NIST). The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
28 | Jeremy Pickens, Tom Gricks, Bayu Hardi, Mark Noel |
A Constrained Approach to Manual Total Recall. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TREC ![In: Proceedings of The Twenty-Fourth Text REtrieval Conference, TREC 2015, Gaithersburg, Maryland, USA, November 17-20, 2015, 2015, National Institute of Standards and Technology (NIST). The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
28 | Christian Ellen, Sven Sieverding, Hardi Hungar |
Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings, pp. 155-169, 2014, Springer, 978-3-319-10701-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSWS ![In: The Semantic Web and Web Science - 8th Chinese Conference, CSWS 2014, Wuhan, China, August 8-12, 2014, Revised Selected Papers, pp. 67-77, 2014, Springer, 978-3-662-45494-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Hardi Hungar, Marc Behrens |
Opening up the Verification and Validation of Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering (Workshops) ![In: Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. März 2013 in Aachen, pp. 483-491, 2013, GI, 978-3-88579-609-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 94-100, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
28 | Mariano Rodriguez-Muro, Josef Hardi, Diego Calvanese |
Quest: Effcient SPARQL-to-SQL for RDF and OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (Posters & Demos) ![In: Proceedings of the ISWC 2012 Posters & Demonstrations Track, Boston, USA, November 11-15, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
28 | Hardi Hungar |
Components and Contracts: A Semantical Foundation for Compositional Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 157-162, 2012, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011, pp. 1023-1028, 2011, IEEE, 978-1-61284-208-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 71-80, 2011, fortiss GmbH, München. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
28 | Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter |
Using Guided Simulation to Assess Driver Assistance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010, pp. 195-205, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Christian Winkler, Hardi Hungar |
An Approach to Discovery with miAamics and jABC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web Services Challenge ![In: Semantic Web Services Challenge, Results from the First Year., pp. 217-234, 2009, Springer, 978-0-387-72495-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SafeCert@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
28 | Michaela Huhn, Hardi Hungar |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SafeCert@ETAPS ![In: Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008, pp. 1-2, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tools for the Model-based Development of Certifiable, Dependable Systems ![Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München, pp. 291-294, 2008, GI, 978-3-88579-215-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
28 | Hardi Hungar, Erwin Reyzl |
Ergebnisse des Workshops "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering (Workshops) ![In: Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München, pp. 345-349, 2008, GI, 978-3-88579-216-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering (Workshops) ![In: Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München, pp. 299-302, 2008, GI, 978-3-88579-216-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
28 | Hardi Hungar |
Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering (Workshops) ![In: Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München, pp. 339-340, 2008, GI, 978-3-88579-216-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 235 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|