The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Formal with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1936-1957 (16) 1958-1960 (29) 1961 (31) 1962 (49) 1963 (41) 1964 (50) 1965 (37) 1966 (47) 1967 (53) 1968 (61) 1969 (65) 1970 (66) 1971 (72) 1972 (110) 1973 (112) 1974 (113) 1975 (156) 1976 (124) 1977 (154) 1978 (151) 1979 (167) 1980 (135) 1981 (103) 1982 (133) 1983 (129) 1984 (118) 1985 (151) 1986 (159) 1987 (241) 1988 (330) 1989 (343) 1990 (481) 1991 (461) 1992 (513) 1993 (625) 1994 (770) 1995 (822) 1996 (818) 1997 (927) 1998 (961) 1999 (1180) 2000 (1293) 2001 (1155) 2002 (1551) 2003 (1696) 2004 (2228) 2005 (2743) 2006 (2723) 2007 (2747) 2008 (2740) 2009 (2313) 2010 (1574) 2011 (1443) 2012 (1465) 2013 (1360) 2014 (1634) 2015 (1405) 2016 (1605) 2017 (1500) 2018 (1530) 2019 (1577) 2020 (1370) 2021 (1478) 2022 (1461) 2023 (1359) 2024 (181)
Publication types (Num. hits)
article(14156) book(145) data(1) incollection(535) inproceedings(36738) phdthesis(938) proceedings(722)
Venues (Conferences, Journals, ...)
Notre Dame J. Formal Log.(2648) CoRR(1053) Formal Aspects Comput.(1041) FORTE(854) Arch. Formal Proofs(806) ICFEM(800) FMCAD(783) Formal Methods Syst. Des.(724) SEFM(662) FM(571) MEMOCODE(516) DCFS(499) IFM(465) FORMATS(389) IEEE Trans. Software Eng.(363) ICFCA(359) More (+10 of total 5148)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 28785 occurrences of 7362 keywords

Results
Found 53237 publication records. Showing 53235 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
58Ricky W. Butler Formal Methods at NASA Langley. Search on Bibsonomy TPHOLs The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
52Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli A Formal Framework for ASTRAL Intralevel Proof Obligations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL
52Jens Knoop Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis. Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Formal callability, formal reachability, call graph analysis, program optimization, interprocedural data-flow analysis
49Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray A Specification and Validation Technique Based on STATEMATE and FNLOG. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Semi-formal methods, Real-time Systems, Verification, Formal methods, Integration, Specification, Temporal logic, Validation
48Andrei Rimsa, Luis E. Zárate, Mark A. J. Song Handling Large Formal Context Using BDD - Perspectives and Limitations. Search on Bibsonomy ICFCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Formal Concept Analysis, Binary Decision Diagrams, Formal Context, Formal Concept
46John C. Knight, P. Thomas Fletcher, Brian R. Hicks Tool Support for Production Use of Formal Techniques. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
46David W. Bustard, P. J. Lundy Enhancing soft systems analysis with formal modelling. Search on Bibsonomy RE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF soft systems analysis, initial requirements definition, informal SSM models, computing oriented analysis techniques, book ordering data processing, software requirements engineering method, formal specification, formal specification, software tools, software tools, specification languages, systems analysis, formal modelling, LOTOS, formal techniques, formal descriptions, Soft Systems Methodology, RACE
43M. M. Adams, Philip B. Clayton ClawZ: Cost-Effective Formal Verification for Control Systems. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF industrial formal verification, ProofPower, Eurofighter Typhoon, Ada, refinement, Z, control systems, safety-critical software, Simulink, real-time software, formal proof
42Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita Formal Specification and Validation of a Vital Communication Protocol. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner XFM: An incremental methodology for developing formal models. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Extreme formal modeling, prescriptive formal models, property ordering, property refactoring, formal specification, formal verification, extreme programming, SPIN, SMV
41Gerald C. Gannod, Betty H. C. Cheng A Formal Automated Approach for Reverse Engineering Programs with Pointers. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reverse engineering programs, formal automated approach, formal specification, formal specifications, reverse engineering, programming language, formal semantics, pointers
41David W. Bustard, Adam C. Winstanley Making Changes to Formal Specifications: Requirements and an Example. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF change technique, formal notation LOTOS, SCAFFOLD project, process-oriented notations, software engineering, formal specification, formal specifications, formal specification, software maintenance, tool, specification languages, process algebra, configuration management, concurrent systems, LOTOS, change control
41Jonathan P. Bowen, Michael G. Hinchey Seven More Myths of Formal Methods. Search on Bibsonomy IEEE Softw. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
40John McLean Formal methods in security engineering: where we've been, where we are, where we need to go. Search on Bibsonomy FMSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal methods, computer security
40Shaoying Liu, Yong Sun Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF structured methodolog, SOFL language, structured-object-oriented-formal language, informal semantics, training centre system, formal methods, formal languages, object-oriented languages, object-oriented methods, computational linguistics, system development, industry, data flow graphs, structured programming, abstract syntax, object-oriented methodology
39Richard F. Paige, Jonathan S. Ostroff Developing BON as an Industrial-Strength Formal Method. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Network centric, Security, Formal Methods, Safety, Trustworthy, RTOS
39Michael Johnson, Robert D. Rosebrugh View Updatability Based on the Models of a Formal Specification. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF formal specification, database, information system, conceptual modelling, data model, category theory, View update
39William C. Chu, Hongji Yang A Formal Method to Software Integration in Reuse. Search on Bibsonomy COMPSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF library techniques, semantic interface, adaptation problems, MIATAC-MA Reuse Formal Method, formal semantic interface analysis, MIATAC-MA Specification Language, MIATAC-MA Prototype Tool, formal specification, formal method, reverse engineering, reverse engineering, software reuse, software components, software reusability, software libraries, software integration, Predicate/Transition nets, reusable software components, integrated software, reuse library
39Michel Diaz, Guy Juanole, Jean-Pierre Courtiat Observer-A Concept for Formal On-Line Validation of Distributed Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF observer concept, formal online validation, self-checking distributed systems design, erroneous behavior detection, observable output level, continuous checking, formal verified model, quasi-self-checking observers, industrial LAN, broadcast service, virtual ring MAC protocol testing, OSI layering management, open system architecture, run-time validation, Petri net based models, layered distributed architectures, formal verification, distributed processing, local area networks, transport protocols, performance measurements, open systems, access protocols, formal description techniques, transport layer, reference, link layer, online operation
39Volkmar Lotz, Volker Kessler, Georg Walter A Formal Security Model for Microprocessor Hardware. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF security, hardware, formal security models
37Arvind, Nirav Dave, Michael Katelman Getting Formal Verification into Design Flow. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Ángel Herranz-Nieva, Juan José Moreno-Navarro Formal Extreme (and Extremely Formal) Programming. Search on Bibsonomy XP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Formal Methods, Refactoring, Extreme Programming, Incremental Development, Formal Testing
37Manuel Clavel, Francisco Durán 0001, Steven Eker, José Meseguer 0001, Mark-Oliver Stehr Maude as a Formal Meta-tool. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Michael Meyer zu Hörste, Eckehard Schnieder Formal Modelling and Simulation of Train Control Systems Using Petri Nets. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Ludovic Casset Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Byte Code Verification, Formal Methods, B Method
37Juan-José Martins, Jean-Pierre Hubaux A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation. Search on Bibsonomy FME The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Simulation, Performance Evaluation, Formal Specification, System Design, System Analysis, System Engineering
37Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour Formal specification and verification of communication protocols using automated tools . Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF OSI protocol, large models, simulation, modelling, formal specification, formal specification, testing, protocols, formal verification, software tools, validation, theorem proving, process algebra, communication protocols, open systems, algebra, formal logic, automated tools, model checker, model testing, complex models, automated theorem prover
37Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes Applying Formal Specification in Industry. Search on Bibsonomy IEEE Softw. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
36Jeff Offutt Programmers Ain't Mathematicians, and Neither Are Testers. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Pao-Ann Hsiung, Shang-Wei Lin 0001 Formal Design and Verification of Real-Time Embedded Software. Search on Bibsonomy APLAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF scheduling, formal verification, code generation, software components, application framework, UML modeling, real-time embedded software, formal synthesis
35Kanth Miriyala, Mehdi T. Harandi Automatic Derivation of Formal Software Specifications From Informal Descriptions. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF formal software specifications, common problem-solving techniques, difference-based reasoning, informal description, SPECIFIER, previously solved problem, analogy mapping, formal specification, data structures, software tools, interactive system, analogy, automatic programming, schemas, data types, problem-solving process
35J. Paul Gibson Weaving a Formal Methods Education with Problem-Based Learning. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Teaching Formal Methods, Mathematics of Computer Science, Science of Software Engineering, Computing Curriculum
35Kong Woei Susanto, Thomas F. Melham An AMBA-ARM7 Formal Verification Platform. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Danny B. Lange A Formal Approach to Hypertext using Post-Prototype Formal Specification. Search on Bibsonomy VDM Europe The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
35Chie Dou Formal Specification of Communication Protocols Based on a Timed-SDL: Validation and Performance Prospects. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Timed-SDL, performance prospects, CCITT Z.100, probabilistic specifications, performance evaluations, real time systems, formal specification, formal specification, validation, communication protocols, SDL, temporal properties, telecommunication systems, formal notation
35John M. Rushby, Friedrich W. von Henke Formal Verification of Algorithms for Critical Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF machine-checked verification, Byzantine fault-tolerant algorithm, digital flight control system, fault-tolerant synchronization, EHDM system, formal specification, formal specification, formal verification, fault tolerant computing, software reliability, safety, synchronisation, critical systems
35K. T. Narayana, Sanjeev Dharap Formal Specification of a Look Manager. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF look manager, graphical interface software, user interfaces, formal specification, formal specification, computer graphics, modularity, interactive systems, formal model, Z notation, texturing model, dialog system
35Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Iterative System Tuning, Statistical Formal Methods, System Realization, Cross-layer Timing/QoS/resource Provisioning for Distributed Systems, Formal Modeling
35Brian Matthews, Elvira Locuratolo Formal Development of Databases in ASSO and B. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Igor B. Burdonov, Alexander S. Kossatchev, Alexander K. Petrenko, Dmitri Galter KVEST: Automated Generation of Test Suites from Formal Specifications. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Kaisa Sere, Elena Troubitsyna Safety Analysis in Formal Specification. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
34Manfred Broy Seamless Model Driven Systems Engineering Based on Formal Models. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Formal methods, models based development
34Jin Song Dong, Gordon A. Rose, Roger Duke The role of secondary attributes in formal object modelling. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF secondary attributes role, formal object modelling, secondary attributes, formal object-oriented specification, formal specification, formal specification, object-oriented programming, attribute grammars
34Pei Hsia, Jayarajan Samuel, Jerry Gao 0002, David Chenho Kung, Yasufumi Toyoshima, Cris Chen Formal Approach to Scenario Analysis. Search on Bibsonomy IEEE Softw. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF private telephone exchanges, telephone systems, simple PBX system, formal mathematical base, precise scenarios, formal specification, formal verification, systems analysis, requirements analysis, telecommunications computing, scenario analysis, formal approach
34Ichiro Suzuki Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF temporal Petri nets, omega -regular expressions, Buchi-automata, formal specification, formal specification, Petri nets, formal verification, program verification, programming theory, transitions, formal analysis, automata theory, firings, formulas, alternating bit protocol, temporal operators
34Manfred Droste, Guo-Qiang Zhang 0001 Rational Transformations of Formal Power Series. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF rational languages, recognizable languages, weighted finite automata, Formal power series
34Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John D. Powell Technology Transfer Issues for Formal Methods of Software Specification. Search on Bibsonomy CSEE&T The full citation details ... 2000 DBLP  DOI  BibTeX  RDF SE education, SE pedagogy, SE Curriculum, Formal methods, specification
33Souâd Taouil-Traverson, Sylvie Vignes Preliminary Analysis Cycle for B-Method Software Development. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF preliminary analysis cycle, B-method software development, a priori errors detection, inconsistency deficiencies, formal specification, formal specifications, formal methods, correctness proofs, incompleteness, testing process, software life-cycle
33Carlos Lassance, Hervé Déjean, Thibault Formal, Stéphane Clinchant SPLADE-v3: New baselines for SPLADE. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
33Hervé Déjean, Stéphane Clinchant, Thibault Formal A Thorough Comparison of Cross-Encoders and LLMs for Reranking SPLADE. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
33Nam Le Hai, Thomas Gerald, Thibault Formal, Jian-Yun Nie, Benjamin Piwowarski, Laure Soulier CoSPLADE: Contextualizing SPLADE for Conversational Information Retrieval. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Hervé Déjean, Stéphane Clinchant, Carlos Lassance, Simon Lupart, Thibault Formal Benchmarking Middle-Trained Language Models for Neural Search. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Guglielmo Faggioli, Thibault Formal, Stefano Marchesin 0001, Stéphane Clinchant, Nicola Ferro 0001, Benjamin Piwowarski Query Performance Prediction for Neural IR: Are We There Yet? Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Guglielmo Faggioli, Thibault Formal, Stefano Marchesin 0001, Stéphane Clinchant, Nicola Ferro 0001, Benjamin Piwowarski On the Limitations of Query Performance Prediction for Neural IR. Search on Bibsonomy SEBD The full citation details ... 2023 DBLP  BibTeX  RDF
33Nam Le Hai, Thomas Gerald, Thibault Formal, Jian-Yun Nie, Benjamin Piwowarksi, Laure Soulier CoSPLADE : Adaptation d'un Modèle Neuronal Basé sur des Représentations Parcimonieuses pour la Recherche d'Information Conversationnelle. Search on Bibsonomy CORIA-TALN The full citation details ... 2023 DBLP  BibTeX  RDF
33Simon Lupart, Thibault Formal, Stéphane Clinchant MS-Shift: An Analysis of MS MARCO Distribution Shifts on Neural Retrieval. Search on Bibsonomy ECIR (1) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Nam Le Hai, Thomas Gerald, Thibault Formal, Jian-Yun Nie, Benjamin Piwowarski, Laure Soulier CoSPLADE: Contextualizing SPLADE for Conversational Information Retrieval. Search on Bibsonomy ECIR (1) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Guglielmo Faggioli, Thibault Formal, Stefano Marchesin 0001, Stéphane Clinchant, Nicola Ferro 0001, Benjamin Piwowarski Query Performance Prediction for Neural IR: Are We There Yet? Search on Bibsonomy ECIR (1) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Hervé Déjean, Stéphane Clinchant, Carlos Lassance, Simon Lupart, Thibault Formal Benchmarking Middle-Trained Language Models for Neural Search. Search on Bibsonomy SIGIR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Guglielmo Faggioli, Thibault Formal, Simon Lupart, Stefano Marchesin 0001, Stéphane Clinchant, Nicola Ferro 0001, Benjamin Piwowarski Towards Query Performance Prediction for Neural Information Retrieval: Challenges and Opportunities. Search on Bibsonomy ICTIR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Thibault Formal Towards Effective, Efficient and Explainable Neural Information Retrieval. (Vers une recherche d'information neuronale efficace, efficiente et interprétable). Search on Bibsonomy 2023   RDF
33Thibault Formal, Carlos Lassance, Benjamin Piwowarski, Stéphane Clinchant From Distillation to Hard Negative Sampling: Making Sparse Neural IR Models More Effective. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Carlos Lassance, Thibault Formal, Stéphane Clinchant Composite Code Sparse Autoencoders for first stage retrieval. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Nam Le Hai, Thomas Gerald, Thibault Formal, Jian-Yun Nie, Benjamin Piwowarski, Laure Soulier MLIA-DAC@TREC CAsT 2022: Sparse Contextualized Query Embedding. Search on Bibsonomy TREC The full citation details ... 2022 DBLP  BibTeX  RDF
33Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant A Study of Lexical Matching in Neural Information Retrieval - Abstract⋆. Search on Bibsonomy CIRCLE The full citation details ... 2022 DBLP  BibTeX  RDF
33Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant Match Your Words! A Study of Lexical Matching in Neural Information Retrieval. Search on Bibsonomy ECIR (2) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Thibault Formal, Carlos Lassance, Benjamin Piwowarski, Stéphane Clinchant From Distillation to Hard Negative Sampling: Making Sparse Neural IR Models More Effective. Search on Bibsonomy SIGIR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Thibault Formal, Carlos Lassance, Benjamin Piwowarski, Stéphane Clinchant SPLADE v2: Sparse Lexical and Expansion Model for Information Retrieval. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
33Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant Match Your Words! A Study of Lexical Matching in Neural Information Retrieval. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
33Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant SPLADE: Sparse Lexical and Expansion Model for First Stage Ranking. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
33Carlos Lassance, Arnaud Sors, Stéphane Clinchant, Thibault Formal, Benjamin Piwowarski Naver Labs Europe (SPLADE) @ TREC Deep Learning 2021. Search on Bibsonomy TREC The full citation details ... 2021 DBLP  BibTeX  RDF
33Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant Une Analyse du Modèle ColBERT. Search on Bibsonomy CORIA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant A White Box Analysis of ColBERT. Search on Bibsonomy ECIR (2) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Carlos Lassance, Thibault Formal, Stéphane Clinchant Composite Code Sparse Autoencoders for First Stage Retrieval. Search on Bibsonomy SIGIR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant SPLADE: Sparse Lexical and Expansion Model for First Stage Ranking. Search on Bibsonomy SIGIR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant A White Box Analysis of ColBERT. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
33Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant Naver Labs Europe @ TREC Deep Learning 2020. Search on Bibsonomy TREC The full citation details ... 2020 DBLP  BibTeX  RDF
33Thibault Formal, Stéphane Clinchant, Jean-Michel Renders, Sooyeol Lee, Geun-Hee Cho Learning to Rank Images with Cross-Modal Graph Convolutions. Search on Bibsonomy ECIR (1) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
33Yannick Aoustin, Alexander M. Formal'sky Ball on a beam: stabilization under saturated input control with large basin of attraction Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
33Yannick Aoustin, Alexander M. Formal'sky On optimal swinging of the biped arms. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Yannick Aoustin, Alexander M. Formal'sky On the stabilization of a biped vertical posture in single support using internal torques. Search on Bibsonomy Robotica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Christine Chevallereau, Alexander M. Formal'sky, Dalila Djoudi Tracking a joint path for the walk of an underactuated biped. Search on Bibsonomy Robotica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Yannick Aoustin, Alexander M. Formal'sky Simple anti-swing feedback control for a gantry crane. Search on Bibsonomy Robotica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Alexander M. Formal'sky, Christine Chevallereau, B. Perrin On Ballistic Walking Locomotion of a Quadruped. Search on Bibsonomy Int. J. Robotics Res. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33A. V. Beznos, Alexander M. Formal'sky, E. V. Gurfinkel, D. N. Jicharev, A. V. Lensky, K. V. Savitsky, L. S. Tchesalin Control of Autonomous Motion of Two-wheel Bycycle with Gyroscopic Stabilization. Search on Bibsonomy ICRA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
33Christine Chevallereau, Alexander M. Formal'sky, B. Perrin Low Energy Cost Reference Trajectories for a Biped Robot. Search on Bibsonomy ICRA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
33Yannick Aoustin, Alexander M. Formal'sky On the Synthesis of a Norminal Trajectory for Control Law of a One-Link Flexible Arm. Search on Bibsonomy Int. J. Robotics Res. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
33Christine Chevallereau, Alexander M. Formal'sky, B. Perrin Control of a walking robot with feet following a reference trajectory derived from ballistic motion. Search on Bibsonomy ICRA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
33Alexander M. Formal'sky, E. K. Lavrovsky Stabilization of Flexible One-Link Arm Position: Stability Domains in the Space of Feedback Gains. Search on Bibsonomy Int. J. Robotics Res. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
33A. A. Grishin, Alexander M. Formal'sky, A. V. Lensky, S. V. Zhitomirsky Dynamic Walking of a Vehicle With Two Telescopic Legs Controlled by Two Drives. Search on Bibsonomy Int. J. Robotics Res. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
33A. V. Lensky, A. B. Lizunov, Alexander M. Formal'sky, A. Yu. Shneider Manipulator motion along a constraint. Search on Bibsonomy Robotica The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
33V. S. Gurfinkel, E. A. Devjanin, A. V. Lensky, S. B. Mozhzhevelov, Alexander M. Formal'sky, A. Yu. Shneider Controlling a manipulator using sensory motor interaction. Search on Bibsonomy Robotica The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
33Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba SOFL: A Formal Engineering Methodology for Industrial Applications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF formal methods, formal languages, data flow diagrams, object-oriented methodology, Structured methods
33John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou A Formalization of Software Architecture. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis Consistency checking of SCR-style requirements specifications. Search on Bibsonomy RE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness
33Boutheina Chetali, Quang Huy Nguyen 0002 Industrial Use of Formal Methods for a High-Level Security Evaluation. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Sten Agerholm, Peter Gorm Larsen A Lightweight Approach to Formal Methods. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
33Kevin Lano Specifying static analysis tools using formal methods. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment
Displaying result #1 - #100 of 53235 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license