×

Found 15 Software Packages (Results 1–15)

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); …

Jolie

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

AO4BPEL

Cited in 2 Documents (2012–2013)
Software Authors: Charfi A, Mezini M
Related Software: WebSphere; JML; WSAT; …
Main Fields: Computer science (68-XX)

Impromptu

Cited in 8 Documents (2002–2011)
Software Authors: Grishikashvili, Ella; Allen, M.; Taleb-Bendiab, A.
Related Software:
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Functional analysis (46-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)

CAFISE

Cited in 3 Documents (2003–2006)
Software Authors: Li, Gang; Zhao, Zhuofeng; Han, Yanbo; Liang, Ying
Related Software: XtremWeb
Main Fields: Computer science (68-XX)

JClarens

Cited in 0 Documents
Software Authors: Michael Thomas, Conrad Steenberg, Frank van Lingen, Harvey Newman, Julian Bunn, Arshad Ali, Richard McClatchey, Ashiq Anjum, Tahir Azim, Waqas ur Rehman, Faisal Khan, Jang Uk In
Related Software: Giggle; Chameleon; Nimrod/G
Main Fields:

LPaaS

Cited in 1 Document (2018)
Software Authors: Calegari, Roberta; Denti, Enrico; Mariani, Stefano; Omicini, Andrea
Related Software: TuCSoN; Linda; B-Prolog; …
Main Fields: Computer science (68-XX)

ODRA

Cited in 0 Documents
Software Authors: Kazimierz Subieta; ODRA team
Related Software: Oracle; SBQL
Main Fields:

Aneka

Cited in 0 Documents
Software Authors:
Related Software: OpenNebula; Amazon EC2; Eucalyptus; …
Main Fields:

Fortify

Cited in 0 Documents
Software Authors: Natarajan Meghanathan
Related Software:
Main Fields:

InstQL

Cited in 1 Document (2010)
Software Authors: Hopton, Luke; Cliffe, Owen; De Vos, Marina; Padget, Julian
Related Software: Smodels
Main Fields: Computer science (68-XX)

JS-son

Cited in 0 Documents
Software Authors: Timotheus Kampik, Juan Carlos Nieves
Related Software: JAM; Jupyter; Node.js; …
Main Fields:

Tendermint

Cited in 0 Documents
Software Authors: Buchman, Ethan
Related Software: ZooKeeper; go; JavaScript
Main Fields: Computer science (68-XX)

StreamFlex

Cited in 0 Documents
Software Authors: Spring JH, Privat J, Guerraoui R, Vitek J.
Related Software:
Main Fields:

Filter Results by …

all top 5

Related Software

all top 3

Main Field