|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 99 occurrences of 66 keywords
|
|
|
Results
Found 1390 publication records. Showing 1390 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marina Terlau, Axel von Freyberg, Dirk Stöbener, Andreas Fischer 0005 |
In-Process Tool Deflection Measurement in Incremental Sheet Metal Forming. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE Sensors Applications Symposium, SAS 2022, Sundsvall, Sweden, August 1-3, 2022 |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jona Cappelle, Geoffrey Ottoy, Sarah Goossens, Hanne Deprez, Jarne Van Mulders, Guus Leenders, Gilles Callebaut, Ku Leuven |
IoT with a Soft Touch: A Modular Remote Sensing Platform for STE(A)M Applications. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Karim Habashy, Julio J. Valdés, Madison Cohen-McFarlane, Pengcheng Xi, Bruce Wallace 0001, Rafik Goubran, Frank Knoefel |
Cough Classification Using Audio Spectrogram Transformer. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shilpa Susan George, Jagadeesh Kumar V |
Three-Coil Sensor for Liquid Level Measurement. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Husby, Arild Saasen, Jan David Ytrehus, Magnus Hjelstuen, Tor Jan Eriksen, Alessandro Liberale |
Active magnetic ranging while drilling: A down-hole surroundings mapping. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ru Yan, Håkon Viumdal, Kjetil Fjalestad, Saba Mylvaganam |
Ensemble learning in the estimation of flow types and velocities of individual phases in multiphase flow using non-intrusive accelerometers' and process pressure data. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Caponetto, Andrea Cincotta, Giovanna Di Pasquale, Salvatore Graziani, Antonino Pollicino, Carlo Trigona |
Modeling of a Bacterial Cellulose-based Composite in Bending Configuration. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sanzhar Shakarim, Daniele Tosi, Gulsim Kulsharova |
Integration of fiber optic sensors in organ-on-a-chip devices towards label-free cell viability assays. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Madison Cohen-McFarlane, Fatima Hassan, Pengcheng Xi, Bruce Wallace 0001, Rafik Goubran, Frank Knoefel |
Impact of face covering models on respiratory sound classification applications. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ashi Agarwal, Bruce Wallace 0001, Rafik Goubran, Frank Knoefel, Neil W. Thomas |
Method to Improve Gait Speed Assessment for Low Frame Rate AI Enabled Visual Sensor. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Debasrita Kar, Boby George, K. Sridharan 0001 |
A Bending Angle Sensor Based on Magnetic Coupling Suitable for Soft Robotic Finger. |
SAS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Julien Braine, Laure Gonnord, David Monniaux |
Data Abstraction: A General Framework to Handle Program Verification of Data Structures. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel |
Compositional Verification of Smart Contracts Through Communication Abstraction. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Takumi Shimoda, Naoki Kobayashi 0001, Ken Sakayori, Ryosuke Sato 0001 |
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marek Chalupa, Jan Strejcek |
Backward Symbolic Execution with Loop Folding. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jingbo Lu, Dongjie He, Jingling Xue |
Selective Context-Sensitivity for k-CFA with CFL-Reachability. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Divyanjali Sharma, Subodh Sharma 0001 |
Thread-Modular Analysis of Release-Acquire Concurrency. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David Delmas, Abdelraouf Ouadjaout, Antoine Miné |
Static Analysis of Endian Portability by Abstract Interpretation. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
Disjunctive Interval Analysis. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xuezheng Xu, Xudong Wang, Jingling Xue |
Automatic Synthesis of Data-Flow Analyzers. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001, Taro Sekiyama, Issei Sato, Hiroshi Unno 0001 |
Toward Neural-Network-Guided Program Synthesis and Verification. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi 0001 |
Selectively-Amortized Resource Bounding. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kai Jia, Martin C. Rinard |
Verifying Low-Dimensional Input Neural Networks via Input Quantization. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Denis Mazzucato, Caterina Urban |
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mohamad Barbar, Yulei Sui |
Hash Consed Points-To Sets. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Cezara Dragoi, Suvam Mukherjee, Kedar S. Namjoshi (eds.) |
Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel |
Fast and Efficient Bit-Level Precision Tuning. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mohsen Safari, Wytse Oortwijn, Marieke Huisman |
Automated Verification of the Parallel Bellman-Ford Algorithm. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Schwarz 0007, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani |
Improving Thread-Modular Abstract Interpretation. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan 0001 |
Static Analysis of ReLU Neural Networks with Tropical Polyhedra. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Franceschino, David Pichardie, Jean-Pierre Talpin |
Verified Functional Programming of an Abstract Interpreter. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kai Jia, Martin C. Rinard |
Exploiting Verified Neural Networks via Floating Point Numerical Error. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné |
A Multilanguage Static Analysis of Python Programs with Native C Extensions. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yifan Chen, Chenyang Yang 0002, Xin Zhang, Yingfei Xiong 0001, Hao Tang, Xiaoyin Wang, Lu Zhang 0023 |
Accelerating Program Analyses in Datalog by Merging Library Facts. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Florian Frohn, Marcel Hark, Jürgen Giesl |
Termination of Polynomial Loops. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Abu Naser Masud |
Simple and Efficient Computation of Minimal Weak Control Closure. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Sotoudeh, Aditya V. Thakur |
Abstract Neural Networks. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso |
Probabilistic Lipschitz Analysis of Neural Networks. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Pichardie, Mihaela Sighireanu (eds.) |
Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Abdelraouf Ouadjaout, Antoine Miné |
A Library Modeling Language for the Static Analysis of C Programs. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Iwayama, Naoki Kobayashi 0001, Ryota Suzuki 0002, Takeshi Tsukada |
Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur |
Memory-Efficient Fixpoint Computation. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García 0001, José Francisco Morales 0001, Manuel V. Hermenegildo |
Cost Analysis of Smart Contracts Via Parametric Resource Analysis. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina |
Farkas-Based Tree Interpolation. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Illous, Matthieu Lemerre, Xavier Rival |
Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anastasiia Izycheva, Eva Darulova, Helmut Seidl |
Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni |
Formal Framework for Reasoning About the Precision of Dynamic Analysis. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano |
Static Resource Analysis at Scale (Extended Abstract). |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Samuele Buro, Roy L. Crole, Isabella Mastroeni |
On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ankush Das, Shaz Qadeer |
Exact and Linear-Time Gas-Cost Analysis. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christan Müller, Helmut Seidl |
Stratified Guarded First-Order Transition Systems. |
SAS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Völker, Stefan Kowalewski |
A Change-Based Heuristic for Static Analysis with Policy Iteration. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni |
Direct Manipulation for Imperative Programs. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang 0001, Patrick Cousot |
Verifying Numerical Programs via Iterative Abstract Testing. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot |
Syntactic and Semantic Soundness of Structural Dataflow Analysis. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Neider, Shambwaditya Saha, Pranav Garg 0001, P. Madhusudan |
Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bor-Yuh Evan Chang (eds.) |
Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang 0001, Lijun Zhang 0001 |
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuxiang Lei, Yulei Sui |
Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Delmas, Antoine Miné |
Analysis of Software Patches Using Numerical Abstract Interpretation. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hang Yu 0005, David Monniaux |
An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Caterina Urban |
Static Analysis of Data Science Software. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuya Okuyama, Takeshi Tsukada, Naoki Kobayashi 0001 |
A Temporal Logic for Higher-Order Functional Programs. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Francesco Ranzato, Pedro Valero 0001 |
Language Inclusion Algorithms as Complete Abstract Interpretations. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amir M. Ben-Amram, Jesús J. Doménech, Samir Genaim |
Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mayur Naik |
Rethinking Static Analysis by Combining Discrete and Continuous Reasoning. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chaoqiang Deng, Patrick Cousot |
Responsibility Analysis by Abstract Interpretation. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno 0001 |
Temporal Verification of Programs via First-Order Fixpoint Logic. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot |
Abstract Semantic Dependency. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Ranzato, Marco Zanella |
Robustness Verification of Support Vector Machines. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anna Becchi, Enea Zaffanella |
Revisiting Polyhedral Analysis for Hybrid Systems. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell 0001 |
On the Monniaux Problem in Abstract Interpretation. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hua Yan, Shiping Chen 0001, Yulei Sui, Yueqian Zhang, Changwei Zou, Jingling Xue |
Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marco Campion, Mila Dalla Preda, Roberto Giacobazzi |
Abstract Interpretation of Indexed Grammars. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sudip Maitra, Dylan Richards, Ahmed Abdelgawad 0001, Kumar Yelamarthi |
Performance Evaluation of IoT Encryption Algorithms: Memory, Timing, and Energy. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rubi A. Ayon-Sicaeros, Eduardo Cabal-Yepez, Luis Manuel Ledesma-Carrillo, Geovanni Hernandez-Gomez |
Broken-Rotor-Bar Detection Through STFT and Windowing Functions. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Win Thandar Soe, Cécile Belleudy |
Load Recognition from Smart Plug Sensor for Energy Management in a Smart Home. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Husby, Tor André Myrvoll, Ole Øystein Knudsen |
Eddy Current duplex coating thickness Non-Destructive Evaluation augmented by VNA scattering parameter theory and Machine Learning. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Aviles-Espinosa, Elizabeth Rendon-Morales, Zhenhua Luo, Henry Dore, Oana Anton, Heike Rabe, Robert J. Prance |
Neo-SENSE: a non-invasive smart sensing mattress for cardiac monitoring of babies. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Affanni, Alessandro Piras, Roberto Rinaldo, Pamela Zontone |
Dual channel Electrodermal activity sensor for motion artifact removal in car drivers' stress detection. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Petter Halvorsen, Karina Kaspersen, Alexander Jonsaas, Saba Mylvaganam |
Fusion of Body Sensors' Data and Video Images in Assistive Technology. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | A. I. Ovodov, G. D. Demin, N. A. Djuzhev, M. A. Makhiboroda |
Optimized Design of the MEMS-Based Three-Axis Thermal Accelerometer for Its Better Performance in a Wide Measurement Range. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Olli Väänänen, Jari Hautamäki, Timo Hämäläinen 0002 |
Predictive pumping based on sensor data and weather forecast. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Peter M. Nauth, Andreas H. Pech, Robert Michalik |
Research on a new Smart Pedestrian Detection Sensor for Vehicles. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carmonizia da Silva Freire, Cleumar da Silva Moreira, Carlos Alberto de Souza Filho, Rossana Moreno Santa Cruz, Alessandro Falqueto, Anderson Luis Valle, Luiz Ricardo Goulart Filho, Eliton Souto de Medeiros, Kaline do Nascimento Ferreira |
Application of a Smartphone-based SPR platform for Glyphosate detection. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Addabbo, Ada Fort, Marco Mugnaini, Valerio Vignoli, Lorenzo Parri, Maddalena Allegorico, Marco Ruggiero, Stefano Cioncolini |
Ion sensors: application to combustion monitoring in gas turbines. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tim Fischer 0001, Michael Ganz, Nicolas Baumann, Michele Magno |
Piepser: A Smart Wrist-Worn Variometer To Maximize The Paragliders Flytime. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Ribeiro 0006, Fernando Franco, Marília Silva, Miguel Neto, Susana Cardoso |
Stay-on-target: a sensortile based micropositioning system. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Leonard Bauersfeld, Guillaume Jacques Joseph Ducard |
Low-cost 3D Laser Design and Evaluation with Mapping Techniques Review. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | R. Bruce Wallace, Frank Horsfall, Rafik Goubran, Ali El-Haraki, Frank Knoefel |
The Challenges of Connecting Smart Home Health Sensors to Cloud Analytics. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shaikh M. Tousif, Zeynep Çelik-Butler |
Array of Linear and Nonlinear Electrostatic Energy Harvesters for Broadband Energy Harvesting. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Masahiko Miyazaki, Shigemi Ishida, Akira Fukuda, Tomoki Murakami, Shinya Otsuki |
Initial Attempt on Outdoor Human Detection using IEEE 802.11ac WLAN Signal. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Charris, Diego Gómez, Mauricio Pardo |
A Portable Thermoelectric Energy Harvesting Unit to Power Up Outdoor Sensors and Devices. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Addabbo, Ada Fort, Alessandro Mecocci, Marco Mugnaini, Stefano Parrino, Alessandro Pozzebon, Valerio Vignoli |
A LoRa-based IoT Sensor Node for Waste Management Based on a Customized Ultrasonic Transceiver. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Akimu Ayan Niyi Dihissou, Aliou Diallo, Philippe Le Thuc, Robert Staraj |
Directive and Reconfigurable Antenna for Wireless Sensor Network to Improve Link Quality between Nodes. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thorben Schuthe, Ahmed Albounyan, Karl-Ragmar Riemschneider |
Two-Dimensional Characterization and Simplified Simulation Procedure for Tunnel Magnetoresistive Angle Sensors. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marino Rasamuel, Lyes Khacef, Laurent Rodriguez, Benoît Miramond |
Specialized visual sensor coupled to a dynamic neural field for embedded attentional process. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE Sensors Applications Symposium, SAS 2019, Sophia Antipolis, France, March 11-13, 2019 |
SAS |
2019 |
DBLP BibTeX RDF |
|
1 | Asahi Morimatsu, Seiji Matsuguma, Akihiro Kajiwara |
Heart rate estimation of a moving person using 79GHz-Band UWB radar. |
SAS |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 1390 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|