MétaCan
Menu
Constructeur de cohorte

4 299 418 travaux, canadiens par l’une de quatre routes.

Chaque état de filtre est une URL; l’URL est la requête; la requête est citable via /q/⟨hash⟩. La page, l’API et l’export analysent les mêmes paramètres.

La cohorte courante, diffusée en continu depuis la base de données : toutes les colonnes des travaux, les étiquettes machine, les scores provisoires et l'état de validation de chaque rangée. Les exportations sont plafonnées à 100 000 rangées. Crée un lien /q/ permanent pour cette requête exacte. Les mêmes filtres produisent toujours le même lien, qui que soit le demandeur.

Terme de recherche
Auteur ou autrice
Période
Ordre
Langue
Type
Domaine
Revue
Sujet
Formal Methods in Verification
Rétractation
Résumé
Source des données probantes
Devis d'étude
Accord des étiquettes
État des étiquettes

Les étiquettes directes de Codex et Gemma sont non validées et clairsemées. Les prédictions distillées couvrent la base complète et sont elles aussi non validées. Choisissez explicitement la source; l'absence d'une étiquette directe n'est jamais une étiquette négative.

affaffiliation
fundbailleur
venuerevue
aboutsujet

Les quatre voies se composent : exigez la voie du financement et excluez l'affiliation pour obtenir la strate financée-seulement qu'aucune base fondée sur l'affiliation ne voit jamais.

1 244 résultats · 1 filtre actif ·
Résultats par année
20002025
Date de publication
Catégories
Étiquettes machine · couverture clairsemée
Preuves
Langue
Type
Citations
Un travail non étiqueté est inconnu, pas un négatif. La couverture est rapportée à chaque requête.
1 244 travaux dans la cohorte · sur 4 299 418page 10 sur 25

Les étiquettes couvrent 3 des 1 244 travaux de cette cohorte. Les autres sont non étiquetés, ce qui n'est pas une étiquette négative : la table des étiquettes est clairsemée aujourd'hui et s'enrichit au fil des rondes d'étiquetage.

Les prédictions distillées couvrent 1 244 des 1 244 travaux de cette cohorte. Ces prédictions portent le statut machine_predicted_unvalidated. Le mode candidate est l'union; le consensus est l'intersection.

affsans résuménon étiqueté
Formal Reasoning about Classified Markov Chains in HOL
Liya Liu, Osman Hasan, Vincent Aravantinos, Sofiène Tahar
2013· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
8
citations
afffundnon étiqueté
Trace Diagnostics for Signal-Based Temporal Properties
Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel Briand
2023· article· en· IEEE Transactions on Software Engineering· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
8
citations
affnon étiqueté
SAT solving using FPGA-based heterogeneous computing
Jason Thong, Nicola Nicolici
2015· article· en· 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)· Computer Science
prédiction distillée:candidate · metaepi_narrow+scholarly_communicationconsensus · aucune
8
citations
affsans résuménon étiqueté
Verification, Validation, and Accreditation
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
2010· book-chapter· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
8
citations
affsans résuménon étiqueté
Bounded Model Checking with Description Logic Reasoning
Shoham Ben-David, Richard Trefler, Grant Weddell
2007· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
8
citations
affsans résuménon étiqueté
Transitive-closure-based model checking (TCMC) in Alloy
Sabria Farheen, Nancy A. Day, Amirhossein Vakili, Ali Abbassi
2020· article· en· Software & Systems Modeling· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
7
citations
affnon étiqueté
Probabilistic bisimulation
Prakash Panangaden
2015· article· en· ACM SIGLOG News· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
afffundnon étiqueté
Fast Approximations of Quantifier Elimination
Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel
2023· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
7
citations
affsans résuménon étiqueté
Practical Posterior Error Bounds from Variational Objectives
Jonathan H. Huggins, Mikołaj J. Kasprzak, Trevor Campbell, Tamara Broderick
2019· article· en· arXiv (Cornell University)· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
affsans résuménon étiqueté
Abstract Analysis of Symbolic Executions
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chećhik
2010· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
7
citations
affsans résuménon étiqueté
EB2ALL: An Automatic Code Generation Tool
Neeraj Kumar Singh
2013· book-chapter· en· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
7
citations
affnon étiqueté
Fair reactive programming
Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka
2014· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
affnon étiqueté
Model Checking of Time Petri Nets
Hanifa Boucheneb, Rachid Hadjidj
2008· book-chapter· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
afffundsans résuménon étiqueté
Formal Methods and Software Engineering
2023· book· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
7
citations
affnon étiqueté
Conditional model checking
Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoğlu, Philipp Wendler
2012· preprint· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
affsans résuménon étiqueté
Formalizing the Glucose Homeostasis Mechanism
Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2014· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrow+open_scienceconsensus · aucune
7
citations
affnon étiqueté
Automated analysis of Stateflow models
Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux
2018· article· en· EPiC series in computing· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
affsans résuménon étiqueté
Refining Timed MSCs
Tong Zheng, Ferhat Khendek, Benoît Parreaux
2003· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
7
citations
affnon étiqueté
CHC-COMP 2023: Competition Report
Emanuele De Angelis, Hari Govind V K
2024· article· en· Electronic Proceedings in Theoretical Computer Science· Computer Science
prédiction distillée:candidate · scholarly_communicationconsensus · aucune
7
citations
affsans résuménon étiqueté
Improved Local Search for Circuit Satisfiability
Anton Belov, Zbigniew Stachniak
2010· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
7
citations
afffundnon étiqueté
Analysis of Non-Linear Probabilistic Hybrid Systems
Joseph Assouramou, Josée Desharnais
2011· article· en· Electronic Proceedings in Theoretical Computer Science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
affgemma · aucune catégoriegpt · aucune catégoriemodèles en désaccord
/spl chi/Chek: A model checker for multi-valued reasoning
Steve Easterbrook, Marsha Chećhik, Benet Devereux, Arie Gurfinkel, Albert Lai, Victor Petrovykh +2 autres
2003· article· en· 25th International Conference on Software Engineering, 2003. Proceedings.· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
7
citations
affsans résuménon étiqueté
An Extension for MSC-2000 and Its Application
Tong Zheng, Ferhat Khendek
2003· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
7
citations

En coulisses: Sélection · Constats · À propos