Globular: an online proof assistant for higher-dimensional rewriting
Krzysztof Bar, Aleks Kissinger, Jamie Vicary
Published in Logical methods in computer science (01.01.2018)
Published in Logical methods in computer science (01.01.2018)
Get full text
Journal Article
Inflammatory myofibroblastic tumor of the kidney in patient with nephron-sparing surgery. Case report and review of the literature
Korolczuk, Agnieszka, Jarosz, Piotr, Jasielski, Patryk, Mitura1, Przemysław, Bar, Krzysztof
Published in Indian journal of pathology & microbiology (01.01.2022)
Published in Indian journal of pathology & microbiology (01.01.2022)
Get full text
Journal Article
Extraperitoneal Laparoscopic Prostatectomy in a Prostate Cancer Patient Undergoing Continuous Ambulatory Peritoneal Dialysis
Widz, Damian, Kuliniec, Iga, Yadlos, Andriy, Sudoł, Damian, Godzisz, Michał, Wisz, Agata, Płaza, Paweł, Mitura, Przemysław, Cabanek, Michał, Bar, Krzysztof
Published in Life (Basel, Switzerland) (12.03.2022)
Published in Life (Basel, Switzerland) (12.03.2022)
Get full text
Journal Article
Data structures for quasistrict higher categories
Bar, Krzysztof, Vicary, Jamie
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Get full text
Conference Proceeding
PALB2 mutations and prostate cancer risk and survival
Wokołorczyk, Dominika, Kluźniak, Wojciech, Stempa, Klaudia, Rusak, Bogna, Huzarski, Tomasz, Gronwald, Jacek, Gliniewicz, Katarzyna, Kashyap, Aniruddh, Morawska, Sylwia, Dębniak, Tadeusz, Jakubowska, Anna, Szwiec, Marek, Domagała, Paweł, Lubiński, Jan, Narod, Steven A, Akbari, Mohammad R, Cybulski, Cezary
Published in British journal of cancer (17.08.2021)
Published in British journal of cancer (17.08.2021)
Get full text
Journal Article
Urinary Incontinence in Adulthood in a Course of Ectopic Ureter—Description of Two Clinical Cases with Review of Literature
Kuliniec, Iga, Mitura, Przemysław, Płaza, Paweł, Widz, Damian, Sudoł, Damian, Godzisz, Michał, Kołodyńska, Aleksandra, Monist, Marta, Wisz, Agata, Bar, Krzysztof
Published in International journal of environmental research and public health (02.07.2021)
Published in International journal of environmental research and public health (02.07.2021)
Get full text
Journal Article
Preoperative Neutrophil-lymphocyte Ratio as a Predictor of Overall Survival in Patients with Localized Renal Cell Carcinoma
Widz, Damian, Mitura, Przemyslaw, Buraczynski, Pawel, Plaza, Pawel, Bar, Marek, Cabanek, Michal, Nowak, Grzegorz, Ostrowska, Anna, Bar, Krzysztof
Published in Urology journal (01.01.2020)
Published in Urology journal (01.01.2020)
Get full text
Journal Article
Neutrophil-to-lymphocyte ratio as a predictor of overall survival and cancer advancement in patients undergoing radical cystectomy for bladder cancer
Sudoł, Damian, Widz, Damian, Mitura, Przemysław, Płaza, Paweł, Godzisz, Michał, Kuliniec, Iga, Yadlos, Andriy, Cabanek, Michał, Bar, Marek, Bar, Krzysztof
Published in Central European journal of urology (2022)
Published in Central European journal of urology (2022)
Get full text
Journal Article
Kynurenic acid in human renal cell carcinoma: its antiproliferative and antimigrative action on Caki-2 cells
Walczak, Katarzyna, Żurawska, Małgorzata, Kiś, Jacek, Starownik, Radosław, Zgrajka, Wojciech, Bar, Krzysztof, Turski, Waldemar A., Rzeski, Wojciech
Published in Amino acids (01.10.2012)
Published in Amino acids (01.10.2012)
Get full text
Journal Article
Infiltrating Treg and Th17 Cells of the Prostate Hypertrophy Gland Associated with Propionibacterium Acnes Infection
Radej, Sebastian, Płaza, Paweł, Olender, Alina, Szewc, Monika, Bar, Krzysztof, Maciejewski, Ryszard
Published in Research and reports in urology (01.01.2020)
Published in Research and reports in urology (01.01.2020)
Get full text
Journal Article
Prediction of the risk of surgical complications in patients undergoing monopolar transurethral resection of bladder tumour - a prospective multicentre observational study
Poletajew, Sławomir, Krajewski, Wojciech, Gajewska, Dominika, Sondka-Migdalska, Joanna, Borowik, Michał, Buraczyński, Paweł, Dzięgała, Mateusz, Łykowski, Marcin, Przudzik, Maciej, Tukiendorf, Andrzej, Woźniak, Rafał, Bar, Krzysztof, Jabłonowski, Zbigniew, Roslan, Marek, Słojewski, Marcin, Zdrojowy, Romuald, Radziszewski, Piotr, Dziobek, Konrad
Published in Archives of medical science (2020)
Published in Archives of medical science (2020)
Get full text
Journal Article
Uterovesical fistula caused by cervical pessary placed for the prevention of preterm delivery – case report
Monist, Marta J., Skorupski, Paweł J., Bar, Krzysztof, Rechberger, Tomasz A., Semczuk, Andrzej
Published in Journal of gynecology obstetrics and human reproduction (01.02.2021)
Published in Journal of gynecology obstetrics and human reproduction (01.02.2021)
Get full text
Journal Article
Propionibacterium acnes infection associated with cancerous prostate hypertrophy
Olender, Alina, Radej, Sebastian, Płaza, Paweł, Bar, Krzysztof, Maciejewski, Ryszard
Published in Polskie archiwum medycyny wewne̦trznej (14.09.2016)
Published in Polskie archiwum medycyny wewne̦trznej (14.09.2016)
Get full text
Journal Article
Concurrent Bilateral Emphysematous Pyelonephritis and Emphysematous Cystitis: A Case Report of Glomerulonephritis Severe Complication
Godzisz, Michał, Mitura, Przemysław, Widz, Damian, Sudoł, Damian, Kuliniec, Iga, Bar, Krzysztof
Published in Research and reports in urology (01.01.2021)
Published in Research and reports in urology (01.01.2021)
Get full text
Journal Article
The influence of varicocelectomy on semen parameters and fertility
Mateusz Stasieczek, Krzysztof Bar, Przemysław Mitura, Wojciech Dzierżak, Maciej Barczentewicz, Konrad Janicki, Piotr Bobiarski, Barbara Jach-Siwek, Jakub Kempisty
Published in Journal of education, health and sport (01.04.2019)
Published in Journal of education, health and sport (01.04.2019)
Get full text
Journal Article