×

Found 148 Software Packages (Results 1–100)

Ada95

Software Authors:   Jean Ichbiah
Referenced in: 274 Publications (1979–2022)
Related Software: Modula; Eiffel; Smalltalk; Simula 67; ALGOL 68; MPFR; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

Erlang

Software Authors:   erlang.org
Referenced in: 100 Publications (1993–2022)
Related Software: Haskell; Maude; JCobox; QuickCheck; ABS; Linda; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Oz

Software Authors:   Henz, M., Smolka, G., and Würtz, J.
Referenced in: 108 Publications (1994–2022)
Related Software: CHIP; Mozart; CLAIRE; CPLEX; SALSA; SICStus; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

PostgreSQL

Software Authors:   –
Referenced in: 51 Publications (2000–2022)
Related Software: Oracle; MySQL; Python; MS SQL Server; DB2; R; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

SLMC

Software Authors:   Hugo Vieira; Luís Caires
Referenced in: 72 Publications (2003–2022)
Related Software: PIPER; PRISM; KLAIM; Maude; Uppaal; BlenX; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ConGolog

Software Authors:   De Giacomo; Lespérance, Y.; Levesque, H.J.
Referenced in: 40 Publications (1999–2022)
Related Software: GOLOG; AgentSpeak; METATEM; Jason; Graphplan; 3APL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Multilisp

Software Authors:   Halstead, Robert H.jun.
Referenced in: 29 Publications (1985–2019)
Related Software: Creol; Eiffel; Maude; ABS; Featherweight Java; AmbientTalk; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

ABS

Software Authors:   Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.
Referenced in: 29 Publications (2012–2022)
Related Software: JCobox; SACO; Erlang; Creol; COSTABS; SPEED; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

JPAX

Software Authors:   Havelund, Klaus; Roşu, Grigore
Referenced in: 21 Publications (2002–2022)
Related Software: Maude; Bandera; Java PathFinder; veriSoft; Java-MaC; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

JoCaml

Software Authors:   Fournet, Cedric; Le Fessant, Fabrice; Maranget, Luc; Schmitt, Alan
Referenced in: 26 Publications (2000–2022)
Related Software: Pict; OCaml; PiDuce; KLAIM; Erlang; Scala; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

CoCasl

Software Authors:   Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz
Referenced in: 26 Publications (2003–2014)
Related Software: CASL; Maude; Hets; CCSL; CafeOBJ; CIRC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Dryad

Software Authors:   Isard, M.; Budiu, M.; Yu, Y.; Birrell, A.; Fetterly, D.
Referenced in: 13 Publications (2009–2022)
Related Software: MapReduce; Hadoop; Spark; DryadLINQ; Pregel; Java CoG Kit; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Mozart

Software Authors:   Peter Van Roy; Seif Haridi
Referenced in: 15 Publications (1999–2018)
Related Software: Oz; CPLEX; CHIP; SICStus; Choco; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

JCobox

Software Authors:   Schäfer, J., Poetzsch-Heffter, A.
Referenced in: 14 Publications (2011–2020)
Related Software: ABS; Erlang; Creol; SACO; Kilim; AmbientTalk; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VipTool

Software Authors:   Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.
Referenced in: 12 Publications (2008–2022)
Related Software: rbminer; Genet; Petrify; ProM; Workcraft; HybridILPMiner; …
Main Fields: Computer science (68-XX)

Orc

Software Authors:   Kitchin, David; Quark, Adrian; Cook, William; Misra, Jayadev
Referenced in: 14 Publications (2009–2015)
Related Software: COWS; Maude; Jolie; Quicksort; Dist-Orc; BPEL2oWFN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

HOPLA

Software Authors:   Nygaard, Mikkel; Winskel, Glynn
Referenced in: 14 Publications (2002–2014)
Related Software: New-HOPLA
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX)

LHAPDF

Software Authors:   Andy Buckley
Referenced in: 10 Publications (2009–2022)
Related Software: PYTHIA8; Cuba; APFEL; SHERPA; LoopTools; MadGraph5_aMC@NLO; …
Main Fields: Operator theory (47-XX); Statistics (62-XX); Numerical analysis (65-XX)

CompCertTSO

Software Authors:   Ševčík, Jaroslav; Vafeiadis, Viktor; Zappa Nardelli, Francesco; Jagannathan, Suresh; Sewell, Peter
Referenced in: 12 Publications (2013–2019)
Related Software: Coq; CompCert; Paco; GCminor; CakeML; CompCertS; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

Concurrency Workbench

Software Authors:   P. Stevens et al
Referenced in: 11 Publications (2000–2017)
Related Software: LOTOS; CADP; NuSMV; PrivateLR; LOTOSphere; LOEWE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

GKLEE

Software Authors:   Li, G., Li, P., Sawaya, G., Gopalakrishnan, G., Ghosh, I., Rajan, S.P.
Referenced in: 9 Publications (2013–2022)
Related Software: GPUVerify; CUDA; OpenCL; GRace; Coq; Boogie; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CauDEr

Software Authors:   Lanese, I., Nishida, N., Palacios, A., Vidal, G.
Referenced in: 11 Publications (2018–2021)
Related Software: Erlang; reverCSP; Graphviz; GitHub; QuickCheck; Transactors
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

VTDIRECT95

Software Authors:   Jian He; Layne T. Watson; Masha Sosonkina
Referenced in: 11 Publications (2009–2021)
Related Software: DIRECT; MrDIRECT; DIRDFN; MultiMin; UOBYQA; DFN; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Goldilocks

Software Authors:   Elmas, T., Qadeer, S., Tasiran, S.
Referenced in: 9 Publications (2009–2017)
Related Software: Eraser; Atomizer; FastTrack; Coq; SatAbs; BIDE; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

HPX

Software Authors:   Kaiser, H.; et al.
Referenced in: 9 Publications (2018–2022)
Related Software: PETSc; OpenCL; ParaView; PeriPy; Peridigm; kdtree++; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Jolie

Software Authors:   Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi
Referenced in: 8 Publications (2009–2021)
Related Software: COWS; SWORD; Orc; KLAIM; PAGODA; OpenSHMEM; …
Main Fields: Computer science (68-XX)

VeriCool

Software Authors:   Smans, J., Jacobs, B., Piessens, F.
Referenced in: 9 Publications (2009–2012)
Related Software: Boogie; VeriFast; VCC; Spec#; KRAKATOA; ESC/Java; …
Main Fields: Computer science (68-XX)

Carneades

Software Authors:   Tom Gordon; Douglas Walton
Referenced in: 9 Publications (2007–2021)
Related Software: DIAMOND; Lingeling; ProGraph; CoQuiAAS; LamatzSolver; Argtools; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Jinja Threads

Software Authors:   Lochbihler, A.
Referenced in: 9 Publications (2009–2020)
Related Software: Isabelle/HOL; Archive Formal Proofs; Isabelle; BicolanoMT; Locales; JavaFAN; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Convex and discrete geometry (52-XX)

LMNtal

Software Authors:   Ueda, Kazunori
Referenced in: 8 Publications (2005–2013)
Related Software: GHC; Janus; tccp; Esterel; CC-Pi; Oz; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

STMBench7

Software Authors:   R Guerraoui, M Kapalka, J Vitek
Referenced in: 6 Publications (2010–2012)
Related Software: STAMP; PARSEC; Lee-TM; SPLASH-2; AtomCaml; SPEC Benchmarks; …
Main Fields: Computer science (68-XX)

VerCors

Software Authors:   Amighi, Afshin; Blom, Stefan; Darabi, Saeed; Huisman, Marieke; Mostowski, Wojciech; Zaharieva-Stojanovski, Marina
Referenced in: 8 Publications (2014–2022)
Related Software: Viper; Boogie; Dafny; Smallfoot; VeriFast; Chalice; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CASCADE

Software Authors:   Jochen Beister, Gernot Eckstein, Ralf Wollowski
Referenced in: 8 Publications (2000–2008)
Related Software: CASCADE
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

CertiKOS

Software Authors:   Gu, R., Shao, Z., Chen, H., Wu, X.N., Kim, J., Sjöberg, V., Costanzo, D.
Referenced in: 8 Publications (2017–2020)
Related Software: seL4; Isabelle/HOL; Isabelle; HOL; Coq; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Chalice

Software Authors:   K. Rustan M. Leino; Peter Müller; Jan Smans
Referenced in: 7 Publications (2012–2021)
Related Software: VeriFast; Boogie; VerCors; Dafny; Spec#; Viper; …
Main Fields: Computer science (68-XX)

Kilim

Software Authors:   Srinivasan, S., Mycroft, A.
Referenced in: 6 Publications (2010–2020)
Related Software: JCobox; ABS; Erlang; SACO; Coq; AmbientTalk; …
Main Fields: Computer science (68-XX)

PROCOL

Software Authors:   van den Bos, Jan; Laffa, Chris
Referenced in: 7 Publications (1991–2002)
Related Software: PICCOLA; AspectJ; JAsCo; Rapide; Simula 67; Eiffel; …
Main Fields: Computer science (68-XX)

SLAB

Software Authors:   Dräger, K., Kupriyanov, A., Finkbeiner, B., Wehrheim, H.
Referenced in: 6 Publications (2012–2018)
Related Software: Wolverine; SatAbs; Threader; CPAchecker; SLAM; FOCI; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SugarCubes

Software Authors:   Boussinot, Frédéric; Susini, Jean-Ferdy
Referenced in: 6 Publications (2000–2016)
Related Software: Esterel; ULM; YACC; VisualStudio.NET; Hume; SIGNAL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TCOZ

Software Authors:   Dong, Jin Song; Li, Yuan Fang; Sun, Jing; Sun, Jun; Wang, Hai
Referenced in: 8 Publications (2002–2018)
Related Software: Circus; Eiffel; Z; CSPsim; SCOOP; Ada95; …
Main Fields: Computer science (68-XX)

Ur/Web

Software Authors:   Chlipala, A.
Referenced in: 7 Publications (2016–2021)
Related Software: Links; FlowFox; CAVA LTL Modelchecker; CoSMed; Jif; seL4; …
Main Fields: Computer science (68-XX)

EVES

Software Authors:   Sentot Kromodimoeljo; Bill Pase; Mark Saaltink; Dan Craigen; Irwin Meisels
Referenced in: 7 Publications (1993–2006)
Related Software: IMPS; PVS; HOL; NQTHM; CVC; Analytica; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

McErlang

Software Authors:   Earle, C.B., Fredlund, L.-Å.
Referenced in: 3 Publications (2009–2018)
Related Software: Erlang; QuickCheck; MapReduce; evt; HaRe; EtomCRL2
Main Fields: Computer science (68-XX)

ScalaBLAST

Software Authors:   Oehmen, C.; Nieplocha, Jarek
Referenced in: 4 Publications (2008–2020)
Related Software: BLAST; k-means++; AS 136; PSI-BLAST; mpiBLAST; Silhouettes; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

simpA

Software Authors:   Ricci, Alessandro; Viroli, Mirko; Piancastelli, Giulio
Referenced in: 4 Publications (2002–2012)
Related Software: CArtAgO; Featherweight Java; ReSpecT; Jadex; WADE; AmbientTalk; …
Main Fields: Computer science (68-XX)

SyncGen

Software Authors:   Deng, Xianghua; Dwyer, Matthew B.; Hatcliff, John; Mizuno, Masaaki
Referenced in: 7 Publications (2004–2016)
Related Software: ESC/Java; Bandera; SYNTHESIS; Atomizer; SLAM; BLAST; …
Main Fields: Computer science (68-XX)

AVIO

Software Authors:   Lu S, Tucek J, Qin F, Zhou Y
Referenced in: 5 Publications (2009–2018)
Related Software: Eraser; FastTrack; jPredictor; CHESS; Velodrome; Atomizer; …
Main Fields: Computer science (68-XX)

CHESS

Software Authors:   Musuvathi M, Qadeer S, Ball T
Referenced in: 5 Publications (2008–2021)
Related Software: veriSoft; Eraser; AVIO; RacerX; CIL; BIDE; …
Main Fields: Computer science (68-XX)

FE2TI

Software Authors:   A. Klawonn, M. Lanser, O. Rheinbach
Referenced in: 6 Publications (2015–2021)
Related Software: PETSc; BoomerAMG; MUMPS; hypre; FEAPpv; CRAFT; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

PTSC

Software Authors:   –
Referenced in: 5 Publications (2012–2021)
Related Software: PAT; Isabelle; Coq; Maude; Uppaal; Maria; …
Main Fields: Computer science (68-XX)

BlobSeer

Software Authors:   Nicolae, Bogdan; Antoniu, Gabriel; Bougé, Luc; Moise, Diana; Carpen-Amarie, Alexandra
Referenced in: 1 Publication (2011)
Related Software: Amazon EC2; OpenNebula; Cassandra; MPI; NetLogger; MonALISA; …
Main Fields: Computer science (68-XX)

COSTABS

Software Authors:   Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G.
Referenced in: 5 Publications (2012–2017)
Related Software: ABS; SPEED; SACO; JCobox; Erlang; Featherweight Java; …
Main Fields: Computer science (68-XX)

Cseq

Software Authors:   Fischer, Bernd; Inverso, Omar; Parlato, Gennaro
Referenced in: 2 Publications (2017–2018)
Related Software: Lazy-CSeq; MU-CSeq; Threader; CBMC; CPAchecker; Predator; …
Main Fields: Computer science (68-XX)

Grace

Software Authors:   Berger, E. D.; Yang, T.; Liu, T.; Novark, G.
Referenced in: 4 Publications (2011–2012)
Related Software: Multilisp; Kendo; Fortress; Atomizer; CapoOne; ReVirt; …
Main Fields: Computer science (68-XX)

Lazy-CSeq

Software Authors:   Herdt, Vladimir; Le, Hoang M.; Große, Daniel; Drechsler, Rolf
Referenced in: 4 Publications (2015–2018)
Related Software: CBMC; Cseq; MU-CSeq; CEGAR; Symbiotic 2; CPAlien; …
Main Fields: Computer science (68-XX)

Lolliproc

Software Authors:   Mazurak, Karl; Zdancewic, Steve
Referenced in: 5 Publications (2010–2016)
Related Software: VeriML; ReCaml; Haskell; F*
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Pselinv

Software Authors:   Jacquelin, Mathias; Lin, Lin; Yang, Chao
Referenced in: 5 Publications (2017–2021)
Related Software: SelInv; ScaLAPACK; ELPA; SuperLU-DIST; LAPACK; Krylstat; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

CalFuzzer

Software Authors:   Joshi, Pallavi; Naik, Mayur; Park, Chang-Seo; Sen, Koushik
Referenced in: 2 Publications (2010–2018)
Related Software: Boogie; Con2colic; STP; jCUTE; Jalangi; CATG; …
Main Fields: Computer science (68-XX)

CSPsim

Software Authors:   Brooke, Phillip J.; Paige, Richard F.; Jacob, Jeremy L.
Referenced in: 4 Publications (2007–2009)
Related Software: Eiffel; SCOOP; Circus; TCOZ; Ada95; Boogie; …
Main Fields: Computer science (68-XX)

Guava

Software Authors:   David F. Bacon, Robert E. Strom, Ashis Tarafdar
Referenced in: 1 Publication (2005)
Related Software: Modula; AtomCaml; PLAN; Atomizer; OCaml; QuakeTM; …
Main Fields: Computer science (68-XX)

LICRA

Software Authors:   Kanawati, Rushed
Referenced in: 3 Publications (1997–2005)
Related Software:
Main Fields: Computer science (68-XX)

MetaFork

Software Authors:   Chen, C., Chen, X., Keita, A., Moreno Maza, M., Xie, N.
Referenced in: 3 Publications (2017–2022)
Related Software: BioModels; HOM4PS; Polyhedra; Maple
Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

MIRROR

Software Authors:   Xiong, Ming; Ramamritham, Krithi; Haritsa, Jayant R.; Stankovic, John A.
Referenced in: 3 Publications (2002–2020)
Related Software: SimDVS
Main Fields: Computer science (68-XX)

PyCOMPSs

Software Authors:   E. Tejedor, Y. Becerra, G. Alomar, A. Queralt, R. M. Badia, J. Torres, T. Cortes, J. Labarta
Referenced in: 2 Publications (2021)
Related Software: Dask; Parsl; Python; Swift; ZeroMQ; Hadoop; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

BicolanoMT

Software Authors:   Huisman, M., Petri, G.
Referenced in: 3 Publications (2009–2018)
Related Software: Archive Formal Proofs; Jinja Threads; Isabelle/HOL; K Prover; CLDC; Jinja not Java; …
Main Fields: Computer science (68-XX)

Caper

Software Authors:   Dinsdale-Young, Thomas; da Rocha Pinto, Pedro; Andersen, Kristoffer Just; Birkedal, Lars
Referenced in: 3 Publications (2017–2021)
Related Software: Viper; VeriFast; HACL*; TacticToe; GRASShopper; Infer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CTrigger

Software Authors:   Soyeon Park, Shan Lu, Yuanyuan Zhou
Referenced in: 3 Publications (2013–2016)
Related Software: RacerX; BIDE; CloSpan; AVIO; CHESS; Falcon; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

DPF

Software Authors:   Gligoric, Milos; Majumdar, Rupak
Referenced in: 3 Publications (2013–2020)
Related Software: MCMAS; DDVerify; SPIN; Atomizer; Eraser; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HiPE

Software Authors:   E. Johansson, M. Pettersson, K. Sagonas
Referenced in: 2 Publications (2002–2003)
Related Software: Erlang; SICStus; CLEAN
Main Fields: Computer science (68-XX)

HOLCF

Software Authors:   Brian Huffman
Referenced in: 3 Publications (2012–2017)
Related Software: Isabelle/HOL; Archive Formal Proofs; Stern-Brocot Tree; MiniAgda; AmiCo; Lifting; …
Main Fields: Computer science (68-XX)

JCSP

Software Authors:   Welch, P. H.; Aldous, J. R.; Foster, J.
Referenced in: 1 Publication (2002)
Related Software: Circus; Z; KRoC
Main Fields: Computer science (68-XX)

JSR-166

Software Authors:   Lea, D.
Referenced in: 3 Publications (2005–2011)
Related Software:
Main Fields: Computer science (68-XX)

KSVD

Software Authors:   Sukkari, Dalal; Ltaief, Hatem; Esposito, Aniello; Keyes, David
Referenced in: 3 Publications (2019–2022)
Related Software: LibSci; ScaLAPACK; LAPACK; mftoolbox; KBLAS; MAGMA; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

ObjectCurry

Software Authors:   Hanus, Michael; Huch, Frank; Niederau, Philipp
Referenced in: 3 Publications (1994–2013)
Related Software: Oz; PAKCS; Curry; Mercury; BABEL; TOY; …
Main Fields: Computer science (68-XX)

PGWFT

Software Authors:   Cao, H., Jin, H., Wu, S., and Tao, Y.
Referenced in: 2 Publications (2010–2012)
Related Software: TAO; GeoNames
Main Fields: Computer science (68-XX)

PNBml

Software Authors:   Sobociński, Paweł; Stephens, Owen
Referenced in: 3 Publications (2014–2017)
Related Software:
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

Quasar

Software Authors:   Evangelista, Sami; Kaiser, Claude; Pradat-Peyre, Jean-Fran\c{c}ois; Rousseau, Pierre
Referenced in: 3 Publications (2003–2005)
Related Software: Bogor; Helena; veriSoft; Bandera
Main Fields: Computer science (68-XX)

SCCharts

Software Authors:   R. von Hanxleden et al.
Referenced in: 2 Publications (2015–2018)
Related Software: Esterel; Boogie; contractLarva; DeltaEcore; DarwinSPL; SCEst; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

SCOOT

Software Authors:   Blanc, N., Kroening, D., Sharygina, N.
Referenced in: 2 Publications (2010–2018)
Related Software: Zapato; DDVerify; Velev SAT Benchmarks; FOCI; SatAbs; CBMC; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SENSEI

Software Authors:   Burlen Loring; Utkarsh Ayachit; et al.
Referenced in: 2 Publications (2019)
Related Software: PETSc; xSDK; BoxLib; yt; SUNDIALS; VisIt; …
Main Fields: Fluid mechanics (76-XX)

TASCEL

Software Authors:   Jonathan Lifflander; Sriram Krishnamoorthy; Laxmikant V. Kale
Referenced in: 3 Publications (2013–2022)
Related Software: Cilk; FreeON; SpAMM; CHARM++; SUMMA; Quantum Espresso; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

Welterweight Java

Software Authors:   Östlund, Johan; Wrigstad, Tobias
Referenced in: 2 Publications (2016–2019)
Related Software: MJ; Featherweight Java; TALx86; JCobox; ABS; Cyclone; …
Main Fields: Computer science (68-XX)

Akkaprof

Software Authors:   Rosà, Andrea; Chen, Lydia Y.; Binder, Walter
Referenced in: 2 Publications (2016)
Related Software: Apache Flink; GitHub; Savina; DiSL; Gopherlyzer; SPEC; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

BARRACUDA

Software Authors:   Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti
Referenced in: 1 Publication (2021)
Related Software: GRace; GMRace; CURD; GKLEE; GPUVerify; CUDA; …
Main Fields: Computer science (68-XX)

Biotope

Software Authors:   A. Symeonidis, E. Valtos, S. Seroglou, P. Mitkas
Referenced in: 0 Publications
Related Software: OpenGL; MASON
Main Fields:

CBabel

Software Authors:   Rademaker, Alexandre; Braga, Christiano; Sztajnberg, Alexandre
Referenced in: 2 Publications (2005–2009)
Related Software: Maude; GraphML; SLMC; yEd
Main Fields: Computer science (68-XX)

Celf

Software Authors:   Schack-Nielsen, Anders; Schürmann, Carsten
Referenced in: 2 Publications (2008–2018)
Related Software: Twelf
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CIVL

Software Authors:   Siegel, S.F., et al.
Referenced in: 2 Publications (2020)
Related Software: Viper; VerCors; Threader; VeriFast; Chalice; Cascade; …
Main Fields: Computer science (68-XX)

CLF

Software Authors:   Watkins, Kevin; Cervesato, Iliano; Pfenning, Frank; Walker, David
Referenced in: 2 Publications (2007–2018)
Related Software: Nominal Isabelle; Agda; Abella; Isabelle/HOL
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CodeSonar

Software Authors:   GrammaTech
Referenced in: 1 Publication (2014)
Related Software: Klocwork; FindBugs; STANSE; STP; CIL; EXPLODE; …
Main Fields: Computer science (68-XX); Fluid mechanics (76-XX)

ConRepair

Software Authors:   Černý P, Henzinger T, Radhakrishna A, Ryzhyk L, Tarrach T
Referenced in: 1 Publication (2017)
Related Software: GitHub; Antichains; Limi; Liss; CBMC
Main Fields: Computer science (68-XX)

CSimpl

Software Authors:   Sanán, D., Zhao, Y., Hou, Z., Zhang, F., Tiu, A., Liu, Y.
Referenced in: 2 Publications (2017)
Related Software: seL4; Isabelle/HOL; Locales; Smallfoot
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CURD

Software Authors:   Yuanfeng Peng, Vinod Grover, Joseph Devietti
Referenced in: 1 Publication (2021)
Related Software: GRace; GMRace; GKLEE; BARRACUDA; GPUVerify; CUDA; …
Main Fields: Computer science (68-XX)

DP2PN2Solver

Software Authors:   Mauch, Holger
Referenced in: 2 Publications (2006–2007)
Related Software: PNML
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Falcon

Software Authors:   Park S, Vuduc RW, Harrold MJ
Referenced in: 1 Publication (2016)
Related Software: BIDE; CloSpan; AVIO; CHESS; FastTrack; bzip2smp; …
Main Fields: Computer science (68-XX)

Gauss

Software Authors:   Robert Palmer; Steve Barrus; Yu Yang; Ganesh Gopalakrishnan; Robert M. Kirby
Referenced in: 2 Publications (2011–2018)
Related Software: ISP; SPIN; SimGridMC; KITTeL; ASTREE; SIMGRID; …
Main Fields: Computer science (68-XX)

HiperTM

Software Authors:   Hirve, Sachin; Palmieri, Roberto; Ravindran, Binoy
Referenced in: 1 Publication (2017)
Related Software: PostgreSQL; TPC-C
Main Fields: Computer science (68-XX)

Manticore

Software Authors:   Fluet, Matthew
Referenced in: 2 Publications (2008–2015)
Related Software: MapReduce; NESL; GHC; Haskell; CUDA
Main Fields: Computer science (68-XX)

McPatom

Software Authors:   Zeng R, Sun Z, Liu S, He X
Referenced in: 1 Publication (2021)
Related Software: ChibiOS; RELAY; FreeRTOS; ArduPilot
Main Fields: Computer science (68-XX)

MEDWRAP

Software Authors:   Varde, Aparna S.; Rundensteiner, Elke A.
Referenced in: 2 Publications (2002–2003)
Related Software:
Main Fields: Computer science (68-XX)