Seminars

• 11/12 Nicola Cotumaccio:
  "Data Compression Meets Automata Theory"

• 25/09 Adiel Tuyishime:
  "Bridging Workflow Automation Tools and EMF Modeling Ecosystems"

• 13/01 Maurizio Murgia:
  "Timed Session Types"

• Jul, 27. Clemens Grabmeyer:
  "Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete"

• Jun, 21. Adiel Tuyishime:
  "Modeling Linked Open Data"

• Apr, 7. Luciana Rebelo:
  "Towards Verification and Validation techniques applied to critical software systems"

• Mar, 17. Nicola Cotumaccio:
  "Succinct pattern matching indexes for graphs and automata"

• Mar, 17. Emerson Sales:
  "A Prototype for Data Race Detection in CSeq 3"

Some of the talks by members of CS@GSSI were taking place in the Joint ICE-TCS CS@GSSI Virtual Seminar Series.

• Nov, 9. Riccardo Pinciroli:
  "Optimizing the Performance of Cloud Applications"

• Jun, 11. Mohammad Abouei Mehrizi:
  "Multi-Winner Election Control via Social Influence"

• Jan, 31. Hugo Gilbert:
  "Beyond Pairwise Comparisons in Social Choice: A Setwise Kemeny Aggregation Problem"

• Jan, 31. Hugo Gilbert:
  "Balancing Spreads of Influence in a Social Network"

• Jan, 31. Alessandro Balestrucci:
  "How many bots are you following?"

• Jan, 10. Ruben Becker:
  "Low Diameter Graph Decompositions by Approximate Distance Computation"

• Dec, 2. Sara Rizzo:
  "Step-by-Step Community Detection in Volume-Regular Graphs"

• Nov, 13. Carlo Taticchi:
  "A Cooperative-game Approach to Share Acceptability and Rank Arguments"

• Nov, 6. Alessandro Balestrucci:
  "Do you really follow them? Automatic detection of credulous Twitter users"

• Oct, 8. Ruben Becker:
  "Distributed Algorithms for Low Stretch Spanning Trees"

• Mar, 28. Alessandro Balestrucci:
  "Identification of Credulous Users on Twitter"

• Mar, 18. Costanza Catalano:
  "Two probabilistic approaches to primitive labeled digraphs"

• Nov, 20. Gianlorenzo D'Angelo:
  "Social influence for election control"

• Nov, 19. Clemens Grabmayer:
  "The process semantics of regular expressions"

• Nov, 19. Martina De Sanctis:
  "Dynamic Adaption of Service-Based Systems: a Design for Adaption Framework"

• Nov, 19. Hugo Gilbert:
  "Optimizing Decision Criteria under Stability Constraints in Matching and Voting Problems"

• Nov, 14. Vahan Mkrtchyan:
  "Three algorithmic problems in combinatorial optimization"

• Nov, 14. Bojana Kodric:
  "Incentives in Dynamic Markets"

• Nov, 13. Ruben Becker:
  "What I [Have Worked/Am Working/Want To Be Working] On"

• Nov, 13. Nilakantha Paudel:
  "An Overview of my Research Work to Date"

• Jul, 25. Francesco Cellinese:
  "Generalized budgeted submodular set function maximization"

• Jun, 28. Emilio Cruciani and Roberto Verdecchia:
  "FAST Approaches to Scalable Similarity-based Test Case Prioritization"

• Jun, 22. Luca Di Stefano:
  "Multi-Agent Systems with Virtual Stigmergy"

• Jun, 6. Carlo Taticchi:
  "On Looking for Local Expansion Invariants in Argumentation Semantics"                                                   
  "A Matrix Approach for Weighted Argumentation Frameworks"

• Apr, 18. Paolo Di Francesco:
  "Migrating towards Microservice Architectures: an Industrial Survey"

• Mar, 12. Gian Luca Scoccia:
  "An Extensible Approach for Taming the Challenges of JavaScript Dead Code Elimination"

• Feb, 14. Luca Aceto:
  "Rule Formats for Structural Operational Semantics: A Very Short Introduction"

• Jan, 31. Ahmed Abdelsalam:
  "Chaining of Virtual Network Functions"

• Jan, 28. Emilio Cruciani:
  "Phase Transition of the 2-Choices Dynamics on Core-Periphery Networks"