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

Showing results 1 to 20 of 227.
Sorted by year (citations)

1 2 3 ... 10 11 12 next

  1. 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)
  2. Joana M. F. da Trindade, Konstantinos Karanasos, Carlo Curino, Samuel Madden, Julian Shun: Kaskade: Graph Views for Efficient Graph Analytics (2019) arXiv
  3. Hannes Mühleisen; Alexander Bertram; Maarten-Jan Kallen: Database-Inspired Optimizations for Statistical Analysis (2018) not zbMATH
  4. Harirchi, Farshad; Ozay, Necmiye: Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach (2018)
  5. Abe, Tatsuya; Maeda, Toshiyuki: Observation-based concurrent program logic for relaxed memory consistency models (2016)
  6. Farhang, Sadegh; Grossklags, Jens: FlipLeakage: a game-theoretic approach to protect against stealthy attackers in the presence of information leakage (2016)
  7. Fischetti, Matteo; Monaci, Michele; Salvagnin, Domenico: Mixed-integer linear programming heuristics for the prepack optimization problem (2016)
  8. Haddar, Nahla; Tmar, Mohamed; Gargouri, Faiez: A data-centric approach to manage business processes (2016)
  9. Sivaramakrishnan, K. C.; Harris, Tim; Marlow, Simon; Peyton Jones, Simon: Composable scheduler activations for Haskell (2016)
  10. Botana, Francisco; Kovács, Zoltán: A Singular web service for geometric computations (2015)
  11. Cugola, Gianpaolo; Margara, Alessandro; Matteucci, Matteo; Tamburrelli, Giordano: Introducing uncertainty in complex event processing: model, implementation, and validation (2015) ioport
  12. Dey, Debabrata; Lahiri, Atanu; Zhang, Guoying: Optimal policies for security patch management (2015)
  13. Roubtsov, Serguei; Roubtsova, Ella: Decision modules in models and implementations (2015) ioport
  14. Sen, Goutam; Krishnamoorthy, Mohan; Rangaraj, Narayan; Narayanan, Vishnu: Exact approaches for static data segment allocation problem in an information network (2015)
  15. Ivanenko, P. A.; Doroshenko, A. Yu.: Method of automated generation of autotuners for parallel programs (2014) ioport
  16. Kuznetsov, S.; Poskonin, A.: NoSQL data management systems (2014) ioport
  17. Pérez, Héctor; Gutiérrez, J. Javier: A survey on standards for real-time distribution middleware (2014)
  18. Saritas, Hidayet Burak; Kardas, Geylani: A model driven architecture for the development of smart card software (2014) ioport
  19. Sen, Siddhartha; Tarjan, Robert E.: Deletion without rebalancing in multiway search trees (2014)
  20. Walraven, Stefan; Truyen, Eddy; Joosen, Wouter: Comparing PaaS offerings in light of SaaS development. A comparison of PaaS platforms based on a practical case study (2014) ioport

1 2 3 ... 10 11 12 next