×

Found 24 Software Packages (Results 1–24)

Ptolemy

Software Authors:   Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia Sachs, Yuhong Xiong
Cited in: 64 Publications (1995–2022)
Related Software: Metropolis; Simulink; StateFlow; Esterel; SIGNAL; Reo; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PMaude

Software Authors:   Gul Agha; José Meseguer; Koushik Sen
Cited in: 26 Publications (2005–2021)
Related Software: Maude; PVeStA; VESTA; CafeOBJ; ITP; PRISM; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

latentnet

Software Authors:   Pavel N. Krivitsky, Mark S. Handcock
Cited in: 16 Publications (2010–2022)
Related Software: R; statnet; ergm; igraph; network; SAS; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

ANF

Software Authors:   C.R. Palmer, P.B. Gibbons, C. Faloutsos
Cited in: 12 Publications (2005–2017)
Related Software: HyperLogLog; gSpan; WebGraph; KronFit; SNAP; CloseGraph; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

UrbanSim

Software Authors:   Waddell P, Borning A, Noth M, Freier N, Becke M, Ulfarsson G
Cited in: 9 Publications (2005–2022)
Related Software: UScensus2000; maptools; acs; ASA; sms; devtools; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

Temporal_Eigenvector_Centrality

Software Authors:   Taylor, Dane; Myers, Sean A.; Clauset, Aaron; Porter, Mason A.; Mucha, Peter J.
Cited in: 10 Publications (2016–2021)
Related Software: GenLouvain; RolX; Mathematics Genealogy Project; SNAP; Supracentrality; Basemap; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)

Kilim

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

VGGFace2

Software Authors:   Qiong Cao, Li Shen, Weidi Xie, Omkar M. Parkhi, Andrew Zisserman
Cited in: 3 Publications (2020–2022)
Related Software: PyTorch; ImageNet; Python; FaceNet; ArcFace; Grad-CAM; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Sociodynamica

Software Authors:   Jaffé, Klaus
Cited in: 4 Publications (2017–2022)
Related Software:
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

DART

Software Authors:   MacIntyre B, Gandy M, Dow S, Bolter JD
Cited in: 0 Publications
Related Software: iCAP; ARToolKit; OpenGL; calib
Main Fields:

SoNIA

Software Authors:   Bender-deMoll S, McFarland DA
Cited in: 1 Publication (2013)
Related Software: R; ergm; network; sna; Ucinet; dynamicnetwork; …
Main Fields: Computer science (68-XX)

Timed Rebeca

Software Authors:   Khamespanah, E., Sirjani, M., Sabahi-Kaviani, Z., Khosravi, R., Izadi, M.
Cited in: 3 Publications (2016–2020)
Related Software: Rebeca; Uppaal; SPIN; HOL/SPIN
Main Fields: Computer science (68-XX)

Akkaprof

Software Authors:   Rosà, Andrea; Chen, Lydia Y.; Binder, Walter
Cited 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)

SIENA

Software Authors:   Ripley R, Snijders TA, Boda Z, Vörös A, Preciado P
Cited in: 0 Publications
Related Software: R; network; statnet; GRADAP; MultiNet; KrackPlot; …
Main Fields:

SilviLab

Software Authors:   FORAC Team; Bouchard, M.; D’Amours, S.; Rönnqvist, M.; Azouzi, R.; Gunn, E.
Cited in: 2 Publications (2017–2018)
Related Software: LogiLab
Main Fields: Operations research, mathematical programming (90-XX)

DEVSimPy

Software Authors:   L. Capocchi, J.-F. Santucci, B. Poggi, C. Nicolai
Cited in: 0 Publications
Related Software: Bottle; Apache Cordova; Plotly; Pusher; SoapUI; Ionic; …
Main Fields:

Endorse

Software Authors:   Shiraito, Y., Imai, K.
Cited in: 1 Publication (2013)
Related Software: spsurvey; SDaA; odprism; TeachingSampling; lavaan.survey; RDS; …
Main Fields: Statistics (62-XX)

GraphCT

Software Authors:   Ediger, D; Jiang, K; Riedy, J; Bader, D
Cited in: 1 Publication (2011)
Related Software: NETAL
Main Fields: Operations research, mathematical programming (90-XX)

MALOnt

Software Authors:   Nidhi Rastogi, Sharmishtha Dutta, Mohammed J. Zaki, Alex Gittens, Charu Aggarwal
Cited in: 0 Publications
Related Software: RoBERTa; Transformers; T-NER; brat; BERT; flair; …
Main Fields:

MaPIR

Software Authors:   Wightman, Pedro Mario; Zurbarán, Mayra; Rodríguez, Miguel; Labrador, Miguel A
Cited in: 1 Publication (2022)
Related Software: SpaceTwist; LocLok; Casper*; LP3Verif; CVC4
Main Fields: Computer science (68-XX)

PACMAN

Software Authors:   Angilella, Silvia; Giarlotta, Alfio; Lamantia, Fabio
Cited in: 1 Publication (2010)
Related Software: UTA Plus; M-MACBETH; ELECTRE
Main Fields: Operations research, mathematical programming (90-XX)

Sim4CV

Software Authors:   Matthias Müller, Vincent Casser, Jean Lahoud, Neil Smith, Bernard Ghanem
Cited in: 0 Publications
Related Software: UnrealCV; AirSim; TORCS; RotorS; OpenAI Gym; CARLA; …
Main Fields:

BiDAl

Software Authors:   Balliu, Alkida; Olivetti, Dennis; Babaoglu, Ozalp; Marzolla, Moreno; S^{i}rbu, Alina
Cited in: 0 Publications
Related Software:
Main Fields:

GEXF

Software Authors:   Gephi
Cited in: 0 Publications
Related Software:
Main Fields: