×

Found 79 Software Packages (Results 1–79)

Esterel

Software Authors:   Gérard Berry
Referenced in: 133 Publications (1985–2022)
Related Software: SIGNAL; LUSTRE; Uppaal; ULM; Simulink; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

MCMAS

Software Authors:   Alessio Lomuscio, Hongyang Qu, Franco Raimondi
Referenced in: 81 Publications (2006–2022)
Related Software: MCMAS-SLK; MCK; MOCHA; VerICS; PRISM; PRISM-games; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Jason

Software Authors:   Bordini, Rafael H.; Hübner, Jomi Fred; Wooldridge, Michael
Referenced in: 46 Publications (1977–2021)
Related Software: AgentSpeak; Jadex; 2APL; CArtAgO; GOLOG; JADE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SIGNAL

Software Authors:   Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul
Referenced in: 48 Publications (1987–2018)
Related Software: Esterel; LUSTRE; Ptolemy; Simulink; Polychrony; StateFlow; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

HAS-QAP

Software Authors:   Gambardella, L.M.; Taillard, E.D.; Dorigo, M.
Referenced in: 34 Publications (1999–2021)
Related Software: MACS-VRPTW; QAPLIB; Tabu search; HAS-SOP; VRP; Scatter Search; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

STeP

Software Authors:   N. Bjørner, I.A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H.B. Sipma, T.E. Uribe
Referenced in: 33 Publications (1997–2015)
Related Software: PVS; SPIN; Uppaal; Kronos; HyTech; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-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)

PRISM-games

Software Authors:   Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
Referenced in: 23 Publications (2013–2022)
Related Software: PRISM; MCMAS; EAGLE; GIST; MCMAS-SLK; GAVS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ReaxFF

Software Authors:   van Duin A.C.T., Dasgupta S., Lorant F., Goddard W.A.
Referenced in: 20 Publications (2003–2021)
Related Software: sPuReMD; GULP; DL_POLY; Adam; PuReMD; Python; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

GULP

Software Authors:   Gale, Julian D.; Rohl, Andrew L.
Referenced in: 19 Publications (1986–2017)
Related Software: Open Babel; VASP; XtalOpt; Avogadro; SICStus; Smodels; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

LiQuor

Software Authors:   –
Referenced in: 18 Publications (2007–2018)
Related Software: PRISM; MRMC; Rapture; Ymer; Rabinizer; PARAM; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

CHEMSODE

Software Authors:   C.J. Aro
Referenced in: 11 Publications (1996–2020)
Related Software: RODAS; LSODE; CHEMKIN; ODEPACK; VODE; NEW9p; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

InVeSt

Software Authors:   Bensalem S, Lakhnech Y, Owre S
Referenced in: 10 Publications (1999–2013)
Related Software: PVS; TREX; HOL; ACL2; HyTech; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SWITCH

Software Authors:   Shalyto, A.A.
Referenced in: 10 Publications (1998–2009)
Related Software: UniMod
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Yampa

Software Authors:   Henrik Nilsson, Antony Courtney
Referenced in: 9 Publications (2003–2020)
Related Software: Haskell; Fran; Esterel; GHC; Copilot; seL4; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

EAGLE

Software Authors:   Toumi, Alexis; Gutierrez, Julian; Wooldridge, Michael
Referenced in: 9 Publications (2015–2021)
Related Software: MCMAS; MOCHA; PRISM-games; MCMAS-SLK; PRISM; PRALINE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

visualSTATE

Software Authors:   Lind-Nielsen, Jørn; Andersen, Henrik Reif; Hulgaard, Henrik; Behrmann, Gerd; Kristoffersen, Kåre; Larsen, Kim G
Referenced in: 7 Publications (1999–2010)
Related Software: CBMC; APS; NuSMV; BLAST; veriSoft; APS-1; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

SugarCubes

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

UniForM

Software Authors:   Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer
Referenced in: 7 Publications (1999–2011)
Related Software: Uppaal; FranTk; GHC; Haskell; MersenneTwister; DCVALID; …
Main Fields: Computer science (68-XX)

CPFLOW

Software Authors:   –
Referenced in: 6 Publications (1994–2015)
Related Software: PRMLT; MUMPS; Graphviz; AUTO-86; AUTO
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)

DisCo

Software Authors:   Aaltonen, Timo; Katara, Mika; Pitkänen, Risto
Referenced in: 7 Publications (1998–2006)
Related Software: PVS; AspectJ; Ocsid; HOL-UNITY; HOL; Coq; …
Main Fields: Computer science (68-XX)

GEMS3K

Software Authors:   Kulik, Dmitrii A.; Wagner, Thomas; Dmytrieva, Svitlana V.; Kosakowski, Georg; Hingerl, Ferdinand F.; Chudnenko, Konstantin V.; Berner, Urs R.
Referenced in: 7 Publications (2013–2022)
Related Software: GEMSelektor; OpenGeoSys; PHREEQC; PhreeqcRM; TSolMod; CrunchFlow; …
Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

TinyOS

Software Authors:   Dalton, Andrew R.; Wahba, Sally K.; Dandamudi, Sravanthi; Hallstrom, Jason O.
Referenced in: 6 Publications (2008–2019)
Related Software: FDR3; ProB; AUTOSAR; Magiclock; Goblint; ASTREE; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

PAROC

Software Authors:   Pistikopoulos, E. N.; Diangelakis, N. A.; Oberdieck, R.; Papathanasiou, M. M.; Nascu, I.; Sun, M.
Referenced in: 6 Publications (2015–2021)
Related Software: POP; ANTIGONE; MPT; ARGONAUT; SageMath; YALMIP
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

sPuReMD

Software Authors:   Aktulga, Hasan Metin; Pandit, Sagar A.; Van Duin, Adri C.T.; Grama, Ananth Y.
Referenced in: 5 Publications (2012–2020)
Related Software: ReaxFF; PuReMD; CUDA; NAMD; LAMMPS; Gromacs; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

IFP-C3D

Software Authors:   Bohbot, J.; Gillet, N.; Benkenida, A.
Referenced in: 5 Publications (2008–2012)
Related Software: CHEMKIN; Kiva-2; ReSHAPE; METIS; KIVA-4
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)

JavaLog

Software Authors:   Amandi, Anal\'{\i}a; Campo, Marcelo; Zunino, Alejandro
Referenced in: 3 Publications (2002–2007)
Related Software: GOLOG; Oz; METATEM; Mozart; SHOP2; Graphplan; …
Main Fields: Computer science (68-XX)

OpenSMOKE++

Software Authors:   A. Cuoci, A. Frassoldati, T. Faravelli, E. Ranzi
Referenced in: 4 Publications (2016–2020)
Related Software: Graphviz; Cantera; Python; ReNView; GitHub; CHEMKIN; …
Main Fields: Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)

STATCOM

Software Authors:   Singh, B.; Saha, R.; Chandra, A.; Al-Haddad, K.
Referenced in: 4 Publications (2009–2021)
Related Software: Matlab
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

TRADE

Software Authors:   Wieringa, Roel J.; Jansen, David N.
Referenced in: 1 Publication (2001)
Related Software:
Main Fields: Computer science (68-XX)

ABLE

Software Authors:   J. P. Bigus, D. A. Schlosnagle, J. R. Pilgrim, W. N. Mills III, Y. Diao
Referenced in: 1 Publication (2019)
Related Software: PAPI; Multicube Explorer; SiblingRivalry; Green; SAGE; ADAPT; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

EVE

Software Authors:   Muhammad Najib
Referenced in: 4 Publications (2019–2021)
Related Software: MCMAS; MCMAS-SLK; PRISM-games; EAGLE; PRALINE; MOCHA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

COMSOL-GEMS

Software Authors:   Azad, V.J., Li, C., Verba, C., Ideker, J.H., Isgor, O.B.
Referenced in: 3 Publications (2020–2022)
Related Software: PhreeqcRM; PHREEQC; HYDROGEOCHEM; PROOST; FEniCS-Reaktoro; TReacLab; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

FRISCO

Software Authors:   FRISCO Consortium
Referenced in: 3 Publications (1999–2016)
Related Software: PoSSo; SymbolicData; PHCpack; OpenDreamKit; SDeval; SageMath; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Real functions (26-XX)

NAT2TEST

Software Authors:   Carvalho G, Barros F, Carvalho A, Cavalcanti A, Mota A, Sampaio A
Referenced in: 3 Publications (2016–2018)
Related Software: Jimple; Soot; PAT; NuSMV; PVS; APTS; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Systems theory; control (93-XX)

pFaces

Software Authors:   Khaled, Mahmoud; Zamani, Majid
Referenced in: 3 Publications (2019–2020)
Related Software: ROCS; SCOTS; CoSyma; StocHy; AMYTISS; SReachTools; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

PuReMD

Software Authors:   Kylasa, S.B.; Aktulga, H.M.; Grama, A.Y.
Referenced in: 3 Publications (2014–2020)
Related Software: ReaxFF; sPuReMD; LAMMPS; CUDA; ILUT; ACEMD; …
Main Fields: Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX)

RAFT

Software Authors:   A Chilakapati
Referenced in: 3 Publications (2002–2010)
Related Software: PhreeqcRM; LEHGC; CORE2D; TOUGHREACT; PHREEQC; MULTIFLO; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-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)

tccp

Software Authors:   Lescaylle, Alexei; Villanueva, Alicia
Referenced in: 3 Publications (2009–2013)
Related Software: GHC; Esterel; CC-Pi; Janus; LMNtal; Oz; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

ViSta

Software Authors:   Rodolfo Castelló; Rym Mili; Ioannis G. Tollis
Referenced in: 3 Publications (2001–2003)
Related Software: CrocoCosmos; GDS; WilmaScope; Tulip; BioPath; DBdraw; …
Main Fields: Computer science (68-XX)

DESASS

Software Authors:   Ferrer J, Seco A, Serralta J, et al
Referenced in: 1 Publication (2012)
Related Software:
Main Fields: Fluid mechanics (76-XX)

EventB2Java

Software Authors:   Néstor Cataño; Víctor Rivera
Referenced in: 2 Publications (2020–2021)
Related Software: Rodin; JeB; Overture Tool; SICStus; WebASM; VisB; …
Main Fields: Computer science (68-XX)

GRL

Software Authors:   Jebali F, Lang F, Mateescu R
Referenced in: 1 Publication (2016)
Related Software: AADL; LNT2LOTOS; Esterel; Polychrony; CADP; SPIN; …
Main Fields: Computer science (68-XX)

Hazelnut

Software Authors:   Omar, Cyrus; Voysey, Ian; Hilton, Michael; Aldrich, Jonathan; Hammer, Matthew A.
Referenced in: 2 Publications (2017)
Related Software: js_of_ocaml; mbeddr; TouchDevelop; Calcite; Lamdu; Idris; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Oris

Software Authors:   Bucci, Giacomo; Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico
Referenced in: 1 Publication (2005)
Related Software: TINA; Uppaal; TIMES; TAXYS; Kronos; Romeo
Main Fields: Computer science (68-XX)

ParCrunchFlow

Software Authors:   Beisman, James J.; Maxwell, Reed M.; Navarre-Sitchler, Alexis K.; Steefel, Carl I.; Molins, Sergi
Referenced in: 2 Publications (2015–2020)
Related Software: CrunchFlow; PFLOTRAN; HYDROGEOCHEM; PROOST; FEniCS-Reaktoro; MIN3P-THCm; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Geophysics (86-XX)

PARTS

Software Authors:   Buy, U.; Sloan, R.H.
Referenced in: 2 Publications (2001–2006)
Related Software: Matlab; HyTech; Ada95
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

PHAST

Software Authors:   Parkhurst, D.L., Kipp, K.L., Charlton, S.R
Referenced in: 2 Publications (2010–2015)
Related Software: HYTEC; MIN3P; GEMS3K; HBGC123D; IWAS-ToolBox; MT3DMS; …
Main Fields: Fluid mechanics (76-XX); Geophysics (86-XX)

Procera

Software Authors:   Voellmy, A., Kim, H., Feamster, N.
Referenced in: 1 Publication (2020)
Related Software: SGS; OpenFlowSIA; SDSNM; Flowfence; TDDAD; FADM; …
Main Fields: Computer science (68-XX)

REFLIX

Software Authors:   Salcic, Zoran; Roop, Partha; Biglari-Abhari, Morteza; Bigdeli, Abbas
Referenced in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

TVT

Software Authors:   Virtanen, Heikki; Hansen, Henri; Valmari, Antti; Nieminen, Juha; Erkkilä, Timo
Referenced in: 2 Publications (2004–2017)
Related Software: CADP; mCRL2
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ACVisualizer

Software Authors:   Ahmad, Raheel; Rahimi, Shahram
Referenced in: 1 Publication (2008)
Related Software: CLIPS; MWB
Main Fields: Computer science (68-XX)

Biter

Software Authors:   Buhler, Paul; Vidal, Jose M.
Referenced in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX)

Cadmos

Software Authors:   Popa, Vlad; Schwitzer, Wolfgang
Referenced in: 0 Publications
Related Software:
Main Fields:

CHEPROO

Software Authors:   Bea, S.; Carrera, J.; Ayora, C.; Batlle, F.; Saaltink, M.
Referenced in: 1 Publication (2020)
Related Software: TOUGHREACT
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Geophysics (86-XX)

GEMSFIT

Software Authors:   Hingerl, Ferdinand F.; Kosakowski, Georg; Wagner, Thomas; Kulik, Dmitrii A.; Driesner, Thomas
Referenced in: 1 Publication (2014)
Related Software: GEMSelektor; PhreeqcRM; UCODE; PhreePlot; TSolMod; GEMS3K; …
Main Fields: Geophysics (86-XX)

GenCCSL

Software Authors:   Mallet, Frédéric; Zholtkevych, Grygoriy
Referenced in: 1 Publication (2015)
Related Software: TimeSquare; CCSL
Main Fields: Computer science (68-XX)

GriF

Software Authors:   Manuali, C.; Laganà, A.; Rampino, S.
Referenced in: 1 Publication (2010)
Related Software: ABC
Main Fields: General and overarching topics; collections (00-XX); Quantum theory (81-XX)

HARPIC

Software Authors:   Luzeaux, Dominique; Dalgalarrondo, André
Referenced in: 1 Publication (2001)
Related Software:
Main Fields: Computer science (68-XX)

ICARO

Software Authors:   Gascuena, Jose M.; Navarro, Elena; Fernandez-Caballero, Antonio; Pavon, Juan
Referenced in: 0 Publications
Related Software:
Main Fields:

jLibBig

Software Authors:   M. Miculan, M. Peressotti
Referenced in: 1 Publication (2019)
Related Software: GMTE
Main Fields: Combinatorics (05-XX)

LBTest

Software Authors:   Meinke, K., Sindhu, M. A.
Referenced in: 1 Publication (2021)
Related Software:
Main Fields: Computer science (68-XX)

LEHGC

Software Authors:   Yeh, G.T., Li, M.H., Siegel, M.D
Referenced in: 1 Publication (2010)
Related Software: PhreeqcRM; CORE2D; TOUGHREACT; PHREEQC; MULTIFLO; RAFT; …
Main Fields: Fluid mechanics (76-XX)

Lula

Software Authors:   Sperber, Michael
Referenced in: 1 Publication (2001)
Related Software: Scheme; FranTk
Main Fields: Computer science (68-XX)

mARGOt

Software Authors:   Gadioli, Davide; Vitali, Emanuele; Palermo, Gianluca; Silvano, Cristina
Referenced in: 1 Publication (2019)
Related Software: PAPI; Multicube Explorer; SiblingRivalry; Green; SAGE; ADAPT; …
Main Fields: Computer science (68-XX)

MCOTAC

Software Authors:   Pfingsten, W.
Referenced in: 1 Publication (2021)
Related Software: GEMSelektor; PhreeqcRM; TSolMod; GEMS3K; FLOTRAN; OpenGeoSys; …
Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); Geophysics (86-XX)

MixLog

Software Authors:   Smith, Donald A.
Referenced in: 1 Publication (1997)
Related Software:
Main Fields: Computer science (68-XX)

nAIT

Software Authors:   Andrew R. Dalton; Jason O. Hallstrom
Referenced in: 1 Publication (2009)
Related Software: PVaniM; Jove; VAMPIR; SEAT; Seesoft; Gammatella; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

NQCDynamics.jl

Software Authors:   James Gardner, Oscar A. Douglas-Gallardo, Wojciech G. Stark, Julia Westermayr, Svenja M. Janke, Scott Habershon, Reinhard J. Maurer
Referenced in: 0 Publications
Related Software: VENUS96; Unitful.jl; MLJ; Flux; SchNetPack; SchNet; …
Main Fields:

PICLas

Software Authors:   P. Ortwein, S. Copplestone, C.-D. Munz, T. Binder, A. Mirza, P. Nizenkov, M. Pfeiffer, W. Reschke, S. Fasoulas
Referenced in: 1 Publication (2021)
Related Software: Spalart-Allmaras; HOPR; FLEXI; XFOIL; PyFR; HDF5; …
Main Fields: Fluid mechanics (76-XX)

Playful

Software Authors:   V. Berenz; Max Planck Institute for Intelligent Systems
Referenced in: 0 Publications
Related Software: PYROBOTS
Main Fields:

REANN

Software Authors:   Yaolong Zhang, Junfan Xia, Bin Jiang
Referenced in: 0 Publications
Related Software: LAMMPS; PhysNet; TensorMol; PyTorch
Main Fields:

SCEst

Software Authors:   K. Rathlev et al
Referenced in: 1 Publication (2018)
Related Software: Boogie; contractLarva; DeltaEcore; DarwinSPL; SCCharts; JOANA; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Sigali

Software Authors:   H. Marchand
Referenced in: 0 Publications
Related Software: MARTE; SPIN
Main Fields:

SJL

Software Authors:   Motika, Christian; von Hanxleden, Reinhard
Referenced in: 1 Publication (2015)
Related Software: Esterel; LUSTRE
Main Fields: Computer science (68-XX)

SOTER

Software Authors:   Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari
Referenced in: 1 Publication (2019)
Related Software: FaSTrack
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

ThingML

Software Authors:   N. Harrand, F. Fleurey, B. Morin, K.E. Husa
Referenced in: 0 Publications
Related Software: KNIME; Infer.NET; Scikit; TensorFlow; Keras; Python; …
Main Fields:

TPORT

Software Authors:   Trelles, Juan Pablo
Referenced in: 1 Publication (2020)
Related Software: FLUENT; PETSc
Main Fields: Fluid mechanics (76-XX)