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

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

1 2 3 ... 9 10 11 next

  1. Abe, Tatsuya; Maeda, Toshiyuki: Observation-based concurrent program logic for relaxed memory consistency models (2016)
  2. Farhang, Sadegh; Grossklags, Jens: FlipLeakage: a game-theoretic approach to protect against stealthy attackers in the presence of information leakage (2016)
  3. Haddar, Nahla; Tmar, Mohamed; Gargouri, Faiez: A data-centric approach to manage business processes (2016)
  4. Botana, Francisco; Kovács, Zoltán: A Singular web service for geometric computations (2015)
  5. Cugola, Gianpaolo; Margara, Alessandro; Matteucci, Matteo; Tamburrelli, Giordano: Introducing uncertainty in complex event processing: model, implementation, and validation (2015) ioport
  6. Dey, Debabrata; Lahiri, Atanu; Zhang, Guoying: Optimal policies for security patch management (2015)
  7. Roubtsov, Serguei; Roubtsova, Ella: Decision modules in models and implementations (2015) ioport
  8. Sen, Goutam; Krishnamoorthy, Mohan; Rangaraj, Narayan; Narayanan, Vishnu: Exact approaches for static data segment allocation problem in an information network (2015)
  9. Ivanenko, P.A.; Doroshenko, A.Yu.: Method of automated generation of autotuners for parallel programs (2014) ioport
  10. Kuznetsov, S.; Poskonin, A.: NoSQL data management systems (2014) ioport
  11. Pérez, Héctor; Gutiérrez, J.Javier: A survey on standards for real-time distribution middleware (2014)
  12. Saritas, Hidayet Burak; Kardas, Geylani: A model driven architecture for the development of smart card software (2014) ioport
  13. Sen, Siddhartha; Tarjan, Robert E.: Deletion without rebalancing in multiway search trees (2014)
  14. 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
  15. Xu, Pan; Tirthapura, Srikanta: Optimality of clustering properties of space-filling curves (2014)
  16. Borwein, Jonathan; Maitland, Christopher; Skerritt, Matthew: Computation of an improved lower bound to Giuga’s primality conjecture (2013)
  17. Häubl, Christian; Wimmer, Christian; Mössenböck, Hanspeter: Context-sensitive trace inlining for Java (2013) ioport
  18. Würthinger, Thomas; Wimmer, Christian; Stadler, Lukas: Unrestricted and safe dynamic code evolution for Java (2013) ioport
  19. Aroca, Rafael Vidal; Garcia Gonçalves, Luiz Marcos: Towards Green data centers: a comparison of x86 and ARM architectures power efficiency (2012) ioport
  20. Carrasco, Ramón A.; Villar, Pedro: A new model for linguistic summarization of heterogeneous data: an application to tourism web data sources (2012) ioport

1 2 3 ... 9 10 11 next