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

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

1 2 3 4 next

  1. Andres Veidenberg, Ari L: Pline: automatic generation of modern web interfaces for command-line programs (2020) arXiv
  2. Joss Roßmann, Tobias Gummer, Lars Kaczmirek: Working with User Agent Strings in Stata: The parseuas Command (2020) not zbMATH
  3. Sousa, Eduardo Vera; Fernandes, Leandro A. F.: TbGAL: a tensor-based library for geometric algebra (2020)
  4. Timotheus Kampik, Juan Carlos Nieves: JS-son - A Lean, Extensible JavaScript Agent Programming Library (2020) arXiv
  5. Amadini, Roberto; Andrlon, Mak; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.: Constraint programming for dynamic symbolic execution of JavaScript (2019)
  6. Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Mastroeni, Isabella: Completeness of abstract domains for string analysis of JavaScript programs (2019)
  7. Casper Boone, Niels de Bruin, Arjan Langerak, Fabian Stelmach: DLTPy: Deep Learning Type Inference of Python Function Signatures using Natural Language Context (2019) arXiv
  8. 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
  9. Maniezzo, Vittorio; Boschetti, Marco A.; Carbonaro, Antonella; Marzolla, Moreno; Strappaveccia, Francesco: Client-side computational optimization (2019)
  10. Newlyn N. Joseph, Raktim N. Roy, Thomas A. Steitz: pdbmine: A Node.js API for the RCSB Protein Data Bank (PDB) (2019) arXiv
  11. Ragimli, P. I.; Ragimli, O. R.; Poveschenko, Yu. A.; Podryga, V. O.; Gasilova, I. V.: Application software for simulations of fluid dynamics and phase transformations in collectors with gas-hydrate depositions (2019)
  12. Tal Galili, Alan OCallaghan, Jonathan Sidi, Carson Sievert: heatmaply: an R package for creating interactive cluster heatmaps for online publishing (2019) arXiv
  13. Van Waes, L., Leijten, M., Pauwaert, T. and Van Horenbeeck, E: A Multilingual Copy Task: Measuring Typing and Motor Skills in Writing with Inputlog (2019) not zbMATH
  14. Weitz, Edmund: Elementary differential geometry (not only) for computer scientists. With many graphics and visualisations in Javascript. Illustrated by Heike Stephan (2019)
  15. Wielemaker, Jan; Riguzzi, Fabrizio; Kowalski, Robert A.; Lager, Torbjörn; Sadri, Fariba; Calejo, Miguel: Using SWISH to realize interactive web-based tutorials for logic-based languages (2019)
  16. 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)
  17. Ancona, Davide; Giannini, Paola; Zucca, Elena: Constrained polymorphic types for a calculus with name variables (2018)
  18. Barwick, Brett; Enkosky, Thomas; Stone, Branden; Vallandingham, Jim: Visualizing combinatorial objects in Macaulay2 (2018)
  19. Bryan Brancotte; Christophe Blanchet; Hervé Ménager: A reusable tree-based web-visualization to browse EDAM ontology, and contribute to it (2018) not zbMATH
  20. Moore, Brandon; Peña, Lucas; Rosu, Grigore: Program verification by coinduction (2018)

1 2 3 4 next