Crystal structure of the UvrB dimer: insights into the nature and functioning of the UvrAB damage engagement and UvrB-DNA complexes
Webster, Matthew P J, Jukes, Rachael, Zamfir, Vlad S, Kay, Christopher W M, Bagnéris, Claire, Barrett, Tracey
Published in Nucleic acids research (01.09.2012)
Published in Nucleic acids research (01.09.2012)
Get full text
Journal Article
Apache Spark and Apache Ignite Performance Analysis
Stan, Cristiana-Stefania, Pandelica, Adrian-Eduard, Zamfir, Vlad-Andrei, Stan, Roxana-Gabriela, Negru, Catalin
Published in 2019 22nd International Conference on Control Systems and Computer Science (CSCS) (01.05.2019)
Published in 2019 22nd International Conference on Control Systems and Computer Science (CSCS) (01.05.2019)
Get full text
Conference Proceeding
Asynchronous Muddy Children Puzzle (work in progress)
Trufaș, Dafina, Teodorescu, Ioan, Diaconescu, Denisa, Șerbănuță, Traian, Zamfir, Vlad
Published in Electronic proceedings in theoretical computer science (22.09.2023)
Published in Electronic proceedings in theoretical computer science (22.09.2023)
Get full text
Journal Article
Probing the Solution Structure of IκB Kinase (IKK) Subunit γ and Its Interaction with Kaposi Sarcoma-associated Herpes Virus Flice-interacting Protein and IKK Subunit β by EPR Spectroscopy
Bagnéris, Claire, Rogala, Kacper B., Baratchian, Mehdi, Zamfir, Vlad, Kunze, Micha B.A., Dagless, Selina, Pirker, Katharina F., Collins, Mary K., Hall, Benjamin A., Barrett, Tracey E., Kay, Christopher W.M.
Published in The Journal of biological chemistry (03.07.2015)
Published in The Journal of biological chemistry (03.07.2015)
Get full text
Journal Article
Probing the Solution Structure of I Kappa B Kinase (IKK) Subunit gamma and Its Interaction with Kaposi Sarcoma-associated Herpes Virus Flice-interacting Protein and IKK Subunit beta by EPR Spectroscopy<inline-graphic xlink:href="sbox.jpg"/>
Bagneris, Claire, Rogala, Kacper B, Baratchian, Mehdi, Zamfir, Vlad, Kunze, Micha BA, Dagless, Selina, Pirker, Katharina F, Collins, Mary K, Hall, Benjamin A, Barrett, Tracey E, Kay, Christopher WM
Published in The Journal of biological chemistry (04.05.2015)
Published in The Journal of biological chemistry (04.05.2015)
Get full text
Journal Article
Probing the solution structure of IκB kinase (IKK) subunit γ and its interaction with Kaposi sarcoma-associated herpes virus Flice-interacting protein and IKK subunit β by EPR spectroscopy
Bagnéris, Claire, Rogala, Kacper B., Baratchian, Mehdi, Zamfir, Vlad, Kunze, Micha B.A., Dagless, Selina, Pirker, Katharina F., Collins, Mary K., Hall, Benjamin A., Barrett, Tracey E., Kay, Christopher W.M.
Published in The Journal of biological chemistry (18.09.2015)
Published in The Journal of biological chemistry (18.09.2015)
Get full text
Journal Article
Formalizing Correct-by-Construction Casper in Coq
Li, Elaine, Serbanuta, Traian, Diaconescu, Denisa, Zamfir, Vlad, Rosu, Grigore
Published in 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) (01.05.2020)
Published in 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) (01.05.2020)
Get full text
Conference Proceeding
Validating Labelled State Transition and Message Production Systems: A Theory for Modelling Faulty Distributed Systems
Zamfir, Vlad, Calancea, Mihai, Diaconescu, Denisa, Kołowski, Wojciech, Moore, Brandon, Palmskog, Karl, Şerbănuţă, Traian Florin, Stay, Michael, Trufaş, Dafina, Tušil, Jan
Year of Publication 25.02.2022
Year of Publication 25.02.2022
Get full text
Journal Article
Validating Labelled State Transition and Message Production Systems: A Theory for Modelling Faulty Distributed Systems
Zamfir, Vlad, Calancea, Mihai, Diaconescu, Denisa, Kołowski, Wojciech, Moore, Brandon, Palmskog, Karl, Traian Florin \c{S}erbănuţă, Stay, Michael, Trufaş, Dafina, Tušil, Jan
Published in arXiv.org (15.12.2023)
Get full text
Published in arXiv.org (15.12.2023)
Paper