Search results for "formulae"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
63	Isolde Adler, Mark Weyer	Tree-Width for First Order Formulae.	CSL	2009	DBLP DOI BibTeX RDF
59	Alberto Del Bimbo, Luigi Rella, Enrico Vicario	Visual Specification of Branching Time Temporal Logic.	VL	1995	DBLP DOI BibTeX RDF	branching time temporal logic, ordering relationships, visual shell, recursive syntax, mathematical notation, recursive visualization rules, generative approach, generic textual formula visualisation, 3D virtual space, branching time formulae, complex formulae, formal specification, parallel processing, parallelism, temporal logic, specification languages, visual languages, visual language, data visualisation, graphic representation, nesting, descriptive language, visual specification, time-varying systems, time-varying systems, execution sequencing
56	Bingjun Sun, Qingzhao Tan, Prasenjit Mitra, C. Lee Giles	Extraction and search of chemical formulae in text documents on the web.	WWW	2007	DBLP DOI BibTeX RDF	chemical formula, feature boosting, support vector machines, feature selection, ranking, similarity search, conditional random fields, query models, entity extraction
56	Gilles Dequen, Olivier Dubois 0002	An Efficient Approach to Solving Random k-satProblems.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	solving, heuristic, satisfiability
54	Jaewook Chung, M. Anwar Hasan	Asymmetric Squaring Formulae.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF	Karatsuba algorithm, Toom- Cook multiplication algorithm, Montgomery’s Karatsuba-like formulae, Squaring, multiple-precision arithmetic
54	Tanja Lange 0001	Formulae for Arithmetic on Genus 2 Hyperelliptic Curves.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF	Fast Arithmetic, Public Key Cryptography, Discrete Logarithm, Hyperelliptic Curves, Explicit Formulae
54	David Chadwick, Brian Knight, Kamalasen Rajalingham	Quality Control in Spreadsheets: A Visual Approach using Color Codings to Reduce Errors in Formulae.	Softw. Qual. J.	2001	DBLP DOI BibTeX RDF	visual, color, development, errors, spreadsheet, formulae
54	Yuan Xu 0005	Polynomial interpolation in several variables, cubature formulae, and ideals[*]Supported by the National Science Foundation under Grant DMS-9802265.	Adv. Comput. Math.	2000	DBLP DOI BibTeX RDF	polynomial interpolation in several variables, 65D05, 41A63, orthogonal polynomials, variety, 41A05, 41A10, polynomial ideals, 13P10, cubature formulae
54	T. M. Chen, Brian R. Wilkins	A set of new and efficient formulae for buffer size analysis of real-time systems using M/G/1 models.	RTCSA	1997	DBLP DOI BibTeX RDF	buffer size analysis, Poisson random arrival, compact formulae, M/G/1 queueing model, general service time distribution, single server system, M/D/1, M/E/sub k//1 system, real-time systems, real time systems, probability
54	Xinxin Fan, Thomas J. Wollinger, Yumin Wang	Inversion-Free Arithmetic on Genus 3 Hyperelliptic Curves and Its Implementations.	ITCC (1)	2005	DBLP DOI BibTeX RDF	genus 3 hyperelliptic curve cryptosystem, inversion-free, scalar multiplication, efficient implementation, explicit formulae
49	Yasubumi Sakakibara	DNA-based algorithms for learning Boolean formulae.	Nat. Comput.	2003	DBLP DOI BibTeX RDF	population computation, weighted majority, DNA computing, massively parallel, Boolean formula, computational learning
49	Reinhard Pichler	Negation Elimination from Simple Equational Formulae.	ICALP	2000	DBLP DOI BibTeX RDF
49	Yasubumi Sakakibara	Solving Computational Learning Problems of Boolean Formulae on DNA Computers.	DNA Computing	2000	DBLP DOI BibTeX RDF
49	S. V. Kolyada	Systems for Symbolic Computations in Boolean Algebra.	ISSAC	1990	DBLP DOI BibTeX RDF
49	Gunter Bolch	Approximation von Leistungsgrößen symmetrischer Mehrprozessorsysteme.	Computing	1983	DBLP DOI BibTeX RDF	Multi server queueing system, approximation, waiting time, queue length, upper and lower bounds, steady state probabilities
47	Walter Gautschi	High-order generalized Gauss-Radau and Gauss-Lobatto formulae for Jacobi and Laguerre weight functions.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	High-order generalized Gauss-Radau and Gauss-Lobatto quadrature formulae, Jacobi weight functions, Laguerre weight functions
42	Sébastien Limet, Pierre Pillot	Deciding Satisfiability of Positive Second Order Joinability Formulae.	LPAR	2006	DBLP DOI BibTeX RDF
42	Hans Kleine Büning, Xishun Zhao	Extension and equivalence problems for clause minimal formulae.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	clause minimal formulas, extension problem, complexity, equivalence problem
42	Peter L. Montgomery	Five, Six, and Seven-Term Karatsuba-Like Formulae.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Karatsuba, Karatsuba-Ofman, characteristic 2, elliptic curve arithmetic, Galois fields, polynomial multiplication, binary fields
42	Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov	SCAN Is Complete for All Sahlqvist Formulae.	RelMiCS	2003	DBLP DOI BibTeX RDF
42	Gilles Dequen, Olivier Dubois 0002	kcnfs: An Efficient Solver for Random k-SAT Formulae.	SAT	2003	DBLP DOI BibTeX RDF
42	Anne-Cécile Caron, Franck Seynhaeve, Sophie Tison, Marc Tommasi	Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting.	RTA	1999	DBLP DOI BibTeX RDF
42	Q.-S. Tao	Symbolic and Algebraic Manipulation for Formulae of Interpolation and Quadrature.	ISSAC	1990	DBLP DOI BibTeX RDF	REDUCE
42	Flavio Antonio Ferrarotti, Jose Maria Turull Torres	Arity and alternation: a proper hierarchy in higher order logics.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03C13, 68Q19, 03C85
42	Flavio Antonio Ferrarotti, Jose Maria Turull Torres	Arity and Alternation: A Proper Hierarchy in Higher Order Logics.	FoIKS	2006	DBLP DOI BibTeX RDF
42	Gaurav Chakravorty, Paritosh K. Pandya	Digitizing Interval Duration Logic.	CAV	2003	DBLP DOI BibTeX RDF
40	Daniel Prusa, Václav Hlavác	Structural Construction for On-Line Mathematical Formulae Recognition.	CIARP	2008	DBLP DOI BibTeX RDF	formulae recognition, two-dimensional grammars
40	Ofer Arieli	Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Paraconsistent and nonmonotonic reasoning, preferential semantics, quantified Boolean formulae
40	Xinxin Fan, Guang Gong	Efficient Explicit Formulae for Genus 2 Hyperelliptic Curves over Prime Fields and Their Implementations.	Selected Areas in Cryptography	2007	DBLP DOI BibTeX RDF	Genus 2 hyperelliptic curves, Cantor’s algorithm, Harley’s variant, efficient implementation, explicit formulae
40	Thomas J. Wollinger, Vladyslav Kovtun	Fast explicit formulae for genus 2 hyperelliptic curves using projective coordinates.	ITNG	2007	DBLP DOI BibTeX RDF	hyperelliptic curves, explicit formulae
40	Hélder Ferreira, Diamantino Freitas	Audio Rendering of Mathematical Formulae Using MathML and AudioMath.	User Interfaces for All	2004	DBLP DOI BibTeX RDF	Audio Rendering of Mathematical Expressions, Conversion of mathematical formulae into text, Accessibility, Text-to-Speech, MathML
40	Mark H. Carpenter, C. A. Kennedy, Hester Bijl, S. A. Viken, Veer N. Vatsa	Fourth-Order Runge-Kutta Schemes for Fluid Mechanics Applications.	J. Sci. Comput.	2005	DBLP DOI BibTeX RDF	backward differentiation formulae, modified extended efficiency, convection-diffusion-reaction, turbulence, time discretization, Runge-Kutta, High-order
40	Stanislav Sheynin, Alexander Tuzikov	Moment Computation for Objects with Spline Curve Boundary.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	spline, moment, Area, parametric curve, explicit formulae
40	Stanislav Sheynin, Alexander Tuzikov	Area and Moment Computation for Objects with a Closed Spline Boundary.	CAIP	2003	DBLP DOI BibTeX RDF	spline, moment, Area, parametric curve, explicit formulae
40	Adam Kellett, Michael Fisher 0001	Automata Representations for Concurrent METATEM.	TIME	1997	DBLP DOI BibTeX RDF	Concurrent METATEM language, temporal logic formulae, direct interpretation, large applications, closely coupled automata, performance, parallel languages, parallel language, finite-state automata, logic programming language
35	Ioannis Z. Emiris, Angelos Mantzaflaris	Multihomogeneous resultant formulae for systems with scaled support.	ISSAC	2009	DBLP DOI BibTeX RDF	bézout, determinantal formula, maple implementation, multihomogeneous system, resultant matrix, sylvester
35	Jesús M. Carnicer, Tim N. T. Goodman, Juan Manuel Peña 0001	Roundoff errors for polynomial evaluation by a family of formulae.	Computing	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 65G50, 65D05, 41A05
35	Sonia Pérez-Díaz, J. Rafael Sendra	Partial degree formulae for rational algebraic surfaces.	ISSAC	2005	DBLP DOI BibTeX RDF	partial degrees of an algebraic surface, rational map degree, rational surface parametrization, algebraic surface
35	Mitra Purandare, Fabio Somenzi	Vacuum Cleaning CTL Formulae.	CAV	2002	DBLP DOI BibTeX RDF
35	Peter F. Patel-Schneider, Roberto Sebastiani	A New System and Methodology for Generating Random Modal Formulae.	IJCAR	2001	DBLP DOI BibTeX RDF
35	Pascal Garcia, Bertrand Coüasnon	Using a Generic Document Recognition Method for Mathematical Formulae Recognition.	GREC	2001	DBLP DOI BibTeX RDF
35	Richard Nock, Pascal Jappy, Jean Sallantin	Generalized Graph Colorability and Compressibility of Boolean Formulae.	ISAAC	1998	DBLP DOI BibTeX RDF
35	Luís Pinto 0001	Cut Formulae and Logic Programming.	ELP	1993	DBLP DOI BibTeX RDF
35	Anthony Hunter, Weiru Liu	Knowledge Base Stratification and Merging Based on Degree of Support.	ECSQARU	2009	DBLP DOI BibTeX RDF
35	Thomas Ågotnes, Michal Walicki	Complete Axiomatizations of Finite Syntactic Epistemic States.	DALT	2005	DBLP DOI BibTeX RDF
35	Michal Kouril, John V. Franco	Resolution Tunnels for Improved SAT Solver Performance.	SAT	2005	DBLP DOI BibTeX RDF
35	Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty	Bounded Validity Checking of Interval Duration Logic.	TACAS	2005	DBLP DOI BibTeX RDF
33	Thomas J. Wollinger, Jan Pelzl, Christof Paar	Cantor versus Harley: Optimization and Analysis of Explicit Formulae for Hyperelliptic Curve Cryptosystems.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Harley's algorithm, Cantor, embedded implementation, efficient implementation, Hyperelliptic curves, explicit formulae
33	M. V. Noskov, Hans Joachim Schmid	Minimal Cubature Formulae of Degree 3 for Integrals over the Surface of the Torus.	Computing	1996	DBLP DOI BibTeX RDF	ideal theory, integration, torus, Cubature formulae
33	Fabrizio d'Amore, P. Kohler	Asymptotically Sharp Error Estimates for Modified Compound Quadrature Formulae for Cauchy Principal Value Integrals.	Computing	1995	DBLP DOI BibTeX RDF	Cauchy principal value integrals, modified compound quadrature formulae, Peano kernels, error estimates
33	Mike Paterson, Uri Zwick	Shrinkage of de~Morgan formulae under restriction	FOCS	1991	DBLP DOI BibTeX RDF	de Morgan formulae, random restriction, induced function, lower bound, NP
33	Nader H. Bshouty, Richard Cleve, Wayne Eberly	Size-Depth Tradeoffs for Algebraic Formulae	FOCS	1991	DBLP DOI BibTeX RDF	algebraic formulae, size depth tradeoffs, Boolean functions
33	Jan Pelzl, Thomas J. Wollinger, Jorge Guajardo, Christof Paar	Hyperelliptic Curve Cryptosystems: Closing the Performance Gap to Elliptic Curves.	CHES	2003	DBLP DOI BibTeX RDF	comparison HECC vs. ECC, efficient implementation, Hyperelliptic curves, explicit formulae
33	Alexander Tuzikov, Stanislav Sheynin, Pavel V. Vasiliev	Efficient Computation of Body Moments.	CAIP	2001	DBLP DOI BibTeX RDF	implicit formulae, moment, polygonal representation
33	Tjavdar Ivanov, Vladimir Maz'ya, Gunther Schmidt 0002	Boundary layer approximate approximations and cubature of potentials in domains.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	volume potentials, semi-analytic cubature formulae, approximate approximations, approximate multi-resolution, 65N38, 65D32, 65D15
33	Tsong Yueh Chen, Man Fai Lau	Two test data selection strategies towards testing of Boolean specifications.	COMPSAC	1997	DBLP DOI BibTeX RDF	test data selection strategies, Boolean specification testing, Boolean testing, fault based approach, program testing, test data generation, test case selection, Boolean formulae, Boolean expression
29	P. G. Barker, P. S. Jones	Syntactic Definition and Parsing of Molecular Formulae, Part 2: Graphical Synthesis of Molecular Formulae for Data Base Queries.	Comput. J.	1978	DBLP DOI BibTeX RDF
28	Akio Fujiyoshi, Masakazu Suzuki, Seiichi Uchida	Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
28	Nicolas Méloni	New Point Addition Formulae for ECC Applications.	WAIFI	2007	DBLP DOI BibTeX RDF	Fibonacci, elliptic curve, scalar multiplication, exponentiation, addition chains
28	Hüseyin Hisil, Gary Carter, Ed Dawson	New Formulae for Efficient Elliptic Curve Arithmetic.	INDOCRYPT	2007	DBLP DOI BibTeX RDF	efficient point multiplication, DBNS, Elliptic curve, tripling, doubling
28	Jianfang Zhang	The calculating formulae, and experimental methods in error propagation analysis.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
28	Seiichi Toyota, Seiichi Uchida, Masakazu Suzuki	Structural Analysis of Mathematical Formulae with Verification Based on Formula Description Grammar.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
28	Bow-Yaw Wang	On the Satisfiability of Modular Arithmetic Formulae.	ATVA	2006	DBLP DOI BibTeX RDF
28	Thomas J. Wollinger, Guido Bertoni, Luca Breveglieri, Christof Paar	Performance of HECC Coprocessors Using Inversion-Free Formulae.	ICCSA (3)	2006	DBLP DOI BibTeX RDF
28	Sven Jörges, Tiziana Margaria, Bernhard Steffen	FormulaBuilder: a tool for graph-based modelling and generation of formulae.	ICSE	2006	DBLP DOI BibTeX RDF	formula generation, property specification, specification patterns
28	Michael Kohlhase, Ioan Sucan	A Search Engine for Mathematical Formulae.	AISC	2006	DBLP DOI BibTeX RDF
28	Mitsuhiro Haneda, Mitsuru Kawazoe, Tetsuya Takahashi 0001	Suitable Curves for Genus-4 HCC over Prime Fields: Point Counting Formulae for Hyperelliptic Curves of Type y2=x2k+1+ax.	ICALP	2005	DBLP DOI BibTeX RDF
28	Rajeev Goré, Linh Anh Nguyen	A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.	TABLEAUX	2005	DBLP DOI BibTeX RDF
28	Yusuke Takiguchi, Minoru Okada, Yasuji Miyake	A Fundamental Study of Output Translation from Layout Recognition and Semantic Understanding System for Mathematical Formulae.	ICDAR	2005	DBLP DOI BibTeX RDF
28	Artur Bykowski, Jouni K. Seppänen, Jaakko Hollmén	Model-Independent Bounding of the Supports of Boolean Formulae in Binary Data.	Database Support for Data Mining Applications	2004	DBLP DOI BibTeX RDF
28	Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe	Database Repair by Signed Formulae.	FoIKS	2004	DBLP DOI BibTeX RDF
28	Andrew G. D. Rowley	Watching Clauses in Quantified Boolean Formulae.	CP	2003	DBLP DOI BibTeX RDF
28	Jörn Freiheit, Armin Heindl	Novel Formulae for GSPN Aggregation.	MASCOTS	2002	DBLP DOI BibTeX RDF
28	Nicholas Chia-Yuan Chang, Yao-Wen Chang, Iris Hui-Ru Jiang	Formulae for Performance Optimization and Their Applications to Interconnect-Driven Floorplanning.	ISQED	2002	DBLP DOI BibTeX RDF	Interconnect-Driven Floorplanning, Performance Optimization
28	Stanislav Sheynin, Alexander V. Tuzikov	Formulae for polytope volume and surface moments.	ICIP (3)	2001	DBLP DOI BibTeX RDF
28	Amir Shpilka, Avi Wigderson	Depth-3 Arithmetic Formulae over Fields of Characteristic Zero.	CCC	1999	DBLP DOI BibTeX RDF
28	Michele Flammini, Alberto Marchetti-Spaccamela, Ludek Kucera	Learning DNF Formulae Under Classes of Probability Distributions.	COLT	1992	DBLP DOI BibTeX RDF
28	Josef B. Baker, Alan P. Sexton, Volker Sorge	A Linear Grammar Approach to Mathematical Formula Recognition from PDF.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
28	Patrick Longa, Ali Miri	Fast and Flexible Elliptic Curve Point Arithmetic over Prime Fields.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Parallel, Public key cryptosystems, High-Speed Arithmetic
28	Anbu Yue, Weiru Liu, Anthony Hunter	Approaches to Constructing a Stratified Merged Knowledge Base.	ECSQARU	2007	DBLP DOI BibTeX RDF
28	Antonín Kucera 0001, Jan Strejcek	The stuttering principle revisited.	Acta Informatica	2005	DBLP DOI BibTeX RDF
28	L. Gregory Meredith, Matthias Radestock	Namespace Logic: A Logic for a Reflective Higher-Order Calculus.	TGC	2005	DBLP DOI BibTeX RDF
28	Dejan Jovanovic, Predrag Janicic	Logical Analysis of Hash Functions.	FroCoS	2005	DBLP DOI BibTeX RDF
28	Mikhail Alexandrov, Xavier Blanco, Pavel Makagonov	Testing Word Similarity: Language Independent Approach with Examples from Romance.	NLDB	2004	DBLP DOI BibTeX RDF
28	Paolo Baldan, Barbara König 0001, Bernhard König	A Logic for Analyzing Abstractions of Graph Transformation Systems.	SAS	2003	DBLP DOI BibTeX RDF
28	M. Carmen Fernández Gago, Michael Fisher 0001, Clare Dixon	Algorithms for Guiding Clausal Temporal Resolution.	KI	2002	DBLP DOI BibTeX RDF
28	Luca Alberucci	Strictness of the Modal µ-Calculus Hierarchy.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
28	Alexander Bolotov, Clare Dixon	Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule.	TIME	2000	DBLP DOI BibTeX RDF	loop detection algorithm, temporal logics, resolution, automated deduction, branching-time
28	Karlis Cerans	Deciding Properties of Integral Relational Automata.	ICALP	1994	DBLP DOI BibTeX RDF
28	Avrim Blum, Roni Khardon, Eyal Kushilevitz, Leonard Pitt, Dan Roth	On Learning Read-k-Satisfy-j DNF.	COLT	1994	DBLP DOI BibTeX RDF
26	Francesc Esteva, Lluís Godo, Carles Noguera	Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Mathematical fuzzy logic, Left-continuous t-norms, T-norm based logics, Truth-constants, Evaluated formulae, Real and rational completeness
26	Miki Shibukawa, Mariko Fujikake Funada, Yoshihide Igarashi, Satoki P. Ninomija	Fundamental Studies on Effective e-Learning Using Physiology Indices.	HCI (10)	2009	DBLP DOI BibTeX RDF	achievement, chemical formulae, learning, EEG, event related potential
26	Ephraim Nissan	Nested Beliefs, Goals, Duties, and Agents Reasoning About their Own or Each Other's Body in the TIMUR Model: A Formalism for the Narrative of Tamerlane and the Three Painters.	J. Intell. Robotic Syst.	2008	DBLP DOI BibTeX RDF	Nested beliefs, Belief ascription, Duties, Social hierarchy, Episodic formulae, TIMUR model, Narrative, Goals, Deception, Embodied agents, Penalty
26	Yalin Zheng, Guang Yang 0002, Changshui Zhang, Jing Zheng, Yunpeng Xu	Equivalence Knowledge Mass and Approximate Reasoning in -Logic (I).	ICIC (2)	2008	DBLP DOI BibTeX RDF	Knowledge Cumularspharolith, Formulae Cumularspharolith, Approximate Knowledge Closure of Knowledge Base, Pseudo-distance, automatic Reasoning System, completeness
26	Iván Atencia, Pilar Moreno	A Discrete-Time Geo/G/1 Retrial Queue with General Retrial Times.	Queueing Syst. Theory Appl.	2004	DBLP DOI BibTeX RDF	general retrial times, recursive formulae, Markov chain, stochastic decomposition, discrete-time model
26	Pradeep Kumar Mishra, Palash Sarkar 0001	Application of Montgomery's Trick to Scalar Multiplication for Elliptic and Hyperelliptic Curves Using a Fixed Base Point.	Public Key Cryptography	2004	DBLP DOI BibTeX RDF	scalar multipication, field inversion, side-channel attacks, elliptic curves, hyperelliptic curves, explicit formulae
26	Marc Mosko, J. J. Garcia-Luna-Aceves	An Analysis of Packet Loss Correlation in FEC-Enhanced Multicast Trees.	ICNP	2000	DBLP DOI BibTeX RDF	packet loss correlation, FEC-enhanced multicast trees, group loss probabilities, forward error correction codes, state equations, recursive formulae, FEC group, shared loss tree, leaf nodes, transmission group, missing packets, nonuniform link loss, nonFEC trees, Internet, probability, error correction codes, packet switching, decoding, decoding, trees (mathematics), forward error correction, multicast communication, erasure codes, correlation methods, probability mass function, cumulative distribution function
26	Ramamohan Paturi, Pavel Pudlák, Francis Zane	Satisfiability Coding Lemma.	FOCS	1997	DBLP DOI BibTeX RDF	satisfying assignments, satisfying assignment, Satisfiability Coding Lemma, computability, randomized algorithm, satisfiability, deterministic algorithm, conjunctive normal form, Boolean formulae
26	Laurence Cholvy, Frédéric Cuppens	Analyzing Consistency of Security Policies.	S&P	1997	DBLP DOI BibTeX RDF	security policy consistency analysis, deontic formulae, normative conflicts, role priorities, methodology, problem solving, roles, formal language, security of data, regulation, formal logic
26	Olivier Thiry, Luc J. M. Claesen	A formal verification technique for embedded software.	ICCD	1996	DBLP DOI BibTeX RDF	embedded software correctness, assembly program code, CTL temporal logic formulae, embedded system application, assembly language program, formal verification, program verification, formal model, embedded software, processor architecture, instruction set