Home
Fault Tolerant Systems Research Group
Department of Measurement and Information Systems
BME Logo

Primary Links

  • Home
  • Events
  • Education
    • Critical Embedded Systems
    • System Modelling
    • Software and Systems Verification
    • Formal Methods
    • Software Verification and Validation
  • Research
    • Research Directions
    • Application Areas
    • Projects
    • Tools
  • Publications
    • Authors
    • Keywords
  • About Us
    • Members
    • Location
    • Partners and Sponsors
Formal Specification and Verification of Solidity Contracts with Events (short paper) ›

The Future is Big Graphs! A Community View on Graph Processing Systems

TitleThe Future is Big Graphs! A Community View on Graph Processing Systems
Publication TypeJournal Article
Year of Publication2021
AuthorsSakr, S., Bonifati, A., Voigt, H., Iosup, A., Ammar, K., Angles, R., Aref, W., Arenas, M., Besta, M., Boncz, P. A., Daudjee, K., Valle, E D., Dumbrava, S., Hartig, O., Haslhofer, B., Hegeman, T., Hidders, J., Hose, K., Iamnitchi, A., Kalavri, V., Kapp, H., Martens, W., Özsu, T. M., Peukert, E., Plantikow, S., Ragab, M., Ripeanu, M. R., Salihoglu, S., Schulz, C., Selmer, P., Sequeda, J. F., Shinavier, J., Szárnyas, G., Tommasini, R., Tumeo, A., Uta, A., Varbanescu, A L., Wu, H-Y., Yakovets, N., Yan, D., and Yoneki, E.
JournalCommunications of the ACM
NotesTo be published in CACM
URLhttps://dl.acm.org/doi/pdf/10.1145/3434642
PDF: 
application/pdf iconFull text
  • BibTex

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login

Leírások

  • Submitting homework and lab assignments
  • IT Services
  • Egyéb leírások

Navigation

  • Conference materials

  • Sitemap
  • Location
  • Contact Webmaster