E-LIB Suche - Ergebnisse für: Bonsangue, Marcello M.

1

Data Science and Artificial Intelligence: First Internation..

Communications in Computer and Information Science, 1942

Anutariya, Chutiporn ; Bonsangue, Marcello M - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

2

How to Evaluate Games in Education: A Literature Review:

, In: Lecture Notes in Educational Technology; Smart Learning for A Sustainable Society,

Barbero, Giulio ; Bonsangue, Marcello M. ; Hermans, Felienne F. J. - p. 32-41 , 2023

Link: https://doi.org/10.1007/..

3

Minimisation in Logical Form:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,

Bezhanishvili, Nick ; Bonsangue, Marcello M. ; Hansen, Helle Hvid... - p. 89-127 , 2023

Link: https://doi.org/10.1007/..

4

Automatic Human-Like Detection of Code Smells:

, In: Discovery Science; Lecture Notes in Computer Science,

Soomlek, Chitsutha ; van Rijn, Jan N. ; Bonsangue, Marcello M. - p. 19-28 , 2021

Link: https://doi.org/10.1007/..

5

On the Nature of Symbolic Execution:

, In: 2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),

de Boer, Frank S. ; Bonsangue, Marcello M. - p. 4-5 , 2019

Link: https://doi.org/10.1109/..

6

Model Checking Longitudinal Control in Vehicle Platoon Syst..:

Peng, Cong ; Bonsangue, Marcello M. ; Xu, Zhongwei
IEEE Access. 7 (2019) - p. 112015-112025 , 2019

Link: https://doi.org/10.1109/..

7

Context-free coalgebras:

Winter, Joost ; Bonsangue, Marcello M. ; Rutten, Jan J.M.M.
Journal of Computer and System Sciences. 81 (2015) 5 - p. 911-939 , 2015

Link: https://doi.org/10.1016/..

8

Algebra-coalgebra duality in brzozowski's minimization algo..:

Bonchi, Filippo ; Bonsangue, Marcello M. ; Hansen, Helle H....
ACM Transactions on Computational Logic (TOCL). 15 (2014) 1 - p. 1-29 , 2014

Link: https://dl.acm.org/doi/1..

9

Algebra-coalgebra duality in brzozowski's minimization algo..:

Bonchi, Filippo ; Bonsangue, Marcello M. ; Hansen, Helle H....
ACM Transactions on Computational Logic. 15 (2014) 1 - p. 1-29 , 2014

Link: https://doi.org/10.1145/..

10

Rational Operational Models:

Milius, Stefan ; Bonsangue, Marcello M. ; Myers, Robert S.R..
Electronic Notes in Theoretical Computer Science. 298 (2013) - p. 257-282 , 2013

Link: https://doi.org/10.1016/..

11

Sound and Complete Axiomatizations of Coalgebraic Language ..:

Bonsangue, Marcello M. ; Milius, Stefan ; Silva, Alexandra
ACM Transactions on Computational Logic. 14 (2013) 1 - p. 1-52 , 2013

Link: https://doi.org/10.1145/..

12

Sound and Complete Axiomatizations of Coalgebraic Language ..:

Bonsangue, Marcello M. ; Milius, Stefan ; Silva, Alexandra
ACM Transactions on Computational Logic (TOCL). 14 (2013) 1 - p. 1-52 , 2013

Link: https://dl.acm.org/doi/1..

13

Formal methods for components and objects

9th international symposium, FMCO 2010, Graz, Austria, Nove... Lecture notes in computer science ; 6957

Aichernig, Bernhard K. ; Bonsangue, Marcello M. ; Boer, Frank S. de , 2011

Link: http://dx.doi.org/10.100..

14

Formal methods for components and objects

8th international symposium, FMCO 2009, Eindhoven, The Neth... Lecture notes in computer science ; 6286

Boer, Frank S. de ; Bonsangue, Marcello M. ; Hallerstede, Stefan. , 2010

Link: http://dx.doi.org/10.100..

15

Formal methods for components and objects

7th international symposium, FMCO 2008, Sophia Antipolis, F... Lecture notes in computer science ; 5751

Boer, Frank S. de ; Bonsangue, Marcello M. ; Madelaine, Eric , 2009

Link: http://dx.doi.org/10.100..