Edit Profile (opens in new tab) Fetzer, Christof Co-Author Distance Author ID: fetzer.christof Published as: Fetzer, Christof Documents Indexed: 12 Publications since 1995 Co-Authors: 16 Co-Authors with 11 Joint Publications 158 Co-Co-Authors all top 5 Co-Authors 1 single-authored 5 Felber, Pascal 4 Cristian, Flaviu 2 Faqeh, Rasha 2 Riegel, Torvald 1 Bhatotia, Pramod 1 Bromberger, Martin 1 Dragoste, Irina 1 Gramoli, Vincent 1 Harmanci, Derin 1 Högstedt, Karin 1 Krötzsch, Markus 1 Martin, André 1 Riegel, Torval 1 Schiavoni, Valerio 1 Sturzrehm, Heiko 1 Weidenbach, Christoph Serials 1 Theoretical Computer Science 1 Journal of Parallel and Distributed Computing 1 Real-Time Systems 1 Bulletin of the European Association for Theoretical Computer Science EATCS Fields 12 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 9 Publications have been cited 30 times in 20 Documents Cited by ▼ Year ▼ A lazy snapshot algorithm with eager validation. Zbl 1155.68341Riegel, Torvald; Felber, Pascal; Fetzer, Christof 8 2007 Composable error recovery with transactional memory. Zbl 1188.68101Riegel, Torvald; Felber, Pascal; Fetzer, Christof 5 2009 Lower bounds for convergence function based clock synchronization. Zbl 1373.68094Fetzer, Christof; Cristian, Flaviu 4 1995 Extensible transactional memory testbed. Zbl 1233.68164Harmanci, Derin; Gramoli, Vincent; Felber, Pascal; Fetzer, Christof 3 2010 From causal to \(z\)-linearizable transactional memory. Zbl 1283.68120Riegel, Torval; Fetzer, Christof; Sturzrehm, Heiko; Felber, Pascal 3 2007 Fail-awareness in timed asynchronous systems. Zbl 1321.68076Fetzer, Christof; Cristian, Flaviu 2 1996 Fail-awareness: An approach to construct fail-safe systems. Zbl 1033.68008Fetzer, Christof; Cristian, Flaviu 2 2003 The message classification model. Zbl 1333.68055Fetzer, Christof 2 1998 A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic. Zbl 07497913Bromberger, Martin; Dragoste, Irina; Faqeh, Rasha; Fetzer, Christof; Krötzsch, Markus; Weidenbach, Christoph 1 2021 A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic. Zbl 07497913Bromberger, Martin; Dragoste, Irina; Faqeh, Rasha; Fetzer, Christof; Krötzsch, Markus; Weidenbach, Christoph 1 2021 Extensible transactional memory testbed. Zbl 1233.68164Harmanci, Derin; Gramoli, Vincent; Felber, Pascal; Fetzer, Christof 3 2010 Composable error recovery with transactional memory. Zbl 1188.68101Riegel, Torvald; Felber, Pascal; Fetzer, Christof 5 2009 A lazy snapshot algorithm with eager validation. Zbl 1155.68341Riegel, Torvald; Felber, Pascal; Fetzer, Christof 8 2007 From causal to \(z\)-linearizable transactional memory. Zbl 1283.68120Riegel, Torval; Fetzer, Christof; Sturzrehm, Heiko; Felber, Pascal 3 2007 Fail-awareness: An approach to construct fail-safe systems. Zbl 1033.68008Fetzer, Christof; Cristian, Flaviu 2 2003 The message classification model. Zbl 1333.68055Fetzer, Christof 2 1998 Fail-awareness in timed asynchronous systems. Zbl 1321.68076Fetzer, Christof; Cristian, Flaviu 2 1996 Lower bounds for convergence function based clock synchronization. Zbl 1373.68094Fetzer, Christof; Cristian, Flaviu 4 1995 all cited Publications top 5 cited Publications all top 5 Cited by 45 Authors 3 Schmid, Ulrich 2 Attiya, Hagit 2 Gramoli, Vincent 2 Guerraoui, Rachid 2 Hillel, Eshcar 2 Keidar, Idit 2 Milani, Alessia 2 Perelman, Dmitri 1 Amani, Ali Moradi 1 Bromberger, Martin 1 Burckhardt, Sebastian 1 Byshevsky, Anton 1 Ellen, Faith 1 Fatourou, Panagiota 1 Felber, Pascal 1 Fetzer, Christof 1 Fich, Faith Ellen 1 Grahn, Håkan 1 Granig, Wolfgang 1 Harmanci, Derin 1 Henzinger, Thomas A. 1 Jakšić, Stefan 1 Kosmas, Eleftherios 1 Lampson, Butler W. 1 Leijen, Daan 1 Leutgeb, Lorenz 1 Lewitschnig, Horst 1 Litmanovich, Oleg 1 Lynch, Nancy Ann 1 Mateis, Cristinel 1 Nickovic, Dejan 1 Pike, Scott M. 1 Prisco, R. D. 1 Robinson, Peter 1 Ruppert, Eric 1 Sastry, Srikanth 1 Schossmaier, Klaus 1 Singh, Vasu 1 Staroswiecki, Marcel 1 Travers, Corentin 1 Trigonakis, Vasileios 1 Wattenhofer, Roger P. 1 Weidenbach, Christoph 1 Welch, Jennifer Lundelius 1 Widder, Josef all top 5 Cited in 6 Serials 5 Distributed Computing 3 Theoretical Computer Science 3 Theory of Computing Systems 2 Journal of Parallel and Distributed Computing 1 Information and Computation 1 International Journal of Adaptive Control and Signal Processing Cited in 2 Fields 19 Computer science (68-XX) 1 Systems theory; control (93-XX) Citations by Year