Roberto Segala is affiliated with the University of Verona in Italy. Their research primarily falls within the broad field of Computer Science and includes focused work in Computational Theory and Mathematics as well as Hardware and Architecture.
The main topics of Roberto Segala's work include:
Recent scholarly contributions include the paper titled "A computable and compositional semantics for hybrid systems", published in 2024 in the journal Information and Computation. This paper highlights Segala's engagement with formal semantics within hybrid systems.
Roberto Segala frequently collaborates with multiple co-authors in their research projects. These include:
The preferred venue for publication, based on available data, is Information and Computation, where Segala has at least one published work. This suggests a consistent focus on outlets that prioritize computational theory and related disciplines.
Roberto Segala's research trajectory indicates a strong intersection of theoretical computer science elements with practical approaches to system modeling and embedded system design. The blend of formal methods and Petri nets points to an interest in rigorous system verification and modeling techniques that contribute to understanding and developing embedded systems and hybrid computational frameworks.
Roberto Segala
Roberto Segala;Nancy Lynch
Nancy Lynch;Roberto Segala;Frits Vaandrager
Marta Kwiatkowska;Gethin Norman;Roberto Segala;Jeremy Sproston
Roberto Segala;Nancy A. Lynch
Nancy Lynch;Roberto Segala;Frits Vaandrager;H. B. Weinberg
Dilsun Kirli Kaynar;Nancy A. Lynch;Roberto Segala;Frits W. Vaandrager
Luca de Alfaro;Marta Z. Kwiatkowska;Gethin Norman;David Parker
D.K. Kaynar;N. Lynch;R. Segala;F. Vaandrager
Roberto Segala
Rainer Gawlick;Roberto Segala;Jørgen F. Søgaard-Andersen;Jørgen F. Søgaard-Andersen;Nancy A. Lynch
Nancy A. Lynch;Roberto Segala;Frits W. Vaandrager
Stefano Cattani;Roberto Segala
Marta Z. Kwiatkowska;Gethin Norman;Roberto Segala;Jeremy Sproston
Sudhanshu Aggarwal;Sudhanshu Aggarwal;Shay Kutten
Dilsun K. Kaynar;Nancy Lynch;Roberto Segala;Frits Vaandrager
Marta Z. Kwiatkowska;Gethin Norman;Roberto Segala
Emanuele Bandini;Roberto Segala
Roberto Segala
Nancy Lynch;Roberto Segala;Frits Vaandrager
N. Lynch;R. Segala;F.W. Vaandrager;H.B. Weinberg
If you think any of the details on this page are incorrect, let us know.
Exploring computer science in the USA opens doors to a variety of related online degrees and career options. Many students opt for flexible and budget-friendly alternatives. For those starting out, a cheapest bachelor's degree online can be an excellent entry point, helping students manage costs while building a solid academic foundation.
If you're interested in technical fields that overlap with computer science, consider pursuing an engineering degree online. These degrees often include shared coursework and can broaden your skill set for roles in both industries.
For professionals looking to advance into leadership, online emba programs offer tailored business and management training. This pathway is ideal for those aiming to move into tech management or executive roles.
Finally, those drawn to information, data, or digital resource management may be interested in the online mlis programs. These degrees equip graduates for technology-driven positions in libraries, archives, and information centers.
French Institute for Research in Computer Science and Automation - INRIA
Publications: 36
Lawrence Berkeley National Laboratory
Yonsei University
Imperial College London
University of Göttingen
University of Nebraska–Lincoln
University of Cambridge
Yale University
University of Helsinki
University of Washington
University of Allahabad
University of Würzburg
Woods Hole Oceanographic Institution
University of Glasgow
University of Brighton
South China University of Technology
University of Hong Kong
