%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                         *** ARTICLE ***                               %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@string{toc = {IEEE Trans. on Computers} }

@string{tcad = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems} }

@string{tvlsi = {IEEE Trans. on VLSI Systems} }

@string{tec = {IEEE Trans. on Electronic Comp.} }

@string{trec = {IEEE Trans. on Evolutionary Comp.} }

@string{ic = {IEEE Computer} }

@string{ieice = {IEICE Trans. Fundamentals} }

@string{ipc = {IEEE Proceedings on Circuits} }

@string{ipcds = {IEEE Proceedings on Circuits, Devices and Systems} }

@string{ivlsi = {INTEGRATION, the VLSI Jour.} }

@string{siam = {SIAM Jour. of Comp.} }

@string{jssc = {IEEE Jour. of Solid-State Circ.} }

@string{mvl = {Multiple Valued Logic - An International Journal} }

@string{pieee = {Proc. of the IEEE} }

@string{cacm = {Comm. of the ACM} }

@string{jetc = {J. Emerg. Technol. Compute. Syst.} }

@string{qip = {Quantum Information Processing} }

@string{qic = {Quantum Information {\&} Computation} }

@string{idt = {Int'l Design \& Test Workshop} }

@string{tqc = {ACM Transactions on Quantum Computing} }

@string{tqe = {IEEE Transactions on Quantum Engineering} }

@string{jetcas  = {IEEE Journal on Emerging and Selected Topics in Circuits and Systems} }

@string{pacm = {Proc. of the ACM} }

@string{jacm = {Journal of the ACM} }

@string{mvl_jrnl = {Multiple-Valued Logic and Soft Computing} }

@string{jsa = {J. of Systems Architecture} }

@string{jvlsisp = {Journal of VLSI Signal Processing} }

@string{jheu = {Journal of Heuristics} }

@string{jcomb = {Journal of Combinatorial Theory ({A})} }

@string{bstj = {Bell System Technical Jour.} }

@string{prr = {Philips Res. Repts} }

@string{acmcs = {ACM, Comp. Surveys} }

@string{dtc = {IEEE Design $\&$ Test of Comp.} }

@string{tcs = {IEEE Trans. on Circ. and Systems} }

@string{tsmc = {IEEE Trans. on Systems, Man, and Cybernetics} }

@string{theocs = {Theoretical Computer Science} }

@string{jetta = {Jour. of Electronic Testing: Theory and Applications} }

@string{sttt = {Software Tools for Technology Transfer} }

@string{entcs = {Electronic Notes in Theoretical Computer Science}}

@string{esa = {Expert Systems with Applications: An International Journal} }

@string{fm = {Formal Methods in System Design: An International Journal} }

@string{dm = {Discrete Mathematics} }

@string{amm = {Amer. Math. Monthly} }

@string{is = {IEEE Software} }

@string{vlsisd = {VLSI Systems Design} }

@string{vlsid = {VLSI Design} }

@string{iee = {IEE Proceedings} }

@string{ieeecs = {IEE Electronic Circuits and Systems} }

@string{ire = {IRE Trans. on Inf. Theory} }

@string{irerq = {IRE Trans. on Reliability and Quality Control} }

@string{el = {Electronic Letters} }

@string{ejc = {The Electronic Journal of Combinatorics} }

@string{jors = {Journal of the Operational Research Society} }

@string{ec = {Evolutionary Computation} }

@string{micro = {Microelectroics Journal} }

@string{ait = {International Journal on Artificial Intelligence Tools} }

@string{tpcd = {International Conf.~on Theorem Provers in Circuit Design} }

@string{ibmjrd = {IBM J. Res. and Develop.} }

@string{jsiam = {J. Soc. Indust. Appl. Math.} }

@string{tda = {ACM Trans. on Design Automation of Electronic Systems} }

@string{net = {NETWORKS} }

@string{tia = {Theoretical Informatics and Applications} }

@string{ipl = {Information Processing Letters} }

@string{spectrum = {IEEE Spectrum} }

@string{tosm = {IEEE Trans. on Semiconductor Manufacturing} }

@string{itti = {it+ti} }

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                     *** INPROCEEDINGS ***                             %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@string{qce = {Int'l Conf. on Quantum Computing and Engineering} }

@string{qsw = {Int'l Conf. on Quantum Software} }

@string{asicon = {Int'l Conf. on ASIC} }

@string{iccd = {Int'l Conf. on Comp. Design} }

@string{iccad = {Int'l Conf. on CAD} }

@string{iscas = {IEEE International Symposium on Circuits and Systems} }

@string{facta = {Facta Universitatis, Series: Electronics and Energetics} }

@string{ubooth = {University Booth at Design, Automation and Test in Europe} }

@string{wrtlt = {IEEE Workshop on RTL and High Level Testing } }

@string{isvlsi = {IEEE Annual Symp. on VLSI} }

@string{aqis = {Asian Conf. on Quantum Information Science} }

@string{itc = {Int'l Test Conf.} }

@string{etc = {European Test Conf.} }

@string{dac = {Design Automation Conf.} }

@string{aspdac = {Asia and South Pacific Design Automation Conf.} }

@string{eudac = {European Design Automation Conf.} }

@string{edac = {European Conf. on Design Automation} }

@string{edtc = {European Design \& Test Conf.} }

@string{date = {Design, Automation and Test in Europe} }

@string{dsd_euromicro = {EUROMICRO Symp. on Digital System Design} }

@string{edtcuf = {European Design \& Test Conf. User Forum} }

@string{dateuf = {Design, Automation and Test in Europe. User Forum} }

@string{fdl = {Forum on Specification and Design Languages} }

@string{fmcad = {Int'l Conf. on Formal Methods in CAD} }

@string{ftcs = {Int'l Symp. on Fault-Tolerant Comp.} }

@string{isqed = {Int'l Symp. on Quality Electronic Design} }

@string{multi = {Multi-Chip Module Conference} }

@string{control = {Control Conference} }

@string{istsf = {Int'l Symp. on Theory Switching Funct.} }

@string{stacs = {Symp. on Theoretical Aspects of Comp. Science} }

@string{acs = {Applications of Computer Systems} }

@string{cav = {Computer Aided Verification} }

@string{ppsn = {Parallel Problem Solving from Nature} }

@string{gecco = {Genetic and Evolutionary Computation Conference} }

@string{fuzzy = {Int'l Conference on Computational Intelligence (Fuzzy Days)} }

@string{iia = {International Symposium on Intelligent Industrial Automation} }

@string{tacas = {Tools and Algorithms for the Construction and Analysis of Systems} }

@string{charme = {CHARME} }

@string{icalp = {ICALP} }

@string{sasimi = {Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI)} }

@string{gls = {Great Lakes Symp. VLSI} }

@string{vlsidc = {{VLSI} Design Conf.} }

@string{iscs = {Int'l Symp. Circ. and Systems} }

@string{ispd = {Int'l Symp. on {P}hysical {D}esign} }

@string{rc_conf = {Int'l Conf. of Reversible Computation} }

@string{ismvl = {Int'l Symp. on {M}ulti-{V}alued {L}ogic} }

@string{sfpga = {Int'l Symp. on FPGAs for Custom Computing Machines} }

@string{isai = {Int'l Symp. on Artificial Intelligence} }

@string{iscsss = {Int'l Symp. Circ. and Systems, Special Sess. on ATPG and Fault Simulation} }

@string{vts = {VLSI Test Symp.} }

@string{ats = {Asian Test Symp.} }

@string{sbcci = {Symposium on Integrated Circuits and System Design} }

@string{stoc = {Symp. on Theory of Computing} }

@string{icannga = {Int'l Conf. on Artificial Neural Networks and Genetic Algorithms} }

@string{inbs = {Int'l Symposium on Intelligence in Neural and Biological Systems} }

@string{popl = {Symposium on Principles of Programming Languages} }

@string{chdl = {Computer Hardware Description Languages and their Applications} }

@string{soco = {Int'l Symposium on Soft Computing} }

@string{gp = {Genetic Programming Conference} }

@string{rmc = {Reed-Muller Colloquium UK} }

@string{lpar = {Int'l Conf. on Logic for Programming Artificial Intelligence and Reasoning } }

@string{icec = {Int'l Conference on Evolutionary Computation} }

@string{cec = {Congress on Evolutionary Computation} }

@string{icga = {Int'l Conference on Genetic Algorithms} }

@string{isic = {Int'l Symposium on IC Technologies, Systems and Applications} }

@string{icics = {Int'l Conference on Information, Communication \& Signal Processing} }

@string{mfcs = {Symp. on Mathematical Foundations of Computer Science}}

@string{focs = {Symp. on Foundations of Computer Science}}

@string{memocode = {ACM \& IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)}}

@string{mwscas = {Midwest Symposium on Circuits and Systems} }

@string{nasa = {NASA/DoD Workshop on Evolvable Hardware} }

@string{pacrim  = {Pacific Rim Conference on Communications, Computers and Signal Processing} }

@string{icvlsi = {IFIP Int'l Conf. on VLSI} }

@string{fsttcs = {Conference on the Foundations of Software Technology and Theoretical Computer Science} }

@string{gd = {Graph Drawing Conference} }

@string{ssst = {Southeastern Symposium on System Theory} }

@string{glsvlsi = {ACM Great Lakes Symposium on VLSI} }

@string{vlsisoc = {VLSI of System-on-Chip} }

@string{asap = {{Int'l Conf. on Application-Specific Systems, Architectures, and Processors}} }

@string{cade = {{Int'l Conf. on Automated Deduction}} }

@string{asplos = {{Int'l Conf. On Architectural Support for Programming Languages and Operating Systems}} }

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                          *** Workshops ****                           %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@string{iwarecd = {Int'l Workshop on Applications of the Reed-Muller Expansion in Circuit Design} }

@string{iwls = {Int'l Workshop on Logic Synth.} }

@string{rc = {Reversible Computation Workshop} }

@string{iwbp = {Int'l Workshop on Boolean Problems} }

@string{ddecs_ws = {Workshop on Design and Diagnostics of Electronic Circuits and Systems} }

@string{ddecs = {Symposium on Design and Diagnostics of Electronic Circuits and Systems} }

@string{etw = {European Test Workshop} }

@string{wec = {Online Workshop on Evolutionary Computation} }

@string{nnec = {Nagoya University WWW on Fuzzy Logic and Neural Networks/Evolutionary Computation} }

@string{eisw = {E.I.S.-Workshop} }

@string{giw_test = {GI/ITG/GMM-Workshop ``Testmethods and Reliability of Circuits and Systems''} }

@string{giw = {Testmethoden und Zuverl\"assigkeit von Schaltungen und Systemen} }

@string{itg = {Methods und Beschreibungssprachen zur Modellierung und Verification von Schaltungen und Systemen} }

@string{awoc = {Proceedings of the Aegean Workshop on Computing} }

@string{reams = {GI/GME/ITG-Fachtagung ``Rechnergest\"utzter Entwurf und Architektur mikroelektronischer Systeme''} }

@string{dass = {Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS)} }

@string{fmics = {{FMICS} workshop}}

@string{rsp = {IEEE International Workshop on Rapid System Prototyping}}

@string{sat = {Conference on Theory and Applications of Satisfiability Testing}}

@string{rc = {Workshop on Reversible Computation}}

@string{hpca = {{IEEE Int'l Symp. on High-Performance Computer Architecture}} }
