229 resources related to

Reasoning about programs

Top Conferences on Reasoning about programs

2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)

2021 14th International Conference on Human System Interaction (HSI)

2021 10th International Conference on Information and Automation for Sustainability (ICIAfS)

2021 33rd Chinese Control and Decision Conference (CCDC)

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

2021 IEEE 48th Photovoltaic Specialists Conference (PVSC)

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

2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)

2021 International Symposium on VLSI Design, Automation and Test (VLSI-DAT)

2021 IEEE Conference on Games (CoG)

2021 36th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW)

2021 IEEE/ACM 29th International Conference on Program Comprehension (ICPC)

2020 IEEE Frontiers in Education Conference (FIE)

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

2020 IEEE Conference on Visual Analytics Science and Technology (VAST)

2020 International Conference on Machine Learning and Cybernetics (ICMLC)

2020 IEEE 9th Joint International Information Technology and Artificial Intelligence Conference (ITAIC)

2020 IEEE International Conference on Power Systems Technology (POWERCON)

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

2020 14th International Conference on Innovations in Information Technology (IIT)

2020 IEEE Power & Energy Society General Meeting (PESGM)

2020 IEEE IAS Electrical Safety Workshop (ESW)

2019 IEEE 23rd International Conference on Computer Supported Cooperative Work in Design (CSCWD)

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)

2019 IEEE AUTOTESTCON

2019 Winter Simulation Conference (WSC)

2019 IEEE 9th Symposium on Computer Applications & Industrial Electronics (ISCAIE)

2019 IEEE 17th World Symposium on Applied Machine Intelligence and Informatics (SAMI)

2018 13th World Congress on Intelligent Control and Automation (WCICA)

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

2018 IEEE Ninth International Conference on Technology for Education (T4E)

2018 Tenth International Conference on Advanced Computational Intelligence (ICACI )

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

2018 26th European Signal Processing Conference (EUSIPCO)

2018 IEEE 26th International Requirements Engineering Conference (RE)

2018 IEEE International Conference on Probabilistic Methods Applied to Power Systems (PMAPS)

2018 17th IEEE International Conference on Machine Learning and Applications (ICMLA)

2018 IEEE 17th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)

2018 15th International Conference on the European Energy Market (EEM)

2018 IEEE International Conference on Robotics and Biomimetics (ROBIO)

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

2018 17th International Conference on Information Technology Based Higher Education and Training (ITHET)

2018 14th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD)

SC18: International Conference for High Performance Computing, Networking, Storage and Analysis

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)

2018 IEEE 12th International Conference on Semantic Computing (ICSC)

2018 Federated Conference on Computer Science and Information Systems (FedCSIS)

2018 IEEE International Energy Conference (ENERGYCON)

2018 IEEE Aerospace Conference

2018 IEEE/ACIS 17th International Conference on Computer and Information Science (ICIS)

2018 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR)

2018 13th IEEE Conference on Industrial Electronics and Applications (ICIEA)

MILCOM 2017 - 2017 IEEE Military Communications Conference (MILCOM)

2017 17th International Conference on Control, Automation and Systems (ICCAS)

2017 IEEE Security and Privacy Workshops (SPW)

2017 IEEE 19th Electronics Packaging Technology Conference (EPTC)

2017 IEEE 15th International Symposium on Intelligent Systems and Informatics (SISY)

2017 IEEE 30th Computer Security Foundations Symposium (CSF)

2017 IEEE International Conference on Information and Automation (ICIA)

2017 IEEE-RAS 17th International Conference on Humanoid Robotics (Humanoids)

2017 IEEE Symposium on Computers and Communications (ISCC)

2017 IEEE International Conference on Computational Science and Engineering (CSE) and IEEE International Conference on Embedded and Ubiquitous Computing (EUC)

2017 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON)

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

2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS)

2017 14th International Multi-Conference on Systems, Signals & Devices (SSD)

2017 IEEE Conference on Electrical Insulation and Dielectric Phenomenon (CEIDP)

2017 International Conference on Intelligent Environments (IE)

2017 IEEE 19th International Conference on High Performance Computing and Communications; IEEE 15th International Conference on Smart City; IEEE 3rd International Conference on Data Science and Systems (HPCC/SmartCity/DSS)

2017 IEEE 12th International Conference on Global Software Engineering (ICGSE)

2016 IEEE Conference on Control Applications (CCA)

2016 International Conference on Collaboration Technologies and Systems (CTS)

2016 Fifth International Conference on Recent Trends in Information Technology (ICRTIT)

2016 49th Hawaii International Conference on System Sciences (HICSS)

2016 11th International Conference on Reliability, Maintainability and Safety (ICRMS)

2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

2015 15th International Conference on Intelligent Systems Design and Applications (ISDA)

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

2014 IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA)

2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS)

2013 IEEE 9th International Conference on Computational Cybernetics (ICCC)

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

2013 International Conference on Social Computing (SocialCom)

2012 International Conference on Management and Service Science (MASS 2012)

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

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

2012 7th Colombian Computing Congress (CCC)

2012 8th International Conference on Information Science and Digital Content Technology (ICIS and IDCTA)

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

2012 Joint 6th Intl. Conference on Soft Computing and Intelligent Systems (SCIS) and 13th Intl. Symposium on Advanced Intelligent Systems (ISIS)

2012 Fourth International Symposium on Information Science and Engineering (ISISE)

2012 Sixth International Conference on Genetic and Evolutionary Computing (ICGEC)

2012 IEEE International Conference on Automation and Logistics (ICAL)

2012 Fourth Workshop on Hot Topics in Software Upgrades (HotSWUp)

2012 2nd International Conference on Uncertainty Reasoning and Knowledge Engineering (URKE)

2011 3rd IEEE International Conference on Information Management and Engineering (ICIME)

2011 IEEE 7th International Conference on Information Technology and Applications (ICITA)

2011 11th International Conference on Electrical Power Quality and Utilisation - (EPQU)

2011 International Conference on Electrical and Control Engineering (ICECE)

2011 IEEE International Conference on Intelligent Computing and Intelligent Systems (ICIS 2011)

2011 2nd International Conference on Artificial Intelligence, Management Science and Electronic Commerce (AIMSEC)

2011 3rd Symposium on Web Society (SWS)

2010 6th International Conference on MEMS, NANO, and Smart Systems (ICMENS)

2010 International Conference on Computer Information Systems and Industrial Management Applications (CISIM)

2010 4th International Conference on Intelligent Information Technology Application (IITA)

2010 3rd International Conference on Advanced Computer Theory and Engineering (ICACTE 2010)

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

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

2010 International Conference on Educational and Information Technology (ICEIT)

2010 3rd International Conference on Computational Intelligence and Industrial Application (PACIIA)

2010 2nd International Conference on Software Engineering and Data Mining (SEDM)

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

More links

Xplore Articles related to Reasoning about programs

Corrigendum: complete type interference for simple objects

Verifiable program construction in a user-friendly style

Pulse interferences elimination and classification of on-line UHF PD signals for power transformer

Formal verification applied to Java concurrent software

Comments on "Defining software by continuous smooth functions" by R.A. De Millo and R.J. Lipton

Reasoning About Software

Suppression and detection of impulse type interference using adaptive median hybrid filters

Symbol ranking type interference canceller (SRIC) for CDMA system

Reasoning about Data: Bits, bit vectors, or words

Formal verification of programs with exceptions

More links

Periodicals related to Reasoning about programs

Applied Superconductivity, IEEE Transactions on

Communications Magazine, IEEE

Computational Intelligence Magazine, IEEE

Computers, IEEE Transactions on

Education, IEEE Transactions on

Engineering Management, IEEE Transactions on

Evolutionary Computation, IEEE Transactions on

Geoscience and Remote Sensing, IEEE Transactions on

Industry Applications, IEEE Transactions on

Information Technology in Biomedicine, IEEE Transactions on

Instrumentation and Measurement, IEEE Transactions on

Intelligent Systems, IEEE

Internet Computing, IEEE

Knowledge and Data Engineering, IEEE Transactions on

Learning Technologies, IEEE Transactions on

Mobile Computing, IEEE Transactions on

Plasma Science, IEEE Transactions on

Potentials, IEEE

Power Delivery, IEEE Transactions on

Power Systems, IEEE Transactions on

Professional Communication, IEEE Transactions on

Reliability, IEEE Transactions on

Robotics, IEEE Transactions on

Security & Privacy, IEEE

Software Engineering, IEEE Transactions on

Software, IEEE

Spectrum, IEEE

Vehicular Technology, IEEE Transactions on

More links

E-books related to Reasoning about programs

Reasoning About Programs

More links

Standards related to Reasoning about programs

(Replaced) IEEE Standard VHDL Language Reference Manual

More links

Top Organizations on Reasoning about programs

Circuits & Systems

Communications

Computational Intelligence

Computer

Education

Electron Devices

Engineering in Medicine & Biology

Geoscience & Remote Sensing

Industry Applications

Instrumentation & Measurement

Nuclear & Plasma Science

Power & Energy

Professional Communication

Reliability

Robotics & Automation

Solid State Circuits

Technical Activities Board

Technology Management Council

Vehicular Technology

More links

Most published Xplore authors for Reasoning about programs

Wei-fan Chen

Kuo-chuan Yeh

More links

Reasoning about programs

Featured Article

Related topics

Top Conferences on Reasoning about programs

Xplore Articles related to Reasoning about programs

Periodicals related to Reasoning about programs

E-books related to Reasoning about programs

Standards related to Reasoning about programs

Top Organizations on Reasoning about programs

Most published Xplore authors for Reasoning about programs