Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Statebox |
Description | Statebox is a formally verified process Home About Research Newsletter Team Talks Blog Statebox is a formally verified process language. Learn more about Statebox Compositional Game Engine In th |
Keywords | N/A |
WebSite | statebox.org |
Host IP | 104.198.14.52 |
Location | United States |
Site | Rank |
US$1,137,561
Last updated: 2023-05-13 21:59:36
statebox.org has Semrush global rank of 9,304,389. statebox.org has an estimated worth of US$ 1,137,561, based on its estimated Ads revenue. statebox.org receives approximately 131,257 unique visitors each day. Its web server is located in United States, with IP address 104.198.14.52. According to SiteAdvisor, statebox.org is safe to visit. |
Purchase/Sale Value | US$1,137,561 |
Daily Ads Revenue | US$1,051 |
Monthly Ads Revenue | US$31,502 |
Yearly Ads Revenue | US$378,021 |
Daily Unique Visitors | 8,751 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
statebox.org. | A | 3600 | IP: 104.198.14.52 |
statebox.org. | NS | 86400 | NS Record: ns2.transip.eu. |
statebox.org. | NS | 86400 | NS Record: ns0.transip.net. |
statebox.org. | NS | 86400 | NS Record: ns1.transip.nl. |
statebox.org. | MX | 3600 | MX Record: 10 mail.protonmail.ch. |
statebox.org. | TXT | 3600 | TXT Record: v=spf1 include:_spf.protonmail.ch mx ~all |
statebox.org. | TXT | 3600 | TXT Record: protonmail-verification=70dac4550c12f8ab7458b6049a194aa54ca029e1 |
Home About Research Newsletter Team Talks Blog Statebox is a formally verified process language. Learn more about Statebox Compositional Game Engine In this post, we introduce a software engine for game theoretic modelling. Its development is supported through a grant by the Ethereum Foundation. Read more here . New Paper Accepted at LICS 2021 We are excited to announce that the paper Categories of Nets, authored by our very own Fabrizio in collaboration with John Baez, Jade Master and Michael Shulman has been accepted to LICS 2021. This paper systematizes the complex relations between different flavors of Petri nets and monoidal categories. This relationship is also the core idea upon which Statebox relies. ?✨ Find out more here . Category Theory Course The next category theory course takes place online on 18-21 October 2021. Sign up here . New Grant Statebox is a grantee of the Ethereum Foundation Ecosystem Support Program. Read more here . Diagram Editor The Statebox diagram editor |
HTTP/1.1 301 Moved Permanently cache-control: public, max-age=0, must-revalidate content-length: 36 content-type: text/plain date: Tue, 21 Dec 2021 14:37:00 GMT x-nf-request-id: 01FQG905P59VMHV2017QGS2TP1 location: https://statebox.org/ server: Netlify age: 52659 HTTP/2 200 cache-control: public, max-age=0, must-revalidate content-type: text/html; charset=UTF-8 date: Wed, 22 Dec 2021 05:14:39 GMT etag: "0e46e9d4d443d89fae7c073ffd3a0700-ssl" strict-transport-security: max-age=31536000 server: Netlify age: 0 x-nf-request-id: 01FQG905ZDMYRPQK234APBR31A content-length: 0 |
Domain Name: STATEBOX.ORG Registry Domain ID: D152204978-LROR Registrar WHOIS Server: whois.rrpproxy.net Registrar URL: http://www.key-systems.net Updated Date: 2021-08-04T00:38:00Z Creation Date: 2008-03-30T21:10:19Z Registry Expiry Date: 2022-03-30T21:10:19Z Registrar: Key-Systems GmbH Registrar IANA ID: 269 Registrar Abuse Contact Email: abuse@key-systems.net Registrar Abuse Contact Phone: +49.68949396850 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant Organization: Statebox Registrant Country: NL Name Server: NS1.TRANSIP.NL Name Server: NS0.TRANSIP.NET Name Server: NS2.TRANSIP.EU DNSSEC: signedDelegation URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-12-25T18:09:52Z <<< |