Jan Rutten
AuthID: R-006-WT0
1
TÃTULO: The Aftercare Survey: Assessment and intervention practices after brain tumor surgery in Europe
AUTORES: 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; ...Mais
PUBLICAÇÃO: 2022, FONTE: NEURO-ONCOLOGY PRACTICE, VOLUME: 9, NÚMERO: 4
AUTORES: 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; ...Mais
PUBLICAÇÃO: 2022, FONTE: NEURO-ONCOLOGY PRACTICE, VOLUME: 9, NÚMERO: 4
INDEXADO EM: Scopus WOS
2
TÃTULO: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
AUTORES: Frank S de Boer; Marcello M Bonsangue; Jan Rutten;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination, VOLUME: 10865
AUTORES: Frank S de Boer; Marcello M Bonsangue; Jan Rutten;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination, VOLUME: 10865
INDEXADO EM: DBLP
3
TÃTULO: Enhanced coalgebraic bisimulation
AUTORES: Jurriaan Rot; Filippo Bonchi; Marcello M Bonsangue; Damien Pous; Jan Rutten; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: Mathematical Structures in Computer Science, VOLUME: 27, NÚMERO: 7
AUTORES: Jurriaan Rot; Filippo Bonchi; Marcello M Bonsangue; Damien Pous; Jan Rutten; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: Mathematical Structures in Computer Science, VOLUME: 27, NÚMERO: 7
INDEXADO EM: DBLP
4
TÃTULO: A coalgebraic view on decorated traces
AUTORES: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 7
AUTORES: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 7
INDEXADO EM: WOS DBLP
5
TÃTULO: Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm Full Text
AUTORES: Filippo Bonchi; Marcello M Bonsangue; Helle H Hansen; Prakash Panangaden; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, NÚMERO: 1
AUTORES: Filippo Bonchi; Marcello M Bonsangue; Helle H Hansen; Prakash Panangaden; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, NÚMERO: 1
6
TÃTULO: Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
AUTORES: Franck van Breugel; Elham Kashefi; Catuscia Palamidessi; Jan Rutten;
PUBLICAÇÃO: 2014, FONTE: Horizons of the Mind, VOLUME: 8464
AUTORES: Franck van Breugel; Elham Kashefi; Catuscia Palamidessi; Jan Rutten;
PUBLICAÇÃO: 2014, FONTE: Horizons of the Mind, VOLUME: 8464
INDEXADO EM: DBLP
7
TÃTULO: A coalgebraic view on decorated traces
AUTORES: BONCHI, F; BONSANGUE, M; CALTAIS, G; RUTTEN, J; SILVA, A ;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science, VOLUME: 26, NÚMERO: 07
AUTORES: BONCHI, F; BONSANGUE, M; CALTAIS, G; RUTTEN, J; SILVA, A ;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science, VOLUME: 26, NÚMERO: 07
8
TÃTULO: Automatic equivalence proofs for non-deterministic coalgebras Full Text
AUTORES: Marcello Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 9
AUTORES: Marcello Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 9
9
TÃTULO: Generalizing determinization from automata to coalgebras PDF Full Text
AUTORES: Alexandra Silva ; Filippo Bonchi; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLICAÇÃO: 2013, FONTE: Logical Methods in Computer Science, VOLUME: 9, NÚMERO: 1
AUTORES: Alexandra Silva ; Filippo Bonchi; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLICAÇÃO: 2013, FONTE: Logical Methods in Computer Science, VOLUME: 9, NÚMERO: 1
10
TÃTULO: Automatic Equivalence Proofs for Non-deterministic Coalgebras PDF
AUTORES: Marcello M. Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J. M. M. Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1303.1994
AUTORES: Marcello M. Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J. M. M. Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1303.1994
INDEXADO EM: DBLP arXiv