×

zbMATH — the first resource for mathematics

Formal Aspects of Computing

Short Title: Formal Asp. Comput.
Publisher: Springer, London; British Computer Society, London
ISSN: 0934-5043; 1433-299X/e
Online: http://link.springer.com/journal/volumesAndIssues/165
Comments: Indexed cover-to-cover
Documents indexed: 800 Publications (since 1989)
References indexed: 569 Publications with 18,836 References
all top 5

Latest Issues

31, No. 4 (2019)
31, No. 3 (2019)
31, No. 2 (2019)
31, No. 1 (2019)
30, No. 6 (2018)
30, No. 5 (2018)
30, No. 3-4 (2018)
30, No. 2 (2018)
30, No. 1 (2018)
29, No. 6 (2017)
29, No. 5 (2017)
29, No. 4 (2017)
29, No. 3 (2017)
29, No. 2 (2017)
29, No. 1 (2017)
28, No. 6 (2016)
28, No. 5 (2016)
28, No. 4 (2016)
28, No. 3 (2016)
28, No. 2 (2016)
28, No. 1 (2016)
27, No. 5-6 (2015)
27, No. 4 (2015)
27, No. 3 (2015)
27, No. 2 (2015)
27, No. 1 (2015)
26, No. 6 (2014)
26, No. 5 (2014)
26, No. 4 (2014)
26, No. 3 (2014)
26, No. 2 (2014)
26, No. 1 (2014)
25, No. 6 (2013)
25, No. 5 (2013)
25, No. 4 (2013)
25, No. 3 (2013)
25, No. 2 (2013)
25, No. 1 (2013)
24, No. 4-6 (2012)
24, No. 3 (2012)
24, No. 2 (2012)
24, No. 1 (2012)
23, No. 6 (2011)
23, No. 5 (2011)
23, No. 4 (2011)
23, No. 3 (2011)
23, No. 2 (2011)
23, No. 1 (2011)
22, No. 6 (2010)
22, No. 5 (2010)
22, No. 3-4 (2010)
22, No. 2 (2010)
22, No. 1 (2010)
21, No. 6 (2009)
21, No. 5 (2009)
21, No. 4 (2009)
21, No. 3 (2009)
21, No. 1-2 (2009)
20, No. 6 (2008)
20, No. 4-5 (2008)
20, No. 3 (2008)
20, No. 2 (2008)
19, No. 4 (2007)
19, No. 3 (2007)
19, No. 2 (2007)
19, No. 1 (2007)
18, No. 4 (2006)
18, No. 3 (2006)
18, No. 2 (2006)
18, No. 1 (2006)
17, No. 4 (2005)
17, No. 3 (2005)
17, No. 2 (2005)
17, No. 1 (2005)
16, No. 4 (2004)
16, No. 3 (2004)
16, No. 2 (2004)
16, No. 1 (2004)
15, No. 4 (2003)
15, No. 2-3 (2003)
15, No. 1 (2003)
14, No. 4 (2002)
14, No. 3 (2002)
14, No. 2 (2002)
14, No. 1 (2002)
13, No. 6 (2002)
13, No. 3-5 (2002)
13, No. 2 (2002)
13, No. 1 (2001)
12, No. 6 (2000)
12, No. 5 (2000)
12, No. 4 (2000)
12, No. 3 (2000)
12, No. 2 (2000)
12, No. 1 (2000)
11, No. 6 (1999)
11, No. 5 (1999)
11, No. 4 (1999)
11, No. 2 (1999)
11, No. 1 (1999)
...and 51 more Volumes
all top 5

Authors

16 Cavalcanti, Ana
16 Woodcock, James C. P.
14 Hesselink, Wim H.
13 Derrick, John
12 Hayes, Ian J.
11 Back, Ralph-Johan
9 Boiten, Eerke A.
9 Smith, Graeme C.
8 Jones, Cliff B.
7 Banach, Richard
7 Bergstra, Jan A.
7 Butler, Michael J.
7 Dong, JinSong
7 Morgan, Carroll C.
7 Reeves, Steve
7 Roscoe, Andrew William
7 Sampaio, Augusto C. A.
6 He, Jifeng
6 Henson, Martin C.
6 Ipate, Florentin
6 Schneider, Steve A.
5 Baeten, Jos C. M.
5 Börger, Egon
5 Bowman, Howard
5 Colvin, Robert J.
5 Fidge, Colin J.
5 Groote, Jan Friso
5 Kwiatkowska, Marta Z.
5 Liu, Zhiming
5 Maibaum, Thomas S. E.
5 Oliveira, Marcel
5 Paige, Richard F.
5 Pang, Jun
5 Treharne, Helen
5 Wehrheim, Heike
4 Bowen, Jonathan P.
4 Brooke, Phillip J.
4 Fiadeiro, José Luiz
4 Hierons, Robert M.
4 Hoang, Thai Son
4 Holcombe, Mike
4 Kröning, Daniel
4 Leino, K. Rustan M.
4 Meinicke, Larissa A.
4 Owe, Olaf
4 Pym, David J.
4 Sanders, Jeff W.
4 Schellhorn, Gerhard
4 Tofts, Chris
3 Aichernig, Bernhard K.
3 America, Pierre
3 Bird, Richard S.
3 Blandford, Ann
3 Bornat, Richard
3 Bozzano, Marco
3 Brink, Chris
3 Broy, Manfred
3 Butler, Michael C. R.
3 Collinson, Matthew
3 Curzon, Paul
3 Davies, Jim
3 Dongol, Brijesh
3 Fränzle, Martin
3 Frappier, Marc
3 Gabarró, Joaquim
3 Gardiner, Paul H. B.
3 Gaudel, Marie-Claude
3 Gnesi, Stefania
3 Gomez, Rodolfo
3 Hallerstede, Stefan
3 Hansen, Michael Reichhardt
3 Harman, Mark
3 Hennessy, Matthew
3 Hennessy, Matthew G.
3 Hermanns, Holger
3 Inverardi, Paola
3 Jifeng, He
3 Jonsson, Bengt
3 Julliand, Jacques
3 Katoen, Joost-Pieter
3 King, Steve F.
3 Koutny, Maciej
3 Lang, Frédéric
3 Larsen, Peter Gorm
3 Latella, Diego
3 Leavens, Gary T.
3 Leuschel, Michael
3 Luk, Wayne
3 Mammar, Amel
3 Massink, Mieke
3 McIver, Annabelle K.
3 Middelburg, Cornelis A.
3 Misra, Jayadev
3 Mooij, Arjan J.
3 Norman, Gethin
3 Olderog, Ernst-Rüdiger
3 Oliveira, José Nuno
3 Ostroff, Jonathan S.
3 Ouaknine, Joel O.
3 Pérez, Jorge A.
...and 1,206 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription