Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Winter, Michael
2011.
Relational and Algebraic Methods in Computer Science.
Vol. 6663,
Issue. ,
p.
70.
Aameri, Bahar
and
Winter, Michael
2011.
Relational and Algebraic Methods in Computer Science.
Vol. 6663,
Issue. ,
p.
74.
Atampore, Francis
and
Winter, Michael
2012.
Relational and Algebraic Methods in Computer Science.
Vol. 7560,
Issue. ,
p.
248.
Macedo, Nuno
Pacheco, Hugo
and
Cunha, Alcino
2012.
Relational and Algebraic Methods in Computer Science.
Vol. 7560,
Issue. ,
p.
146.
Ghardallou, Wided
Mraihi, Olfa
Louhichi, Asma
Jilani, Lamia Labed
Bsaies, Khaled
and
Mili, Ali
2012.
A versatile concept for the analysis of loops.
The Journal of Logic and Algebraic Programming,
Vol. 81,
Issue. 5,
p.
606.
Oliveira, José N.
2012.
Implementation and Application of Automata.
Vol. 7381,
Issue. ,
p.
52.
Oliveira, Jose N.
and
Ferreira, Miguel A.
2013.
Alloy Meets the Algebra of Programming: A Case Study.
IEEE Transactions on Software Engineering,
Vol. 39,
Issue. 3,
p.
305.
Oliveira, José N.
2014.
Relational and Algebraic Methods in Computer Science.
Vol. 8428,
Issue. ,
p.
119.
Berghammer, Rudolf
Höfner, Peter
and
Stucke, Insa
2014.
Relational and Algebraic Methods in Computer Science.
Vol. 8428,
Issue. ,
p.
173.
Berghammer, Rudolf
Danilenko, Nikita
and
Schnoor, Henning
2014.
Relational and Algebraic Methods in Computer Science.
Vol. 8428,
Issue. ,
p.
309.
Anderson, Carolyn Jane
Foster, Nate
Guha, Arjun
Jeannin, Jean-Baptiste
Kozen, Dexter
Schlesinger, Cole
and
Walker, David
2014.
NetKAT.
p.
113.
Anderson, Carolyn Jane
Foster, Nate
Guha, Arjun
Jeannin, Jean-Baptiste
Kozen, Dexter
Schlesinger, Cole
and
Walker, David
2014.
NetKAT.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 1,
p.
113.
Berghammer, Rudolf
2014.
Computer Algebra in Scientific Computing.
Vol. 8660,
Issue. ,
p.
13.
Berghammer, Rudolf
Höfner, Peter
and
Stucke, Insa
2015.
Relational and Algebraic Methods in Computer Science.
Vol. 9348,
Issue. ,
p.
275.
Berghammer, Rudolf
and
Guttmann, Walter
2015.
Relational and Algebraic Methods in Computer Science.
Vol. 9348,
Issue. ,
p.
67.
Desharnais, Jules
Diallo, Nafi
Ghardallou, Wided
Frias, Marcelo F.
Jaoua, Ali
and
Mili, Ali
2015.
Relational and Algebraic Methods in Computer Science.
Vol. 9348,
Issue. ,
p.
191.
Berghammer, Rudolf
Stucke, Insa
and
Winter, Michael
2015.
Relational and Algebraic Methods in Computer Science.
Vol. 9348,
Issue. ,
p.
257.
Joshi, Vaibhav B.
Gupta, Dhruv
and
Raval, Mehul S.
2016.
Digital-Forensics and Watermarking.
Vol. 9569,
Issue. ,
p.
323.
Berghammer, Rudolf
2017.
Relational and Algebraic Methods in Computer Science.
Vol. 10226,
Issue. ,
p.
60.
Wang, Chuan-Ju
Wang, Ting-Hsiang
Yang, Hsiu-Wei
Chang, Bo-Sin
and
Tsai, Ming-Feng
2017.
ICE.
p.
85.