yusuke1997/dblp-id-title huggingface dataset:
A quantitative evaluation of aspect-oriented software quality model (AOSQUAMO)
Tabled logic programming for verification and program analysis
Are We Safe Online? Cybersecurity as the Golden Word in 2025
SEES Summary: Software Engineering Educators Symposium 2014
Sensitive test data for logic expressions
Understanding the differences between VDM and Z
Some computer anecdotes from among those submitted in connection with the 7th symposium on operating systems principles
ACM SIGSOFT SEN Empirical Software Engineering: Introducing Our New Regular Column
Integrated projection illustrating
International workshop on large-scale software composition
SEEWeb: making experimental artifacts available
Comment on "The application of error-sensitive testing strategies to debugging"
Assessing Programming Language Impact on Software Development Productivity Based on Mining OSS Repositories
Behind OpenAI CEO Dismissal: An Ethical Dilemma And ANew AI Revolution
A whole new kind of engineering
Emerging Software Engineering Research Networks in (East) Africa
A view on the state of software engineering practice: experience from Egypt
Software architecture, analysis, generation, and evolution (SAAGE)
The State and Future of Genetic Improvement
Scenarios, state machines and purpose-driven testing
Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops
Review of "The Object Primer, 2nd Edition by Scott W. Ambler". Cambridge University Press: Cambridge, 2001, 0-521-785197 (paperback)
Eternal software engineering cross feature/architecture design simplifications
B-ware: contradictions in a software development plan
Interoperability issues affecting autonomic computing
Test input generation using separati logic
Review of "Eclipse: Building Commercial Quality Plug-ins by Eric Clayberg and Dan Rubel". Addison Wesley, 2004, 0-321-22847-2 (paperback)
The fountain model and its impact on project schedule
Peer reviews in software: a practical guide
Pains and Gains of Peer-Reviewing in Software Engineering (4)
Realising evidence-based software engineering
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: workshop report
Formal software engineering
Metrics-based design selection tool for aspect oriented software development
Why should you use a personal software process?
Software licenses: a tool to control distribution of software
Book Review: Software Systems Construction with Examples in Ada
Semantic interoperation of open systems
An alternative to structured programming: syndicate programming
4 th Intl. ICSE workshop on Software Engineering for Automotive Systems
Executing real-time structured analysis specifications
Internet agility/Maturity model survey for the software industry call for participation
Backmatter (Report abstracts, Paper abstracts, Book Reviews, Calendar of Future Events)
Book Reviews: High Performance Oracle8 Object-Oriented Design, David A. Anstey
Response to Philip Miller's letter
A trip report on SIGSOFT '91
Understanding architectural tradeoffs necessary to increase climate model intercomparison efficiency
A report on software engineering education workshop
Evaluation of current software costing tools
Programming perl, fourth edition by Tom Christiansen, Brian D. Foy and Larry Wall with Jon Orwant
Report on ReAnimate'25
ACM TOSEM: FAQs and Figures
Using refactoring and unification rules to assist framework evolution
First international workshop on usability and accessibility focused requirements engineering (UsARE 2012): summary report
Towards using architectural knowledge
On the Evolution of Software and Systems Product Line Standards
Software test automation
Program verification at Texas Instruments
An empirical assessment of metrics suite of AOSD in open source projects
Some comments on software methodology versus CASE
Taming the abstract data type: a taxonomy to help information systems designers
The Quantitative Safety Assessment and Evaluation for Safety-Critical Computer Systems
A basic model for components implementation of software architecture
ICSE '99 conference daily newspaper: Window on the World
Modeling in event-b - system and software engineering by Jean-Raymond Abrial
Evolution of configuration management
Mapping extended rationale diagrams to OLAP queries
Performance Estimation of Static Step Topology Across Distributed Networks through Simulation Tool
Automatic code generation of SIMUROSOT game strategies: an approach based on finite state machines
Programming language foundations of computation theory
Twin Peaks goes Agile
A graphical tool for the design and prototyping of distributed systems
Computer vision based guidance in UAVs: software engineering challenges
Why lehman matters: mediocracy
AI-powered DevOps: the Software Industry Is Re-wiring the Pipeline
From software requirements to architectures (STRAW01)
Service-oriented product lines: a systematic mapping study
Towards Effective Technical Debt Decision Making in Software Startups
Recent SRI work in verification
Service design patterns: fundamental design solutions for SOAP/WSDL and RESTful web services by Robert Daigneau
Examining team cohesion as an effect of software engineering methodology
Strategies for testing products in software product lines
Rethinking smart objects: building artificial intelligence with objects
Pattern hybridization: breeding new designs out of pattern interactions
System construction with object-oriented pictures
Applying small group theory to analysis and design of CSCW systems
SEGarage: A Curated Archive for Software Engineering Research Tools
Reflections on: A Simpler Model of Software Readability
A program model for design
Measuring software reliability: a fuzzy model
FACC activities/positions in methodology, verification, and trusted systems
Korovkin theorems on weighted spaces: revisited
A symmetric operator and its Kaufman's representation
On edge-antipodal d -polytopes
Warped product CR -submanifolds in locally conformal Kaehler manifolds
Description of the symmetric H q -Laguerre-Hahn orthogonal q-polynomials of class one
Some new Gronwall-Bellman-Bihari type integral inequalities with delay
A new lower bound on the surface area of a Voronoi polyhedron
Extreme bilinear forms on \(\mathbb {R}^n\) with the supremum norm
On open books for nonorientable 3-manifolds
A complexity measure for families of binary sequences
On a problem of Erdős and Graham
Covering the 5-dimensional unit cube by eight congruent balls
Favourite sites of simple random walk
Placing of points into the 5-dimensional unit cube
The minimal number of pieces realizing affine congruence by dissection of topological discs
Normal forms for rank two linear irregular differential equations and moduli spaces
The extension of the D(-k)-pair k, k+1 to a quadruple
X -coordinates of Pell equations as sums of two tribonacci numbers
The M-principal graph of a commutative ring
On some regularity condition
A self-normalized invariance principle for a ϕ -mixing sequence
The Schwarzian derivative on Finsler manifolds of constant curvature
On the second moment of the Fourier coefficients of symmetric power L-function over two sparse sequences of positive integers
Abundant and ample straight left orders
Discretizing the fold bifurcation - A conjugacy result
On reducible trinomials, III
k-Gap balancing numbers
Conformal vector fields of a class of Finsler spaces
On the X-coordinates of Pell equations of the form px 2
Some q-congruences arising from certain identities
The strip of minimum width covering a centrally symmetric set of points
Dependence of positive solutions on functional parameters for a class of elliptic problems
On the prediction of p-stationary processes
On the exponential diophantine equation \(\left( am^{2}+1\right) ^{x}+\left( bm^{2}-1\right) ^{y}=(cm)^{z}\) with \( c\mid m \)
On Lau-Loy's decomposition of a measure algebra on CHART groups
On the probability that n and [ n c ] are coprime
Individual exponential stability for linear skew-products semiflows over a semiflow
Occupation time theorems for a class of one-dimensional diffusion processes
Some applications of S -restricted set partitions
Arithmetic properties of integers with missing digits: distribution in residue classes
Generalization of Segal algebras for arbitrary topological algebras
Correction to: Functional graphs of rational maps induced by endomorphisms of ordinary elliptic curves over finite fields
A note on multiple rational Fourier series
Strong approximations in a charged-polymer model
A Class of Quasi-Adequate Semigroups
Complementary Euler numbers
On two numerical-analytic methods for the investigation of periodic solutions
On Pseudo-Random Subsets of the Set of the Integers Not Exceeding N
On \(\mathfrak {F}_{hq}\) -supplemented subgroups of a finite group
On a stronger form of Salem-Zygmund's inequality for random trigonometric sums with examples
Endomorphism rings of bimodules
Quasiregular and Baer lattices - II
Concerning closed invariant subspaces for endomorphisms of the space ( s )
Interpolation in \(H^{p}\) spaces over the right half-plane
Partial actions and an embedding theorem for inverse semigroups
On the Wittmann strong law for mixing sequences
Constructing non-catenary H-domains
Coherent quivers
Remarks on Einstein-like Hermitian manifolds
The boundary of the Milnor fibre of certain non-isolated singularities
On Problem 76 of Fuchs
On the L 1 and pointwise divergence of continuous functions
On the equation 1 k +2 k +···+n k = x 2
A functional CLT for the L 2 modulus of continuity of local time
Weak laws of large numbers for cooperative gamblers
On Jensen-McShane's inequality
Minimal expansions in redundant number systems: Fibonacci bases and Greedy algorithms
Continued fractions and irrational rotations
Some q-supercongruences from the Bailey transformation
Double sequences and Orlicz functions
New characterization of Hopf hypersurfaces in nonflat complex space forms
Integral transformations by the index of Lommel's function
On the Stability of the Equilibrium of Mechanical Systems
An explicit sieve bound and small values of σ(ф(m))
The algebraic and geometric classification of nilpotent right alternative algebras
Jason Rosenhouse, The Monty Hall Problem, The remarkable story of math's most contentious brain teaser, xii+194 pages, Oxford University Press, Oxford, 2009
On iterated difference sets in groups
A structure theorem for dismantlable lattices and enumeration
Spanning trees of K 1,4 -free graphs whose reducible stems have few leaves
On pseudo quasi-Einstein manifolds
On random permutations without cycles of some lenghts
Weakly Douglas Finsler metrics
Remarks on the paper "M. Kolibiar, on a construction of semigroups"
An observation on the zero-free region of the Riemann zeta-function
Smoothness of the Dunkl analytic functions
Cyclic branched coverings of some pretzel links
A Diophantine equation with the harmonic mean
Establishing the minimal index in a parametric family of bicyclic biquadratic fields
Sets with even partition functions and 2-adic integers
Oscillation results via comparison theorems for fourth-order delay three-terms difference equations
Empty convex polygons in almost convex sets
On an additive property of sequences of nonnegative integers
Unfoldings of doubly covered polyhedra and applications to space-fillers
Tribute to Endre Csáki and Pál Révész
Sublattices of regular elements
Ladders and canonical varieties of completely regular semigroups
Representation of zero-sum invariants by sets of zero-sum sequences over a finite abelian group
On general divisor problems of Hecke eigenvalues of cusp forms
On the distribution of the leading digit of (a n ) : a study via (χ 2 ) statistics
The Noether number of the non-abelian group of order \(3p\)
Singular value and norm inequalities for products and sums of matrices
Dowker-type theorems for hyperconvex discs
Koassoziierte Primideale in 2-Dimensionalen Regulären Ringen
On orthogonal polynomials with respect to the form -( x - c ) S '
Diophantine equations with Appell sequences
An introduction to knot Floer homology and curved bordered algebras
An analogue of a theorem of van der Waerden, and its application to two-distance preserving mappings
On the consecutive k-free values for certain classes of polynomials
Double integral inequalities and application in numerical integration
Some notes on the multiplicative order of \(\alpha + \alpha ^{-1}\) in finite fields of characteristic two
On a continued fraction algorithm in finite extensions of ${\mathbb {Q}}_p$ and its metrical theory
The Fermat cubic and quartic curves over cyclic fields
Extensions of left regular bands by ℛ-unipotent semigroups
Maximal inequalities and their applications to orthogonal and Hadamard matrices
Yamabe solitons on three-dimensional normal almost paracontact metric manifolds
On a conjecture of Károly Bezdek and János Pach
Quasiregular and Baer lattices - I
Cryptanalysis of a knapsack-like cryptosystem
On unit power integral bases of $\mathbb{Z}\left[ {\sqrt[4]{m}} \right]$
On the symmetry measure of pseudorandom subsets
A Voronovskaya-type theorem in simultaneous approximation
On Jordan's inequality
Trace-free \(\mathrm{SL}(2, {\pmb {\mathbb {C}}})\) -representations of arborescent links
On the order and type of basic and composite sets of polynomials in complete Reinhardt domains
The inverse Kakeya problem
Connections between central factorial numbers and Bernoulli polynomials
On stability regions for some delay differential equations and their discretizations
The algebraic equation xu=λ x 3 v in the symmetric case
Congruences modulo powers of 3 for 2-color partition triples
Number fields in fibers: the geometrically abelian case with rational critical values
A generalization of Gerzon's bound on spherical s-distance sets
On 2min-sets and 2minmax-sets with respect to certain cycles
Sumsets associated with Wythoff sequences and Fibonacci numbers
Sets with no solutions to some symmetric linear equations
A purely exponential Diophantine equation in three unknowns
We like to walk on the comb
A note on the almost sure limit theorem for U -statistic
Primitive partial permutation representations of the polycyclic monoids and branching function systems
The Schatten-von Neumann class associated with the Gabor-Riemann-Liouville operator
Asymptotic behavior of weakly dependent aggregated processes
Partition monoids and embeddings in 2-generator regular \(*\) -semigroups
Perfect powers from the sums of terms of linear recurrences
Functional graphs of rational maps induced by endomorphisms of ordinary elliptic curves over finite fields
On a sublinear Robin equations involving μ (x)-Laplacian with small perturbation
A Munn type representation of abundant semigroups with a multiplicative ample transversal
Continuous maps with the disjoint support property
High order congruences for M-ary partitions
Closure of an exponential system in some Hardy-Smirnov spaces
Convergence rate for Rényi-type continued fraction expansions
Large weight does not yield an irreducible base
On the family of diophantine triples { k + 1, 4 k , 9 k + 3}
Weakly $B$ -orthodox semigroups
On the distribution of integer points of rational curves
On a locality-like property of the pseudovariety \(\mathbf {J}\)
On Templeman averages and variation functions
Covering families of triangles
On p -pseudorandom binary sequences
Tannakian formalism for fiber functors over tensor categories
Universal β-expansions
Saul Stahl, Real Analysis: A Historical Approach
On the sums of squares of exceptional units in residue class rings
On a functional equation characterizing two-sided centralizers in prime rings
On the square root of a positive selfadjoint operator
A family of discrete semi-classical orthogonal polynomials of class one
Refinement of some inequalities concerning to \(B_{n}\) -operator of polynomials with restricted zeros
Generic cryptographic weakness of k -normal Boolean functions in certain stream ciphers and cryptanalysis of grain-128
Pseudorandom properties of prime factors
A degenerate Kirchhoff-type problem involving variable s(· )-order fractional p(· )-Laplacian with weights
The Redei-Berge Hopf algebra of digraphs
Arithmetic Progressions in Linear Combinations of S-Units
A new proof of a generalization of Gerzon's bound
Some notes on strongly E*-unitary inverse semigroups
Left-invariant hypercontact structures on three-dimensional Lie groups
Global determinism of semigroups having regular globals
The Tarry-Escott problem of degree two
On the strong law of large numbers and additive functions
Residues and the Combinatorial Nullstellensatz
Gallai's property for graphs in lattices on the torus and the Möbius strip
An Ehresmann-Schein-Nambooripad theorem for locally Ehresmann P -Ehresmann semigroups
Extremal K 4 -minor-free graphs without short cycles
Weighted L p -spaces on locally compact nilpotent groups
A molecular reconstruction theorem for $H^{p(\cdot )}_{\omega }(\mathbb {R}^{n})$
Submanifolds of generalized \((k, \mu )\) -space-forms
A note about maximal almost-invariant subspaces and maximal hyperinvariant subspaces
A double inequality for an integral mean in terms of the exponential and logarithmic means
Limiting behavior in Ducci sequences
Morse-Smale complexes on convex polyhedra
The sum-of-digits function in rings of residue classes
Bivariate Hermite interpolation on the exponential curve
nvolutorial Płonka sums
Integral operators of Urysohn-Stieltjes type
On pseudo-random properties of P ( n ) and P ( n + 1)
Semigroups strongly Morita equivalent to monoids
On the difference bases of $\mathbb {Z}_{m}$
On k -dimensional graphs and their bases
The generalized Lilbert matrix
On some curvature conditions of pseudosymmetry type
Multiplicative group generated by quotients of integral parts
On the distribution of products of members of a sequence with positive density
Brieskorn manifolds as contact branched covers of spheres
On the functional equation \(G\left( x, G\left( y, x\right) \right) = G\left( y, G\left( x, y\right) \right) \) and means
On topological properties of poly honeycomb networks
On the Dirichlet problem at infinity on three-manifolds with multiple ends
From a Rogers's identity to overpartitions
On quartics with the maximal number of maximal tangency lines
A note on noncompact collectively coincidence point theory
On the exponential Diophantine equation \((3pm^2-1)^x+(p(p-3)m^2+1)^y=(pm)^z\)
On 2-Killing vector fields in almost contact metric geometry
Optimal control problems for a class of nonlinear evolution equations
Packing rectangles into a large square
Proofs of Guo and Schlosser's two conjectures
Optimality of barrier dividend strategy in a jump-diffusion risk model with debit interest
On local metric pressure of dynamical systems
Existence and Hyers-Ulam stability of solutions for a delayed hyperbolic partial differential equation
Mean values of multiplicative functions
Stochastic bounds on the zero range processes with superlinear jump rates
On product-one sequences over subsets of groups
A note on the normal approximation error for randomly weighted self-normalized sums
Colouring finite products
On a regularity property of additive representation functions
On K-sublinear set-valued maps
Necessary and sufficient conditions for the strong law of large numbers
Boundedness of discrete Hardy-type operators and self-improving properties of discrete Ariňo and Muckenhoupt weights
An extremal problem for real algebraic polynomials
A ternary Diophantine inequality with prime numbers of a special form
Circle geometry in affine Cayley-Klein planes
Moments of an exponential functional of random walks and permutations with given descent sets
An inequality for the function π( n )
Applications of mathematical systems theory in population biology
Notes on general divisor problems related to Maass cusp forms
Pseudorandomness of binary sequences derived from linear recursions
Wetzel's sector covers unit arcs
Walker groups
An occupation time identity for reflecting Brownian motion with drift
Why the theorem of Scheffé should be rather called a theorem of Riesz
A representation of recursively enumerable sets through Horn formulas in higher recursion theory
A Munn type representation for DRC-restriction semigroups
Cardinal estimates using a topological approach
Permanence and global attractivity for discrete nonautonomous two-species Lotka-Volterra competitive system with delays and feedback controls
The diophantine equation ( a n -1)( b n -1)= x 2
The exponential diophantine equation x y + y x = y 2 with xy odd
Prime divisors of sparse integers
Almost sure convergence of the Bartlett estimator
On the Fejér means of double Fourier series with respect to the Walsh-Kaczmarz system
Sequential confidence intervals for time series
Fully inert subgroups of free Abelian groups
Sums of certain fractional parts
Halving circular arcs in normed planes
On Arestov's inequalities concerning the Shur-Szegő composition of polynomials
William Johnston and Alex M. McAllister, transition to advanced mathematics: A survey course, xx+745 pages
Minimal Immersions of Spheres and Moduli
Correction to my paper "Plane fundamental domains with minimal perimeters"
Complexity analysis of a full-Newton step interior-point method for linear optimization
Intuitive Geometry Workshop and Intuitive Geometry Day in Calgary (August 31, 2007-September 3, 2007)
Approximation Constants in Equidistant Lagrange Interpolation
Jeśmanowicz' conjecture for polynomials
Invariant Minimal Unit Vector Fields on Lie Groups
Exponential behavior in Banach spaces: robustness of trichotomies in discrete time
A new corrector-predictor interior-point method for symmetric cone optimization
A note on the Erdős-Straus conjecture
On the class of generalized Landsberg manifolds
On the convergence and Cesàro summability of trigonometric Fourier series of monotone type functions
30 years of collaboration
Existence of solutions for nonlocal elliptic systems involving p(x)-Laplace operator
Comparison of U -Statistics in the Change-Point Problem and in Sequential Change Detection
On the number of A-transversals in hypergraphs
Erdős-Zaks all divisor sets
On expressible sets of products
Context equivalence of semigroups
Multiplicative dependence between k-Fibonacci and k-Lucas numbers
Packing a triangle by collections of its non-blocking homothetic copies
Fractions continues de matrices, convergence et applications
About the distance between random walkers on some graphs
Cliques in \(C_4\) -free graphs of large minimum degree
A summability process on Baskakov-type approximation
Prime divisors of palindromes
Sasakian metrics as generalized η-Ricci soliton
Companion theorems to G. Szegö's inequality for pairs of coefficients of bounded polynomials
The one-sided kissing number in four dimensions
Diametrical Submanifolds
Strong Laws for L p -Norms of Empirical and Related Processes
On the commutant of asymptotically non-vanishing contractions
Exponential sums and prime divisors of sparse integers
On integer values of sum and product of three positive rational numbers
On the successive illumination parameters of convex bodies
A radical theory for graphs that do not admit loops
On quasi Einstein manifolds
On perfect powers that are sum of two balancing numbers
The Diophantine equation b (b+1) (b+2) = t a (a + 1) (a + 2) and the gap principle
On determinants of matrices related to Pascal's triangle
On weak completeness of products and direct sums in locally convex cones
Normalized solutions for Choquard equations involving Hardy terms and local perturbations
A problem in comparative order theory
The Fischer-Marsden conjecture and contact geometry
Reversibility in matrix rings and group algebras
\(K_{a}\) -convergence and Korovkin type approximation
Note on a result of Chen and Lev
The mutual affinity of random measures
Note on difference sets in Z n
An exponential Diophantine equation related to the sum of powers of two consecutive terms of a Lucas sequence and x-coordinates of Pell equations
On the greatest prime factor of integers of the form ab + 1
A note on the uniqueness problem of non-Archimedean holomorphic curves
Symmetric Shannon capacity is the independence number minus 1
On the single partial Caputo derivatives for functions of two variables
Multiplicative properties of the Thue-Morse sequence
On the Inverse Local Time Process of a Plane Random Walk