Overview
Employees
51-200
Mentions in press and media 3
| Date | Title | Description |
| Sign up to see | Sign up to see | Sign up to see |
| Nov 16, 2021 | Первый truly stateless оптимальный алгоритм модел-чекера и его проверка на Coq | Надоели нестабильные баги в многопоточном коде? Попробуй воспользоваться модел-чекерами! Ведь больше не надо бояться неверифицированных модел-чекеров, работающих либо за экспоненциальное время, либо неоптимально. Все это в прошлом: в Max Pl... |
| Mar 19, 2010 | The Million Follower Fallacy: Audience Size Doesn’t Prove Influence on Twitter | A group of researchers have proven something we already expected to be the case: your Twitter follower count is somewhat of a meaningless metric when it comes to determining influence. To reach this conclusion, the researchers examined the ... |
Reviews 0
FAQ about MPI SWS
What has the press written about MPI SWS?
Parsers VC has collected 3 articles mentioning MPI SWS, among them “Первый truly stateless оптимальный алгоритм модел-чекера и его проверка на Coq” (Nov 16, 2021) and “The Million Follower Fallacy: Audience Size Doesn’t Prove Influence on Twitter” (Mar 19, 2010).
Is MPI SWS still active?
Yes, MPI SWS is active; its latest activity on Parsers VC dates from Dec 26, 2023.