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

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

1 2 3 4 next

  1. Łukasz Szeremeta; Dominik Tomaszuk: Generating molecular entities as structured data (2021) not zbMATH
  2. Ryan P. Fisher, Gary Hemming, Marie-Anne Bizouard, Duncan A. Brown, Peter F. Couvares, Florent Robinet, Didier Verkindt: DQSEGDB: A time-interval database for storing gravitational wave observatory metadata (2021) not zbMATH
  3. Mašović, Sead H.; Saračević, Muzafer H.; Stanimirović, Predrag S.; Krtolica, Predrag V.: Computing triangulations of the convex polygon in PHP/MySQL environment (2019)
  4. 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)
  5. Arceri, Vincenzo; Maffeis, Sergio: Abstract domains for type juggling (2017)
  6. Gagniuc, Paul A.: Markov chains. From theory to implementation and experimentation (2017)
  7. 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)
  8. Milošević, Danijela; Pepić, Selver; Saračević, Muzafer; Tasić, Milan: Weighted Moore-Penrose generalized matrix inverse: MySQL vs. Cassandra database storage system (2016)
  9. Baidin, Alexey Eduardovich: Determination of visual double star orbits by means of genetic algorithms (2015)
  10. Bul’ajoul, Waleed; James, Anne; Pannu, Mandeep: Improving network intrusion detection system performance through quality of service configuration and parallel technology (2015) ioport
  11. Dissegna, Stefano; Logozzo, Francesco; Ranzato, Francesco: Tracing compilation by abstract interpretation (2014)
  12. Krtolica, Predrag; Stanimirović, Predrag; Tasić, Milan; Pepić, Selver: Triangulation of convex polygon with storage support (2014)
  13. Rimsa, Andrei; D’Amorim, Marcelo; Pereira, Fernando Magno Quintão; Bigonha, Roberto S.: Efficient static checker for tainted variable attacks (2014)
  14. Yu, Fang; Alkhalaf, Muath; Bultan, Tevfik; Ibarra, Oscar H.: Automata-based symbolic string analysis for vulnerability detection (2014)
  15. Biggar, Paul; De Vries, Edsko; Gregg, David: A practical solution for achieving language compatibility in scripting language compilers (2012) ioport
  16. Sakuma, Yuto; Minamide, Yasuhiko; Voronkov, Andrei: Translating regular expression matching into transducers (2012)
  17. Bogdanova, G. T.; Todorov, T. J.; Todorov, V. H.: QPlus: computer package for coding theory research and education (2011)
  18. Enderlin, Ivan; Dadeau, Frédéric; Giorgetti, Alain; Ben Othman, Abdallah: Praspel: a specification language for contract-based testing in PHP (2011) ioport
  19. González-Díaz, Humberto; Prado-Prado, Francisco; Sobarzo-Sánchez, Eduardo; Haddad, Mohamed; Maurel Chevalley, Séverine; Valentin, Alexis; Quetin-Leclercq, Joëlle; Dea-Ayuela, María A.; Gomez-Muños, María Teresa; Munteanu, Cristian R.; Torres-Labandeira, Juan José; García-Mera, Xerardo; Tapia, Ricardo A.; Ubeira, Florencio M.: NL MIND-BEST: a web server for ligands and proteins discovery -- theoretic-experimental study of proteins of \textitGiardialamblia and new compounds active against \textitPlasmodiumfalciparum (2011)
  20. Tasić, Milan B.; Stanimirović, Predrag S.; Pepić, Selver H.: Computation of generalized inverses using PHP/MySQL environment (2011)

1 2 3 4 next