J. Hlavicka

Most-cited papers

Comparison of cardiac surgery with left atrial surgical ablation vs. cardiac surgery without atrial ablation in patients with coronary and/or valvular heart disease plus atrial fibrillation: final results of the PRAGUE-12 randomized multicentre study
P. Budera, Z. Straka, P. Osmančík, T. Vaněk +8 more
2012European Heart Journal142 citations Open access
Semantic Scholar
BOOM-a heuristic Boolean minimizer
J. Hlavicka, Petr Fišer
2001IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281)104 citations
Semantic Scholar
Five-year outcomes in cardiac surgery patients with atrial fibrillation undergoing concomitant surgical ablation versus no ablation. The long-term follow-up of the PRAGUE-12 Study.
P. Osmančík, P. Budera, D. Talavera, J. Hlavicka +7 more
2019Heart Rhythm44 citations
Semantic Scholar
High resolution respirometry to assess function of mitochondria in native homogenates of human heart muscle
A. Krajčová, T. Urban, David Megvinet, P. Waldauf +6 more
2020PLoS ONE29 citations Open access
Semantic Scholar
Aspirin is insufficient in inhibition of platelet aggregation and thromboxane formation early after coronary artery bypass surgery
F. Bednar, P. Osmančík, J. Hlavicka, V. Jedličková +2 more
2009Journal of Thrombosis and Thrombolysis28 citations
Semantic Scholar
FC-Min: a fast multi-output Boolean minimizer
Petr Fišer, J. Hlavicka, H. Kubátová
2003Euromicro Symposium on Digital System Design, 2003. Proceedings.20 citations
Semantic Scholar
Off-pump versus on-pump coronary artery bypass grafting surgery in high-risk patients: PRAGUE-6 trial at 30 days and 1 year.
J. Hlavicka, Z. Straka, Štěpán Jelínek, P. Budera +3 more
2016Biomedical papers of the Medical Faculty of the University Palacky, Olomouc, Czechoslovakia19 citations Open access
Semantic Scholar
Fault tolerance evaluation using two software based fault injection methods
A. Ademaj, P. Grillinger, Pavel Herout, J. Hlavicka
2002Proceedings of the Eighth IEEE International On-Line Testing Workshop (IOLTW 2002)17 citations
Semantic Scholar
Column-Matching Based BIST Design Method
Petr Fišer, J. Hlavicka
200214 citations
Semantic Scholar
On the use of mutations in Boolean minimization
Petr Fišer, J. Hlavicka
2001Proceedings Euromicro Symposium on Digital Systems Design13 citations
Semantic Scholar
Evaluation of process controller fault tolerance using simulation
J. Hlavicka, S. Racek, Pavel Herout
2000Simulation Practice and Theory13 citations
Semantic Scholar
Pseudoexhaustive Test Pattern Generator with Enhanced Fault Coverage
Petr Golan, O. Novák, J. Hlavicka
1988IEEE Trans. Computers11 citations
Semantic Scholar
Model-Based Dependability Evaluation Method for TTP/C Based Systems
Pavel Herout, S. Racek, J. Hlavicka
2002European Dependable Computing Conference10 citations
Semantic Scholar
Partial upper sternotomy for aortic valve replacement provides similar mid-term outcomes as the full sternotomy
J. Hlavicka, D. Janda, P. Budera, P. Toušek +5 more
2022Journal of Thoracic Disease8 citations Open access
Semantic Scholar
C-Sim - the C language enhancement for discrete-time simulation
J. Hlavicka, S. Racek
2002Proceedings : International Conference on Dependable Systems and Networks7 citations
Semantic Scholar
RT level test scheduling
J. Blatný, Z. Kotásek, J. Hlavicka
1993Proceedings ETC 93 Third European Test Conference7 citations
Semantic Scholar
Functional validation of fault-tolerant asynchronous algorithms
J. Hlavicka, S. Racek, Pavel Smrha
1996Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies6 citations
Semantic Scholar
Essential Hazard Correction Without the Use of Delay Elements
J. Hlavicka
1970IEEE transactions on computers6 citations
Semantic Scholar
Right-Sided Minimally Invasive Direct Coronary Artery Bypass: Clinical Experience and Perspectives
F. Hecker, Mascha von Zeppelin, A. van Linden, J. Scholtz +4 more
2023Medicina5 citations Open access
Semantic Scholar
A Flexible Minimization and Partitioning Method
Petr Fišer, J. Hlavicka
20025 citations
Semantic Scholar
Early- and longer-term outcomes of David versus Florida sleeve procedure: propensity-matched comparison.
T. Holubec, Hiwad Rashid, F. Hecker, A. Karimian-Tabrizi +6 more
2022European Journal of Cardio-Thoracic Surgery4 citations Open access
Semantic Scholar
Formal Approach to the RTL Testability Analysis
Z. Kotásek, R. Ruzicka, J. Hlavicka
2000Latin American Test Workshop - LATW4 citations
Semantic Scholar
Long-Term Outcomes after Aortic Valve and Root Replacement in a Very High-Risk Population
J. Hlavicka, K. Antonov, Razan Salem, F. Hecker +7 more
2022Journal of Cardiovascular Development and Disease3 citations Open access
Semantic Scholar
Use of Amplatzer occluders for treatment of aorto-pulmonary fistulas – case and review of the literature
P. Toušek, V. Kočka, R. Petr, J. Ulman +2 more
2017Expert Review of Medical Devices3 citations
Semantic Scholar
COVERAGE-DIRECTED ASSIGNMENT APPROACH TO BIST
Petr Fišer, J. Hlavicka, H. Kubátová
20033 citations
Semantic Scholar
Minimization and partitioning method reducing input sets
J. Hlavicka, Petr Fišer
2002Proceedings First IEEE International Workshop on Electronic Design, Test and Applications '20023 citations
Semantic Scholar
Mitral Valve Surgery via Upper Ministernotomy: Single-Centre Experience in More than 400 Patients
M. Radwan, C. Salewski, F. Hecker, A. Miskovic +5 more
2021Medicina2 citations Open access
Semantic Scholar
Cerebrovascular myocardium-tissue embolism: a rare complication of heart surgery: autopsy case report.
J. Hrudka, J. Hlavicka, Marie Claire Šmůlová, P. Kujal
2018Cardiovascular pathology2 citations
Semantic Scholar
Fault-Tolerant FPGA-Based Systems
K. Elshafey, J. Hlavicka
2002Computers and artificial intelligence2 citations
Semantic Scholar
Dependable Computing — EDCC-3
J. Hlavicka, E. Maehle, A. Pataricza
2000Lecture Notes in Computer Science2 citations
Semantic Scholar
Engineering Courses Taught in English Language at the Czech Technical University in Prague
J. Hlavicka, Š. Pekárek
19951 citations
Semantic Scholar
Extracardiac basal annuloplasty for the treatment of secondary mitral regurgitation.
J. Bernard, E. Salaun, Chandrasekar Padmanabhan, M. Deja +19 more
2022EuroIntervention0 citations Open access
Semantic Scholar
Axillary ECMO after Cardiac Surgery: Weaning and Early Outcome in 179 Consecutive Patients
M. Radwan, S. Marinos, P. Kaiser, J. Hlavicka +3 more
2022The thoracic and cardiovascular surgeon0 citations
Semantic Scholar
Minimally Invasive Treatment of Kommerell's Diverticulum and Left Aberrant Subclavian Artery.
Razan Salem, Luxia Anantharajah, F. Hecker, N. Nour-Eldin +3 more
2022Annals of Thoracic Surgery0 citations
Semantic Scholar
Use of OPCAB in Czechia 2010-2015: Have we learned any lessons?
J. Hlavicka, T. Vaněk, Jirí Jarkovský, K. Benešová
2018Cor et Vasa0 citations Open access
Semantic Scholar
Laparoscopy as a treatment modality for canine pyometra.
M. Vlašín, M. Kuncl, J. Hlavicka, P. Vejražková +2 more
20170 citations
Semantic Scholar
Dependability Evaluation of Time Triggered Architecture Using Simulation
S. Racek, Pavel Herout, J. Hlavicka
2012Computers and artificial intelligence0 citations
Semantic Scholar
Verification of Fault-Tolerant Embedded Computer Systems Using Higher-Level Simulation Model
J. Hlavicka, S. Racek, P. Grillinger
20030 citations
Semantic Scholar
Modeling a fault-tolerant distributed system
J. Hlavicka, S. Racek, Pavel Herout
2001EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439)0 citations
Semantic Scholar
List of fast abstracts
J. Hlavicka, E. Maehle, A. Pataricza
19990 citations
Semantic Scholar
Dependable computing--EDCC-3 : third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999 : proceedings
J. Hlavicka, E. Maehle, A. Pataricza
19990 citations
Semantic Scholar
Proceedings of the Third European Dependable Computing Conference on Dependable Computing
J. Hlavicka, E. Maehle, A. Pataricza
19990 citations
Semantic Scholar
Guest Editors' Introduction: East Meets West
Y. Zorian, J. Hlavicka
1996IEEE Design & Test of Computers0 citations
Semantic Scholar
East Meets West [Guest Editors' Introduction:]
Y. Zorian, J. Hlavicka
19960 citations
Semantic Scholar
Position Paper
J. Hlavicka
1994European Dependable Computing Conference0 citations
Semantic Scholar
Design for diagnosability—a survey
J. Hlavicka
19920 citations
Semantic Scholar
On the Complexity of System-Level Diagnosis Algorithms
J. Hlavicka
1991International Conference/Workshop on Computer Aided Systems Theory0 citations
Semantic Scholar
Synchronization in a experimental TMR system
P. Vasek, J. Hlavicka
19900 citations
Semantic Scholar
Validation and Verification of Hardware and Software (Position Statement)
J. Hlavicka
1989IFIP Congress0 citations
Semantic Scholar
CONCURRENT DIAGNOSTICS IN MULTIPROCESSOR SYSTEMS
J. Hlavicka
19880 citations
Semantic Scholar