Jan Rutten
AuthID: R-006-WT0
1
TITLE: The Aftercare Survey: Assessment and intervention practices after brain tumor surgery in Europe
AUTHORS: Sierpowska, Joanna; Rofes, Adria; Dahlslatt, Kristoffer; Mandonnet, Emmanuel; ter Laan, Mark; Polczynska, Monika; Hamer, Philip De Witt; Halaj, Matej; Spena, Giannantonio; Meling, Torstein R.; Motomura, Kazuya; Reyes, Andres Felipe; Campos, Alexandre Rainha; Robe, Pierre A.; Zigiotto, Luca; Sarubbo, Silvio; Freyschlag, Christian F.; Broen, Martijn P. G.; Stranjalis, George; Papadopoulos, Konstantinos; ...More
PUBLISHED: 2022, SOURCE: NEURO-ONCOLOGY PRACTICE, VOLUME: 9, ISSUE: 4
AUTHORS: Sierpowska, Joanna; Rofes, Adria; Dahlslatt, Kristoffer; Mandonnet, Emmanuel; ter Laan, Mark; Polczynska, Monika; Hamer, Philip De Witt; Halaj, Matej; Spena, Giannantonio; Meling, Torstein R.; Motomura, Kazuya; Reyes, Andres Felipe; Campos, Alexandre Rainha; Robe, Pierre A.; Zigiotto, Luca; Sarubbo, Silvio; Freyschlag, Christian F.; Broen, Martijn P. G.; Stranjalis, George; Papadopoulos, Konstantinos; ...More
PUBLISHED: 2022, SOURCE: NEURO-ONCOLOGY PRACTICE, VOLUME: 9, ISSUE: 4
INDEXED IN: Scopus WOS
2
TITLE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
AUTHORS: Frank S de Boer; Marcello M Bonsangue; Jan Rutten;
PUBLISHED: 2018, SOURCE: It's All About Coordination, VOLUME: 10865
AUTHORS: Frank S de Boer; Marcello M Bonsangue; Jan Rutten;
PUBLISHED: 2018, SOURCE: It's All About Coordination, VOLUME: 10865
INDEXED IN: DBLP
3
TITLE: Enhanced coalgebraic bisimulation
AUTHORS: Jurriaan Rot; Filippo Bonchi; Marcello M Bonsangue; Damien Pous; Jan Rutten; Alexandra Silva;
PUBLISHED: 2017, SOURCE: Mathematical Structures in Computer Science, VOLUME: 27, ISSUE: 7
AUTHORS: Jurriaan Rot; Filippo Bonchi; Marcello M Bonsangue; Damien Pous; Jan Rutten; Alexandra Silva;
PUBLISHED: 2017, SOURCE: Mathematical Structures in Computer Science, VOLUME: 27, ISSUE: 7
INDEXED IN: DBLP
4
TITLE: A coalgebraic view on decorated traces
AUTHORS: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 7
AUTHORS: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 7
INDEXED IN: WOS DBLP
5
TITLE: Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm Full Text
AUTHORS: Filippo Bonchi; Marcello M Bonsangue; Helle H Hansen; Prakash Panangaden; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, ISSUE: 1
AUTHORS: Filippo Bonchi; Marcello M Bonsangue; Helle H Hansen; Prakash Panangaden; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, ISSUE: 1
6
TITLE: Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
AUTHORS: Franck van Breugel; Elham Kashefi; Catuscia Palamidessi; Jan Rutten;
PUBLISHED: 2014, SOURCE: Horizons of the Mind, VOLUME: 8464
AUTHORS: Franck van Breugel; Elham Kashefi; Catuscia Palamidessi; Jan Rutten;
PUBLISHED: 2014, SOURCE: Horizons of the Mind, VOLUME: 8464
INDEXED IN: DBLP
7
TITLE: A coalgebraic view on decorated traces
AUTHORS: BONCHI, F; BONSANGUE, M; CALTAIS, G; RUTTEN, J; SILVA, A ;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science, VOLUME: 26, ISSUE: 07
AUTHORS: BONCHI, F; BONSANGUE, M; CALTAIS, G; RUTTEN, J; SILVA, A ;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science, VOLUME: 26, ISSUE: 07
8
TITLE: Automatic equivalence proofs for non-deterministic coalgebras Full Text
AUTHORS: Marcello Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 9
AUTHORS: Marcello Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 9
9
TITLE: Generalizing determinization from automata to coalgebras PDF Full Text
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLISHED: 2013, SOURCE: Logical Methods in Computer Science, VOLUME: 9, ISSUE: 1
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLISHED: 2013, SOURCE: Logical Methods in Computer Science, VOLUME: 9, ISSUE: 1
10
TITLE: Automatic Equivalence Proofs for Non-deterministic Coalgebras PDF
AUTHORS: Marcello M. Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J. M. M. Rutten; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1303.1994
AUTHORS: Marcello M. Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J. M. M. Rutten; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1303.1994
INDEXED IN: DBLP arXiv