Formal language | Formal concept analysis | Chinese input methods for computers | Taguchi methods | Methods of Mayhem | methods | Nature Methods | Calendar-based contraceptive methods | Ab initio quantum chemistry methods | Variational Bayesian methods | variational Bayesian methods | Textile manufacturing by pre-industrial methods | Runge–Kutta methods | Mortar methods | Monte Carlo methods for option pricing | Methods to investigate protein–protein interactions | Houben-Weyl Methods of Organic Chemistry | Formal verification | Formal theory | formal language | Formal equivalence checking | Domain decomposition methods | Austronesian Formal Linguistics Association | ab initio quantum chemistry methods |
The scope of BCTCS includes all aspects of theoretical computer science, including algorithms, complexity, semantics, formal methods, concurrency, types, languages and logics.
Research topics span from theoretical computer science, such as Formal languages, Formal methods, or more mathematically-oriented topics such as Information theory, optimization, Complex system... to application-driven topics like Bioinformatics, image and video compression, Handwriting recognition, Computer graphics, Medical imaging, Content-based image retrieval...
McFarland has articles published in the Proceedings of the IEEE (the Institute of Electrical and Electronics Engineers), the IEEE Transactions on Computers, the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Formal Methods for System Design, the Journal of Systems and Software, Computer, and Technology and Society.