Found 15 Software Packages (Results 1–15)


Software Authors:   Fu, Xiang; Bultan, Tevfik; Su, Jianwen
Referenced in: 29 Publications (2004–2019)
Related Software: BPEL2PN; CADP; SPIN; LTSA-WS; mCRL2; Woflan; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)


Software Authors:   Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca
Referenced in: 18 Publications (2006–2020)
Related Software: XPi; XDuce; COWS; XPath; CDuce; PIPER; …
Main Fields: Computer science (68-XX)


Software Authors:   S Ponnekanti, A Fox
Referenced in: 5 Publications (2005–2012)
Related Software: Jolie; NuSMV; SHOP2; SPARQL; WSBen; PDDL; …
Main Fields: Computer science (68-XX)


Software Authors:   Jens Lehmann
Referenced in: 7 Publications (2009–2020)
Related Software: BayesOWL; swrl; ElemStatLearn
Main Fields: Computer science (68-XX)


Software Authors:   Pautasso C, Alonso G.
Referenced in: 3 Publications (2007–2012)
Related Software: AO4BPEL; cglib; Google Maps API; JBoss; Jolie; SWORD; …
Main Fields: Computer science (68-XX)


Software Authors:   Tosic, Vladimir; Patel, Kruti; Pagurek, Bernard
Referenced in: 3 Publications (2002–2003)
Related Software: Jess; SNAP; Protege; UDDI
Main Fields: Computer science (68-XX)


Software Authors:   Andreas Heß; Eddie Johnston; Nicholas Kushmerick
Referenced in: 3 Publications (2004–2010)
Related Software: JAsCo; FOAM; WordNet; SHOP2; swrl; SPARQL; …
Main Fields: Computer science (68-XX)


Software Authors:   Paolucci, Massimo; Kawamura, Takahiro; Payne, Terry R.; Sycara, Katia
Referenced in: 1 Publication (2002)
Related Software: SHOP2; swrl; ASSAM; SPARQL; WSOL; XPath; …
Main Fields: Computer science (68-XX)


Software Authors:   Altova
Referenced in: 3 Publications (2005–2016)
Related Software: OSiL; GAMS; AMPL; NETGEN; MINOS; SMPS reader; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)


Software Authors:   Apache
Referenced in: 1 Publication (2016)
Related Software: RabbitMQ; PlanetLab; Hadoop; ProvToolbox; Cytoscape; Komadu; …
Main Fields: Computer science (68-XX)


Software Authors:   S. C. Oh; D. Lee
Referenced in: 1 Publication (2012)
Related Software: SWORD; Graphplan; Okapi; WordNet
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)


Software Authors:   R. A. van Engelen, K. Gallivan
Referenced in: 0 Publications
Related Software: DaStGen; DiPerF; Giggle
Main Fields:


Software Authors:   Milan Felix Šulc; et al.
Referenced in: 0 Publications
Related Software:
Main Fields:


Software Authors:   W. T. Tsai; Ray Paul; Weiwei Song; Zhibin Cao
Referenced in: 0 Publications
Related Software: BLAST
Main Fields:


Software Authors:   Brohee S, et al.
Referenced in: 0 Publications
Related Software: Medusa; jClust; STITCH
Main Fields: