• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 35 matches

• 2022
• 
  Ethan Buchman, Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Dragos-Adrian Seredinschi, Josef Widder:
  Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use. DSN (Supplements) 2022: 11-14
• 
  Pierre Civit, Seth Gilbert, Vincent Gramoli, Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Adi Seredinschi:
  Crime and Punishment in Distributed Byzantine Decision Tasks. ICDCS 2022: 34-44
• 
  Enrique Fynn, Ethan Buchman, Zarko Milosevic, Robert Soulé, Fernando Pedone:
  Robust and Fast Blockchain State Synchronization. OPODIS 2022: 8:1-8:22
• 
  Pierre Civit, Seth Gilbert, Vincent Gramoli, Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Adi Seredinschi:
  Crime and Punishment in Distributed Byzantine Decision Tasks. IACR Cryptol. ePrint Arch. 2022: 121 (2022)
• 2021
• 
  Daniel Cason, Nenad Milosevic, Zarko Milosevic, Fernando Pedone:
  Gossip consensus. Middleware 2021: 198-209
• 
  Daniel Cason, Enrique Fynn, Nenad Milosevic, Zarko Milosevic, Ethan Buchman, Fernando Pedone:
  The design, architecture and performance of the Tendermint Blockchain Network. SRDS 2021: 23-33
• 2020
• 
  Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir:
  Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). FMBC@CAV 2020: 10:1-10:8
• 
  Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir:
  Tendermint Blockchain Synchronization: Formal Specification and Model Checking. ISoLA (1) 2020: 471-488
• 
  Sean Braithwaite, Ethan Buchman, Ismail Khoffi, Igor Konnov, Zarko Milosevic, Romain Ruetschi, Josef Widder:
  A Tendermint Light Client. CoRR abs/2010.07031 (2020)
• 2018
• 
  Zarko Milosevic, Igor Saveljic, Dalibor Nikolic, Nebojsa Zdravkovic, Nenad Filipovic, Neda Vidanovic:
  Three-Dimensional Computer Model of Benign Paroxysmal Positional Vertigo in the Semi-Circular Canal. EAI Endorsed Trans. Pervasive Health Technol. 4(13): e1 (2018)
• 
  Milos Jordanski, Milos D. Radovic, Zarko Milosevic, Nenad Filipovic, Zoran Obradovic:
  Machine Learning Approach for Predicting Wall Shear Distribution for Abdominal Aortic Aneurysm and Carotid Bifurcation Models. IEEE J. Biomed. Health Informatics 22(2): 537-544 (2018)
• 
  Ethan Buchman, Jae Kwon, Zarko Milosevic:
  The latest gossip on BFT consensus. CoRR abs/1807.04938 (2018)
• 2017
• 
  Velibor Isailovic, Zarko Milosevic, Dalibor Nikolic, Igor Saveljic, Milica M. Nikolic, Marija Gacic, Bojana R. Cirkovic-Andjelkovic, Themis P. Exarchos, Dimitrios I. Fotiadis, Gualtiero Pelosi, Oberdan Parodi, Nenad Filipovic:
  Coupled Computer Modeling of Atherosclerosis Development in the Coronary Arteries. BIBE 2017: 415-418
• 2016
• 
  Nenad Filipovic, Zarko Milosevic, Igor Saveljic, Dalibor Nikolic, Nebojsa Zdravkovic, Anton Kos:
  Biomechanical Model for Detection of Vertigo Disease. IIKI 2016: 255-260
• 2015
• 
  Zarko Milosevic, Dalibor Nikolic, Igor Saveljic, Milos D. Radovic, Velibor Isailovic, Nebojsa Zdravkovic, Nenad Filipovic:
  Computer modeling of semicircular canals in the vestibular system. BIBE 2015: 1-4
• 
  Igor Koncar, Milos Sladojevic, Dalibor Nikolic, Zarko Milosevic, Marko Dragas, I. Banzic, Miroslav Markovic, Nenad Filipovic, Lazar Davidovic:
  Intraluminal thrombus asymmetrical deposition in ruptured and symptomatic abdominal aortic aneurysm. BIBE 2015: 1-3
• 
  Milos D. Radovic, Velibor Isailovic, Igor Saveljic, Zarko Milosevic, Dalibor Nikolic, Themis P. Exarchos, Dimitrios I. Fotiadis, Oberdan Parodi, Nenad Filipovic:
  Computational modeling of plaque progression in coronary arteries. BIBE 2015: 1-5
• 
  Jelena Tosovic, Zarko Milosevic, Svetlana Markovic:
  Simulation of the UV/Vis spectra of flavonoids. BIBE 2015: 1-6
• 
  Arso M. Vukicevic, Gordana R. Jovicic, Nebojsa Jovicic, Zarko Milosevic, Nenad Filipovic:
  Assessment of bone stress intensity factor using artificial neural networks. BIBE 2015: 1-4
• 2014
• 
  Zarko Milosevic, Martin Hutle, André Schiper:
  Tolerating permanent and transient value faults. Distributed Comput. 27(1): 55-77 (2014)
• 
  Nenad Filipovic, Igor Saveljic, Zarko Milosevic:
  Computer Simulation of Hot Caloric Test Response in the Three Semicircular Canal. BIBE 2014: 265-269
• 2013
• 
  Zarko Milosevic:
  Abstractions for Solving Consensus and Related Problems with Byzantine Faults. EPFL, Switzerland, 2013
• 
  Martin Biely, Pamela Delgado, Zarko Milosevic, André Schiper:
  Distal: A framework for implementing fault-tolerant distributed algorithms. DSN 2013: 1-8
• 
  Zarko Milosevic, Martin Biely, André Schiper:
  Bounded Delay in Byzantine-Tolerant State Machine Replication. SRDS 2013: 61-70
• 2012
• 
  Nenad Filipovic, Mirko Rosic, Irena Tanaskovic, Zarko Milosevic, Dalibor Nikolic, Nebojsa Zdravkovic, Aleksandar Peulic, Milos Kojic, Dimitrios I. Fotiadis, Oberdan Parodi:
  ARTreat Project: Three-Dimensional Numerical Simulation of Plaque Formation and Development in the Arteries. IEEE Trans. Inf. Technol. Biomed. 16(2): 272-278 (2012)
• 
  Oberdan Parodi, Themis P. Exarchos, Paolo Marraccini, Federico Vozzi, Zarko Milosevic, Dalibor Nikolic, Antonis I. Sakellarios, Panagiotis K. Siogkas, Dimitrios I. Fotiadis, Nenad Filipovic:
  Patient-Specific Prediction of Coronary Plaque Growth From CTA Angiography: A Multiscale Model for Plaque Formation and Progression. IEEE Trans. Inf. Technol. Biomed. 16(5): 952-965 (2012)
• 
  Themis P. Exarchos, Antonis I. Sakellarios, Panagiotis K. Siogkas, Dimitrios I. Fotiadis, Zarko Milosevic, Dalibor Nikolic, Nenad Filipovic, Paolo Marraccini, Federico Vozzi, Oberdan Parodi:
  Patient specific multiscale modelling for plaque formation and progression. EMBC 2012: 2893-2896
• 
  Zarko Milosevic, Martin Hutle, André Schiper:
  Brief announcement: tolerating permanent and transient value faults. PODC 2012: 333-334
• 
  Martin Biely, Zarko Milosevic, Nuno Santos, André Schiper:
  S-Paxos: Offloading the Leader for High Throughput State Machine Replication. SRDS 2012: 111-120
• 2011
• 
  André Schiper, Zarko Milosevic, Omid Shahmirzadi:
  Student mini-kernel project based on an FPGA board. ACM SIGOPS Oper. Syst. Rev. 45(2): 54-58 (2011)

skipping 5 more matches