ALGOL 68 Cited in 280 Documents (1969–2019) Software Authors: van Wijngaarden, A. Author Profile; Mailloux, B.J.; Peck, J.E.L.; Koster, C.H.A.; Sintzoff, M.; Lindsey, C.H.; Meertens, L.G.L.T.; Fisker, R.G. Related Software: ALGOL 60; Simula 67; Ada95; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
MPFR Cited in 237 Documents (2001–2023) Software Authors: Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Philippe Théveny, Paul Zimmermann Related Software: gmp; Mathematica; mctoolbox; … Main Fields: Number theory (11-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
Risa/Asir Cited in 120 Documents (1992–2023) Software Authors: Masayuki Noro, Kazuhiro Yokoyama, Taku Takeshima, Takeshi Shimoyama, Hiroshi Anai, Takayuki Kando, Tomokatsu Saito, Yuji Kondoh, Hirokazu Murao, Thomas Sturm, Katsuyoshi Ohara, Nobuki Takayama, (who committed to fundamental design, kernel sources and core libraries). As to committers of libraries and very recent contributors, see also http://www.math.kobe-u.ac.jp/OpenXM/people.html Fujitsu laboratory or asir.org or Kobe university. Related Software: SINGULAR; Macaulay2; Kan; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); …
LARCH Cited in 105 Documents (1989–2023) Software Authors: Guttag, John V.; Horning, James J. Related Software: JML; Eiffel; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Group theory and generalizations (20-XX); …
PDDL Cited in 93 Documents (2000–2022) Software Authors: Fox, M.; Long, D.; Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D. Related Software: Graphplan; Walksat; SAPA; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …
Featherweight Java Cited in 99 Documents (2001–2023) Software Authors: Igarashi, Atsushi; Pierce, Benjamin C.; Wadler, Philip Related Software: JML; ML; Scala; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); …
Circus Cited in 74 Documents (2002–2022) Software Authors: Woodcock, J.C.P., Cavalcanti, A.L.C. Related Software: Z; ProofPower; ZRC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …
KRAKATOA Cited in 79 Documents (2004–2022) Software Authors: Marché, C.; Paulin-Mohring, C.; Urbain, X. Related Software: Why3; Caduceus; JML; … Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
CompCert Cited in 52 Documents (2009–2023) Software Authors: Leroy, X. Related Software: Coq; Isabelle/HOL; z3; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); …
PHiPAC Cited in 48 Documents (1997–2016) Software Authors: Jeff A Bilmes; Krste Asanovic; Rich Vuduc; Sriram Iyer; Jim Demmel; CheeWhye Chin; Dominic Lam Related Software: ATLAS; BLAS; LAPACK; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …
SatAbs Cited in 35 Documents (2005–2020) Software Authors: Clarke, E., Kroning, D., Sharygina, N., Yorav, K. Related Software: BLAST; SLAM; CPAchecker; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
LUPS Cited in 37 Documents (1999–2019) Software Authors: Alferes, José Júlio; Pereira, Luís Moniz; Przymusinska, Halina; Przymusinski, Teodor C. Related Software: XSB; Smodels; EVOLP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Cambridge LCF Cited in 24 Documents (1985–2017) Software Authors: Paulson, Lawrence C.; Konrad Slind Related Software: Nuprl; HOL; LCF; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX); …
SeaHorn Cited in 27 Documents (2015–2022) Software Authors: Gurfinkel, A., Kahsai, T., Komuravelli, A., Navas, J.A. Related Software: z3; CPAchecker; Spacer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
CoCasl Cited in 26 Documents (2003–2014) Software Authors: Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz Related Software: CASL; Maude; Hets; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …
eSkel Cited in 18 Documents (2002–2016) Software Authors: A. Benoit, M. Cole, J. Hillston, S. Gilmore Related Software: Haskell; Eden; DataCutter; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Geophysics (86-XX)
Facile Cited in 22 Documents (1990–2009) Software Authors: Giacalone, A., Mishra, P., Prasad, S Related Software: Pict; ML; JoCaml; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
PAG Cited in 20 Documents (1996–2018) Software Authors: Martin, Florian Related Software: NINJA; BLAS; MPI/MPICH; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX); …
cminor Cited in 17 Documents (2007–2016) Software Authors: Appel, A.W., Blazy, S. Related Software: Coq; CompCert; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LARS Cited in 19 Documents (2016–2022) Software Authors: Beck, H., Dao-Tran, M., Eiter, T., Fink, M. Related Software: Clingo; oClingo; SPARQL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
Atomizer Cited in 16 Documents (2004–2021) Software Authors: Flanagan C, Freund SN Related Software: Velodrome; SingleTrack; Eraser; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Metropolis Cited in 7 Documents (2006–2018) Software Authors: Balarin F, Watanabe Y, Hsieh H, Lavagno L, Passerone C, Sangiovanni-Vincentelli A Related Software: Ptolemy; Reo; SPIN; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Boost Interval Arithmetic Cited in 15 Documents (2005–2020) Software Authors: Brönnimann, Hervé; Melquiond, Guillaume; Pion, Sylvain Related Software: Boost; libMC; LINDOGlobal; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
MPC Cited in 15 Documents (2003–2022) Software Authors: Andreas Enge, Mickaël Gastineau, Philippe Théveny, Paul Zimmermann; INRIA Bordeaux-Sud-Ouest Related Software: MPFR; gmp; ECPP; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Topological groups, Lie groups (22-XX); …
GluCat Cited in 14 Documents (2004–2023) Software Authors: Paul C. Leopardi Related Software: Gaigen; Gaalop; OpenCLLink; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); …
nSPARQL Cited in 12 Documents (2009–2023) Software Authors: Pérez, J.; Arenas, M.; Gutierrez, C. Related Software: SPARQL; XPath; GraphLog; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
ZRC Cited in 11 Documents (1998–2015) Software Authors: Cavalcanti, A.L.C., Woodcock, J.C.P. Related Software: Circus; Z; ProofPower; … Main Fields: Computer science (68-XX)
C-Light Cited in 12 Documents (2002–2019) Software Authors: Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky Related Software: Atoment; VCC; Boogie; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
MYSTIQ Cited in 6 Documents (2007–2021) Software Authors: Boulos, J.; Dalvi, N. N.; Mandhani, B.; Mathur, S.; Re, C.; Suciu, D. Related Software: Trio; ProbView; MayBMS; … Main Fields: Computer science (68-XX)
CompCertTSO Cited in 12 Documents (2013–2019) Software Authors: Ševčík, Jaroslav; Vafeiadis, Viktor; Zappa Nardelli, Francesco; Jagannathan, Suresh; Sewell, Peter Related Software: Coq; CompCert; CakeML; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); …
MJ Cited in 9 Documents (2006–2019) Software Authors: Bierman GM, Parkinson MJ, Pitts AM Related Software: Featherweight Java; Welterweight Java; Cyclone; … Main Fields: Computer science (68-XX)
Spoofax Cited in 11 Documents (2011–2020) Software Authors: Lennart C.L. Kats; Eelco Visser Related Software: Stratego; JastAdd; SugarJ; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
Society Visualiser Cited in 8 Documents (2007–2013) Software Authors: Artikis, Alexander; Sergot, Marek; Pitt, Jeremy Related Software: ISLANDER; CCalc; NuSMV; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Line-up Cited in 10 Documents (2011–2022) Software Authors: Burckhardt, S., Dern, C., Musuvathi, M., Tan, R. Related Software: GitHub; RustBelt; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MMC Cited in 9 Documents (2003–2020) Software Authors: Yang, Ping; Ramakrishnan, C.R.; Smolka, Scott A. Related Software: MWB; MCK; Uppaal; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
Carneades Cited in 9 Documents (2007–2021) Software Authors: Tom Gordon; Douglas Walton Related Software: DIAMOND; MiniSat; Chaff; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
HOL-Omega Cited in 9 Documents (2009–2019) Software Authors: Homeier, Peter V. Related Software: HOL; Isabelle; Coq; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
KITTeL Cited in 9 Documents (2011–2021) Software Authors: Falke, Stephan; Kapur, Deepak; Sinz, Carsten Related Software: z3; Ctrl; Yices; … Main Fields: Computer science (68-XX)
MOFLON Cited in 1 Document (2006) Software Authors: Amelunxen, C., Königs, A., Rötschke, T., Schürr Related Software: Moflon; PROGRES; AGG; … Main Fields: Computer science (68-XX)
Vc Cited in 8 Documents (2017–2021) Software Authors: M. Kretz, V. Lindenstruth Related Software: UG; DUNE; vcl; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
Vellvm Cited in 9 Documents (2012–2021) Software Authors: Zhao, Jianzhou; Nagarakatte, Santosh; Martin, Milo M.K.; Zdancewic, Steve Related Software: Coq; Isabelle/HOL; GitHub; … Main Fields: Computer science (68-XX)
HYST Cited in 7 Documents (2015–2019) Software Authors: Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson Related Software: SpaceEx; CORA; C2e2; … Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Systems theory; control (93-XX)
iSPARQL Cited in 0 Documents Software Authors: C. Kiefer; A. Bernstein; M. Stocker Related Software: SPARQL; SEQUEL; R2RML; … Main Fields: –
SOBER Cited in 3 Documents (2008–2018) Software Authors: Liu C, Yan X, Fei L, Han J, Midkiff SP Related Software: VIDA; ADABU; Falcon; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
C-SPARQL Cited in 7 Documents (2010–2022) Software Authors: Barbieri, Davide Francesco; Braga, Daniele; Ceri, Stefano; Della Valle, Emanuele; Grossniklaus, Michael Related Software: SPARQL; LARS; Clingo; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
ConArg2 Cited in 7 Documents (2014–2022) Software Authors: Bistarelli, S.; Rossi, F.; Santini, F. Related Software: AFRA; MiniSat; Dungine; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
KeY-C Cited in 5 Documents (2009–2023) Software Authors: Mürk, Oleg; Larsson, Daniel; Hähnle, Reiner Related Software: Isabelle/HOL; Why3; Boogie; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RingSTM Cited in 5 Documents (2010–2022) Software Authors: Spear, M.F., Michael, M.M., von Praun, C. Related Software: NOrec; STAMP; TLRW; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VeriSmall Cited in 5 Documents (2012–2018) Software Authors: Appel, Andrew W. Related Software: Coq; Charge!; Smallfoot; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ff Cited in 1 Document (2019) Software Authors: Daniel Adler, Christian Gläser, Oleg Nenadic, Jens Oehlschlägel, Walter Zucchini Related Software: R; snow; lattice; … Main Fields: Statistics (62-XX)
HOMER Cited in 3 Documents (2005–2013) Software Authors: David Hopkins; C. -H. Luke Ong Related Software: SLAM; BLAST; GTRECS2; … Main Fields: Computer science (68-XX)
Mosel Cited in 4 Documents (1998–2018) Software Authors: P. Kelb, T. Margaria, M. Mendler, C. Gsottberger Related Software: MONA; EMBOSS; ATV; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TinkerType Cited in 5 Documents (2003–2010) Software Authors: Levin, Michael Y.; Pierce, Benjamin C. Related Software: ML; OCaml; Ott; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Dart Cited in 2 Documents (2020–2021) Software Authors: J. Lee, M. X. Grey, S. Ha, T. Kunz, S. Jain, Y. Ye, S. S. Srinivasa, M. Stilman, C. K. Liu Related Software: MuJoCo; ROS; Python; … Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX)
Devign Cited in 2 Documents (2021–2022) Software Authors: Yaqin Zhou, Shangqing Liu, Jingkai Siow, Xiaoning Du, Yang Liu Related Software: CodeBERT; GraphCodeBERT; CodeBLEU; … Main Fields: Computer science (68-XX)
FPath Cited in 0 Documents Software Authors: David, P.-C., Ledoux, T., Coupaye, T., Léger, M. Related Software: FScript; xMAML; ByADL; … Main Fields: Computer science (68-XX)
FScript Cited in 0 Documents Software Authors: David, P.-C., Ledoux, T., Coupaye, T., Léger, M. Related Software: FPath; xMAML; ByADL; … Main Fields: Computer science (68-XX)
Luck Cited in 4 Documents (2017–2021) Software Authors: Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao Related Software: QuickCheck; PVS; Isabelle/HOL; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Lwt Cited in 4 Documents (2011–2016) Software Authors: Vouillon, J. Related Software: MultiMLton; HaLVM; Async; … Main Fields: Computer science (68-XX)
SAFECode Cited in 4 Documents (2008–2013) Software Authors: Dhurjati, D., Kowshik, S., Adve, V. Related Software: CCured; Coq; LLVM Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
STLlint Cited in 3 Documents (2010–2021) Software Authors: Douglas Gregor; Sibylle Schupp Related Software: STL; Why3; Jahob; … Main Fields: Computer science (68-XX)
VST-Floyd Cited in 4 Documents (2018–2023) Software Authors: Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W. Related Software: Coq; VeriFast; Toolchain; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
BtorMC Cited in 3 Documents (2020–2022) Software Authors: Niemetz, A.; Preiner, M.; Wolf, C.; Biere, A.; Chockler, H.; Weissenbacher, G Related Software: Boolector; Pacheck; Bosphorus; … Main Fields: Computer science (68-XX)
CompCertS Cited in 3 Documents (2017–2019) Software Authors: Besson, Frédéric; Blazy, Sandrine; Wilke, Pierre Related Software: CompCertTSO; Coq; CompCert; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
FL Cited in 3 Documents (1999–2003) Software Authors: J. Backus, J.H. Williams, E.L. Wimmers Related Software: Maya; PLaSM Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
ICOT Cited in 2 Documents (1998–2002) Software Authors: Yang, Hyung Jeong; Yang, Jae Dong; Kim, Yeongho Related Software: – Main Fields: Computer science (68-XX)
LSCrawler Cited in 0 Documents Software Authors: M. Yuvarani, N.C.S.N. Iyengar, A. Kannan Related Software: Swoogle; SPARQL Main Fields: Systems theory; control (93-XX)
OTSL Cited in 3 Documents (2007–2009) Software Authors: Anureev, Igor S. Related Software: XASM; AsmL Main Fields: Computer science (68-XX)
QPEL Cited in 3 Documents (2014–2018) Software Authors: Adams, Robin Related Software: QPL Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Statistics (62-XX); …
RDF123 Cited in 1 Document (2010) Software Authors: L. Han, T. Finin, C. S. Parr, J. Sachs, A. Joshi Related Software: SPARQL; R2RML; QueryVOWL; … Main Fields: Computer science (68-XX)
SEMANOL Cited in 3 Documents (1976–1984) Software Authors: Anderson, E. R.; Belz, F. C.; Blum, E. K. Related Software: ALGOL 68; Refal; ALGOL 60 Main Fields: General algebraic systems (08-XX); Commutative algebra (13-XX); Group theory and generalizations (20-XX); …
ToyElim Cited in 2 Documents (2012–2013) Software Authors: Wernhard, C. Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Angelix Cited in 1 Document (2017) Software Authors: S. Mechtaev, J. Yi, A. Roychoudhury Related Software: SemFix; Prophet; Codeflaws; … Main Fields: Computer science (68-XX)
Ariel Cited in 2 Documents (1991) Software Authors: Morris, James M.; Howard, Mark Related Software: Caliban; Clio; Miranda Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
AVal Cited in 0 Documents Software Authors: C. Noguera, R. Pawlak Related Software: BCEL; YACC; ANTLR Main Fields: –
FISh Cited in 2 Documents (1999–2000) Software Authors: Jay, C.B. Related Software: – Main Fields: Computer science (68-XX)
GROVER Cited in 2 Documents (2002–2009) Software Authors: Barker-Plummer, Dave; Bailin, Sidney C. Related Software: Vivid; Hyperproof; Dr.Doodle; … Main Fields: Computer science (68-XX)
HECTOR Cited in 1 Document (2013) Software Authors: David Hopkins , Andrzej S. Murawski , C.-H. Luke Ong Related Software: GTRECS2; HOMER; C-SHORe; … Main Fields: Computer science (68-XX)
Ibuild Cited in 1 Document (1994) Software Authors: J. Vlissides, S. Tang Related Software: Python; SUPPLE; Gild; … Main Fields: Systems theory; control (93-XX)
mbeddr Cited in 1 Document (2017) Software Authors: Markus Voelter, Daniel Ratiu, Bernhard Schaetz, Bernd Kolb Related Software: Cyclone; Hume; Cedalion; … Main Fields: Computer science (68-XX)
MinC Cited in 2 Documents (2016) Software Authors: Robbins, Ed; King, Andy; Schrijvers, Tom Related Software: MinX Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
MinX Cited in 2 Documents (2016) Software Authors: Robbins, Ed; King, Andy; Schrijvers, Tom Related Software: MinC Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Nipype Cited in 0 Documents Software Authors: K. Gorgolewski, C. D. Burns, C. Madison, D. Clark, Y. O. Halchenko, M. L. Waskom, S. S. Ghosh Related Software: FreeSurfer; AFNI; RNiftyReg; … Main Fields: –
OpenSALICON Cited in 1 Document (2019) Software Authors: Christopher Lee Thomas Related Software: Matlab; SMILER; Docker; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
PPlan Cited in 2 Documents (2011–2020) Software Authors: Bienvenu, M.; Fritz, C.; Sohrabi, S.; Mcilraith, S. Related Software: MiniSat; nuXmv; Yochan; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SpecialValue Cited in 2 Documents (2004–2005) Software Authors: Johan Vervloet Related Software: INTLAB; GlobSol; Easyval Main Fields: Mathematical logic and foundations (03-XX); Functions of a complex variable (30-XX); Special functions (33-XX); …
VIFID/TRIFID Cited in 2 Documents (2009–2016) Software Authors: Manuel Carro; Manuel Hermenegildo Related Software: DiSCiPl; Oz Explorer; COMET; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
webLurch Cited in 2 Documents (2017–2020) Software Authors: Carter, Nathan C.; Monks, Kenneth G. Related Software: Markdown; Lean; CalcCheck; … Main Fields: Computer science (68-XX); Mathematics education (97-XX)
Argtools Cited in 1 Document (2017) Software Authors: Samer Nofal, Katie Atkinson, Paul E. Dunne Related Software: MiniSat; Chaff; Glucose; … Main Fields: Computer science (68-XX)
CACheck Cited in 0 Documents Software Authors: Wensheng Dou; Chang Xu; S.C. Cheung; Jun Wei Related Software: HaExcel; Senbazuru; XCellAnnotator; … Main Fields: –
DeltaEcore Cited in 1 Document (2018) Software Authors: Seidl, C., Schaefer, I., Aßmann, U. Related Software: Viper; NAT2TEST; Boogie; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
3dfier Cited in 0 Documents Software Authors: Hugo Ledoux, Filip Biljecki, Balázs Dukai, Kavisha Kumar, Ravi Peters, Jantien Stoter, Tom Commandeur Related Software: OpenStreetMap; SAFE FME; ArcGIS; … Main Fields: –
DracoSTM Cited in 1 Document (2010) Software Authors: J.E. Gottschlich, D.A. Connors Related Software: PhTM Main Fields: Computer science (68-XX)
HFGT Cited in 0 Documents Software Authors: Prabhat Hegde, Wester C. H. Schoonenberg, Dakota Thompson, Amro M. Farid Related Software: xml2struct; SysML; Matlab Main Fields: –
Iptables Semantics Cited in 1 Document (2018) Software Authors: Cornelius Diekmann; Lars Hupel Related Software: GitHub; NetKAT; Firmato; … Main Fields: Computer science (68-XX)
JFIX Cited in 0 Documents Software Authors: LE, Dinh Xuan Bach; David Lo Related Software: Codeflaws; Qlose; Angelix; … Main Fields: –
Lucinda Cited in 1 Document (1994) Software Authors: Paul Butcher; Hussein Zedan Related Software: SICStus; Janus; Linda Main Fields: Computer science (68-XX)
Network Security Policy Verification Cited in 1 Document (2016) Software Authors: Diekmann, C. Related Software: VAMPIRE; E Theorem Prover; Regular_Algebras; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
OntoSDM Cited in 0 Documents Software Authors: Valêncio, Carlos Roberto; Guimarães, Diogo Lemos; Zafalon, Geraldo F.D.; Neves, Leandro A.; Colombini, Angelo C. Related Software: – Main Fields: Computer science (68-XX)
Pistache Cited in 1 Document (2011) Software Authors: Matiello, Pedro; de Melo, Ana C.V. Related Software: Pict; Scala; occam-pi Main Fields: Computer science (68-XX)