References in zbMATH (referenced in 228 articles , 6 standard articles )

1. Hapla, Vaclav; Knepley, Matthew G.; Afanasiev, Michael; Boehm, Christian; van Driel, Martin; Krischer, Lion; Fichtner, Andreas: Fully parallel mesh I/O using PETSc DMPlex with an application to waveform modeling (2021)
2. Nieva, Susana; Sáenz-Pérez, Fernando; Sánchez-Hernández, Jaime: HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems (2020)
3. Tulupov, M. A.: Methodology for constructing a project management information system based on the enterprise application integration (2020)
4. Joana M. F. da Trindade, Konstantinos Karanasos, Carlo Curino, Samuel Madden, Julian Shun: Kaskade: Graph Views for Efficient Graph Analytics (2019) arXiv
5. Hannes Mühleisen; Alexander Bertram; Maarten-Jan Kallen: Database-Inspired Optimizations for Statistical Analysis (2018) not zbMATH
6. Harirchi, Farshad; Ozay, Necmiye: Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach (2018)
7. Abe, Tatsuya; Maeda, Toshiyuki: Observation-based concurrent program logic for relaxed memory consistency models (2016)
8. Fischetti, Matteo; Monaci, Michele; Salvagnin, Domenico: Mixed-integer linear programming heuristics for the prepack optimization problem (2016)
9. Haddar, Nahla; Tmar, Mohamed; Gargouri, Faiez: A data-centric approach to manage business processes (2016)
10. Sivaramakrishnan, K. C.; Harris, Tim; Marlow, Simon; Peyton Jones, Simon: Composable scheduler activations for Haskell (2016)
11. Botana, Francisco; Kovács, Zoltán: A Singular web service for geometric computations (2015)
12. Cugola, Gianpaolo; Margara, Alessandro; Matteucci, Matteo; Tamburrelli, Giordano: Introducing uncertainty in complex event processing: model, implementation, and validation (2015) ioport
13. Dey, Debabrata; Lahiri, Atanu; Zhang, Guoying: Optimal policies for security patch management (2015)
14. Roubtsov, Serguei; Roubtsova, Ella: Decision modules in models and implementations (2015) ioport
15. Sen, Goutam; Krishnamoorthy, Mohan; Rangaraj, Narayan; Narayanan, Vishnu: Exact approaches for static data segment allocation problem in an information network (2015)
16. Ivanenko, P. A.; Doroshenko, A. Yu.: Method of automated generation of autotuners for parallel programs (2014) ioport
17. Kuznetsov, S.; Poskonin, A.: NoSQL data management systems (2014) ioport
18. Pérez, Héctor; Gutiérrez, J. Javier: A survey on standards for real-time distribution middleware (2014)
19. Saritas, Hidayet Burak; Kardas, Geylani: A model driven architecture for the development of smart card software (2014) ioport
20. Sen, Siddhartha; Tarjan, Robert E.: Deletion without rebalancing in multiway search trees (2014)