Last update: Thu Jun 29 02:43:11 MDT 2023
Follow this link for documentation about the automated preparation of this index.
Follow this link for indexes of other journals.
Words that appear more than 100 times have been excluded. Words that appear in more than 25% of the entries have been excluded, provided they appeared more than 100 times.
Filename: formaspcomput.bib
Version: 1.16
Date: 12 June 2023
Time: 07:30:27 MDT
Checksum: 41866 23624 84932 931840 [CRC-16 words lines bytes]
This is a COMPLETE bibliography of the journal Formal Aspects of Computing (CODEN FACME5, ISSN 0934-5043 (print), 1433-299X (electronic)), published by Springer. Publication began with volume 1 in 1989. Volumes usually appear annually, with 1 to 7 issues per volume, and sometimes, two or three issues are combined into one. Publication ceased with volume 33, number 6, in December 2021.
The journal has Web sites at
http://link.springer.com/journal/165
http://link.springer.com/journal/volumesAndIssues/165
At version 1.16, the COMPLETE year coverage looked like this:
1989 ( 20) 2000 ( 36) 2011 ( 37)
1990 ( 22) 2001 ( 3) 2012 ( 42)
1991 ( 24) 2002 ( 33) 2013 ( 37)
1992 ( 40) 2003 ( 35) 2014 ( 44)
1993 ( 30) 2004 ( 27) 2015 ( 39)
1994 ( 43) 2005 ( 23) 2016 ( 43)
1995 ( 39) 2006 ( 25) 2017 ( 44)
1996 ( 35) 2007 ( 30) 2018 ( 32)
1997 ( 26) 2008 ( 31) 2019 ( 33)
1998 ( 31) 2009 ( 31) 2020 ( 17)
1999 ( 31) 2010 ( 33) 2021 ( 49)
Article: 1065
Total entries: 1065
Entries in this bibliography have been derived almost entirely from data at the publisher Web sites.
Errors in the sources noted above have been corrected. Spelling has been verified with the UNIX spell and GNU ispell programs using the exception dictionary stored in the companion file with extension .sok.
BibTeX citation tags are uniformly chosen as name:year:abbrev, where name is the family name of the first author or editor, year is a 4-digit number, and abbrev is a 3-letter condensation of important title words. Citation tags were automatically generated by software developed for the BibNet Project.
In this bibliography, entries are sorted in publication order within each journal, using bibsort -byvolume.
The checksum field above contains a CRC-16 checksum as the first value, followed by the equivalent of the standard UNIX wc (word count) utility output of lines, words, and characters. This is produced by Robert Solovay's checksum utility.