1,349 resources related to

Formal languages

Top Conferences on Formal languages

2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)

2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE)

2022 IEEE 16th International Conference on Semantic Computing (ICSC)

2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)

2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

2022 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE)

2022 37th IEEE/ACM International Conference on Automated Software Engineering (ASE)

2022 IEEE International Conference on Electro Information Technology (eIT)

2022 IEEE/ACIS 22nd International Conference on Computer and Information Science (ICIS)

2022 59th ACM/IEEE Design Automation Conference (DAC)

2022 IEEE 23rd International Conference on Information Reuse and Integration for Data Science (IRI)

2021 Forum on specification & Design Languages (FDL)

2021 International Symposium on Theoretical Aspects of Software Engineering (TASE)

2021 IEEE/ACS 18th International Conference on Computer Systems and Applications (AICCSA)

2021 IEEE International Symposium on Robotic and Sensors Environments (ROSE)

2021 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT)

2021 40th Chinese Control Conference (CCC)

2021 IEEE 20th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)

2021 IEEE Symposium on Computers and Communications (ISCC)

2021 International Conference on Machine Learning and Cybernetics (ICMLC)

2021 International Symposium on Intelligent Signal Processing and Communication Systems (ISPACS)

2021 IEEE 14th International Conference on ASIC (ASICON)

TENCON 2021 - 2021 IEEE Region 10 Conference (TENCON)

2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

2020 Seventh International Conference on Information Technology Trends (ITT)

2020 IEEE International Symposium on Signal Processing and Information Technology (ISSPIT)

2020 IEEE 23rd International Multitopic Conference (INMIC)

2020 59th IEEE Conference on Decision and Control (CDC)

2019 IEEE International Systems Conference (SysCon)

2019 IEEE 15th International Conference on Automation Science and Engineering (CASE)

2018 IEEE 18th International Conference on Advanced Learning Technologies (ICALT)

2018 International Conference on Information Fusion (FUSION)

2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

2018 IEEE 22nd International Conference on ComputerSupported Cooperative Work in Design (CSCWD)

2018 14th International Workshop on Discrete Event Systems (WODES)

2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC)

2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER)

2018 IEEE International Symposium on Circuits and Systems (ISCAS)

2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)

2018 IEEE 14th International Conference on e-Science (e-Science)

2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)

2018 IEEE Congress on Evolutionary Computation (CEC)

2017 IEEE 27th International Workshop on Machine Learning for Signal Processing (MLSP)

2017 IEEE International Conference on Intelligence and Security Informatics (ISI)

2017 16th IEEE International Conference on Machine Learning and Applications (ICMLA)

2017 IEEE 23rd International Conference on Parallel and Distributed Systems (ICPADS)

2017 IEEE 30th Computer Security Foundations Symposium (CSF)

2017 IEEE International Conference on Cybernetics and Computational Intelligence (CyberneticsCom)

2017 International Symposium on Rapid System Prototyping (RSP)

2017 International Conference on Advanced Computer Science and Information Systems (ICACSIS)

2017 IEEE International High Level Design Validation and Test Workshop (HLDVT)

2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation

2017 13th International Conference on Emerging Technologies (ICET)

2017 IEEE 14th International Conference on e-Business Engineering (ICEBE)

2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T)

2017 29th International Conference on Microelectronics (ICM)

2016 8th International Conference on Information Technology in Medicine and Education (ITME)

2016 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)

2016 5th International Conference on Multimedia Computing and Systems (ICMCS)

2016 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS)

2015 Second International Conference on Education Technologies and Computers (ICETC)

2014 8th IEEE International Conference on Software Security and Reliability (SERE)

2014 Annual International Conference on Emerging Research Areas: Magnetics, Machines and Drives (AICERA/iCMMD)

2014 IEEE Conference on Computational Complexity (CCC)

2014 14th International Conference on Quality Software (QSIC)

2013 20th Working Conference on Reverse Engineering (WCRE)

2013 7th IEEE International Conference on Digital Ecosystems and Technologies (DEST) - Complex Environment Engineering

2013 IEEE 14th International Symposium on Computational Intelligence and Informatics (CINTI)

2013 9th International Conference on Wireless Communications, Networking and Mobile Computing (WiCOM)

2013 International Conference on Computational and Information Sciences (ICCIS)

2013 6th International Conference on Intelligent Networks and Intelligent Systems (ICINIS)

2013 International Conference on Social Computing (SocialCom)

2012 International Conference on Computational Intelligence and Software Engineering (CiSE)

2012 International Conference on Architecture of Computing Systems (ARCS)

2012 International Conference on Computer Science and Service System (CSSS)

2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)

2012 19th Asia-Pacific Software Engineering Conference (APSEC)

2012 35th Annual IEEE Software Engineering Workshop (SEW)

2012 Eighth International Conference on Computational Intelligence and Security (CIS)

2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS)

2012 13th International Workshop on Microprocessor Test and Verification (MTV)

2011 International Conference on Network Computing and Information Security (NCIS)

2011 Seventh International Conference on Networked Computing and Advanced Information Management (NCM)

2011 3rd International Workshop on Education Technology and Computer Science (ETCS)

2010 International Multiconference on Computer Science and Information Technology (IMCSIT)

2010 International Conference on Computer Science and Software Engineering (CSSE 2010)

2010 International Conference on E-Product E-Service and E-Entertainment (ICEEE 2010)

2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM)

2010 International Symposium on Information Technology (ITSim 2010)

2010 International Conference on Information and Emerging Technologies (ICIET)

2010 Second International Conference on Computational Intelligence and Natural Computing (CINC)

2009 Transmission & Distribution Conference & Exposition: Asia and Pacific (T&D Asia)

2008 3rd International Conference on Information & Communication Technologies: from Theory to Applications (ICTTA)

2006 International Conference "Modern Problems of Radio Engineering, Telecommunications, and Computer Science" (TCSET)

2005 IEEE Conference on Information Technology: Coding and Computing (ITCC)

More links

Xplore Articles related to Formal languages

IEE Colloquium on 'Grammatical Inference: Theory, Applications and Alternatives' (Digest No.092)

A survey of some results in lattice-valued model theory

IEE Colloquium on 'the Electronic Interchange Format - EDIF' (Digest No.120)

A formal verification methodology for checking data integrity

Formal requirements specification in safety-critical railway signaling system

Towards Formalizing UML Activity Diagrams in CSP

The control-command environment of the Virgo experiment

Understanding the Web through its Language

Matching in frequent tree discovery

The X Factor: From HTML to XHTML

More links

Periodicals related to Formal languages

Automatic Control, IEEE Transactions on

Communications, IEEE Transactions on

Computational Biology and Bioinformatics, IEEE/ACM Transactions on

Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on

Computers, IEEE Transactions on

Computing in Science & Engineering

Dependable and Secure Computing, IEEE Transactions on

Design & Test of Computers, IEEE

Industrial Informatics, IEEE Transactions on

Intelligent Systems, IEEE

Intelligent Transportation Systems, IEEE Transactions on

Knowledge and Data Engineering, IEEE Transactions on

Latin America Transactions, IEEE (Revista IEEE America Latina)

Micro, IEEE

Multimedia, IEEE Transactions on

Oceanic Engineering, IEEE Journal of

Parallel and Distributed Systems, IEEE Transactions on

Potentials, IEEE

Professional Communication, IEEE Transactions on

Software Engineering, IEEE Transactions on

Software, IEEE

Systems Journal, IEEE

Very Large Scale Integration (VLSI) Systems, IEEE Transactions on

More links

E-books related to Formal languages

Grammatical Inference for Computational Linguistics

2 Old Puzzles, New Evidence

Preliminaries

Task-specific Programming Languages

More links

Courses related to Formal languages

(CSDP) Computing Foundations

Computing Foundations and IEEE Standards Bundle

More links

Standards related to Formal languages

(Replaced) IEEE Standard VHDL Language Reference Manual

More links

Top Organizations on Formal languages

Circuits & Systems

Communications

Computational Intelligence

Computer

Control Systems

Electron Devices

Electronic Design Automation, Council on

Engineering in Medicine & Biology

Industrial Electronics

Industry Applications

Member and Geographic Activities

Oceanic Engineering

Power & Energy

Professional Communication

Robotics & Automation

Signal Processing

Systems Council

Systems, Man & Cybernetics

Technical Activities Board

More links

Most published Xplore authors for Formal languages

Mohammad Reza Nami

Abbas Malekpour

More links

Formal languages

Featured Article

Related topics

Top Conferences on Formal languages

Top Videos on Formal languages

Xplore Articles related to Formal languages

Periodicals related to Formal languages

E-books related to Formal languages

Courses related to Formal languages

Standards related to Formal languages

Top Organizations on Formal languages

Most published Xplore authors for Formal languages