Java PathFinder Cited in 91 Documents (2000–2021) Software Authors: Havelund, Klaus; Pressburger, Thomas Related Software: SPIN; Bandera; veriSoft; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
Scala Cited in 85 Documents (2005–2023) Software Authors: Loverdos, Christos K. K.; Syropoulos, Apostolos Related Software: Coq; z3; Featherweight Java; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-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); …
PostgreSQL Cited in 54 Documents (2000–2023) Software Authors: – Related Software: Oracle; MySQL; MS SQL Server; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
Pict Cited in 69 Documents (1998–2022) Software Authors: Pierce, Benjamin C.; Turner, David N Related Software: JoCaml; Maude; Oz; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
ConGolog Cited in 40 Documents (1999–2022) Software Authors: De Giacomo; Lespérance, Y.; Levesque, H.J. Related Software: GOLOG; AgentSpeak; METATEM; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
K Prover Cited in 46 Documents (2007–2022) Software Authors: Roşu, Grigore et.al Related Software: Maude; K tool; z3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
Mosel Cited in 37 Documents (2003–2021) Software Authors: Fair Isaac Corporation; Colombani Y., Heipcke S. Related Software: XPRESS; AMPL; GAMS; … Main Fields: General and overarching topics; collections (00-XX); Order, lattices, ordered algebraic structures (06-XX); Numerical analysis (65-XX); …
Multilisp Cited in 29 Documents (1985–2019) Software Authors: Halstead, Robert H.jun. Related Software: Creol; Eiffel; Maude; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
PMaude Cited in 28 Documents (2005–2022) Software Authors: Gul Agha; José Meseguer; Koushik Sen Related Software: Maude; PVeStA; VESTA; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
dSPIN Cited in 22 Documents (2000–2014) Software Authors: Demartini, C., Iosif, R., Sisto, R. Related Software: SPIN; Bandera; Java PathFinder; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
MANIFOLD Cited in 28 Documents (1993–2023) Software Authors: Bonsangue, M.M.; Arbab, F.; de Bakker, J.W.; Rutten, J.J.M.M.; Scutella, A. Related Software: Linda; Reo; KLAIM; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
CC-Pi Cited in 28 Documents (2007–2022) Software Authors: Maria Grazia Buscemi, Ugo Montanari Related Software: COWS; Isabelle/HOL; Nominal Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …
TLA Cited in 29 Documents (1992–2023) Software Authors: L. Lamport Related Software: SPIN; z3; PlusCal; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
JoCaml Cited in 26 Documents (2000–2022) Software Authors: Fournet, Cedric; Le Fessant, Fabrice; Maranget, Luc; Schmitt, Alan Related Software: Pict; OCaml; PiDuce; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-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)
Chapel Cited in 13 Documents (2009–2021) Software Authors: Brad Chamberlain Related Software: CUDA; CoArray; MapReduce; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-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)
K tool Cited in 17 Documents (2010–2022) Software Authors: David Lazar, Andrei Arusoaie, Traian Florin Şerbǎnuţǎ, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Roşu Related Software: K Prover; Maude; PLT Redex; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
PEP Cited in 17 Documents (1997–2018) Software Authors: Best, Eike; Bernd Grahlmann Related Software: M-nets; Uppaal; Maria; … Main Fields: Computer science (68-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)
JCobox Cited in 15 Documents (2011–2020) Software Authors: Schäfer, J., Poetzsch-Heffter, A. Related Software: ABS; Erlang; Creol; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MMT Cited in 13 Documents (2007–2019) Software Authors: Chalub, Fabricio; Braga, Christiano Related Software: Maude; K Prover; JavaFAN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ABCL Cited in 9 Documents (1991–2022) Software Authors: Yonezawa, Akinori Related Software: Creol; Multilisp; Featherweight Java; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
go Cited in 13 Documents (2013–2022) Software Authors: Google Related Software: Python; Rust; Erlang; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Orc Cited in 14 Documents (2009–2015) Software Authors: Kitchin, David; Quark, Adrian; Cook, William; Misra, Jayadev Related Software: COWS; Maude; Jolie; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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); …
MUI Cited in 11 Documents (2015–2021) Software Authors: Tang, Yu-Hang; Kudo, Shuhei; Bian, Xin; Li, Zhen; Karniadakis, George Em Related Software: preCICE; AdResS; OpenFOAM; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); …
future Cited in 2 Documents (2021) Software Authors: Henrik Bengtsson Related Software: R; ggplot2; doFuture; … Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)
LOUI Cited in 9 Documents (2002–2021) Software Authors: J. Siekmann, S. Hess, C. Benzmüller, L. Cheikhrouhou, A. Fiedler, H. Horacek, M. Kohlhase, K. Konrad, A. Meier, E. Melis, M. Pollet, V. Sorge Related Software: TPTP; Coq; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)
M-nets Cited in 10 Documents (1998–2012) Software Authors: Eike Best, Wojciech Frączak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz Related Software: Maria; PEP; Uppaal; … Main Fields: Computer science (68-XX)
PlusCal Cited in 10 Documents (2009–2023) Software Authors: Lamport, Leslie Related Software: SPIN; TLC; TLA; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
VeriCool Cited in 10 Documents (2009–2022) Software Authors: Smans, J., Jacobs, B., Piessens, F. Related Software: Boogie; VeriFast; KRAKATOA; … Main Fields: Computer science (68-XX)
ANNA Cited in 8 Documents (1986–2007) Software Authors: Luckham, David Related Software: Ada95; SPARK; Spec#; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
LMNtal Cited in 8 Documents (2005–2013) Software Authors: Ueda, Kazunori Related Software: GHC; Janus; CC-Pi; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
PaInleSS Cited in 8 Documents (2018–2022) Software Authors: Le Frioux, Ludovic; Baarir, Souheib; Sopena, Julien; Kordon, Fabrice Related Software: Plingeling; Treengeling; ManySAT; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ProActive Cited in 6 Documents (2002–2019) Software Authors: Inria Sophia Antipolis Related Software: AmbientTalk; ABS; Creol; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Geophysics (86-XX)
TPVM Cited in 8 Documents (1997–2003) Software Authors: Ferrari, Adam; Sunderam, V.S. Related Software: MPI/MPICH; Filaments; ParADE; … Main Fields: Computer science (68-XX)
IC2D Cited in 5 Documents (2001–2015) Software Authors: Baude, Françoise; Bergel, Alexandre; Caromel, Denis; Huet, Fabrice; Nano,Olivier; Vayssière, Julien Related Software: ProActive; AmbientTalk; JCobox; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Geophysics (86-XX)
Kilim Cited in 6 Documents (2010–2020) Software Authors: Srinivasan, S., Mycroft, A. Related Software: JCobox; ABS; Erlang; … Main Fields: Computer science (68-XX)
PROCOL Cited in 7 Documents (1991–2002) Software Authors: van den Bos, Jan; Laffa, Chris Related Software: AspectJ; PICCOLA; JAsCo; … Main Fields: Computer science (68-XX)
simpA Cited in 5 Documents (2002–2012) Software Authors: Ricci, Alessandro; Viroli, Mirko; Piancastelli, Giulio Related Software: Featherweight Java; CArtAgO; ReSpecT; … Main Fields: Computer science (68-XX)
SugarCubes Cited in 6 Documents (2000–2016) Software Authors: Boussinot, Frédéric; Susini, Jean-Ferdy Related Software: Esterel; ULM; YACC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Grace Cited in 4 Documents (2011–2012) Software Authors: Berger, E. D.; Yang, T.; Liu, T.; Novark, G. Related Software: Multilisp; Kendo; Fortress; … Main Fields: Computer science (68-XX)
Lolliproc Cited in 5 Documents (2010–2016) Software Authors: Mazurak, Karl; Zdancewic, Steve Related Software: VeriML; ReCaml; Haskell; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
PARSHA Cited in 5 Documents (2003–2011) Software Authors: Pal, Pinakpani; Sarkar, Palash Related Software: Keccak; Whirlpool Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Information and communication theory, circuits (94-XX)
Alcove Cited in 4 Documents (2018–2021) Software Authors: Olarte, Carlos; Pimentel, Elaine; Rueda, Camilo Related Software: Quipper; HYBRID; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
AtomCaml Cited in 3 Documents (2005–2022) Software Authors: Ringenburg, Michael F.; Grossman, Dan Related Software: SAMOA; JudoSTM; SPEC Benchmarks; … Main Fields: Computer science (68-XX)
bigmemory Cited in 2 Documents (2016) Software Authors: Michael J. Kane, John W. Emerson, Peter Haverty, Charles Determan Jr. Related Software: R; foreach; snow; … Main Fields: Statistics (62-XX); Computer science (68-XX)
CSPsim Cited in 4 Documents (2007–2009) Software Authors: Brooke, Phillip J.; Paige, Richard F.; Jacob, Jeremy L. Related Software: Eiffel; SCOOP; TCOZ; … Main Fields: Computer science (68-XX)
Guava Cited in 1 Document (2005) Software Authors: David F. Bacon, Robert E. Strom, Ashis Tarafdar Related Software: Modula; AtomCaml; PLAN; … Main Fields: Computer science (68-XX)
LBsoft Cited in 3 Documents (2020–2022) Software Authors: Fabio Bonaccorso, Andrea Montessori, Adriano Tiribocchi, Giorgio Amati, Massimo Bernaschi, Marco Lauricella, Sauro Succi Related Software: Palabos; LBcuda; LUDWIG; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)
ModuRes Cited in 4 Documents (2015–2020) Software Authors: Sieczkowski, Filip; Bizjak, Aleš; Birkedal, Lars Related Software: Coq; ProofPower; Kami; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PMSat Cited in 4 Documents (2009–2015) Software Authors: Gil, L., Flores, P., Silveira, L. M. Related Software: MiniSat; Lingeling; ZetaSAT; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Akkaprof Cited in 3 Documents (2016–2022) Software Authors: Rosà, Andrea; Chen, Lydia Y.; Binder, Walter Related Software: DiSL; XProf; PReT; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
HiPE Cited in 2 Documents (2002–2003) Software Authors: E. Johansson, M. Pettersson, K. Sagonas Related Software: Erlang; SICStus; CLEAN Main Fields: Computer science (68-XX)
JCSP Cited in 1 Document (2002) Software Authors: Welch, P. H.; Aldous, J. R.; Foster, J. Related Software: Circus; Z; KRoC Main Fields: Computer science (68-XX)
Lee-TM Cited in 1 Document (2010) Software Authors: Mohammad Ansari, Christos Kotselidis, Ian Watson, Chris Kirkham, Mikel Luján, Kim Jarvis Related Software: PARSEC; SPLASH-2; STAMP; … Main Fields: Computer science (68-XX)
ObjectCurry Cited in 3 Documents (1994–2013) Software Authors: Hanus, Michael; Huch, Frank; Niederau, Philipp Related Software: Oz; PAKCS; Curry; … Main Fields: Computer science (68-XX)
OCaml-Java Cited in 1 Document (2016) Software Authors: Clerc, X. Related Software: OCaml; js_of_ocaml; Ocsigen; … Main Fields: Computer science (68-XX)
session-ocaml Cited in 3 Documents (2018–2023) Software Authors: Imai, Keigo; Yoshida, Nobuko; Yuen, Shoji Related Software: Mungo; LASH; z3 Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SymmPa Cited in 3 Documents (2012–2017) Software Authors: Donaldson, Alastair F.; Kaiser, Alexander; Kroening, Daniel; Tautschnig, Michael; Wahl, Thomas Related Software: Threader; MAGIC; ASTREE; … Main Fields: Computer science (68-XX)
TASCEL Cited in 3 Documents (2013–2022) Software Authors: Jonathan Lifflander; Sriram Krishnamoorthy; Laxmikant V. Kale Related Software: Cilk; FreeON; SpAMM; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
tccp Cited in 3 Documents (2009–2013) Software Authors: Lescaylle, Alexei; Villanueva, Alicia Related Software: CC-Pi; GHC; Esterel; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
TMunit Cited in 2 Documents (2010–2018) Software Authors: Harmanci, D.; Felber, P.; Gramoli, V.; Fetzer, C. Related Software: STAMP; NOrec; JudoSTM; … Main Fields: Computer science (68-XX)
BCOOPL Cited in 2 Documents (2001–2003) Software Authors: De Bruin, Hans Related Software: – Main Fields: Computer science (68-XX)
Celf Cited in 2 Documents (2008–2018) Software Authors: Schack-Nielsen, Anders; Schürmann, Carsten Related Software: Twelf Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CoBoxes Cited in 1 Document (2017) Software Authors: Jan Schäfer, Arnd Poetzsch-Heffter Related Software: ArchJava; JavAdaptor; JCobox; … Main Fields: Computer science (68-XX)
CSimpl Cited in 2 Documents (2017) Software Authors: Sanán, D., Zhao, Y., Hou, Z., Zhang, F., Tiu, A., Liu, Y. Related Software: seL4; Isabelle/HOL; Locales; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FASAN Cited in 2 Documents (1998–1999) Software Authors: Ebner, Ralf; Pfaffinger, Alexander Related Software: Haskell Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
HAL_ Cited in 2 Documents (1992–2000) Software Authors: Chris Houck , Gul Agha Related Software: Python; CHARM++; Oz; … Main Fields: Computer science (68-XX)
Noble Cited in 2 Documents (2008–2015) Software Authors: H. Sundell, P. Tsigas Related Software: Intel TBB; Python Main Fields: Computer science (68-XX)
Quty Cited in 2 Documents (1988–1994) Software Authors: Sato, Masahiko Related Software: Nuprl Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RMerge2 Cited in 2 Documents (2018–2021) Software Authors: Gremse, Felix; Küpper, Kerstin; Naumann, Uwe Related Software: EVSL; QUDA; AmgX; … Main Fields: Numerical analysis (65-XX)
SAMOA Cited in 2 Documents (2015–2022) Software Authors: Wojciechowski, P. T., Rütti, O., Schiper, A. Related Software: AtomCaml; JudoSTM Main Fields: Computer science (68-XX)
ScalaSTM Cited in 1 Document (2020) Software Authors: Scala STM Expert Group Related Software: GitHub; Cilk Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Store Buffers Cited in 0 Documents Software Authors: Ernie Cohen; Norbert Schirmer Related Software: Isabelle; Isar; Isabelle/HOL Main Fields: –
VoDKA Cited in 2 Documents (2005–2009) Software Authors: Gulias, Victor M.; Barreiro, Miguel; Freire, Jose L. Related Software: Caml; OCaml; PoSSo; … Main Fields: Commutative algebra (13-XX); Computer science (68-XX)
ActiveMonitor Cited in 1 Document (2016) Software Authors: Hung, Wei-Lun; Chauhan, Himanshu; Garg, Vijay K. Related Software: AutoSynch; GTgraph Main Fields: Computer science (68-XX)
Algorithm 821 Cited in 1 Document (2002) Software Authors: Hanson, Richard J.; Breshears, Clay P.; Gabb, Henry A. Related Software: pthreads Main Fields: Numerical analysis (65-XX)
Chor Cited in 1 Document (2016) Software Authors: Carbone, M., Montesi, F. Related Software: Scribble; TAG Main Fields: Computer science (68-XX)
DD-mod Cited in 1 Document (2000) Software Authors: Mil\'an-Franco, Jes\'us M.; Jim\'enez-Peris, Ricardo; Pati\~no-Mart\'{\i}nez, Marta Related Software: Modula Main Fields: Computer science (68-XX)
Edward2 Cited in 0 Documents Software Authors: Dave Moore, Maria I. Gorinova Related Software: UCI-ml; PyStan; XLA; … Main Fields: –
EtomCRL2 Cited in 0 Documents Software Authors: Guo, Q., Derrick, J., Benac Earle, C., Fredlund, L.Å. Related Software: McErlang Main Fields: –
FreeST Cited in 1 Document (2022) Software Authors: Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos Related Software: – Main Fields: Computer science (68-XX)
FSMT Cited in 1 Document (1993) Software Authors: Duan, W.; Zhou, J.; Lai, K. Related Software: – Main Fields: Computer science (68-XX)
gini Cited in 1 Document (2020) Software Authors: Scott Cotton Related Software: – Main Fields: Fluid mechanics (76-XX); Geophysics (86-XX)
GROWTH06 Cited in 1 Document (2009) Software Authors: Daniluk, Andrzej Related Software: GROWTHgr Main Fields: Computer science (68-XX); Quantum theory (81-XX)
GROWTHgr Cited in 1 Document (2009) Software Authors: Daniluk, Andrzej Related Software: GROWTH06 Main Fields: Computer science (68-XX); Quantum theory (81-XX)
JR Cited in 1 Document (2004) Software Authors: Olsson, Ronald A., Keen, Aaron W. Related Software: – Main Fields: Computer science (68-XX)
LEAP Cited in 0 Documents Software Authors: Coletti, Mark A., Eric O. Scott, Jeffrey K. Bassett Related Software: DEAP; Keras; PyTorch; … Main Fields: –
MAC Cited in 1 Document (2019) Software Authors: Vassena, Marco; Russo, Alejandro; Buiras, Pablo; Waye, Lucas Related Software: – Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
MENDELS Cited in 1 Document (1988) Software Authors: Uchihira, Naoshi; Matsumoto, Kazunori; Honiden, Shinichi; Nakamura, Hideo Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ntccSim Cited in 0 Documents Software Authors: AVISPA Research Group Related Software: SPIN; Ntccrt; Rules2CP; … Main Fields: –
NUML Cited in 1 Document (1995) Software Authors: Xu, Manwu; Lu, Jianfeng; Zeng, Fancong; Dai, Jinwen Related Software: Automath Main Fields: Computer science (68-XX)
OXenstored Cited in 1 Document (2009) Software Authors: Gazagnaire, Thomas; Hanquez, Vincent Related Software: Bee; OCaml Main Fields: Computer science (68-XX)
PerformERL Cited in 1 Document (2022) Software Authors: Cazzola, Walter; Cesarini, Francesco; Tansini, Luca Related Software: Akkaprof; XProf; PReT; … Main Fields: Computer science (68-XX)
PythonFOAM Cited in 1 Document (2023) Software Authors: Maulik, R.; Fytanidis, D. K.; Lusch, B.; Vishwanath, V.; Patel, S Related Software: NumPy; TensorFlow; nanobind; … Main Fields: Numerical analysis (65-XX)
QWeSST Cited in 1 Document (2014) Software Authors: Cervesato, Iliano; Sans, Thierry Related Software: – Main Fields: Computer science (68-XX)
Rast Cited in 1 Document (2022) Software Authors: Das, Ankush; Pfenning, Frank Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)