References in zbMATH (referenced in 161 articles , 1 standard article )

Showing results 41 to 60 of 161.
Sorted by year (citations)

previous 1 2 3 4 5 ... 7 8 9 next

  1. Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Leotta, Maurizio; Prampolini, Enrico; Ribaudo, Marina; Ricca, Filippo: An abstract machine for asynchronous programs with closures and priority queues (2017)
  2. Arceri, Vincenzo; Maffeis, Sergio: Abstract domains for type juggling (2017)
  3. Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Ozkan, Burcu Kulahcioglu; Tasiran, Serdar: Verifying robustness of event-driven asynchronous programs against concurrency (2017)
  4. Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo: Formal methods for web security (2017)
  5. Eamonn Maguire, Lukas Heinrich, Graeme Watt: HEPData: a repository for high energy physics data (2017) arXiv
  6. Gagniuc, Paul A.: Markov chains. From theory to implementation and experimentation (2017)
  7. Giannini, Paola; Shaqiri, Albert: A provably correct compilation of functional languages into scripting languages (2017)
  8. Hillerström, Daniel; Lindley, Sam; Atkey, Robert; Sivaramakrishnan, K. C.: Continuation passing style for effect handlers (2017)
  9. Kaplan, Andee; Hofmann, Heike; Nordman, Daniel: An interactive graphical method for community detection in network data (2017)
  10. Leijen, Daan: Type directed compilation of row-typed algebraic effects (2017)
  11. Liebscher, Stefan: Projective geometry of the plane. A classical approach with interactive visualisation (2017)
  12. Qasem, Aneesa M.: Formal model of the synthesized screen image of a dynamic situation in areas of monitoring mobile objects and its implementation in a web-oriented geoinformation system (2017)
  13. Trangenstein, John A.: Scientific computing. Vol. II. Eigenvalues and optimization (2017)
  14. Trangenstein, John A.: Scientific computing. Vol. III. Approximation and integration (2017)
  15. Ancona, Davide; Giannini, Paola; Zucca, Elena: Incremental rebinding with name polymorphism (2016)
  16. Asselin, Lynn; Gardner, Kirk P.; Sheehy, Donald R.: Interactive geometric algorithm visualization in a browser (2016)
  17. Hang Xiong, Pin Xiong, Hui Xiong: KAMG: A Tool for Converting Blood Ties and Affinity Ties into Adjacency Matrices (2016) not zbMATH
  18. Pratt, Kevin; Riley, Connor; Sheehy, Donald: Exploring circle packing algorithms (2016)
  19. Raad, Azalea; Santos, José Fragoso; Gardner, Philippa: DOM: specification and client reasoning (2016)
  20. Su, Jiawei; Yoshioka, Katsunari; Shikata, Junji; Matsumoto, Tsutomu: Detecting obfuscated suspicious javascript based on information-theoretic measures and novelty detection (2016)

previous 1 2 3 4 5 ... 7 8 9 next