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

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

1 2 3 next

  1. Daniel Smilkov, Nikhil Thorat, Yannick Assogba, Ann Yuan, Nick Kreeger, Ping Yu, Kangyi Zhang, Shanqing Cai, Eric Nielsen, David Soergel, Stan Bileschi, Michael Terry, Charles Nicholson, Sandeep N. Gupta, Sarah Sirajuddin, D. Sculley, Rajat Monga, Greg Corrado, Fernanda B. Viegas, Martin Wattenberg: TensorFlow.js: Machine Learning for the Web and Beyond (2019) arXiv
  2. Amadini, Roberto; Gange, Graeme; Gauthier, François; Jordan, Alexander; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.; Zhang, Chenyi: Reference abstract domains and applications to string analysis (2018)
  3. Scholz, Daniel: Optimization interactive. Understanding basics, exploring models and applying methods (2018)
  4. Arceri, Vincenzo; Maffeis, Sergio: Abstract domains for type juggling (2017)
  5. 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)
  6. Trangenstein, John A.: Scientific computing. Vol. II. Eigenvalues and optimization (2017)
  7. Trangenstein, John A.: Scientific computing. Vol. III. Approximation and integration (2017)
  8. Ancona, Davide; Giannini, Paola; Zucca, Elena: Incremental rebinding with name polymorphism (2016)
  9. Asselin, Lynn; Gardner, Kirk P.; Sheehy, Donald R.: Interactive geometric algorithm visualization in a browser (2016)
  10. Raad, Azalea; Santos, José Fragoso; Gardner, Philippa: DOM: specification and client reasoning (2016)
  11. Keil, Matthias; Thiemann, Peter: Blame assignment for higher-order contracts with intersection and union (2015)
  12. Kovács, Zoltán; Parisse, Bernard: Giac and GeoGebra -- improved Gröbner basis computations (2015)
  13. Roşu, Grigore: From rewriting logic, to programming language semantics, to program verification (2015)
  14. Thiemann, Peter: Towards specializing JavaScript programs (2015)
  15. Voronkov, Andrei (ed.); Virbitskaite, Irina (ed.): Perspectives of system informatics. 9th international Ershov informatics conference, PSI 2014, St. Petersburg, Russia, June 24--27, 2014. Revised selected papers (2015)
  16. Dissegna, Stefano; Logozzo, Francesco; Ranzato, Francesco: Tracing compilation by abstract interpretation (2014)
  17. Rafael de Assis Costa, Igor; Nazaré Santos, Henrique; Rafael Alves, Péricles; Magno Quintão Pereira, Fernando: Just-in-time value specialization (2014) ioport
  18. Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin: Gradual typing embedded securely in JavaScript (2014)
  19. Arnold, Mark G.: Extending DNA-sticker arithmetic to arbitrary size using staples (2013)
  20. Bielova, Nataliia: Survey on JavaScript security policies and their enforcement mechanisms in a web browser (2013)

1 2 3 next