×

Found 130 Software Packages (Results 1–100)

Protege

Cited in 28 Documents (1997–2022)
Software Authors: Stanford; J. H. Gennari, M. A. Musen, R. W. Fergerson et al.
Related Software: Pellet; Racer; Jena; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …

swrl

Cited in 32 Documents (2005–2022)
Software Authors: Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.
Related Software: Pellet; FaCT++; SPARQL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

CommonKADS

Cited in 26 Documents (1994–2014)
Software Authors: Van de velde Breuker
Related Software: NeuroGaz; GitHub; VoteSim; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Fuzzydl

Cited in 21 Documents (2009–2019)
Software Authors: Bobillo, F.; Straccia, U.
Related Software: DeLorean; FaCT++; Pellet; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); …

RuleML

Cited in 20 Documents (2002–2020)
Software Authors: Eberhart, Andreas
Related Software: swrl; TRIPLE; Protege; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

HermiT

Cited in 21 Documents (2013–2022)
Software Authors: Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe; Shearer, R.
Related Software: Pellet; FaCT++; ELK; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

OilEd

Cited in 24 Documents (2001–2008)
Software Authors: Bechhofer, Sean; Horrocks, Ian; Goble, Carole; Stevens, Robert
Related Software: OntoEdit; Racer; Protege; …
Main Fields: Mathematical logic and foundations (03-XX); Operator theory (47-XX); Statistics (62-XX); …

ELK

Cited in 21 Documents (2012–2022)
Software Authors: Yevgeny Kazakov; Markus Krötzsch; František Simancík
Related Software: HermiT; Pellet; Konclude; …
Main Fields: Computer science (68-XX)

GOstat

Cited in 13 Documents (2004–2018)
Software Authors: Tim Beißbarth; Terence P. Speed
Related Software: FatiGO; R; KEGG; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Statistics (62-XX); …

AIM@SHAPE

Cited in 17 Documents (2008–2020)
Software Authors:
Related Software: PcGets; ABC4EFT; CHOLMOD; …
Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

GeneRank

Cited in 16 Documents (2010–2020)
Software Authors: Julie L Morrison; Rainer Breitling; Desmond J Higham; David R Gilbert
Related Software: Matlab; moleculaRnetworks; testmatrix; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …

CEL

Cited in 14 Documents (2008–2022)
Software Authors: Baader, F., Lutz, C., Suntisrivaraporn, B.
Related Software: Pellet; FaCT++; ELK; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

DeLorean

Cited in 13 Documents (2009–2017)
Software Authors:
Related Software: Fuzzydl; FaCT++; pg4DB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MAFRA

Cited in 14 Documents (2002–2015)
Software Authors: Maedche, Alexander; Motik, Boris; Silva, Nuno; Volz, Raphael
Related Software: FOAM; PROMPT; yOWL; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Relativity and gravitational theory (83-XX)

BioPortal

Cited in 8 Documents (2016–2020)
Software Authors: Noy NF, Shah NH, Whetzel PL et al
Related Software: DBpedia; Pellet; Konclude; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Statistics (62-XX); …

Konclude

Cited in 12 Documents (2012–2021)
Software Authors: Steigmiller, A., Liebig, T., Glimm, B.; derivo GmbH
Related Software: HermiT; Pellet; ELK; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

OntoEdit

Cited in 8 Documents (2002–2006)
Software Authors: Sure, York; Erdmann, Michael; Angele, Juergen; Staab, Steffen; Studer, Rudi; Wenke, Dirk
Related Software: OilEd; Protege; WebODE; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

MASTRO

Cited in 8 Documents (2018–2021)
Software Authors: Calvanese, D., et al.
Related Software: Ontop; SPARQL; clasp; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BioMOBY

Cited in 0 Documents
Software Authors: M.D. Wilkinson, M. Links
Related Software: Taverna; KEGG; EMBOSS; …
Main Fields:

DL-learner

Cited in 9 Documents (2009–2022)
Software Authors: Jens Lehmann
Related Software: FOIL; ElemStatLearn; BayesOWL; …
Main Fields: Computer science (68-XX)

KAON

Cited in 5 Documents (2002–2008)
Software Authors: FZI WIM and AIFB LS3.
Related Software: FaCT++; swrl; Pellet; …
Main Fields: Computer science (68-XX)

OntoDLV

Cited in 8 Documents (2009–2021)
Software Authors: Ricca, F., Gallucci, L., Schindlauer, R., Dell’armi, T., Grasso, G., Leone, N.
Related Software: DLV-EX; Pellet; Lparse; …
Main Fields: Computer science (68-XX)

PR-OWL

Cited in 9 Documents (2014–2021)
Software Authors: Carvalho, Rommel N.; Laskey, Kathryn B.; Costa, Paulo C.G.
Related Software: IBAL; BayesOWL; BLOG; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Statistics (62-XX); …

PROMPT

Cited in 4 Documents (2009–2015)
Software Authors: Natalya F Noy; Mark A Musen
Related Software: WordNet; Anchor-PROMPT; FOAM; …
Main Fields: Computer science (68-XX)

AmiGO

Cited in 5 Documents (2010–2018)
Software Authors: Carbon, S., Ireland, A., Mungall, C. J., Shu, S., Marshall, B., Lewis, S.
Related Software: KEGG; OBO-Edit; DEOD; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Anchor-PROMPT

Cited in 4 Documents (2007–2013)
Software Authors: Noy, N.F., Musen, M.A
Related Software: FOAM; PROMPT; WordNet; …
Main Fields: Computer science (68-XX)

BayesOWL

Cited in 7 Documents (2008–2019)
Software Authors: Zhongli Ding; Yun Peng; Rong Pan
Related Software: BLOG; PR-OWL; IBAL; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

DLog

Cited in 7 Documents (2008–2019)
Software Authors: Lukácsy, Gergely; Szeredi, Péter
Related Software: Pellet; OntoDLV; PR-OWL; …
Main Fields: Computer science (68-XX)

SUMO

Cited in 2 Documents (2006–2008)
Software Authors: Niles, I.; Pease, A.
Related Software: WordNet; SpatialML; VerbNet; …
Main Fields: Computer science (68-XX)

BEACON

Cited in 7 Documents (2016–2022)
Software Authors: Arif, M.Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao
Related Software: ELK; EL2MCS; HgMUS; …
Main Fields: Computer science (68-XX)

ContentCVS

Cited in 5 Documents (2014–2019)
Software Authors: E. Jiménez-Ruiz , B. Cuenca Grau , I. Horrocks , R. Berlanga
Related Software: CEX; Ontop; MASTRO; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

FOAM

Cited in 2 Documents (2007–2015)
Software Authors: Marc Ehrig, York Sure
Related Software: MAFRA; KitAMO; Anchor-PROMPT; …
Main Fields: Computer science (68-XX)

LibMeta

Cited in 6 Documents (2019–2023)
Software Authors: Ataeva, O. M.; Serebryakov, V. A.
Related Software: ChatGPT; MathWebSearch
Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Computer science (68-XX); …

OBO-Edit

Cited in 0 Documents
Software Authors: Day-Richter J, Harris MA, Haendel M, Lewis S
Related Software: AmiGO; TRANSFAC; EXPANDER; …
Main Fields:

RacerPro

Cited in 6 Documents (2014–2021)
Software Authors: Haarslev, V., Hidde, K., Möller, R., Wessel, M.
Related Software: HermiT; Racer; Pellet; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TrOWL

Cited in 4 Documents (2013–2017)
Software Authors: Thomas, E., Pan, J.Z., Ren, Y.
Related Software: Pellet; ELK; Chainsaw; …
Main Fields: Computer science (68-XX)

HgMUS

Cited in 5 Documents (2015–2019)
Software Authors: Arif, M. Fareed; Mencía, Carlos; Marques-Silva, Joao
Related Software: BEACON; CEL; EL2MCS; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

KAON2

Cited in 5 Documents (2006–2021)
Software Authors: Boris Motik
Related Software: Pellet; HermiT; Racer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MnM

Cited in 2 Documents (2002–2006)
Software Authors: Vargas-Vera, Maria; Motta, Enrico; Domingue, John; Lanzoni, Mattia; Stutt, Arthur; Ciravegna, Fabio
Related Software: S-CREAM; AquaLog; DBpedia; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

NoHR

Cited in 4 Documents (2015–2017)
Software Authors: Lopes, Carlos; Knorr, Matthias; Leite, João
Related Software: Konclude; ELK; HermiT; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

OrthoDB

Cited in 2 Documents (2013–2017)
Software Authors: Kriventseva EV et al
Related Software: OrthoMCL; eggNOG; GASTS; …
Main Fields: General and overarching topics; collections (00-XX); Biology and other natural sciences (92-XX)

ProMiner

Cited in 1 Document (2017)
Software Authors: Fraunhofer SCAI; D. Hanisch, K. Fundel, H.-T. Mevissen, R. Zimmer, J. Fluck
Related Software: MutationFinder; ABNER; iHOP; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX)

SigmaKEE

Cited in 4 Documents (2009–2020)
Software Authors: Pease, Adam; Schulz, Stephan
Related Software: E Theorem Prover; VAMPIRE; SRASS; …
Main Fields: Computer science (68-XX)

CDAOstore

Cited in 3 Documents (2011–2016)
Software Authors: Chisham, Brandon; Pontelli, Enrico; Son, Tran Cao; Wright, Ben
Related Software:
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

EMILE

Cited in 3 Documents (2002–2007)
Software Authors: Adriaans, Pieter; Vervoort, Marco
Related Software: RFSA
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

FAME

Cited in 4 Documents (2018–2022)
Software Authors: Zhao, Yizheng; Schmidt, Renate A.
Related Software: ELK; Protege-TS; Evonne; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Orange4WS

Cited in 3 Documents (2016–2019)
Software Authors: V. Podpečan, M. Zemenova, N. Lavrač
Related Software: Orange; WEKA; SimRank; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

PAGOdA

Cited in 4 Documents (2015–2022)
Software Authors: Zhou, Yujiao; Grau, Bernardo Cuenca; Nenov, Yavor; Kaminski, Mark; Horrocks, Ian
Related Software: Datalog; Polyanna; CEX; …
Main Fields: Computer science (68-XX)

Snorocket

Cited in 4 Documents (2012–2021)
Software Authors: Alejandro Metke-Jimenez; Michael Lawley
Related Software: ELK; FaCT++; Pellet; …
Main Fields: Computer science (68-XX)

WebODE

Cited in 4 Documents (2002–2008)
Software Authors: Corcho, Óscar; Fernández-López, Mariano Author Profile; Gómez-Pérez, Asunción; Vicente, Óscar
Related Software: Protege; OntoEdit; OilEd; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

APECKS

Cited in 1 Document (2002)
Software Authors: J. Tennison, N. Shadbolt
Related Software: OntoEdit; OilEd
Main Fields: Computer science (68-XX)

CEX

Cited in 3 Documents (2012–2019)
Software Authors: Boris Konev, Michel Ludwig, Frank Wolter
Related Software: ContentCVS; MASTRO; Ontop; …
Main Fields: Computer science (68-XX)

Chainsaw

Cited in 3 Documents (2014–2018)
Software Authors: Tsarkov, D., Palmisano, I.
Related Software: Pellet; FaCT++; Konclude; …
Main Fields: Computer science (68-XX)

DRAGO

Cited in 2 Documents (2009–2014)
Software Authors: L. Serafini, A. Tamilin
Related Software: Racer; FaCT++; Pellet; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Just

Cited in 3 Documents (2015–2017)
Software Authors:
Related Software: EL2MCS; BEACON; HgMUS; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

KAoS

Cited in 2 Documents (2004)
Software Authors: Uszok, Andrzej; Bradshaw, Jeffrey M.; Jeffers, Renia
Related Software:
Main Fields: Computer science (68-XX)

MAS-SOC

Cited in 1 Document (2007)
Software Authors: Rafael H. Bordini, Antônio Carlos da Rocha Costa, Jomi F. Hübner, Álvaro F. Moreira, Fabio Y. Okuyama, Renata Vieira
Related Software: INGENIAS; Jadex; Jason; …
Main Fields: Computer science (68-XX)

MOVE

Cited in 3 Documents (2006–2011)
Software Authors: Bhatt, Mehul; Flahive, Andrew; Wouters, Carlo; Rahayu, Wenny; Taniar, David
Related Software: DAML+OIL
Main Fields: Computer science (68-XX)

Ontobee

Cited in 2 Documents (2014–2016)
Software Authors: Zuoshuang Xiang, Chris Mungall, Alan Ruttenberg, Yongqun He
Related Software: Aber-OWL; Galaxy; EMBOSS; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Pronto

Cited in 3 Documents (2015–2017)
Software Authors: Pavel Klinov; Bijan Parsia
Related Software: Trio; Ontop; MayBMS; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

SAMBO

Cited in 1 Document (2007)
Software Authors: Patrick Lambrix; He Tan
Related Software: Anchor-PROMPT; FOAM; KitAMO
Main Fields: Computer science (68-XX)

Aber-OWL

Cited in 1 Document (2016)
Software Authors: Robert Hoehndorf, Luke Slater, Paul N Schofield, Georgios V Gkoutos
Related Software: Ontobee; Galaxy; EMBOSS; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

DisGeNET

Cited in 2 Documents (2019–2021)
Software Authors: Piñero, J., et al
Related Software: EGAD; diffuStats; RANKS; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

Fr-ONT

Cited in 2 Documents (2016–2019)
Software Authors: Agnieszka Lawrynowicz; Jedrzej Potoniec
Related Software: KEGG; Aleph; SimRank; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

FUNC

Cited in 1 Document (2016)
Software Authors: Kay Prüfer, Bjoern Muetzel, Hong-Hai Do, Gunter Weiss, Philipp Khaitovich, Erhard Rahm, Svante Pääbo, Michael Lachmann, Wolfgang Enard
Related Software: EMBOSS; Jmol; PhenomeNET; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

Hydrowl

Cited in 1 Document (2015)
Software Authors: Stoilos, G.
Related Software: Datalog; PAGOdA; HermiT; …
Main Fields: Computer science (68-XX)

ICOM

Cited in 2 Documents (2001–2020)
Software Authors: Pablo R. Fillottrani; Enrico Franconi; Sergio Tessaris
Related Software: KL-ONE; FaCT++
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ImmunoGrid

Cited in 2 Documents (2012)
Software Authors: F Pappalardo, MD Halling-Brown, et. al.
Related Software: SNOOPY
Main Fields: Numerical analysis (65-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

INDUS

Cited in 1 Document (2005)
Software Authors: Caragea, Doina; Zhang, Jun; Bao, Jie; Pathak, Jyotishman; Honavar, Vasant
Related Software:
Main Fields: Computer science (68-XX)

Isabelle/DOF

Cited in 2 Documents (2018–2021)
Software Authors: Brucker, Achim D.; Ait-Sadoune, Idir; Crisafulli, Paolo; Wolff, Burkhart
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; …
Main Fields: Computer science (68-XX)

KitAMO

Cited in 1 Document (2007)
Software Authors: Lambrix, Patrick; Tan, He
Related Software: FOAM; Etuner; iSPARQL; …
Main Fields: Computer science (68-XX)

OIM

Cited in 2 Documents (2010–2015)
Software Authors: M. Davidovsky, V. Ermolayev, V. Tolok
Related Software: ODV; ProjectNavigator
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

OntoDebug

Cited in 2 Documents (2018–2022)
Software Authors: Schekotihin, Konstantin; Rodler, Patrick; Schmid, Wolfgang
Related Software: MERGEXPLAIN; Protege; Pellet; …
Main Fields: Computer science (68-XX)

OntoLog

Cited in 1 Document (2002)
Software Authors: Heggland, Jon
Related Software: OVID; SpeechSkimmer; Logjam; …
Main Fields: Computer science (68-XX)

ORE

Cited in 1 Document (2018)
Software Authors: Lehmann, J., Bühmann, L.
Related Software: Swoop; Pellet; MERGEXPLAIN; …
Main Fields: Computer science (68-XX)

PULi

Cited in 2 Documents (2018–2022)
Software Authors: Kazakov, Yevgeny; Skočovský, Peter
Related Software: BEACON; ELK; QUICKXPLAIN; …
Main Fields: Computer science (68-XX)

SoFAR

Cited in 1 Document (2003)
Software Authors: Moreau, Luc, Zaini, Norliza, Cruickshank, Don; De Roure, David
Related Software: MPICH-G2; i*
Main Fields: Computer science (68-XX)

VOWL

Cited in 2 Documents (2017)
Software Authors: Lohmann, S., Negru, S., Haag, F., Ertl, T.
Related Software: Hyperproof; SOVA; Speedith; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

AeroDAML

Cited in 1 Document (2002)
Software Authors: P. Kogut, W. Holmes
Related Software: MnM
Main Fields: Computer science (68-XX)

Alana

Cited in 1 Document (2022)
Software Authors: A. Curry, I. Papaioannou, A. Suglia, S. Agarwal, I. Shalyminov, X. Xinnuo, O. Dusek, A. Eshghi, I. Konstas, V. Rieser, O. Lemon
Related Software: ELIZA; FotoForensics; AggGen; …
Main Fields: Computer science (68-XX)

ATHENA

Cited in 1 Document (2019)
Software Authors: Saha, D., A. Floratou, K. Sankaranarayanan, U. F. Minhas, A. R. Mittal, F. Özcan
Related Software: BabelNet; SLING; StanfordCoreNLP; …
Main Fields: Computer science (68-XX)

BioLattice

Cited in 1 Document (2016)
Software Authors: Kim, J.; Chung, H.-J.; Jung, Y.; Kim, K.-K.; Kim, J. H.
Related Software: GSEA-P
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

BioSQL

Cited in 0 Documents
Software Authors: biosql.org
Related Software: Omics Pipe; Anaconda; IPython; …
Main Fields:

Brain

Cited in 1 Document (2016)
Software Authors: Samuel Croset, John Overington, Dietrich Rebholz-Schuhmann
Related Software: EMBOSS; Jmol; PhenomeNET; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

CAMLET

Cited in 1 Document (2002)
Software Authors: Akihiro Suyama; Naoya Negishi; Takahira Yamaguchi
Related Software: PERL
Main Fields: Computer science (68-XX)

CREAM

Cited in 1 Document (2002)
Software Authors: Ram, Sudha; Park, Jinsoo; Hwang, Yousub
Related Software:
Main Fields: Computer science (68-XX)

Evonne

Cited in 1 Document (2022)
Software Authors: Alrabbaa, Christian; Baader, Franz; Borgwardt, Stefan; Dachselt, Raimund; Koopmann, Patrick; Méndez, Julián
Related Software: ELK; Protege-TS; FAME
Main Fields: Computer science (68-XX)

EvoOnt

Cited in 0 Documents
Software Authors: Christoph Kiefer, Abraham Bernstein, Jonas Tappolet
Related Software: SEQUEL; iSPARQL; GitHub; …
Main Fields:

FAIMS Mobile

Cited in 0 Documents
Software Authors: Brian Ballsun-Stanton, Shawn A. Ross, Adela Sobotkova, Penny Crook
Related Software: KoBoToolbox
Main Fields:

Fluent Editor

Cited in 1 Document (2018)
Software Authors: Cognitum
Related Software: NeOn; rOntorion; Isabelle/DOF; …
Main Fields: Computer science (68-XX)

Jabberwocky

Cited in 0 Documents
Software Authors: Samantha C Pendleton; Georgios V Gkoutos
Related Software: Beautiful Soup; Scikit; tagtog; …
Main Fields:

JPhyloRef

Cited in 0 Documents
Software Authors: Gaurav Vaidya, Nico Cellinese, Hilmar Lapp
Related Software: ELK
Main Fields:

KDDONTO

Cited in 1 Document (2014)
Software Authors: C. Diamantini, D. Potena, E. Storti
Related Software: NEURON; SIRENE; UniProt; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

KNAML

Cited in 1 Document (2004)
Software Authors: Streeter, Gordon; Potter, Andrew
Related Software:
Main Fields: Computer science (68-XX)

LETHE

Cited in 1 Document (2019)
Software Authors: Koopmann, P., Schmidt, R.A.
Related Software: FAME; BioPortal
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MaSTerClass

Cited in 1 Document (2014)
Software Authors: I. Spasic, S. Ananiadou, J. Tsujii
Related Software: NEURON; SIRENE; UniProt; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

MetNetGE

Cited in 1 Document (2020)
Software Authors: Ming Jia, Suh-Yeon Choi, Dirk Reiners, Eve S Wurtele, Julie A Dickerson
Related Software: ArchiLD; WebMap
Main Fields: Statistical mechanics, structure of matter (82-XX)

MoMo

Cited in 1 Document (2007)
Software Authors: Ovchinnikova, Ekaterina; Richter, Frank
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mathematics education (97-XX)

NetSDM

Cited in 1 Document (2019)
Software Authors: Kralj, Jan; Robnik-Sikonja, Marko; Lavrac, Nada
Related Software: SimRank; Orange4WS; PL-ranking; …
Main Fields: Computer science (68-XX)

ODV

Cited in 1 Document (2015)
Software Authors: V. Ermolayev, A. Copylov, N. Keberle, E. Jentzsch, W.-E . Matzke
Related Software: OIM
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Filter Results by …

all top 5

Related Software

all top 3

Main Field