References in zbMATH (referenced in 18 articles )

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

  1. Diekmann, Cornelius; Hupel, Lars; Michaelis, Julius; Haslbeck, Maximilian; Carle, Georg: Verified iptables firewall analysis and verification (2018)
  2. Assarf, Benjamin; Gawrilow, Ewgenij; Herr, Katrin; Joswig, Michael; Lorenz, Benjamin; Paffenholz, Andreas; Rehn, Thomas: Computing convex hulls and counting integer points with \textttpolymake (2017)
  3. Ellis, Joshua P.: Ti(k)Z-Feynman: Feynman diagrams with Ti(k)Z (2017)
  4. Köhnke, Merlin C.; Malchow, Horst: Impact of parameter variability and environmental noise on the Klausmeier model of vegetation pattern formation (2017)
  5. Amore, Paolo; Boyd, John P.; Fernández, Francisco M.; Rösler, Boris: High order eigenvalues for the Helmholtz equation in complicated non-tensor domains through Richardson extrapolation of second order finite differences (2016)
  6. Andersen, Jakob L.; Flamm, Christoph; Merkle, Daniel; Stadler, Peter F.: A software package for chemically inspired graph transformation (2016)
  7. Hejda, Tomáš; Pelantová, Edita: Spectral properties of cubic complex Pisot units (2016)
  8. Oshima, Toshio: Drawing curves (2016)
  9. Skambath, Malte; Tantau, Till: Offline drawing of dynamic trees: algorithmics and document integration (2016)
  10. Abreu, Samuel; Britto, Ruth; Grönqvist, Hanna: Cuts and coproducts of massive triangle diagrams (2015)
  11. Amore, Paolo; Fernández, Francisco M.: On the symmetry of three identical interacting particles in a one-dimensional box (2015)
  12. Amore, Paolo; Fernández, Francisco M.; Garcia, Javier: Non-Hermitian oscillators with (T_d) symmetry (2015)
  13. Licata, Anthony; Savage, Alistair: Erratum to: “Hecke algebras, finite general linear groups, and Heisenberg categorification”. (2015)
  14. Ohlberger, M.; Schindler, F.: Error control for the localized reduced basis multiscale method with adaptive on-line enrichment (2015)
  15. Sunkara, Vinodh Kumar; Sane, Aamod: Skeblle: a new kind of diagramming tool with programmable active diagrams (2015)
  16. Egri-Nagy, Attila; Francis, Andrew R.; Gebhardt, Volker: Bacterial genomics and computational group theory: the BioGAP package for GAP (2014)
  17. Tantau, Till: Drawing graphs with TikZ: in the beginning was the path (2014)
  18. Blondin Massé, A.; Brlek, S.; Garon, A.; Labbé, S.: Equations on palindromes and circular words (2011)