Microsoft (United States)

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
Microsoft (United States)
 
Country Land
United States
 
Type of Organization Organisationstyp
Company
Established Gegründet
1975
 
ROR ID
ISNI
0000 0001 2181 3404
URL
 

OrgUnit's Publications


Results 1-6 of 6 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Brandstätter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance MeasurementsInproceedings Konferenzbeitrag2024
2Brandstatter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu Multi-Agent Spatial Predictive Control with Application to Drone FlockingInproceedings Konferenzbeitrag2023
3Schroeder-2022-Discovering Feature Flag Interdependencies in Microsoft Of...-vor.pdf.jpgSchröder, Michael ; Kevic, Katja ; Gopstein, Dan ; Murphy, Brendan ; Beckmann, Jennifer Discovering Feature Flag Interdependencies in Microsoft OfficeInproceedings Konferenzbeitrag 9-Nov-2022
4Lee, Bongshin ; Miksch, Silvia ; Ynnerman, Anders ; Bezerianos, Anastasia ; Chen, Jian ; Chen, Wei ; Collins, Christopher ; Gleicher, Michael ; Gröller, Eduard ; Lex, Alexander ; Preim, Bernhard ; Seo, Jinwook ; Westermann, Ruediger ; Yang, Jing ; Yuan, Xiaoru ; Shen, Han Wei ; Fekete, Jean Daniel ; Liu, Shixia VIS 2021 - PrefaceArticle Artikel1-Jan-2022
5Dharanikota-2021-Celestial A Smart Contracts Verification Framework-vor.pdf.jpgDharanikota, Samvid ; Mukherjee, Suvam ; Bhardwaj, Chandrika ; Rastogi, Aseem ; Lal, Akash Celestial: A Smart Contracts Verification FrameworkInproceedings Konferenzbeitrag Oct-2021
6Liptchinsky, Vitaliy ; Satzger, Benjamin ; Schulte, Stefan ; Dustdar, Schahram Crowdstore: A Crowdsourcing Graph DatabaseKonferenzbeitrag Inproceedings 2016